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

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

2
Чи відомий якийсь клас складності, що містить онлайн-аналоги проблем оптимізації?
Чи відомий якийсь клас складності, що містить онлайн-аналоги проблем оптимізації? Якщо ні, то як можна визначити такий клас? Ми знаємо, що багато проблем мають свою Інтернет-версію: наприклад, онлайн-версія проблеми з упаковкою у сміттєві контейнери. Проблеми в Інтернеті складніші, ніж вимірювати їх коефіцієнт конкурентоспроможності. І я не знайшов нічого подібного в …
1
Світи, щодо яких "невразливих генераторів" не існує
Невразливі генератори визначаються наступним чином: Нехай RRR - відношення NP, а МMM - машина, яка приймає L ( R )L(R)L(R) . Неофіційно програма є невразливим генератором, якщо на вході 1н1n1^n вона створює пари екземплярів-свідків ( x , w ) ∈ R(x,w)∈R(x, w) \in R , з | х | =n|x|=n|x| …
1
Які складності мають наступні підмножини SAT?
Припустимо, P≠NPP≠NPP \neq NP Нехай використовувати наступні позначення для тетрації (тобтоiaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | х | - розмір екземпляра x. Нехай L - мова, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } \exists i \in …
2
NP-повні варіанти невирішених проблем?
Приклади обмежених -повних варіантів невизначених множин:NПNPNP Обмежена проблема зупинки = { | Машина NTM M зупиняє та приймає х протягом t кроків}( М, х , 1т)(M,x,1t)(M, x, 1^t)МMMхxxтtt Обмежена черепиця = { | є плитка квадрата площі t 2 плитками від T }( Т, 1т)(T,1t)(T, 1^t)т2t2t^2ТTT Задача на обмежену кореспонденцію …
1
Твердість проблеми з обмеженою зіркою?
Зірка система являє собою сімейство п підмножин п-елементів , встановлених . Зірка система графічна якщо є граф таким чином, що є сімейством околиць вершин в . Це -повна , щоб визначити , чи є дана графічна система зірки.ЖFFG ( V , E ) F G N PSSSГ ( V, Е)G(V,E)G(V,E)ЖFFГGGNПNPNP …
3
Чи можливо вбудоване рішення доцільне для SAT?
Мене цікавлять "важкі" окремі випадки проблем, повних NP. Райан Вільямс обговорив проблему SAT0 в блозі Річарда Ліптона . SAT0 запитує, чи має примірник SAT конкретне рішення, що складається з усіх 0. Це змусило мене замислитися над побудовою екземплярів SAT, які, ймовірно, будуть "важкими". Розглянемо екземпляр SAT з пропозиціями та змінними, …
5
Класи складності у випадках, відмінних від «найгіршого»
Чи є у нас класи складності щодо, скажімо, середньої складності? Наприклад, чи існує (названий) клас складності для проблем, які потребують вирішення очікуваного часу полінома? Інше питання розглядає найкращу складність справи , наведену нижче: Чи існує клас (природних) проблем, вирішення яких потребує хоча б експоненціального часу? Для уточнення, розглянемо деякі EXP …
3
Явне розділення між конструктивністю часу та конструктивністю простору?
Покажіть функцію яка може бути сконструйована простором, але не змінна за часом.f( n )f(n)f(n) Чи пов’язана ця проблема з можливим поділом між класами складності DTIME (f (n)) та SPACE (f (n))?
1
Чи вивчена дерандомізація дещо нерівномірних класів, наприклад, BPP / лінійна?
Під BPP / лінійним я маю на увазі машини BPP з лінійною порадою, яка виконує обіцянку при наданні "правильних" порад, а дерандомізація повинна дати нам, скажімо, алгоритм P / line або (SUBEXP / лінійний). Якщо ми використовуємо неоднорідні припущення, я вважаю, що класичні результати повинні працювати, оскільки ми можемо "обдурити" …
3
Які існують докази того, що ?
Які існують докази того, що ?coRP≠NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP - клас мов, для якого існує імовірнісна машина Тьюрінга, яка працює в поліноміальний час і завжди відповідає "Так" на вхід, що належить до мови, і відповідає "Ні" з вірогідністю щонайменше половини на вході, який не належить мові.
1
Природні кандидати на NP-E та E-NP
З початку 70-х років відомо, що і не є рівними (тому що не замикається в поліномічний час багато -одне скорочення, на відміну від ). Наскільки я знаю, проте, досі відкрито, чи є один клас підмножиною іншого, або вони є незрівнянними, це означає, що і обидва непусті.NPNP{\bf NP}E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)})EE{\bf E}NPNP{\bf NP}NP−ENP−E{\bf …
1
Який гіпотетичний зв’язок між мовою P (PTime) та типом 1 (залежно від контексту)?
Невідомо, чи P⊆CSLP⊆CSLP\subseteq CSL або П⊈ СSLП⊈СSLP\not\subseteq CSL, де ППP - сукупність усіх мов, які можна визначити в поліноміальний час на детермінованій машині Тьюрінга, і СSLСSLCSL - клас контекстно-чутливих мов, який, як відомо, еквівалентний , мовам, визначеним лінійно обмеженими автоматами.NSПА СЕ( O ( n ) )NSПАСЕ(О(н))NSPACE(O(n)) Для багатьох відкритих питань …
1
Чи відомий асимптотично складність Колмогорова таблиць істинності проблеми зупинки?
Дозволяє НA LТнHALTnHALT_n позначають рядок довжини 2н2n2^n що відповідає таблиці істинності задачі про зупинку для введення довжини нnn. Якщо послідовність Колмогорова складності К( НA LТн)K(HALTn)K(HALT_n) були O ( 1 )O(1)O(1), тоді один із рядків порад буде використовуватися нескінченно часто, і TM з цією строковою кодовою версією зможе вирішити HALTHALTHALT рівномірно …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.