Informatica teorica cc.complexity-theory

7

Analisi matematica e complessità computazionale?

la complessità computazionale comporta grandi quantità di combinatoria e teoria dei numeri, alcune ingridienze da stocastica e una quantità emergente di algebra. Tuttavia, essendo un analista, mi chiedo se ci siano applicazioni di analisi in questo campo o forse idee ispirate all'analisi. Tutto quello che so che corrisponde leggermente a …

14 cc.complexity-theory reference-request soft-question big-picture

2

Il problema “Minori discriminanti” è NP-completo?

Questo è un nome che ho inventato per questo problema. Non l'ho mai visto descritto da nessuna parte prima. Non sono stato ancora in grado di trovare una prova della completezza NP né un algoritmo temporale polinomiale per questo problema. Non è un problema di compiti a casa - è …

14 cc.complexity-theory np-hardness

1

Conseguenze di prove / algoritmi sub-esponenziali per SAT

Ci sarebbero conseguenze importanti se SAT avesse al massimo prove unsat esponenziali o, ancora più fortemente, SAT avesse algoritmi a tempo subesponenziale?

14 cc.complexity-theory sat proof-complexity

1

Conclusioni dalla forza matematica inversa del teorema minore grafico

Supponiamo di avere una proprietà del grafico che può essere verificata in un tempo polinomiale non deterministico e una dimostrazione in un sistema formale debole (diciamo RCA 0 ) che la proprietà è chiusa in modo minore. Possiamo dire qualcosa sulla forza di un sistema formale, che è in grado …

13 cc.complexity-theory lo.logic

1

Complessità del problema delle parole con meno lettere distinte accettate da un automa finito

Dato un finito (deterministico o non deterministico, non credo che questo abbia molta importanza) automa A e una soglia n , A accetta una parola contenente al massimo n lettere distinte? (Per k lettere diverse intendo che aabaa ha due lettere distinte, a e b .) Ho mostrato che questo …

13 cc.complexity-theory np-hardness automata-theory

1

Il teorema di Adleman su infiniti semirings?

Adleman ha mostrato nel 1978 che : se una funzione booleana di variabili può essere calcolata da un circuito booleano probabilistico di dimensione , allora può anche essere calcolato da un deterministico circuito booleano di dimensioni polinomiali in e ; in realtà, di dimensione . BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) Domanda generale: su …

13 cc.complexity-theory circuit-complexity randomized-algorithms derandomization arithmetic-circuits

1

Il "grado di difficoltà di Rabin nel calcolare una funzione e un ordinamento parziale di insiemi ricorsivi"

Sto cercando: Michael O. Rabin, "Grado di difficoltà nel calcolo di una funzione e ordinamento parziale di insiemi ricorsivi", Hebrew University, Gerusalemme, 1960 Sommario: “Cerchiamo di misurare la quantità di lavoro inerente al compito di calcolare una determinata funzione calcolabile (ricorsiva). Viene introdotta e studiata una nozione di grado di …

13 cc.complexity-theory reference-request ho.history-overview

2

ALogTime! = PH è difficile da provare (e sconosciuto)?

Lance Fortnow ha recentemente affermato che provare L! = NP dovrebbe essere più facile che provare P! = NP : Separare NP dallo spazio logaritmico. Ho dato quattro approcci in un sondaggio pre-blog del 2001 sulla diagonalizzazione (sezione 3), sebbene nessuno abbia fatto una panoramica. Dovrebbe essere molto più facile …

13 cc.complexity-theory reductions relativization

1

Riduzione multipla più lenta?

Quando si vuole dimostrare che un è N P Completa, allora l'approccio standard è di esporre un tempo polinomiale computabile riduzione molti-uno di una nota N P problema -complete a L . In questo contesto non abbiamo bisogno di un limite stretto al tempo di esecuzione della riduzione. È sufficiente …

13 cc.complexity-theory reductions np-complete

2

Qual è una definizione equivalente di mP / poly in termini di macchina di Turing?

P / poly è la classe di problemi di decisione risolvibili da una famiglia di circuiti booleani di dimensioni polinomiali. In alternativa, può essere definita come una macchina di Turing a tempo polinomiale che riceve una stringa di avviso che ha dimensione polinomiale in n e che si basa esclusivamente …

13 cc.complexity-theory complexity-classes circuit-complexity polynomial-time monotone

2

Ordinamento topologico lessicografico di un DAG etichettato

Considera il problema in cui ci viene fornito come input un grafico aciclico diretto , una funzione di etichettatura da a qualche set con un ordine totale (ad esempio, i numeri interi) e dove ci viene chiesto per calcolare la specie topologica lessicograficamente più piccola di in termini di . …

13 cc.complexity-theory np-hardness sorting directed-acyclic-graph order-theory

1

Secondo più piccolo

Si sa qualcosa della seconda più piccola - -cut in una rete a flusso? O, più in generale, su questo problema:sssttt Ingresso: una reteNNN e un numero , tutto in binario. Uscita: Un k esimo più piccolo s - t taglio.kkkkkksssttt Un esimo più piccolo s - t taglio ( …

13 cc.complexity-theory optimization max-flow-min-cut flow-problems

1

Problema di riconfigurazione "Snake"

Mentre scrivo un piccolo post sulla complessità dei videogiochi Nibbler e Snake ; Ho scoperto che entrambi possono essere modellati come problemi di riconfigurazione su grafici planari; e sembra improbabile che tali problemi non siano stati ben studiati nell'area della pianificazione del movimento (immaginiamo ad esempio una catena di carrelli …

13 cc.complexity-theory reference-request np-hardness planar-graphs

3

Complessità dei problemi relativi alla permutazione

Dato un gruppo di permutazioni su e due vettori dove è un alfabeto finito che non è abbastanza rilevante qui, la domanda è se esiste qualche tale che dove mezzi di applicazione della permutazione su in modo prevedibile.[ n ] = { 1 , ⋯ , n } u , …

13 cc.complexity-theory graph-isomorphism permutations

2

Problemi completi naturali in livelli più alti del -hierarchy

La è una gerarchia di classi di complessità nella complessità parametrizzata, vedere lo zoo di complessità per le definizioni. Una definizione alternativa definisce usando la definibilità di Fagin ponderata per le logica del primo ordine, vedi il libro di testo di Flum e Grohe .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t Per le classi più basse …

13 cc.complexity-theory parameterized-complexity

Domande taggate «cc.complexity-theory»