Вопросы с тегом «complexity-classes»

Я думал о том, к какому классу принадлежит этот язык: - граф, - натуральное число, а - хроматическое число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 

Известно , что некоторые (не релятивизованных) синтаксические классы сложности между и P S P A C E имеют следующее свойство, P ⊆ C O N P ⊆ U S ⊆ C = P ⊆ P P ⊆ P S P C E , Мне интересно, существует ли (нерелятивизированный) синтаксический класс …

11 cc.complexity-theory  complexity-classes 

NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Теперь рассмотрят схему семьи с оракулом воротами - скажем, , где классе сложности схемы , содержащая logspace с доступом оракула к другому классу , через оракул ворот приложенного к основанию . Существуют ли какие-либо патологические примеры, похожие по духу на статью Ладнера-Линча, известную такими классами? Какое RST-подобное …

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 и также может быть решена с помощью чередующегося ТМ, использующего экспоненциальное время и только одно чередование (начиная с экзистенциального состояния).NPNP^{\text{NP}} Что-нибудь известно о NEXP ? Это равно NEXP или какому-то другому классу? Существуют ли полные проблемы, кроме общей (учитывая машину NEXP и …

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

Представьте себе функциональный язык программирования, единственными типами данных которого являются числовые скаляры и произвольные вложения массивов. В языке отсутствуют какие-либо средства неограниченной итерации, поэтому запрещено следующее: явные циклы (во всяком случае, без побочных эффектов) рекурсия произвольные функции первого класса (без y-комбинатора) Язык, однако, имеет: функции верхнего уровня лексически ограниченные пусть …

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

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

11 cc.complexity-theory  complexity-classes  np 

Пусть GGG - общий оракул в смысле категории Коэна / Бэра. Пусть RRR случайный оракул. Существуют ли классы сложности A и B с AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^R или наоборот, AG≠BGandAR=BR?AG≠BGandAR=BR?\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 

Это обобщение моего предыдущего вопроса . Пусть будет полиномиальный детерминированный машина , которая может задавать вопросы некоторым оракулом . Первоначально пусто, но это можно изменить после игры, которая будет описана ниже. Позвольте x быть некоторой строкой.MMMAAAAAAxИксx Рассмотрим следующую игру Алисы и Боба. Первоначально Алиса и Боб имеют mAмAm_A и mBмВm_B …

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

Теорема Махейни говорит нам , что если есть разреженная -полное множество под полиномиальное время многие-одно сокращение, то P = N P . (См. « Разреженные комплекты для NP: Решение гипотезы Бермана и Хартманиса »)NпNPNPP=NPP=NPP = NP Известны ли последствия существования разреженных полных наборов для других классов сложности? В частности, если …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace