Вопросы с тегом «cc.complexity-theory»

(Этот вопрос немного «опрос».) В настоящее время я работаю над проблемой, в которой я пытаюсь разделить края турнира на два набора, оба из которых необходимы для выполнения некоторых структурных свойств. Проблема "чувствует" довольно сложно, и я полностью ожидаю, что это будет NпNP\mathcal{NP} полной. По некоторым причинам мне трудно даже найти …

20 cc.complexity-theory  reference-request  np-hardness 

Линейный граф гиперграфа - это (простой) граф G, имеющий ребра H, поскольку вершины с двумя ребрами H смежны в G, если они имеют непустое пересечение. Гиперграф является r- гиперграфом, если каждое из его ребер имеет не более r вершин.ЧАСHHграммGGЧАСHHЧАСHHграммGGрrrрrr Какова сложность следующей задачи: существует ли граф , для которого существует …

20 cc.complexity-theory  graph-algorithms  hypergraphs 

Два связанных вопроса об ограниченных вычислениях глубины: 1) Предположим, что вы начинаете с n битов, и начинаться с бита i может быть 0 или 1 с некоторой вероятностью p (i) независимо. (Если это упрощает задачу, мы можем предположить, что все p (i) s равны 0,1 или 1/2.или даже то, что …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth 

Следующая интересная проблема возникла в моем исследовании недавно: МИГ: График .G ( V, E)G(V,E)G(V, E) РЕШЕНИЕ: завершение неординарного нечетного цикла, определяемое как надмножество множества ребер, так что завершенный граф обладает свойством того, что каждое ребро в содержится в нечетком нечетном цикле. E G ′ ( V , E ′ ) …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Теорема PCP гласит, что для MAX 3SAT не существует алгоритма полиномиального времени, чтобы найти назначение, удовлетворяющее условиям 7/8 выполнимой формулы 3SAT, если только .P = N Р7 / 8 + ε7/8+ε7/8+ \epsilonпзнак равно Nппзнак равноNпP = NP Существует тривиальный алгоритм полиномиального времени, который удовлетворяет из пунктов. Итак, можем ли мы …

20 cc.complexity-theory  pcp 

В параметризованной сложности, . Предполагается, что каждое из условий является правильным.⊆ W [ 2 ] ⊆ … ⊆ W [ P ]FPT⊆W[1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆W[2]⊆W[2]\subseteq \mathsf{W}[2] ⊆…⊆W[P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Если то .P = W [ P ]FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]P=W[P]P=W[P]\mathsf{P}=\mathsf{W}[P] Но следует ли это Если то ? илиF P T = W …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Теорема Карпа – Липтона утверждает, что если , то P H разрушается до Σ P 2 . Следовательно, при условии разделения между Σ P 2 и Σ P 3 , никакая N P -полная проблема не будет принадлежать P / p o l y .N P ⊂ P / p …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

В этом вопросе мы, кажется, идентифицировали естественную проблему, которая является NP-полной при рандомизированных сокращениях, но, возможно, не при детерминированных сокращениях (хотя это зависит от того, какие недоказанные предположения в теории чисел верны). Известны ли еще такие проблемы? Существуют ли какие-либо естественные проблемы, которые являются NP-полными при сокращениях P / poly, …

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

Название более или менее говорит само за себя, но я думаю, я мог бы добавить немного фона и некоторые конкретные примеры, которые меня интересуют. Теоретики описательной сложности, такие как Иммерман и Фагин, охарактеризовали многие из наиболее известных классов сложности с использованием логики. Например, NP может характеризоваться экзистенциальными запросами второго порядка; …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

Обсуждение : В последнее время я проводил некоторое личное время, изучая различные вещи в сложности общения. Например, я повторно ознакомился с соответствующей главой в Арора / Барак, начал читать некоторые статьи и заказал книгу Кушилевица / Нисана. Интуитивно я хочу сравнить сложность коммуникации с вычислительной сложностью. И, в частности, меня …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

В классе сложности есть некоторые проблемы, предположительно не входящие в класс N C , то есть проблемы с детерминированными параллельными алгоритмами. Проблема максимального потока является одним из примеров. И есть проблемы, СЧИТАЕМЫЕ быть в N C , но доказательство еще не найдено.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Идеальный Matching проблема является одной из наиболее фундаментальной …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Заданы пять связанных вопросов, и ожидается единый интегрированный ответ: В1: Существуют ли языки , которые распознаются только теми машинами Тьюринга в , показатели времени выполнения которых неразрешимы ?LLLпPP Вопрос 2: Можно ли конечно построить примеры этих машин Тьюринга? Вопрос 3: Можно ли конкретизировать эти машины Тьюринга? ( например , с …

20 cc.complexity-theory 

Я ищу хороший обзор алгоритмов и сложности линейной алгебры (операции типа ранга, обратные, собственные значения, ... для логических, и целых / рациональных матриц) с акцентом на параллельные ( иерархия N C ) и полимерные алгоритмы , Я не мог найти недавний.FpFp\mathbb{F}_pNCNCNC Знаете ли вы хороший недавний опрос или книгу о …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Иммерман и Szelepcsenyi независимо друг от друга доказали , что . Используя метод индуктивного подсчета, Бородин и др. Доказали, что S A C i замкнут при комплементации при i > 0 . До теоремы Рейнгольда ( S L = L ) Нисан и Та-Шма доказали S L = c o …

20 cc.complexity-theory  space-bounded 

Предположим, у нас есть проблема, параметризованная вещественным параметром p, который «легко» решить, когда и «трудно», когда для некоторых значений , . p = p 1 p 0 p 1p=p0p=p0p=p_0p=p1p=p1p=p_1п0p0p_0п1p1p_1 Одним из примеров является подсчет спиновых конфигураций на графиках. Считая взвешенные правильные раскраски, независимые множества, эйлеровы подграфы соответствуют функциям разбиения хардкорных …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition