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

Parity-P - это набор языков, распознаваемых недетерминированной машиной Тьюринга, которая может различать только четное число или нечетное число путей «принятия» (а не нулевое или ненулевое число путей принятия). Таким образом, Parity-P - это, в основном, младший брат PP с задержкой роста: в то время как PP подсчитывает, является ли количество …

18 cc.complexity-theory  complexity-classes  np 

Сетевой коммутатор (название придумано) выполнен с тремя типами узлов: один начальный узел один конечный узел один или несколько узлов коммутатора Узел коммутатора имеет 3 выхода: влево, вверх, вправо; имеет два состояния L и R и целевое состояние TL или TR . Каждый переключатель может быть пройден по следующим правилам: всегда …

17 ds.algorithms  reference-request  graph-algorithms  np 

Пусть 0≤p≤10≤p≤10\le p\le 1 и рассмотрим решение задачи CLIQUE Ввод: целое числоpp_p sss , граф GGG с ttt вершинами и края Вопрос: действительно содержит клику по крайней мере вершинами?⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Экземпляр CLIQUE содержит пропорцию от всех возможных ребер. Ясно, что CLIQUE легко для некоторых значений . CLIQUE содержит …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Я читал, что целочисленное линейное программирование разрешимо за полиноминальное время, если число переменных фиксировано, т.е. n ∈ O ( 1 ) . Если число переменных растет логарифмически, т. Е. N ∈ O ( log 2 ( N ) ) для заданного входного значения размера N , проблема все еще разрешима …

16 cc.complexity-theory  np  open-problem 

С чисто абстрактной математической / вычислительной точки зрения (как) можно даже узнать или рассуждать о таких проблемах, как 3-SAT, сумма подмножества, коммивояжер и т. Д.,? Сможем ли мы хоть как-то осмыслить их с функциональной точки зрения? Будет ли это вообще возможно? Я размышлял над этим вопросом исключительно с точки зрения …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

FewP - это класс -задач с полиномиальной оценкой числа решений (во входном размере). Там нет никакого известного Св.нут P -полные проблемы в ф х ш Р . Мне интересно, как далеко мы можем расширить это наблюдение.NпNPNPNпNPNPее ш РfewPfewP Существует ли естественная -полная проблема с квазиполиномиальной верхней оценкой числа решений (свидетелей)? …

15 cc.complexity-theory  np 

Существует ли , NP- или P-полный язык, имеющий некоторое семейство групп симметрии (или группоид , но тогда алгоритмические вопросы становятся более открытыми), действующий (за полиномиальное время) на множествах такой, что орбит мало, т. е. такой, что для достаточно больших и некоторого c , и таких, что G_n может быть сгенерирован …

14 np  algebra  gr.group-theory  complexity  symmetry 

В другом посте cstheorySE упоминается, что PSPACE-полнота подразумевает APX-жесткость. Кто-нибудь может объяснить / поделиться ссылкой на это? Это "плотно"? (т. е. существуют ли PSPACE-полные задачи, задача оптимизации которых допускает постоянную аппроксимацию множителя за много времени?) Как насчет полноты для некоторого уровня PH? Означает ли это приблизительную твердость?

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Теорема Райса утверждает, что каждое нетривиальное свойство множества, распознаваемое некоторой машиной Тьюринга, неразрешимо. Я ищу теорему о сложности теории Райса, которая говорит нам, какие нетривиальные свойства NP-множеств неразрешимы.

14 cc.complexity-theory  computability  np 

Вот проблема: У нас есть квадрат с несколькими числами от 1..N в некоторых ячейках. Нужно определить, можно ли его завершить до магического квадрата. Примеры: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> …

13 cc.complexity-theory  np-hardness  np  puzzles 

Вопрос возник у меня, когда я получил ответ Даны Мошковиц на другую тему . Пусть будет языком NP , и пусть будет соответствующим отношением NP . Мы знаем, что существует некоторый полином такой, что:LLLрLрLR_Lппp ∀ x ∈ L ,, ∃ ж ∈0 , 1р ( | х | )( x …

13 cc.complexity-theory  np 

Предположим, что P NP.≠≠\ne Теорема Ладнера гласит, что существуют промежуточные проблемы NP (проблемы в NP, которые не находятся ни в P, ни в NP-Complete). Я нашел несколько завуалированных ссылок в Интернете, которые предполагают (я думаю), что в NPI существует много «уровней» взаимно сводимых языков, которые определенно не все сводятся в …

13 cc.complexity-theory  np  np-intermediate 

В этой лекционной заметке Олы Свенссон: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf говорится, что мы не знаем, находится ли евклидова TSP в NP: Причина в том, что мы не знаем, как эффективно рассчитать квадратные корни. С другой стороны, есть документ Пападимитриу: http://www.sciencedirect.com/science/article/pii/0304397577900123, в котором говорится, что он является NP-полным, что также означает, что он находится …

12 np  tsp  computing-over-reals 

Существуют ли NP-полные (или даже NP-сложные, или NP) задачи, которые имеют хорошие топологические свойства для изучения. Есть ли у задач NP теоретические формулировки узлов? Мы знаем о результатах # о полиноме Джонса. Графические задачи (вложения?), В частности раскраски графов, могут иметь хорошие теоретические свойства узлов. Это открытый вопрос, и любые …

12 ct.category-theory  np 

Свойство графа называется наследственным, если оно замкнуто относительно удаления вершин (т. Е. Все индуцированные подграфы наследуют это свойство). Свойство графа называется аддитивным, если оно замкнуто относительно взятия непересекающихся объединений. Нетрудно найти свойства, которые являются наследственными, но не аддитивными. Два простых примера: \;\;\; (1) График полон. \;\;\; (2) Граф не содержит …

12 cc.complexity-theory  graph-theory  graph-algorithms  np