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

Резолюція - це схема доведення незадовільності CNF. Доказом дозволу є логічне вирахування порожнього пункту для початкових статей CNF. Зокрема, можна зробити висновок про будь-який початковий пункт, а з двох пунктів і можна також вивести пунктСпростування - це послідовність відрахувань, яка закінчується порожнім пунктом.A∨xA∨xA \lor xB∨¬xB∨¬xB \lor \neg{x}A∨BA∨BA \lor B Якщо …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

Я намагаюся скласти таксономію алгоритмів для перетворення регулярних виразів в автомати, щоб виконати деякі емпіричні тести на властивості їх складності в конкретних областях. Мені відомо кілька «більших» імен, наприклад, Томпсон "Алгоритм пошуку регулярних виразів", Томпсон, 1968 рік Глушков "Новий квадратичний алгоритм перетворення регулярного виразу в автоматику", Ponty, et. al, 1996 …

10 automata-theory  fl.formal-languages  regular-expressions 

Фон Складність ланцюга визначається як набір сімейств ланцюгів (тобто послідовності ланцюгів, по одному для кожного вхідного розміру) обмеженої глибини та розміру полінома, побудовані за допомогою безмежного вентилятора AND, OR і NOT.А С0АС0AC^0 Функція парності з бітовим входом дорівнює XOR бітів на вході.n⊕⊕\oplusннn Одним із перших нижніх ланцюгів, що довели складність …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

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

10 reference-request  lg.learning  gt.game-theory 

Гарві Фрідман показав, що існує чіткий результат з фіксованою точкою, який неможливо довести в ZFC (звичайна теорія множин Зермело-Франкеля з аксіомою вибору). Багато сучасних логік побудовані на операторах з фіксованою точкою, тому мені було цікаво: чи відомі якісь наслідки теореми з фіксованою точкою верхнього зсуву для теоретичної інформатики? Теорема нерухомої …

10 computability  lo.logic 

Питання : Чи прогнозувати (як визначено нижче) обчислювальні послідовності так само важко, як і проблема зупинки? Розробка : "Передбачити" означає успішно передбачити, що означає зробити лише кінцево багато помилок у задачі спроби передбачити n-й біт послідовності, наданий доступ до попередніх бітів n-1 (починаючи з першого біта і проходячи через вся …

10 computability 

Хтось знає про набір проблем, які рівномірно різняться і охоплюють одну з "цікавих" ієрархій складності та обчислюваності? Під цікавим, я маю на увазі, наприклад, Ієрархію поліномів, Арифметичну Ієрархію чи Аналітичну Ієрархію. А може (N) P, (N) EXP, 2 (N) EXP,……\ldots Більш конкретно: Ви можете дати єдиний набір проблем, що характеризують …

10 cc.complexity-theory  computability 

У Universal Blind Quantum Computation автори описують протокол на основі вимірювань, який дозволяє майже класичному користувачеві виконувати довільні обчислення на квантовому сервері, не розкриваючи майже нічого про зміст обчислень. В описі протоколу автори згадують "набори залежностей", пов'язані з кожним кубітом, які повинні бути обчислені деяким методом, описаним у Детермінізмі в …

10 quantum-computing  cr.crypto-security 

Нехай π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* - перестановка. Зауважте, що хоча ππ\pi діє на нескінченну область, його опис може бути кінцевим. Під описом я маю на увазі програму, яка описує функціональність ππ\pi . (Як щодо складності Колмогорова.) Пояснення див. Нижче. Наприклад, функція NOT є однією з таких перестановок: функція НЕ …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

У мене є наступний LP: / * Об'єктивна функція * / хв: 1 w + 2 x + 0,5 y + z; / * Змінні межі * / w + x <= T1; w + y = U1; x + z = U2; Т1 = 50; U1 = 70; U2 …

10 linear-programming 

Спрощена класична транзакція з базою даних може розглядатися як: читання М предметів виконавши деякий розрахунок на основі цих показань написання деяких N результатів на основі цих розрахунків, які можуть включати в себе елементи, спочатку прочитані. При здійсненні цих транзакцій (одночасно) властивості ACID потрібно підтримувати. Точно такі ж вимоги (N оновлень …

10 ds.algorithms  dc.distributed-comp 

Хіроїмоно - популярна загадка неповна. Мене цікавить обчислювальна складність пов'язаної головоломки.NПNPNP Проблема полягає в наступному: Введення : Дано набір точок на x квадратній сітці та ціле число kn kнnnнnnкkk Запитання : Чи існує прямолінійний многокутник (його сторони, паралельні осі хxx або уyy ), таким, що кількість точок на кутах полігону …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Чи є інструмент, за яким можна зрозуміти, чи є двоє людей у ​​співавторстві чи ні? Як інструмент, за яким можна з'ясувати чийсь Erdos _number_.

10 soft-question 

З огляду на сильно з’єднаний диграф G із зваженими ребрами, я хотів би визначити ребра, які, ймовірно, не є частиною жодного мінімально сильно пов'язаного підграфу (MSCS) G. Одним із способів пошуку таких ребер є модифікований алгоритм Флойда-Варшалла. Використовуючи алгоритм Флойда-Варшалла, можна визначити, які краї ніколи не є найкращим варіантом для …

10 ds.algorithms  graph-theory  graph-algorithms 

Графік автоморфизм є перестановкою вузлів графа , який індукує біекція на безліч ребер EEE . Формально це перестановка fff таких вузлів (u,v)∈E(u,v)∈E(u,v)\in E iff (f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Визначте порушений край для деякої перестановки як край, який відображається на не-край, або край, зображення якого не є ребром. Введення : нежорсткий графік G(V,E)G(V,E)G(V, …

10 cc.complexity-theory  graph-theory  automorphism  symmetry