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

Скажімо, у мене є великий блок коду, який я вже вилучив і проаналізував. Припустимо, що змінюється лише один символ; Я хотів би оновити свій синтаксичний аналіз, але оскільки модифікація дуже мала в порівнянні з усією справою, я хотів би знати, чи можливо знову не проаналізувати всю цю справу, але якщо …

14 fl.formal-languages  parsing 

Хтось скеровує мене до документа, в якому детально описується теорема про усунення зрізів для запропонованої інтуїтивістської логіки, включаючи індуктивний тип даних, таких як натуральні числа (списки чи дерева теж будуть добре)? Приклад такого роду системи Я зацікавлений в Т Геделя, яка має види , наведені в граматиці . Мене не …

14 lo.logic  pl.programming-languages  sequent-calculus 

Угорський алгоритм - це комбінаторний алгоритм оптимізації, який вирішує задачу співвідношення максимальної ваги за двома частинами в поліноміальний час та передбачає подальший розвиток важливого первинно-подвійного методу . Алгоритм був розроблений та опублікований Гарольдом Куном у 1955 році, який дав назву "Угорський алгоритм", оскільки алгоритм був заснований на попередніх роботах двох …

14 graph-theory  reference-request  graph-algorithms  linear-programming  primal-dual 

1) Чи можливе парсимонічне скорочення від проблеми # P-завершення #A до проблеми підрахунку #B, коли (версія рішення) A NP-повна, а B - P? Наприклад, чи може відбутися парсимонічне зниження від #SAT до #B, коли B знаходиться в P? 2) Якщо B знаходиться в P, які різні можливості щодо складності #B?

14 cc.complexity-theory  complexity-classes  counting-complexity 

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

14 ds.algorithms  graph-theory  linear-programming  simplex 

Давши два CNF, якщо вони мають однакову кількість завдань, щоб зробити їх правдивими, відповідь "Так", інакше відповісти "Ні". Це легко помітити в , оскільки, якщо ми знаємо точну кількість рішень для цих двох CNF, ми просто розставляємо їх і відповідаємо "Так" або "Ні".P#PP#PP^{\#P} У чому полягає складність цієї проблеми?

14 cc.complexity-theory  complexity-classes  counting-complexity 

Я переглядаю деяку криптографічну модель. Щоб показати його неадекватність, я розробив надуманий протокол, заснований на ізоморфізмі графіка. "Банальним" (але суперечливим!) Є припущення про існування алгоритмів BPP, здатних генерувати "важкі екземпляри проблеми Ізоморфізму Графа". (Разом із свідком ізоморфізму.) У своєму надуманому протоколі я припускаю існування таких алгоритмів BPP, які задовольняють одній …

14 graph-theory  cr.crypto-security  automorphism  graph-isomorphism  randomized-algorithms 

Як я можу переконати Coq, що рекурсивна функція, наведена нижче, припиняється? Функція бере два індуктивних аргументи. Інтуїтивно рекурсія припиняється, оскільки будь-який аргумент розкладається. Зокрема, функція приймає два дерева як вхідні дані. Inductive Tree := | Tip: Tree | Bin: Tree -> Tree -> Tree. На Деревах мені подобається робити наступний …

14 interactive-proofs  proof-assistants  coq 

Які видумки та основні відкриті проблеми є найважливішими в алгоритмічній теорії ігор (або теорії ігор взагалі, як це стосується CS)? Наприклад, резолюція NASH як повна ППАД, я думаю, була б найбільшою до тих пір, поки вона не була вирішена. (Додано: вирішення відношення PPAD до P та NP - це одна …

14 big-list  gt.game-theory 

(Я вже запитував це в MathOverflow, але відповіді там не отримав.) Фон У нетипізованому обчисленні лямбда, термін може містити багато повторних виправлень і різних варіантів, щодо яких зменшити може призвести до різко різних результатів (наприклад, який у один крок ( β -) зводиться або до y, або до себе). Різні …

14 pl.programming-languages  lambda-calculus  proof-theory  normalization 

- клас задач вирішення, який вирішується сімействомланцюгів глибин O ( log i n ) з безмежними фаніновими АБО і обмеженими вентиляційними вентилями І. Заперечення дозволено лише на вхідному рівні. Відомо, що S A C i для i ≥ 1 закритий під комплементом, а S A C 0 - ні. Також …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

Розгляньте низькоокремо пов'язаний список у суто функціональній обстановці. Його похвали співали з вершин гори і продовжують співати. Тут я торкнуся однієї з її численних сильних сторін і питання про те, як вона може бути поширена на ширший клас суто функціональних послідовностей на основі дерев. Проблема полягає в наступному: Ви хочете …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

Чи існує спосіб кодування примірника суми підмножини або проблеми з розділенням чисел, щоб (мале) рішення цілого відношення дало відповідь? Якщо не точно, то в якомусь імовірнісному сенсі? Я знаю, що LLL (і, можливо, PSLQ) використовувались з помірним успіхом у вирішенні завдань Subset Sum у регіоні "низької щільності", де вибраний діапазон …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Проблема #SAT - це канонічна проблема P-завершення. Це проблема функції, а не проблема рішення. Він запитує, дано логічне значення формули в логіці висловлювань, скільки задовольняють завдання F має. Які найкращі нижчі межі на #SAT?FFFFFF

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

Я б включив два документи: Д. Козен, "Індексація субрекурсивних класів" , STOC, 1978. Р. Ладнер, "Про структуру скорочення поліноміального часу" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity