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

Чи означає, що означає E = N E ?E X P = N E X PEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E = N EE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

Нехай - непрямий графік. Розкладання V на непересічні підмножини V я називаюся розкладанням Гамільтон з G , якщо підграф , індукований кожне безліч V я або граф Гамільтон , або складається з одного ребра з | V i | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Приклад : Повний двосторонній графік має розклад Гамільтона …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Матриця Мура схожа на матрицю Вандермонде, але має дещо змінене визначення. http://en.wikipedia.org/wiki/Moore_matrix Яка складність обчислення визначника заданого повного рангу по матриці Мура деякого цілого числа?n×nn×nn \times n Чи можна детермінант Мура зменшити з за допомогою методів FFT до для деякого ?O(n3)O(n3)O(n^{3})O(nlogan)O(nloga⁡n)O(n\log^{a}n)a∈R+∪{0}a∈R+∪{0}a \in \mathbb{R}_{+} \cup \{0\} Чи складність Moore det modulo …

10 cc.complexity-theory  algebraic-complexity 

Чи apx-важко наблизити дробове хроматичне число на обмежених градусних градусах?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Я шукаю приклади важких проблем (в NP чи важче) з інформатики, які можна звести до моделей фізичних процесів. Наприклад, max-2-sat можна зменшити до мінімізації енергії в моделі Ізінга. Я хотів би знайти більше прикладів такого типу скорочення.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Контекст: Ми розглядаємо лише графіки. Нехай CYCLE - мова графіків із циклом; це проблема, повна NL. Нехай HASEDGE є мовою графіків, принаймні одним ребром. Тоді тривіально вже не є важким для NL, тоді як залишається таким.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} Актуальна проблема: мені цікаво, чи мова все ще є NL-важким.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Припустимо, - булева мова, з кінцевих рядків над { 0 , 1 } . Нехай L n - кількість рядків у L довжиною n . Для функції d ( n ) від натуральних чисел до додатних дійсних чисел L має верхню щільність d ( n ), якщо L n ≤ …

10 cc.complexity-theory  reference-request  p-hardness 

Мова знаходиться у класі iff, якщо є дві мови та L2 \ у coNP, так що L = L1 \ cap L2D P L 1 ∈ N P L 2 ∈ c o N P L = L 1 ∩ L 2LLLД ПDPDPL 1 ∈ NПL1∈NPL1 \in NPL 2 ∈ …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

З огляду на змішаний графік G = ( V, Е, А )G=(V,E,A)G=(V,E,A) з ребрами ЕEE і дугами АAA , знайдіть відповідність у ЕEE яка мінімізує кількість дуг у Г / МG/MG/M , де Г / МG/MG/M отримується від ГGG шляхом стискання узгоджених вершин і видалення паралельні дуги. Чи (версія рішення) …

10 cc.complexity-theory  reference-request  graph-theory 

Я читаю чудовий огляд Вотроуса на папері з теорії квантової складності. У ньому він заявляє, що було б дивно, якби було виявлено неповноцінну QMA-проблему (тобто бути мовою). Чому це так? Чи пов’язано це з тим, що k-локальна гамільтонська проблема є проблемою обіцянки? Крім того, це підводить мене до спорідненого питання: …

10 cc.complexity-theory  quantum-computing 

Монотонна формула CNF з m термінами на n змінних ( ) - це формула виду , де кожен - АБО деякий підмножина змінних , становить від до . f ( x 1 , … , x n ) = ⋀ C i C i x 1 , … , x …

10 cc.complexity-theory  circuit-complexity  formulas 

З огляду на , орієнтований граф і дві вершини їв , т ∈ V . Пара простих контурів p 1 , p 2 від s до t є неперервними ребрами, якщо вони не ділять ребро.G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt Використовуючи максимальний потік, легко вирішити, чи є пара крайових роз'єднаних шляхів …

10 cc.complexity-theory  graph-algorithms 

Хоча відомі експоненціальні розділення між квантовою складністю запиту з обмеженою помилкою ( Q(f)Q(f)Q(f) ) та детермінованою складністю запиту ( D(f)D(f)D(f) ) або рандомізованою складністю запитів з обмеженою помилкою ( R(f)R(f)R(f) ), вони застосовуються лише до певних часткових функцій. Якщо парціальні функції мають деякі спеціальні структури, то вони також поліноміально пов'язані …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Програма прольоту - це лінійно-алгебраїчний спосіб визначення булевої функції, введеної тут . Нещодавно ця модель була використана для показу, що метод негативного супротивника забезпечує чітку характеристику (принаймні, до ) квантової складності запитів.logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Міра складності, що з'єднує прольотні програми з квантовою складністю запитів, - це розмір свідчень. …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Розглянемо задачу домінантного набору в загальних графах, і нехай - кількість вершин у графі. Жадібний алгоритм наближення дає гарантію наближення коефіцієнта 1 + log n , тобто можна знайти в многочлени час рішення S таким, що | S | ≤ ( 1 + log n ) o p t , …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness