Informatica teorica cc.complexity-theory

4

Quali sono i motivi convincenti per credere a

Quali sono i motivi convincenti per credere a ? L è la classe di algoritmi spazio-log con puntatori all'input.L≠PL≠PL\neq P Supponiamo che L = P per il momento. Che aspetto avrebbe un algoritmo spazio log per un problema P-completo nei suoi contorni generali?

23 cc.complexity-theory complexity-classes

5

Problemi completi di EXPSPACE

Attualmente sto cercando di trovare problemi completi di EXPSPACE (principalmente per trovare l'ispirazione per una riduzione), e sono sorpreso dal piccolo numero di risultati che arrivano. Finora li ho trovati e ho difficoltà a espandere l'elenco: universalità (o altre proprietà) delle espressioni regolari con esponenziazione. problemi relativi ai sistemi di …

23 cc.complexity-theory reference-request big-list

1

Perché il CICLO HAMILTONIANO è così diverso dal PERMANENTE?

Un polinomio f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) è una proiezione monotona di un polinomio g(y1,…,ym)g(y1,…,ym)g(y_1,\ldots,y_m) se mmm = poli (n)(n)(n) , e c'è un incarico tale che f ( x 1 , … , x n ) =π:{y1,…,ym}→{x1,…,xn,0,1}π:{y1,…,ym}→{x1,…,xn,0,1}\pi:\{y_1,\ldots,y_m\}\to\{x_1,\ldots,x_n, 0,1\} . Cioè, è possibile sostituire ogni variabile y j di g con una variabile x …

23 cc.complexity-theory circuit-complexity lower-bounds arithmetic-circuits

6

Tecniche avanzate per la determinazione di limiti inferiori di complessità

Alcuni di voi potrebbero aver seguito questa domanda , che è stata chiusa a causa del mancato livello di ricerca. Quindi, sto estraendo la parte della domanda che è a livello di ricerca. Al di là delle tecniche "più semplici", come la riduzione all'ordinamento o un problema completo EXPTIME, quali …

23 cc.complexity-theory reference-request fl.formal-languages time-complexity reductions

2

Sistema di prova della somma dei quadrati

Di recente ho visto diversi articoli su arxiv che si riferiscono a un sistema di prove chiamato somma dei quadrati. Qualcuno può spiegare cos'è una prova di somma dei quadrati e perché tali prove sono importanti / interessanti? In che modo sono collegati ad altri sistemi a prova algebrica? Sono …

23 cc.complexity-theory lo.logic algebraic-complexity proof-complexity sum-of-squares

2

Riduzione da CLIQUE naturale a k-Color

C'è chiaramente una riduzione da CLIQUE a k-Color perché sono entrambi NP-Complete. In effetti, posso costruirne uno componendo una riduzione da CLIQUE a 3-SAT con una riduzione da 3-SAT a k-Color. Quello che mi chiedo è se esiste una ragionevole riduzione diretta tra questi problemi. Diciamo, una riduzione che potrei …

23 cc.complexity-theory graph-theory np-hardness reductions

1

Voglio un gadget semplice per dimostrare il ciclo Hamiltoniano Planare NP-completo (dal ciclo Hamiltoniano)

È noto che il ciclo hamiltoniano (in breve) è completo di NP e che il ciclo di prosciutto planare è completo di NP. La prova del Ciclo di prosciutto planare non proviene dal Ciclo di prosciutto. C'è un bel gadget che, dato un grafico G, sostituirà tutti gli incroci con …

23 cc.complexity-theory np-hardness planar-graphs hamiltonian-paths

4

Sondaggio su #P e / o problemi di conteggio

Qualcuno può suggerire un sondaggio valido e recente sul conteggio dei problemi e / o problemi che sono #P.

23 cc.complexity-theory reference-request counting-complexity

1

Cosa si sa della complessità di trovare circuiti minimi per SAT?

Cosa si sa della complessità di trovare circuiti minimi che calcolano SAT fino alla lunghezza ? nnn Più formalmente: qual è la complessità di una funzione che, dato come input, genera un circuito C minimo tale che per qualsiasi formula φ con | φ | ≤ n , C ( …

23 cc.complexity-theory sat

1

È

Nel sondaggio "Circuiti quantistici di piccola profondità" di D. Bera, F. Green e S. Homer (p. 36 di ACM SIGACT News, giugno 2007 vol. 38, n. 2) , ho letto la seguente frase: La versione classica di (in cui le porte e hanno al massimo costante dissolvenza) è notevolmente più …

23 cc.complexity-theory circuit-complexity

1

Algoritmi dello spazio di log su grafici con larghezza dell'albero limitata

La larghezza dell'albero misura la vicinanza di un grafico a un albero. È NP-difficile calcolare la larghezza dell'albero. L' algoritmo di approssimazione più noto raggiunge fattore.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Il teorema di Courcelle afferma che qualsiasi proprietà dei grafici definibile nella logica monadica di secondo ordine (MSO2) può essere decisa in tempo lineare …

23 cc.complexity-theory ds.algorithms graph-theory space-bounded treewidth

1

Complessità computazionale del problema delle 3 partizioni con numeri distinti

Questa domanda è correlata a una risposta che ho pubblicato in risposta a un'altra domanda. Il problema delle 3 partizioni è il seguente problema: Istanza : numeri interi positivi a 1 ,…, a n , dove n = 3m e la somma di n numeri interi è uguale a mB, …

23 cc.complexity-theory np-hardness

3

Isomorfismo grafico e sottogruppi nascosti

Sto cercando di capire la relazione tra isomorfismo grafico e il problema nascosto sottogruppo. C'è un buon riferimento per questo?

23 cc.complexity-theory reference-request quantum-computing graph-isomorphism

1

Qual è lo stato del risultato dell'isomorfismo del grafico di Babai?

È passato più di un anno dalla sua ritrattazione e correzione di gennaio 2017. Ci sono novità? In caso contrario, è normale che la convalida impieghi così tanto tempo? Mi aspetterei che riceverebbe molta attenzione. Qualcuno di nota ha parlato per sostenere / dubitare del risultato quasi polinomiale?

23 cc.complexity-theory graph-isomorphism proofs

4

Quali prove ci sono che l'isomorfismo grafico non è in ?

Motivato dal commento di Fortnow sul mio post, Evidenza che il problema del grafico isomorfismo non è completo diNPNPNP , e dal fatto che è un candidato principale per il intermedio di (non completo o in ), sono interessato a prove note che non è in .GIGIGINPNPNPNPNPNPPPPGIGIGIPPP Una di queste …

23 cc.complexity-theory graph-isomorphism

Domande taggate «cc.complexity-theory»