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

Нісан довів у "Псеодорадонських генераторах для обчислень, обмежених космосом", що існує псевдовипадковий генератор, який "дурить" обчислення, обмежені космосом. Чи відповідає ця конструкція кожному оракулу (принаймні для неадаптивних запитів)?

16 cc.complexity-theory  space-bounded  derandomization 

Blum, Micali та Feldman (BFM) висунули нову (криптографічну) модель, в якій всі сторони (чесні чи змагальні) мають доступ до якоїсь строки. Припускається, що рядок вибирається відповідно до деякого розподілу (як правило, рівномірного розподілу) довіреною стороною. Він називається опорним рядком , а модель влучно називається моделлю загальної опорної рядки (CSR). Модель …

16 cr.crypto-security 

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

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

Мене цікавлять два питання щодо контекстно-залежної мови (CSL) та повноти: Чи існує поняття повноти для CSL та якими мовами є повними? Чи існують природні CSL, які не мають повного NP? Для 2. я, безумовно, можу думати про природні мови, що повністю завершуються NP, які є CSL (оскільки CSL дорівнює NSPACE …

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

Фон : У оригінальному документі UGC ( PDF ) Subhash Khot він доводить твердість UG для вирішення питання про те, чи заданий екземпляр CSP з обмеженнями всієї форми Не всі рівні (a, b, c) над потрійним алфавітом допускає завдання, що задовольняє 1 - обмежень або не існує завдань, що задовольняють …

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

Один розрив, який я завжди усвідомлював, що я насправді не розумію, - це між нерівномірною та рівномірною обчислювальною складністю, коли складність ланцюга являє собою неоднорідну версію, а машини Тьюрінга - це речі рівномірні. Я припускаю, що "рівномірний" спосіб є обмеженням класу алгоритмів, наприклад, не допускаючи абсолютно іншої схеми для проблеми …

16 cc.complexity-theory  circuit-complexity 

-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 

Знаменита картина світу Ніла Імермана наступна (натисніть, щоб збільшити): Його клас "Воістину здійсненний" не включає жодного іншого класу; моє питання тоді: Що таке проблема AC 0, яка вважається непрактичною, і чому?

16 cc.complexity-theory  circuit-complexity 

Як і в області, публікації в журналі ACM про експериментальну алгоритмічну JEA . Які були фундаментальні твори? Які основні результати? Як вони характеризуються? Якісь цікаві зв’язки з іншими напрямками інформатики?

16 ds.algorithms  reference-request  experimental 

Адлеман, FOCS'78 показав, що будь-яка рандомізована схема для входів довжиною може бути нерівномірно дерандомізованою. Однак конструкція ефективно дублює вихідну схему O ( n ) разів, тому дерандомізований контур більший за вихідний на коефіцієнт O ( n ) . Чи є якась більш ефективна конструкція там, яка примножує розмір ланцюга на …

16 derandomization 

У [1] Туран показує, що чутливість (яка називається "критична складність" у роботі) властивості графа суворо більша, ніж де - кількість вершин у графі. Він продовжує вважати, що будь-яке нетривіальне властивість графа має чутливість . Він згадує, що це було перевірено для . Чи був досягнутий прогрес у цій гіпотезі?m≥m-1m≤5⌊ 14м …

16 graph-theory  property-testing 

Бета-ета-теорія лямбда-числення є пост-повною. Чи можна додати додаткові правила для розширення бета-теорії лямбда-числення, щоб отримати конфліктуючі теорії, окрім теорії бета-ета? Постскрипт Це запитання порушило моє власне правило, згідно з яким питання повинні пояснювати, чому допитувача це хвилює. Мене це вразило однієї ночі, незадовго до того, як цей сайт перейшов у …

16 lambda-calculus 

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

16 ds.algorithms  co.combinatorics 

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

16 automata-theory  fl.formal-languages 

Двадцять років тому я створив пакет регулярних виразів, який включав перетворення з регулярних виразів в машину з кінцевим станом (DFA) і підтримував безліч закритих операцій регулярного вираження (зірка Kleene, конкатенація, зворотний зв'язок, задані операції тощо). Я не був впевнений у гіршому виконанні свого пакету. DFA має ту саму виразну силу, …

16 dfa  regular-expressions  bounds