Вопросы с тегом «reductions»

На прошлой неделе я снова читал текст Лесли Лампорта, опубликованный в 1982 году, на конференции, которую он дал о « Решенных проблемах, нерешенных проблемах и проблемах в параллелизме» . Бумага легко читается, но одна из вещей, которая заставила меня задуматься, это следующее утверждение: Можно ли рассматривать какую-либо проблему как проблему …

13 reductions  dc.distributed-comp  concurrency 

Класс сложности PPAD был изобретен Христосом Пападимитриу в его основополагающей статье 1994 года . Этот класс предназначен для охвата сложности задач поиска, когда существование решения гарантируется «аргументом четности в ориентированных графах»: если в ориентированном графе существует несбалансированная вершина, то должна существовать другая. Но обычно класс формально определяется в терминах ANOTHER …

13 cc.complexity-theory  reductions  search-problem  ppad 

Плотность языковой является функцией определяется как Пусть и являются языками некоторого конечного алфавита, многих один logspace сводится к , и не в . Функции являются полиномиально связаны , если существуют многочлены и такие , что для всех , иd X : N → N d X ( n ) = …

12 cc.complexity-theory  reductions  structural-complexity 

«Если , существует ли x , y ∈ N , a x 2 + b y = c » является N P -полным.a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} К какому классу сложности относится «При условии , существуют ли x , y ∈ N , a x 2 + b y 2 = c …

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

Эта статья доказывает, что в игре с дверями и прижимными плитами PSPACE сложно определить, может ли аватар (игрока) достичь определенного места. Это подтверждается сокращением от TQBF , а длина полученных решений экспоненциально зависит от количества универсальных квантификаторов в формуле. Есть ли сокращение от машины NPSPACE до такой игры, для которой …

12 reductions  nondeterminism  pspace 

Уникальная SAT является хорошо известной проблемой: учитывая формулу CNF , верно ли, что F имеет ровно одну модель?FFFFFF Меня интересует проблема «точно -SAT»: учитывая формулу CNF F и целое число m > 1 , правда ли, что F имеет ровно m моделей?мmmFFFm > 1m>1m>1FFFmmm Обе проблемы выглядят одинаково. Итак, мои …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

Я знаю, что исчисление конструкций сильно нормализуется, то есть у каждого выражения есть норма, которая не может быть бета, далее сокращена. Так что на самом деле это наиболее эффективное выражение, которое вычисляет то же значение, что и исходное выражение. Но в некоторых случаях нормализация может уменьшить маленькое выражение до огромного …

11 lambda-calculus  reductions  typed-lambda-calculus  normalization  calculus-of-constructions 

Есть ли известный результат по классу сложности 1-в-3-SAT с ограниченным числом вхождений переменных? Я придумал следующее экономное сокращение с Питером Найтингейлом, но я хочу процитировать кое-что, если это известно. Вот трюк, который мы придумали. Это показывает, что 1-в-3-SAT, ограниченный 3-мя вхождениями на переменную, является NP-завершенным и #P-завершенным (поскольку 1-в-3-SAT является) …

11 reference-request  sat  reductions 

Существует ли со следующими свойствами:L ∈ N PL∈NPL\in {\bf NP} Известно , что влечет P = N P .L ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Там нет (известного) полинома Тьюринга уменьшения (или какой -либо другой Н Р -полной проблемы) к L .SА ТSATSATН ПNP{\bf NP}LLL Другими словами, …

11 cc.complexity-theory  np-hardness  reductions 

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

11 cc.complexity-theory  approximation-algorithms  reductions 

В параметризованной сложности люди используют сокращение с фиксированным параметром (FPT), чтобы доказать W [t] -твердость. Теоретически FPT-редукция не является редукцией за полиномиальное время, поскольку она может экспоненциально выполняться по параметру k. Но на практике все сокращения FPT, которые я видел, являются сокращением p-времени, что означает, что доказательства W [t] -твердости …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Этот вопрос не может быть техническим. Как не носитель языка и ТА для класса алгоритма, я всегда задавался вопросом, что означает гаджет в «гаджете-предложении» или «гаджете-переменной». В словаре говорится, что гаджет - это машина или устройство, но я не уверен, какое это имеет разговорное значение в контексте NP-полного доказательства.

11 cc.complexity-theory  np-hardness  terminology  reductions 

Существуют ли проблемы, сложность которых в среднем одинакова с их сложностью в худшем случае? Каковы основные свойства этих проблем, которые позволяют свести наихудший случай к среднему?

11 cc.complexity-theory  reductions  average-case-complexity 

Интересно, равны ли классы NPC, определенные сокращениями «многие-один» и сокращениями Тьюринга? Редактировать: Другой вопрос, являются ли сокращения Тьюринга только свертыванием классов C и co-C для некоторого C или существует класс такой как существует проблема не в при сокращении Карпа, а в в сокращении Тьюринга ?C ∪ c o - C …

11 cc.complexity-theory  np-hardness  reductions 

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

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