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

Після пропозиції Джоша Грохова я перетворюю свій коментар з попереднього запитання в нове запитання. Які докази ми маємо для UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} ? Тут UPUP\mathsf{UP} - клас мов, впізнаваний за недетермінованими машинами Тюрінга в поліноміальних часах, які мають унікальний приймальний шлях на екземпляри "так" і не приймають шлях на екземпляри …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Припустимо, я розглядаю наступний варіант BPP, який назвемо E (xact) BPP: Мова є в EBPP, якщо є рандомизований TG поліном, який приймає кожне слово мови з точно 3/4 ймовірністю, і кожне слово не в мова з точно 1/4 ймовірністю. Очевидно, що EBPP міститься в BPP, але вони рівні? Це було …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

Останнім часом я стикався з наступним варіантом фарбування країв. З огляду на підключений непрямий графік, знайдіть забарвлення ребер, яка використовує максимальну кількість кольорів, одночасно задовольняючи обмеження, що для кожної вершини краї, що падають на v, використовують не більше двох кольорів.vvvvvv Перший мій здогад - це те, що проблема непроста. Класичні …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

У "останньому абзаці" "першої сторінки" наступного документу: Вікраман Арвінд , Йоганнес Кеблер , Уве Шьонінг , Райнер Шулер , "Якщо NP має схеми розмірів полінома, то MA = AM", Теоретична інформатика, 1995. Я зіткнувся з дещо контрінтуїтивним твердженням: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 Я думаю, що особистість, викладена …

17 cc.complexity-theory  complexity-classes 

На запитання Грег Куперберг запитав мене, мені цікаво, чи існують документи, які визначають і вивчають класи складності мов, які допускають різні види доказів знань . Такі класи, як SZK та NISZK , надзвичайно природні з точки зору складності, навіть якщо ми повністю забули про нульові знання та просто визначили їх …

16 complexity-classes  cr.crypto-security  zero-knowledge 

Наведемо кілька прикладів пар класів складності і таких, щоAAABBB ми не знаємо, чи , іA=BA=BA=B ми також не знаємо суперечливих релятивізацій (тобто, ми не знаємо оракул і Q таких, що A ^ P = B ^ P і A ^ Q \ ne B ^ Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne …

16 cc.complexity-theory  complexity-classes  relativization 

Мені потрібен список повних мов . У зоопарку складності перераховані дві такі проблеми , а саме:Σp2Σ2p\Sigma_2^p Мінімальний еквівалент DNF. Враховуючи формулу F DNF і ціле число k, чи існує формула DNF, еквівалентна F з k або меншою кількістю випадкових випадків? Найкоротший підхід. З огляду на формулу F і ціле число …

16 complexity-classes  polynomial-hierarchy 

Ми говоримо, що NFA є постійно неоднозначним, якщо існує такий, що будь-яке слово приймається або або (точно) шляхами.k ∈ N w ∈ Σ ∗ 0 kMMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Якщо автомат постійно неоднозначний при , то називається однозначним FA (UFA).k = 1 MMMMk=1k=1k=1MMM Нехай - звичайна мова.LLL Чи може деякий постійно …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

Чи є NP у ?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory  complexity-classes 

Мене цікавить, чи існують якісь хороші статті-описи чи опитування, до яких я можу звернутися, коли пишу про операторів класу складності : операторів, які перетворюють класи складності, роблячи такі речі, як додавання до них кількісних показників. Приклади операторів Далі можна трактувати як мінімальний список операторів, відповідь на які слід описати. Тут …

16 reference-request  complexity-classes 

Теореми ієрархії є основними інструментами. Чимала їх кількість була зібрана в попередньому запитанні (див. Які ієрархії та / або теореми ієрархії ви знаєте? ). Деякі розділення класів складності безпосередньо випливають із теорем ієрархії. Приклади таких відомих розділень: , , , .P ≠ E X P N P ≠ N E …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

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

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

LogCFL - це набір усіх мов, які можна змінити в просторі журналів до безконтекстної мови. Аналогічно, LogDCFL - це набір усіх мов, які можна змінити в просторі журналів до детермінованої без контексту мови. Дивіться цю статтю у Вікіпедії щодо деяких природних проблем, повних LogCFL. Є кілька інших цікавих проблем, повних …

16 cc.complexity-theory  complexity-classes 

Коротке запитання. Яка обчислювальна потужність "квантових" схем, якщо ми допускаємо не унітарні (але все ще неперевернені) ворота і вимагаємо, щоб вихід дав правильну відповідь із впевненістю? Це питання є в певному сенсі про те, що відбувається з класом EQPEQP\mathsf{EQP} коли ви дозволяєте схемам використовувати більше, ніж просто унітарні ворота. (Ми …

15 complexity-classes  quantum-computing 

Протягом останніх двох десятиліть була проведена фантастична робота над Постійним. Я деякий час замислювався над можливістю алгоритму гладкого P для постійних негативних матриць. Звичайно, є відомий алгоритм JSV, але це фпрас. Думаючи про іншу роботу в рамках Smoothed Complexity, сильним натяком на перебування в Smoothed P було наявність алгоритму fpras …

15 cc.complexity-theory  complexity-classes