Informatica teorica upper-bounds

8

In un'altra discussione , Joe Fitzsimons ha chiesto "i migliori limiti inferiori attuali su 3SAT". Mi piacerebbe andare dall'altra parte: qual è il miglior limite superiore attuale su 3SAT? In altre parole, qual è la complessità temporale del solutore SAT più efficiente? In particolare, è concepibile trovare un algoritmo sub-esponenziale …

43 cc.complexity-theory ds.algorithms sat upper-bounds

3

Una caratterizzazione a profondità fissa di

Questa è una domanda sulla complessità del circuito. (Le definizioni sono in fondo.) Yao e Beigel-Tarui dimostrato che ogni ACC0ACC0ACC^0 famiglia di circuiti di dimensione sss ha una famiglia circuito equivalente formato spoly(logs)spoly(log⁡s)s^{poly(\log s)} di profondità due , dove la porta di uscita è una funzione simmetrica e il secondo …

40 cc.complexity-theory circuit-complexity upper-bounds

2

L'aggiunta può essere eseguita in meno della profondità 5?

Usando l'algoritmo carry look ahead possiamo calcolare l'aggiunta usando una famiglia di circuiti profondità di dimensione polinomiale 5 (o 4?) . È possibile ridurre la profondità? Possiamo calcolare l'aggiunta di due numeri binari usando una famiglia di circuiti di dimensioni polinomiali con profondità inferiore a quella ottenuta dall'algoritmo carry look …

21 cc.complexity-theory circuit-complexity lower-bounds upper-bounds

1

Quali sono i limiti del calcolo in questo universo?

Comprendo che la completezza di Turing richiede memoria illimitata e tempo illimitato. Tuttavia, vi è una quantità finita di atomi in questo servizio, rendendo così limitata la memoria. Ad esempio, anche se è irrazionale, non c'è modo di memorizzare più di un certo numero di cifre anche se tutti gli …

17 computability upper-bounds

2

Complessità del circuito OR di un operatore lineare denso

Considera il seguente modello di circuito monotono semplice: ogni gate è solo un OR binario. Qual è la complessità di una funzione f ( x ) = A xf(x)=Axf(x)=Ax dove AAA è una matrice booleana n × nn×nn \times n con O ( n )O(n)O(n) 0? Può essere calcolato con …

14 ds.algorithms circuit-complexity upper-bounds

2

Quanto può essere grande una larghezza di albero un albero più la metà dei bordi?

Lascia che G sia un albero su 2n vertici. La larghezza dell'albero di G, tw (G) = 1. Ora supponiamo di aggiungere n bordi a G per ottenere un grafico H. Un limite superiore facile su tw (H) è n + 1. È essenzialmente il migliore possibile? Sembra in qualche …

14 upper-bounds treewidth

2

NP-Almost-2-SAT è difficile?

Un problema CNF SAT NP è difficile quando il numero totale (ma non la larghezza) delle clausole a 3 o più termini è delimitato da una costante? Che dire specificamente quando c'è solo una di queste clausole?

10 np-hardness sat upper-bounds

2

I circuiti di dimensioni quasi polinomiali per 3-SAT sono banali?

Supponiamo di considerare 3-SAT con variabili e clausole . Sto cercando un metodo che sembra impiegare tempo / spazio per risolvere qualsiasi problema di SAT che si adatta a questa descrizione, all'interno di un errore che può essere regolato su una quantità arbitraria. Tuttavia, c'è un problema.c O ( v …

10 ds.algorithms sat upper-bounds

1

Quali sono gli attuali limiti superiore e inferiore più noti sulla soglia (non) di soddisfacibilità per k-sat e / o 3-sat casuali?

Vorrei sapere lo stato corrente della transizione di fase per k-sat casuale, date n variabili e clausole m, qual è il c = m / n più noto per i limiti superiore e inferiore.

10 cc.complexity-theory sat lower-bounds upper-bounds phase-transition

2

Esatta complessità di un problema in

Sia xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} per i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , con la promessa che x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (dove la somma è superiore a ZZ\mathbb{Z} ). Allora, qual è la complessità nel determinare se x=1x=1x = 1 ? Si noti che banalmente il problema risiede in ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} perché …

9 reference-request complexity-classes circuit-complexity upper-bounds

Domande taggate «upper-bounds»