Запитання з тегом «cc.complexity-theory»

Враховуючи детерміновану гру з частковою інформацією з нульовою сумою лише лише кінцево багато станів, можливими результатами яких є [програти, нічия, виграти] зі значеннями [-1,0, + 1] відповідно, яка складність наближення значення такої гра додатково в межах ?ϵϵ\epsilon Зокрема, я не можу створити жодного алгоритму для цього. Решта цієї публікації повністю …

12 cc.complexity-theory  gt.game-theory 

Судоку - це відома головоломка, яка не завершена NP. Бінарний судоку - це варіант, який дозволяє лише числа і 1 . Правила такі.000111 Кожен рядок і кожен стовпець повинні містити рівну кількість нулів і одиниць. Кожен рядок і кожен стовпчик унікальні. Жоден рядок чи стовпець не містить послідовних потрій нулів …

12 cc.complexity-theory  np-hardness  puzzles 

Теорема про дихотомію Шефера показує, що кожна задача CSP над або вирішується в поліноміальний час, або NP-повна. Це стосується лише проблем CSP обмеженої ширини, виключаючи, наприклад, SAT та Horn-SAT. Загальні проблеми CSP з необмеженою шириною можуть бути дуже складними (навіть незрозумілими), тому давайте обмежимось проблемами, які є "природними" і є …

12 cc.complexity-theory  lo.logic  csp 

Я шукаю результати твердості на вершинні забарвлення графіків з обмеженим ступенем. Враховуючи графік , ми знаємо, що для будь-якого важко наблизити в межах коефіцієнта якщо [ 1 ]. Але що робити, якщо максимальний ступінь обмежений ? Чи є в цьому випадку коефіцієнти твердості форми (для деяких )?ϵ > 0 χ …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

Р П= NПRП=NПRP = NP широко сприймається як хибне. Але уявіть на мить, що це правда. У такому випадку наскільки ймовірним може бути, що ?П= NПП=NПP = NP Іншими словами: у світі, де , що все ще може розглядатися як перешкода для нас, щоб вірити ?P = N PР П= …

12 cc.complexity-theory  complexity-classes  conditional-results 

Виправте NP-повну проблему пошуку, наприклад, форму пошуку SAT. Пошук Левіна забезпечує алгоритм L для вирішення X, який є оптимальним у певному сенсі. Зокрема, алгоритм - "Виконати всі можливі програми P у доопрацюванні на вході x , як тільки якийсь P повернеться відповісти y перевіряє, чи правильно". Оптимально в тому сенсі, …

12 cc.complexity-theory  time-complexity  p-vs-np 

Були докладені зусилля для вирішення проблеми ізоморфізму графів, використовуючи квантові випадкові прогулянки твердотілих бозонів (симетричні, але не подвійні зайнятості). Симетрична сила матриці суміжності, яка здавалася багатообіцяючою, виявилася неповною для загальних графіків у цій роботі Аміром Рахнамаєм Баргі та Іллею Пономаренком. Інший подібний підхід також спростував у цій роботі Джеймі Сміт. …

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

Нині відомо, що нижня межа загального противника характеризує складність квантового запиту завдяки проривній роботі 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 

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

12 cc.complexity-theory  ai.artificial-intel 

Арора і Барак показують, що можна виразити як 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 

MPA (багатоскатний автомат) - це 2DFA (двосторонній детермінований кінцевий автомат), який може використовувати довільну кількість гальки (насправді не більше гальки на заданому вході w - вхід записується на стрічку між двома кінцями -марки як # w # ). Під час обчислень MPA може виявити, чи є символ під головою з …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Зазвичай простіше міркувати про обчислення, де обмеженням є обмеженість обчислень, а не поріг, як "обчислюється за багаточленну кількість часу". Наприклад, в теорії формальних мов, скоріше, використовувати щоб охарактеризувати аперіодичний моноід, простіше використовувати вигідні слова так, що x ω + 1 = x ω .∃n.xn+1=xn∃n.xn+1=xn\exists n. x^{n+1} = x^nxω+1=xωxω+1=xωx^{\omega+1} = x^{\omega} …

12 cc.complexity-theory  computability 

Скажімо, у вас є мова , але ніхто не знає, які рядки насправді є частиною мови. Все, що існує, - це кінцевий вигляд мови: кінцевий набір рядків які, як відомо, є мовою, і кінцевий набір рядків , які відомі не бути в мові.L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus …

12 cc.complexity-theory  fl.formal-languages  automata-theory