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

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

16 hash-function  cr.crypto-security 

Наступна проблема з'являється у списку Ааронсона Десять напіввеликих викликів теорії квантових обчислень . ЧиБ Q P = B P PB Q N CБQП=БППБQNС\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Іншими словами, чи можна "квантову" частину будь-якого квантового алгоритму стиснути до глибини, якщо ми ' Ви готові займатися класичною післяобробкою багаточленного часу? (Це, як відомо, є алгоритмом …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

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

16 computability  turing-machines 

Чи є якісь практичні додатки для моделей програмування, які не фон Неймана? Які найпоширеніші мови програмування не фон Неймана?

16 universal-computation  logic-programming 

Слабку нормалізацію для простого набраного лямбда-числення можна довести (Тюрінг) індукцією на . Розширене обчислення лямбда з рекурсорами на натуральних числах (Генцен) має слабку стратегію нормалізації шляхом індукції на ϵ 0 .ω2ω2\omega^2ϵ0ϵ0\epsilon_0 Що з системою F (або слабкішою)? Чи є у цьому стилі слабке підтвердження нормалізації? Якщо ні, чи можна це …

16 lo.logic  type-theory  lambda-calculus  proof-theory  normalization 

Чи є випадок сильно регулярних графіків найскладнішим для тестування на ГІ? де "найважче" вживається в якомусь значенні "здорового глузду", або "в середньому", так би мовити. Wolfram MathWorld згадує деякі "патологічно важкі графіки". Хто вони? Мій набір зразків з 25 пар графіків: http://funkybee.narod.ru/graphs.htm Я перевірив багато інших, але все того ж …

16 ds.algorithms  graph-isomorphism 

LogCFL - це набір усіх мов, які можна змінити в просторі журналів до безконтекстної мови. Аналогічно, LogDCFL - це набір усіх мов, які можна змінити в просторі журналів до детермінованої без контексту мови. Дивіться цю статтю у Вікіпедії щодо деяких природних проблем, повних LogCFL. Є кілька інших цікавих проблем, повних …

16 cc.complexity-theory  complexity-classes 

Що я повинен прочитати, щоб зрозуміти цю проблему? Потужність квантових схем малої глибини. Чи ? Іншими словами, чи можна «квантову» частину будь-якого квантового алгоритму стиснути на полілогічну (n) глибину, за умови, що ми готові робити класичну післяобробку поліноміального часу? (Це, як відомо, є алгоритмом Шор.) Якщо так, побудувати квантовий комп'ютер …

16 cc.complexity-theory  reference-request  quantum-computing 

Чи є цікаві екземпляри алгоритмів, які були опубліковані з перевіреними межами, і де згодом були опубліковані суворо кращі межі? Не кращі алгоритми з кращими рамками - очевидно, що це сталося! Але кращий аналіз веде до кращого зв’язку з існуючим алгоритмом Я вважав, що матричне множення є прикладом цього, але я …

16 ho.history-overview  analysis-of-algorithms 

Пов'язана проблема: Теорема Веблена стверджує, що "Графік допускає розклад циклу тоді і лише тоді, коли він є рівним". Цикли є роз'єднанням ребер, але не обов'язково вузлом роз'єднання. По-іншому, "Набір графів графіка можна розділити на цикли, якщо і тільки якщо кожна вершина має рівний ступінь". Моя проблема: Цікаво, чи хтось вивчав …

16 cc.complexity-theory  graph-theory  co.combinatorics 

У «Квантових обчисленнях та квантовій інформації» Майка та Айка дуже детально пояснюється алгоритм Гровера. Однак у книзі та у всіх поясненнях, які я знайшов в Інтернеті щодо алгоритму Гровера, начебто не згадується про те, як побудований Oracle Grover, якщо ми вже не знаємо, в якому стані це шукаємо, перемагаючи мету …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

Всі ми знаємо, що показ має бар'єри. Ми всі вивчали ці бар'єри , тому що ми вважаємо , що P ≠ N P .P≠NPP≠NPP\ne NPП≠ NПP≠NPP\ne NP Однак припустимо, що і є мудрі люди, які вважають, що така можливість існує . Якщо це дійсно так, то сам факт, що ми …

15 p-vs-np  barriers 

Я знаходжу кілька книжок про комп’ютери, але всі вони стосуються технології. Я хочу щось більше пов'язане з теорією.

15 reference-request  soft-question  philosophy 

Я очікую, що відповідь "ні", але я фактично не міг побудувати контрприклад. Різниця полягає в тому, що в ∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε})) ми можемо не змогти вибрати алгоритм O(n2+ε)O(n2+ε)O(n^{2+ε}) рівномірно. в εεε . За аргументом доопрацювання (наприклад, див. Це запитання ), якщо існує набір ce машин Тьюрінга MiMiM_i вирішують мову LLL таким, …

15 cc.complexity-theory  time-complexity 

Або іншими словами, чи маємо ми, що для кожної мови і B , A ≤ p B або B ≤ p A ?ААAББBA ≤pБА≤pБA \leq_p BB ≤pАБ≤pАB \leq_p A

15 reductions  complexity