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

Я думав про те, який клас належить ця мова: являє собою графік, натуральне число і є хроматичним числом G }L = { ⟨ G , до ⟩ | GL={⟨Г,к⟩∣ГL =\{ \langle G,k \rangle \mid G ккkккkG }Г}G\} Я подумав про як (1) "немає фарбування k-1 кольорів" і (2) "є забарвлення …

11 cc.complexity-theory  np-hardness  complexity-classes 

Клас UP визначається як такий: Клас задач рішення, що вирішується машиною NP, такий, що Якщо відповідь "так", приймається рівно один шлях обчислення. Якщо відповідь "ні", усі обчислювальні контури відкидають. Я намагаюся розвинути інтуїцію до цього визначення. Чи можна сказати, що проблеми UP - це проблеми з унікальними рішеннями (наприклад, проста …

11 cc.complexity-theory  complexity-classes 

Відомо, що деякі (нерелятивізовані) класи синтаксичної складності між і мають таке властивість, . Мені цікаво, чи існує (нерелятивізований) синтаксичний клас складності такий, що ? Які наслідки існування чи неіснуючого класу складності ? PP{\bf P}PSPACEPSPACE{\bf PSPACE}P⊆CoNP⊆US⊆C=P⊆PP⊆PSPACEP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq {\bf PP} \subseteq {\bf …

11 cc.complexity-theory  complexity-classes 

NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Тепер розглянуть схему сім'ї з оракулом воротами - скажімо, , де класі складності схеми , що містить logspace з доступом оракула до іншого класу , через оракул воріт прикладеного до основи . Чи є якісь патологічні приклади, подібні за духом до папери Ладнера-Лінча, відомої для таких занять? …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Відповідь: невідомо Велике спасибі всім, хто допоміг уточнити це питання та визначення, пов'язані з ним. Визначення цієї вікі послужили відправною точкою для більш пізньої вікі TCS " Чи P містить мови, існування яких не залежить від PA чи ZFC? (Вікі спільноти TCS) ". Більш свіжий вікі є кращим, оскільки його …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Я думаю, це буде називатися # P-Space, але я знайшов лише одну статтю, тумано згадуючу про це. Як щодо рахункової версії проблем EXP-TIME-Complete, NEXP-Complete, а також проблем EXP-SPACE-Complete? Чи є якась попередня робота, яку можна навести стосовно цього чи будь-якого типу включення чи виключення, наприклад, теорема Тоди?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Як можна дивитися на проблему та причину того, що це, ймовірно, NP-Intermediate на відміну від NP-Complete? Часто досить просто подивитися на проблему і сказати, ймовірно, це NP-Complete чи ні, але мені здається, що набагато важче сказати, чи є проблема NP-Intermediate, оскільки лінія здається, що між ними є досить тонка заняття. …

11 cc.complexity-theory  complexity-classes  np-intermediate 

Я не пам'ятаю, як бачив поділ класів, який не базувався на результатах діагоналізації та релятивізації. Діагоналізація все ще може бути використана для відокремлення залишилися відомих класів, оскільки нерелятивізуючі аргументи все ще можуть використовуватися у висновку діагоналізації або в діагоналізованій конструкції машини Тьюрінга. Ось кілька пов'язаних питань: Чи існують докази поділу …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

У мене є проблема, яка знаходиться в NEXP і її також можна вирішити змінним ТМ, використовуючи експоненціальний час і лише одне чергування (починаючи в екзистенційному стані).НПNP^{\text{NP}} Чи відомо щось про NEXP ? Чи дорівнює NEXP чи іншому класу? Чи існують повні проблеми, крім загальної (з урахуванням машини NEXP і слова, …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Уявіть функціональну мову програмування, єдиним типом даних якої є чисельні скаляри та довільні вставки масивів. У мові відсутні будь-які засоби безмежної ітерації, тому заборонено наступне: явні петлі (не так багато використання без побічних ефектів) рекурсія довільні функції першого класу (без у-комбінатора) Однак мова має: функції верхнього рівня лексично охоплені нехай …

11 complexity-classes  functional-programming  dc.parallel-comp 

Ось дві варіанти визначення NP. Вони (майже напевно) визначають окремі класи складності, але моє запитання: чи існують природні приклади проблем, які вписуються в ці класи? (Мій поріг того, що тут вважається природним, трохи нижчий, ніж зазвичай.) 1 клас (суперклас НП): Проблеми зі свідками розміру полінома, які потребують перевірки суперполіноміального, але …

11 cc.complexity-theory  complexity-classes  np 

Нехай GGG - це загальний оракул у значенні категорії Коен / Баїр. Нехай - випадковий оракул.RRR Чи існують класи складності A і B з або навпаки, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RАГ≠ БГіАR= ВR?АГ≠БГіАR=БR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Питання надихнуло коментарем Скотта Ааронсона .

11 cc.complexity-theory  complexity-classes 

На це питання може бути очевидна відповідь ... але ось питання все одно. Інтуїтивно зрозумілим є наступне правдоподібне твердження - "машина з підпрограмою A, яка, у свою чергу, має підпрограму B, така ж, як і машина з підпрограмою A, яка має доступ до підпрограми B". Щоб визначити цю проблему формально, …

11 complexity-classes  oracles 

Це узагальнення мого попереднього запитання . Нехай ММM буде поліноміальний детермінований машина , яка може ставити питання деяким оракулом ААA . Спочатку ААA порожній, але це можна змінити після гри, яка буде описана нижче. Нехай ххx - якийсь рядок. Розглянемо наступну гру Аліси та Боб. Спочатку Аліса та Боб мають …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

Нехай буде поліноміальний детермінований машина , яка може ставити питання деяким оракулом . Спочатку порожній, але це можна змінити після гри, яка буде описана нижче. Нехай - якийсь рядок.А А хМMMАAAАAAхxx Розглянемо наступну гру Аліси та Боб. Спочатку Аліса та Боб мали та доларів відповідно. Аліса хоче а Боб хоче …

10 cc.complexity-theory  complexity-classes  gt.game-theory