Вопросы с тегом «big-list»

После обсуждения нижних границ для 3SAT [ 1 ] мне интересно, каковы основные результаты нижней границы, сформулированные как компромиссы пространства-времени. Я исключаю такие результаты, как, например, теорема Савича; хорошая статья будет сосредоточена на одной проблеме и ее границах. Примером может быть: «Пусть T и S - границы времени и пространства …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Я ищу список об известной или неизвестной сложности различных теоретико-алгебраических задач. Например, GCD в открыт,NC1NC1NC^1 факторинг в открыт,PPP вычисление когомологий пучка -hard#P#P\#P , Арора и Барак утверждают, что вариант факторинга является -полным (хотя это не ясно из обсуждения в NP-полной версии факторинга. ),NPNPNP Революционная работа Барбулеску и др. Над дискретными …

12 cc.complexity-theory  big-list  algebra  open-problem 

Какие проблемы со следующими свойствами: 1) они являются ограничением (возможно общеизвестных) проблем, которые являются PSPACE-полными; 2) ограниченные версии находятся в PSPACE, но это открытая проблема, если они завершены PSPACE (или даже если они NP-hard). Четыре примера из "головоломки и С.": Сложность 1x1 Rush Hour [1] (PSPACE-полная для блоков размером 2x1); …

12 big-list  open-problem 

Какие существуют полезные алгоритмы, которые работают с огромными потоками данных, и их результаты довольно малы, и можно вычислить результат для смеси двух потоков, каким-то образом объединив их результаты? Я могу назвать несколько: Очевидные вещи, как сумма, мин, макс, кол, топ-К и т. Д Приближенные так называемые «основанные на эскизах» потоковые …

12 ds.algorithms  big-list  data-streams 

Каковы некоторые (не очень известные) утверждения о том, что, если это правда, PH должен разрушиться? Ответы, содержащие краткое высокоуровневое утверждение со ссылками, приветствуются. Я попытался выполнить обратный поиск без особой удачи.

12 cc.complexity-theory  complexity-classes  big-list 

В 1996 году давно открытая проблема была решена с помощью компьютера; а именно, что алгебра Роббинса и булева алгебра совпадают. Доказательство было найдено автоматическим испытателем теорем. Кроме того, известное доказательство теоремы о четырех цветах содержит сгенерированные компьютером компоненты. Цель этого вопроса состоит в том, чтобы перечислить доказательства, которые (полностью или …

11 soft-question  big-list  proofs  automated-theorem-proving 

Я ищу сильно NP-трудные проблемы для сокращения. До сих пор я обнаружил следующие проблемы: 3-х секционная задача проблема упаковки в мусорное ведро Числовое 3-мерное сопоставление TSP Любая NP-полная задача без числовых данных, например, СООТВЕТСТВИЕ, ГАМИЛЬТОНИЙСКИЙ ЦИКЛ, 3-ЦВЕТНОСТЬ. Кто-нибудь знает список сильно NP-сложных проблем? Если нет, давайте построим один здесь. Знаете …

11 np-hardness  big-list  hamiltonian-paths 

Все известные мне компьютерные музеи и экспонаты, кажется, охватывают только историю вычислительной техники, но не затрагивают темы компьютерных наук. Вы участвуете в создании нового Музея вычислительной техники, созданного для обучения, развлечения и привлечения широкой публики к широкому кругу тем, связанных с компьютерами, информатикой, коммуникацией и математикой. Хотя история и знаменитости …

11 soft-question  big-list  ho.history-overview 

Я студент CS. Мы делали теорию графов в одном курсе. Я нашел это интересным. Каковы реальные применения теории графов в области компьютерных наук? Например, я обнаружил, что некоторые понятия в теории графов могут использоваться для проектирования сетей. Какие есть другие похожие приложения?

11 graph-theory  co.combinatorics  big-list  application-of-theory 

Мне было интересно, каков список текущих естественных вычислительных проблем, для которых нет никакого известного преимущества в сложности при использовании квантового компьютера. Прежде всего, я думаю, что вычисление расстояния редактирования - это то, для которого самый быстрый из известных квантовых алгоритмов кажется самым быстрым из известных классических. Более условно, я бы …

11 ds.algorithms  quantum-computing  big-list 

Алгоритмы аппроксимации могут давать результат до некоторого постоянного фактора. Это немного менее удовлетворительно, чем точные алгоритмы. Однако постоянные факторы игнорируются во временной сложности. Поэтому мне интересно, возможен ли или был использован следующий прием для решения некоторой проблемы :B ∘ AB∘AB \circ A Используйте алгоритм аппроксимации решения задачи чтобы получить решение …

11 ds.algorithms  big-list  approximation-algorithms 

Справочная информация: обработка транзакций была традиционной темой исследования в теории баз данных. В настоящее время распределенные транзакции популяризируются крупномасштабными распределенными системами хранения, которые обычно включают разделение данных (также называемое разделением ) и репликацию данных . Каковы основные проблемы исследования в распределенных транзакциях? Существуют ли известные теории и решения, которые нуждаются …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Меня интересуют примеры конструкций в теории сложности, которые лучше случайных. Я знаю только один пример такой конструкции в области кодов, исправляющих ошибки. Коды алгебраической геометрии лучше в некотором диапазоне параметров, чем случайные коды. Можно легко построить такие искусственные примеры. Меня интересуют примеры, такие как коды алгебраической геометрии, где легко создать …

10 reference-request  big-list  derandomization  pr.probability 

Я теоретик гомотопии, интересуюсь информатикой. Я хотел бы спросить, каковы некоторые интересные применения гомотопической алгебры (модельные категории, бесконечные категории, симплициальные категории и т. Д.) В теоретической информатике?

9 big-list  algebraic-topology 

Позволять ΣΣ\Sigmaбыть алфавитом, то есть непустым конечным множеством. Строка - это любая конечная последовательность элементов (символов) изΣΣ\Sigma, Например,{0,1}{0,1} \{0, 1\} это двоичный алфавит и 011001100110 это строка для этого алфавита. Обычно, пока ΣΣ\Sigma содержит более 1 элемента, точное количество элементов в ΣΣ\Sigmaне имеет значения: в лучшем случае мы получаем где-то …

9 big-list  encoding  examples