Теоретическая информатика

Нисан доказал в «Псевдослучайных генераторах для пространственно-ограниченных вычислений», что существует псевдослучайный генератор, который «обманывает» ограниченные в пространстве вычисления. Эта конструкция справедлива для каждого оракула (по крайней мере, для неадаптивных запросов)?

16 cc.complexity-theory  space-bounded  derandomization 

Фон : В оригинальной статье UGC Субхаша Хота ( PDF ) он доказывает, что UG-сложность определения того, допускает ли заданный экземпляр CSP ограничения всех форм Не-все-равные (a, b, c) по троичному алфавиту 1 - ограничений или не существует никаких заданий, удовлетворяющих 8ϵϵ\epsilonиз ограничений, при сколь угодно маломе>0.89+ϵ89+ϵ\frac{8}{9}+\epsilonϵ>0ϵ>0\epsilon > 0 Я …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Блум, Микали и Фельдман (BFM) выдвинули новую (криптографическую) модель, в которой все стороны (честные или состязательные) имеют доступ к некоторой строке. Предполагается, что строка выбирается в соответствии с некоторым распределением (обычно равномерным) доверенной стороной. Это называется ссылочной строкой , а модель точно названа моделью общей ссылочной строки (CSR). Модель позволяет …

16 cr.crypto-security 

Меня интересуют два вопроса относительно контекстно-зависимых языков (CSL) и полноты: Существует ли понятие полноты для CSL и какие языки являются законченными? Существуют ли естественные CSL, которые являются NP-полными? Для 2. я, конечно, могу думать о естественных NP-полных языках, которые являются CSL (так как CSL равен NSPACE [ ], SAT - …

16 np-hardness  fl.formal-languages  space-bounded 

Предположим, нам дана матрица n по n, M, с целочисленными элементами. Можем ли мы решить в P, существует ли перестановка такая, что для всех перестановок мы имеем ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Мя σ( я )≠ П Мя π( я )ΠMяσ(я)≠ΠMяπ(я)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Замечания. Конечно, можно заменить продукт суммой, проблема остается той …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Как и в области статей в журнале ACM по экспериментальной алгоритмической JEA . Какие были основополагающие работы? Каковы основные результаты? Как они характеризуются? Какие-нибудь интересные связи с другими областями информатики?

16 ds.algorithms  reference-request  experimental 

-fixed точки без проблем автоморфизма запрашивает автоморфизм графа , который перемещается по крайней мере , к ( п ) узлы. Проблема в том, что N P- полна, если k ( n ) = n c для любого c > 0.kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Однако, если то задача полиномиального времени Тьюринга сводится к проблеме …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

Единственный пробел, который я всегда осознавал, что я на самом деле не понимаю, - это неравномерная и равномерная вычислительная сложность, где сложность схемы представляет собой неоднородную версию, а машины Тьюринга - это вещи, которые являются однородными. Я предполагаю, что «равномерный» - это способ ограничить класс алгоритмов, например, не допуская совершенно …

16 cc.complexity-theory  circuit-complexity 

Знаменитая картина мира Нила Иммермана выглядит следующим образом (нажмите, чтобы увеличить): Его «действительно выполнимый» класс не включает другого класса; мой вопрос тогда: Что такое проблема AC 0, которая считается непрактичной и почему?

16 cc.complexity-theory  circuit-complexity 

В [1] Turan показывает, что чувствительность (называемая в статье «критической сложностью») свойства графа строго больше, чем гдеm- количество вершин в графе. Он продолжает предполагать, что любое нетривиальное свойство графа имеет чувствительность≥m-1. Он упоминает, что это было проверено дляm≤5. Был ли достигнут какой-либо прогресс в этой гипотезе?⌊14m⌋⌊14m⌋\lfloor {1\over 4} m \rfloormmm≥m−1≥m−1\geq …

16 graph-theory  property-testing 

Adleman, FOCS'78 показал, что любая рандомизированная схема для входов длины может быть неравномерно дерандомизирована. Однако конструкция эффективно дублирует исходную схему O ( п ) раз, так что derandomized цепи больше , чем оригинал с коэффициентом O ( п ) . Есть ли более эффективная конструкция, которая умножает размер схемы на …

16 derandomization 

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

16 lambda-calculus 

Это продолжение этого вопроса на math.stackexchange. Допустим, что непустое множество S ⊆ ℤ является самонесущим, если для каждого a ∈ S существуют различные элементы b, c ∈ S, такие что a = b + c. Для натуральных чисел n простые примеры включают идеал S = n ℤ или (для n …

16 ds.algorithms  co.combinatorics 

Для языка L ⊆ Σ ^ * определите синтаксическую конгруэнцию ≡ в L как наименьшую конгруэнцию на Σ ^ *, которая насыщает L , т.е. u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Теперь определим эквивалентность Nerode как следующее правильное сравнение: u ∼ v …

16 automata-theory  fl.formal-languages 

Часто говорят, что при использовании алгоритма MD5 для подписания некоторой произвольной информации общий секрет должен быть в конце. Почему?

16 hash-function  cr.crypto-security