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

Чи може хтось навести приклад двох еквівалентних (визнання тієї ж мови) мінімальних недетермінованих автоматів (NFA), які не є ізоморфними?

12 fl.formal-languages  automata-theory 

Шукаю обмеження на ентропії суми двох незалежних дискретних випадкових величин X і Y . Природно, H ( X + Y ) ≤ H ( X ) + H ( Y ) ( ∗ ) Однак, застосований до суми n незалежних випадкових величин Бернуллі Z 1 , … , Z n …

12 it.information-theory  shannon-entropy 

Нині відомо, що нижня межа загального противника характеризує складність квантового запиту завдяки проривній роботі Reichardt et al. Цей же напрям роботи також встановлює зв'язки з рамками програми для розробки квантових алгоритмів. Багато цікавих квантових алгоритмів, у тому числі алгоритми з експоненціальною швидкістю, такі як алгоритм Саймона та алгоритм Шор для …

12 cc.complexity-theory  quantum-computing  query-complexity 

Якщо нам дано два рядки розміром і n 2 , то стандартний обчислення відстані редагування Левенштейна здійснюється за допомогою динамічного алгоритму з часовою складністю O ( n 1 n 2 ) і складністю простору O ( n 1 n 2 ) . (Деякі вдосконалення можуть бути внесені як функція відстані …

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

Дано спрямований графік з n вузлами, таким чином, що кожна вершина має рівно два вихідних ребра, і натуральне число N, закодоване у двійкові, дві вершини s і t, Я хочу порахувати кількість (не обов'язково простих) шляхів від s до t протягом N кроків. Це # Р-важка проблема? Або взагалі в …

12 cc.complexity-theory  graph-theory  counting-complexity 

Якщо вам надано колекцію часткових замовлень, топологічне сортування підкаже, чи є розширення колекції до загального порядку (розширення в цьому випадку - це загальне замовлення, що відповідає кожному з часткових замовлень). Я зіткнувся з варіацією: Зафіксуємо безліч . Вам надаються послідовності σ 1 , … σ k елементів, витягнутих з V …

12 ds.algorithms  reference-request  order-theory 

Слідування Що таке приклад Monad, який є Альтернативою, але не MonadPlus? : Припустимо, - монада. Які відносини betweem будучи Alternative , а MonadPlusCatch і MonadPlusDistr ? ммmmмmmДля кожної з шести можливих пар я хотів би мати доказ того, що одна має на увазі інше, або зустрічний приклад того, що це …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

Визначення «проблеми» , щоб бути алгоритм приймає натуральне число і повертає 0 або 1 , який повертає 1 , щонайменше , однієї п ∈ N . Будь-яка така n називається "рішенням" AАAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Визначте «універсальний вирішувач проблеми», який є алгоритмом приймає проблему і повертає одне з її рішень. Наприклад, …

12 cc.complexity-theory  ai.artificial-intel 

Скажімо, у нас є функція , така що ( тому ми можемо вважати як розподіл). Закономірно визначити ентропію такої функції так: ∑ x ∈ Z n 2 f ( x ) 2 = 1 { f ( x ) 2 } x ∈ Z n 2 H ( f ) …

12 it.information-theory  boolean-functions  fourier-analysis 

У рекурсивних видах Вадлера безкоштовно! [1], він показав два типу, ∀X. ( F( X) → X) → X∀X.(F(X)→X)→X\forall X . (F(X) \rightarrow X) \rightarrow X і ∃ X. ( X→ F( X) ) × X∃X.(X→F(X))×X\exists X . (X \rightarrow F(X)) \times X , і стверджується, що вони подвійні . Зокрема, …

12 lo.logic  type-theory 

Арора і Барак показують, що можна виразити як B P ⋅ N P, тобто набір мов, що мають рандомізовані скорочення до 3SAT. M A також є природним рандомізованим узагальненням N P тим, що ви замінюєте детермінований верифікатор рандомізованим.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Чи є сенс, в якому одне з них ближче вписується в …

12 cc.complexity-theory  big-picture 

Яка взаємозв'язок між виразністю LTL , Büchi / QPTL , CTL і CTL * ? Чи можете ви навести кілька посилань, які охоплюють якомога більше цих часових логік (особливо між лінійним та розгалужувальним часом)? Діаграма Венна з тими часовими логіками та деякими практичними властивостями як приклади була б ідеальною. Наприклад: …

12 lo.logic  automata-theory  model-checking  temporal-logic 

У книзі A = B Петковсека, Вільфа та Зейльбергера описані алгоритми для обчислення різних сум біномій. AFAIK, ці алгоритми все ще вдосконалюються різними авторами. Чи знаєте ви, де ми можемо знайти найсучасніші реалізації цих алгоритмів? А чи знаєте ви, чи існують реалізації в деяких безкоштовних програмних програм, таких як Sage …

12 ds.algorithms  co.combinatorics  implementation 

Сподіваюся, хтось знає відповідь на це, тому мені не доведеться читати літературу ... Розглянемо послідовність чисел . Подумайте про послідовність як проміжки . Зрозуміло, що початкова послідовність є бітонічною, якщо будь-яка точка на реальній прямій врізається не більше 2 інтервалів. Ми будемо називати послідовність, де точка колюється на більшій кількості …

12 ds.algorithms  reference-request  sorting 

Існує лінійний алгоритм часу для рівномірного розбиття тексту на рядки максимальної ширини. Він використовує SMAWK (або Knuth & Plass) і "рівномірно" означає: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Чи існує алгоритм чи увігнута вартість вартості для алгоритму, над якою буде враховано кількість рядків, на які я хотів би розбити текст замість максимальної ширини рядка? Також …

12 ds.algorithms