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

P проти НП та інших обчислень, обмежених ресурсами.

3
Найкоротша еквівалентна формула CNF
Нехай F1F1F_1 є здійсненним КНФ Формула з nnn змінних і mmm положень. Нехай SF1SF1S_{F_1} - простір рішення F1F1F_1 . Розглянемо задачу визначення, враховуючи F1F1F_1 , інший КНФ формула F2F2F_2 з тим же набором змінних , як F1F1F_1 , з SF2=SF1SF2=SF1S_{F_2} = S_{F_1} ( то ж саме простір рішень , як …
4
Перелік теорем, що стверджує, що P не дорівнює NP, якщо і лише якщо
Я думаю, що було б хорошою ідеєю скласти перелік теорем, вказуючи, що P не дорівнює NP, якщо і лише тоді, коли такі і такі виходи, якийсь клас складності міститься в іншому класі складності тощо і так далі.
3
Розв’язування суперструнних рівно
Що відомо про точну складність найкоротшої проблеми суперструнних? Чи можна її розв’язати швидше, ніж O∗(2n)O∗(2n)O^*(2^n) ? Чи існують відомі алгоритми, які вирішують найкоротші суперструни без зменшення до TSP? UPD: пригнічує поліноміальні фактори.O∗(⋅)O∗(⋅)O^*(\cdot) Найкоротша проблема суперстрінгів - це проблема, відповідь якої - найкоротша рядок, яка містить кожну рядок із заданого набору …
2
Використання XORiфікації
XORiфiкацiя - це технiка зробити булевiю функцiю чи формулу важiшою, замінивши кожну змінну на XOR на змінних . ххxk ≥ 2к≥2k\geq 2х1⊕ … ⊕ xкх1⊕…⊕хкx_1 \oplus \ldots \oplus x_k Мені відомо про використання цієї методики у складності доказування, головним чином для отримання нижнього простору для систем доказів на основі роздільної …
1
Найбільш ефективний спосіб перетворити ланцюг
EDIT (22 серпня 2011 р.): Я ще більше спрощую питання і ставлю щедру за це питання. Можливо, на це простіше запитання буде легка відповідь. Я також збираюся прокреслити всі частини оригінального питання, які вже не є актуальними. (Дякую Стасісу Юкні та Райану О'Доннел за часткову відповідь на оригінальне запитання!) Фон: …
3
Торгуйте між часом та складністю запиту
Працювати безпосередньо зі складністю часу або нижніми межами схеми страшно. Отже, ми розробляємо такі інструменти, як складність запитів (або складність дерева рішень), щоб отримати ручку в нижчих межах. Оскільки кожен запит займає щонайменше один крок одиниці, а обчислення між запитами зараховуються як вільні, складність часу становить щонайменше стільки ж, як …
4
Чи може тестування показати відсутність помилок?
(n+1)(n+1)(n + 1) бали необхідні для однозначного визначення многочлена ступеняnnn ; наприклад, дві точки в площині визначають рівно одну пряму. Скільки балів потрібно, щоб однозначно визначити обчислювальну функцію f:N→Nf:N→Nf : N \rightarrow N , враховуючи довжину програми, яка обчислює fff у фіксованій мові? (тобто пов'язана зі складністю Колмогорова fff ). …
4
Пряме зменшення SAT до 3-SAT
Тут мета полягає в тому, щоб звести довільну задачу SAT до 3-SAT за багаточлен, використовуючи найменшу кількість пропозицій та змінних. Моє запитання мотивоване цікавістю. Менш формально, я хотів би знати: "Що таке" найбільш природне "зниження від SAT до 3-SAT?" Тепер скорочення, яке я завжди бачив у підручниках, виглядає приблизно так: …
5
Чому P = NP не означає P = AP (тобто P = PSPACE)?
Добре відомо, що якщо P = N P,P=NP\mathbf{P}=\mathbf{NP} то поліноміальна ієрархія руйнується і .Р = Р НP=PH\mathbf{P}=\mathbf{PH} Це легко зрозуміти індуктивно, використовуючи машини oracle. Питання - чому ми не можемо продовжувати індуктивний процес поза постійним рівнем чергувань і не довести (aka )?P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)})AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} Я шукаю інтуїтивну відповідь.
2
Теорема ієрархії щодо розміру ланцюга
Я думаю, що теорема про ієрархію розмірів щодо складності ланцюга може стати головним проривом у цій галузі. Це цікавий підхід до розділення класів? Мотивація питання полягає в тому, що ми повинні сказати є деяка функція, яку неможливо обчислити за розмірами ланцюгів і її можна обчислити за схемою розміру де . …
2
Чи існує теорема про ієрархію часу для PH?
Чи правда, що існують проблеми в ієрархії поліномів, розв’язувані за часом O(nk)O(nk)O(n^k) (за допомогою змінної машини Тюрінга на деякому рівні поліноміальної ієрархії), які не вирішуються в O(nk−1)O(nk−1)O(n^{k-1}) на будь-якому рівні поліноміальна ієрархія? Іншими словами - чи існує теорема про ієрархію часу для ієрархії поліномів, як це існує для P та …
4
Застосування теорії складності
Теорія складності, здається, охоплює щось фундаментальне у структурі Всесвіту, оскільки вона формалізує інтуїтивне уявлення про те, що деякі проблеми складніші за інші. Скотт Ааронсон передбачив : "Припущення про твердість NP зрештою буде розглядатися як аналог другого закону термодинаміки або неможливість надсвітової сигналізації". Так звані «важкі проблеми» є основою сучасної криптографії. …
4
Якщо P = BQP, чи означає це, що PSPACE (= IP) = AM?
Нещодавно Watrous та ін довели, що QIP (3) = PSPACE - чудовий результат. Це було для мене найменше дивовижним результатом, і це змусило мене думати ... Мені було цікаво, що робити, якщо квантові комп’ютери можуть бути ефективно змодельовані класичними комп'ютерами. Чи може це бути ПРОСТО пов’язано з розділенням між IP …
1
Чи обмежена домінантна задана задача на плоскі двобічні графіки максимального ступеня 3 NP?
Хто-небудь знає про результат NP-повноти для задачі ДОМІНАЦІЙНОГО НАБОРУ в графіках, обмежених класом плоских двосторонніх графіків максимального ступеня 3? Я знаю, що це NP-повний для класу плоских графіків максимального ступеня 3 (див. Книгу Гарі та Джонсона), а також для двопартійних графіків максимального ступеня 3 (див. М. Хлебік та Дж. Хлебікова, …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.