Вопросы с тегом «lower-bounds»

Рассмотрим следующий естественный вопрос: для какого конечного языка наименьшая не зависящая от контекста грамматика порождает L ?LLLLLL Мы можем сделать вопрос более интересным, указав последовательность языков , например, L n - это множество всех перестановок { 1 , … , n } : интуитивно, CFG для L n «должен» иметь …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

Известны ли результаты, которые исключают существование «слишком хороших, чтобы быть правдивыми» структур данных? Например: можно ли добавить функциональность и J o i n в структуру данных ведения заказа (см. Dietz and Sleator STOC '87 ) и при этом получить O ( 1 ) временных операций?Sp l i tSпLяTSplitJо я нJояNJoinO …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

Проблема #SAT является канонической # P-полной проблемой. Это скорее функциональная проблема, чем проблема решения. При булевой формуле в пропозициональной логике спрашивается, сколько удовлетворяющих заданий имеет. Каковы лучшие нижние границы на #SAT?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

Существует несколько хорошо известных результатов оценки нижнего предела размера схемы основанных на случайных ограничениях и лемме о переключении .AC0AC0\mathsf{AC^0} Можем ли мы разработать результат леммы о переключении, чтобы доказать нижнюю оценку размера для цепей (аналогично нижним оценкам для )? A C 0TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Или есть какое-то существенное препятствие для использования этого …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

Существует несколько доказательств логлинейной нижней границы для проблемы уникальности / отличимости элементов (основанной на деревьях алгебраических вычислений или состязательных аргументах), но я ищу достаточно простую для использования в первом курсе анализа и проектирования алгоритмов. Тот же «уровень сложности», что и нижняя граница для сортировки, вполне подойдет. Кроме того, любой подход …

13 cc.complexity-theory  lower-bounds  proofs 

Легко проверить, что при заданной d-размерной сетке целочисленных точек {1,…,n}d{1,…,n}d\{1,\ldots,n\}^d с регулярной смежностью можно найти разделитель размера nd−1nd−1n^{d-1} (просто выберите любой средней гиперплоскости и удалите все ее вершины). Также не сложно (но определенно не сразу) проверить, что любой разделитель должен иметь размер Ω(nd−1)Ω(nd−1)\Omega(n^{d-1}) . Кто-нибудь знает отношение к этому?

13 reference-request  cg.comp-geom  lower-bounds 

Хорошо известно, что проблема остановки является неисчислимой. Тем не менее, можно экспоненциально «сжать» информацию о проблеме остановки, так что ее распаковка является вычислимой. Точнее, можно вычислить из описания машин Тьюринга и n- битного состояния рекомендации ответ на проблему остановки для всех 2 n - 1 машин Тьюринга, предполагая, что состояние …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Пусть обозначает минимальный размер (немонотонной) арифметической схемы, вычисляющей заданный полилинейный многочлен и обозначают минимальный размер (немонотонной) логической схемы, логическую версию для определяется как: ( + , × , - ) е ( х 1 , ... , х п ) = Σ е ∈ Е с й п Π я …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

в 1979 году Хопкрофт / Ульман написал, что L ⊆ P ⊆ NP ⊆ PSpace известно, но L ⊊ PSpace является единственным известным (и тривиальным) сдерживанием, известным, хотя все предполагаются как надлежащие сдерживания, и «где вещи все еще стоят» ~ 4 десятилетия спустя , с тех пор существует ли какая-либо …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Как можно показать, что определенное свойство не может быть выражено в 2-CNF (2-SAT)? Существуют ли игры, такие как игры в гальку? Похоже, что классическая игра с черной галькой и игра с черной и белой галькой для этого не подходят (они завершены PSPACE, согласно Hertel и Pitassi, SIAM J of Computing, …

12 sat  lower-bounds  combinatorial-game-theory 

aaabbbaaabbbaaabbbO(mlogmloglogm)O(mlog⁡mlog⁡log⁡m)O(m\log m\log\log m)mmmmax{a,b}max{a,b}\max\{a,b\}Ω(mlogmloglogm)Ω(mlog⁡mlog⁡log⁡m)\Omega(m\log m\log\log m) нижняя граница этой проблемы? Спасибо и всего наилучшего, и извините, если это такой наивный вопрос.

12 time-complexity  lower-bounds  nt.number-theory  primes 

Вес |x||x||x|двоичной строки x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n - количество единиц в строке. Что произойдет, если мы заинтересованы в вычислении монотонной функции на входах с несколькими из них? Мы знаем, что решить, имеет ли граф клик, сложно для монотонных цепей (см., Среди прочего, Alon Boppana, 1987), но если граф имеет, например, не более k …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Какие стандартные задачи мы можем уменьшить, чтобы доказать нижних оценок?Ω(nlogn)Ω(nlog⁡n)\Omega(n\log n) Конечно, проблемы состояния, отличные от сортировки и четкости элементов.

12 cc.complexity-theory  lower-bounds 

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

12 graph-theory  cg.comp-geom  lower-bounds 

Этот вопрос основан на существующем вопросе о том, можно ли моделировать стек с использованием двух очередей с амортизированным раз на операцию стека. Ответ кажется неизвестным. Вот более конкретный вопрос, соответствующий особому случаю, когда сначала выполняются все операции PUSH, а затем все операции POP. Насколько эффективно можно изменить список из N …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting