Informatica teorica cc.complexity-theory

1

La complessità di questo problema di copertura è nota?

Sia un grafico. Un insieme dei vertici X ⊆ V è chiamato critico se X ≠ ∅ e nessun vertice in V ∖ X è adiacente ad esattamente un vertice in X . Il problema è quello di trovare un insieme dei vertici S ⊆ V di calibro minimo tale …

9 cc.complexity-theory graph-theory co.combinatorics optimization

2

Grandi divari tra RAM e complessità della macchina di Turing

Se consideriamo solo problemi in P, ci sono grandi lacune tra l'algoritmo word-RAM più veloce conosciuto e l'algoritmo Turing machine più veloce conosciuto per problemi particolari? Sono particolarmente interessato se vi sono ampie lacune per problemi naturali di interesse generale.

9 cc.complexity-theory ds.algorithms

1

La complessità di questo problema di percorso è nota?

Istanza: un grafico non orientato con due vertici distinti e un numero intero .s ≠ t k ≥ 0GGGs≠ts≠ts\neq tk≥0k≥0k\geq 0 Domanda: Fa esiste una percorso nel , in modo tale che le interseca percorso al massimo triangoli? (Per questo problema si dice che un tracciato interseca un triangolo se …

9 cc.complexity-theory graph-algorithms

1

La complessità di Kolmogorov è una funzione suriettiva?

Risolviamo una codifica delle macchine di Turing e di una macchina di Turing universale, U, che sull'ingresso (T, x) produce qualunque uscita T sull'ingresso x (possibilmente entrambe funzionano per sempre). Definire la complessità di Kolmogorov di x, K (x), come la lunghezza del programma più breve, p, tale che U …

9 cc.complexity-theory universal-computation kolmogorov-complexity universal-turing-machines

1

Una spiegazione puramente teorica dei grafici della riduzione da Unique Label Cover a Max-Cut

Sto studiando la congettura dei giochi unici e la famosa riduzione a Max-Cut di Khot et al. Dal loro articolo e altrove su Internet, la maggior parte degli autori usa (cosa per me è) un'equivalenza implicita tra la riduzione di MAX-CUT e la costruzione di test particolari per codici lunghi. …

9 cc.complexity-theory approximation-hardness pcp max-cut unique-games-conjecture

2

Complessità nel risolvere equazioni lineari

Cosa si sa della complessità della risoluzione di un sistema di equazioni lineari su un campo finito? So che esiste un algoritmo (Gauss) che calcola una soluzione e che per i sistemi sparsi ci sono algoritmi ancora migliori. Tuttavia, mi chiedevo se ci fosse qualche caratterizzazione teorica della complessità di …

9 cc.complexity-theory linear-equations

2

Algoritmo deterministico più veloce noto per il problema non orientato dell'isomorfismo del grafico

Qual è l'algoritmo di isomorfismo grafico non diretto più conosciuto?

9 cc.complexity-theory reference-request graph-algorithms graph-isomorphism

1

Il minor numero di porte per la moltiplicazione

Qual è il miglior risultato per il numero di gate in un circuito moltiplicando due numeri interi n-bit? Il metodo ovvio genera gate. Esistono approcci migliori con le porte θ ( n log n log log n ) e θ ( n log n 2 log ∗ ( n ) …

9 cc.complexity-theory circuit-complexity

1

Restrizioni casuali e connessione alla totale influenza delle funzioni booleane

Supponiamo di avere una funzione booleana e applichiamo restrizione -Random sul . Inoltre, supponiamo che l'albero decisionale che calcola riduca alla dimensione come risultato della restrizione casuale. Ciò implica che ha un'influenza totale molto bassa?δ f T f O ( 1 ) ff: { - 1 , 1 }n→ { …

9 cc.complexity-theory co.combinatorics circuit-complexity boolean-functions

3

Esiste una generalizzazione della teoria dell'informazione a informazioni polinomialmente conoscibili?

Mi scuso, questa è una domanda "delicata". La teoria dell'informazione non ha alcun concetto di complessità computazionale. Ad esempio, un'istanza di SAT o un'istanza di SAT più un bit che indica soddisfacibilità portano la stessa quantità di informazioni. C'è un modo per formalizzare il concetto di "polinomialmente conoscibile"? Una tale …

9 cc.complexity-theory it.information-theory polynomial-time

1

Complessità del conteggio degli endomorfismi del grafico

Un homomorphism da un grafo un grafo è una mappatura da a tale che se ed sono adiacenti in allora e sono adiacenti in . Un endomorfismo di un grafico è un omomorfismo da a se stesso; è a virgola fissa se non esiste tale che ed è non banale …

9 cc.complexity-theory graph-algorithms counting-complexity graph-isomorphism homomorphism

3

Cricca piantata in G (n, p), variabile p

Nel problema della cricca piantata, si deve recuperare un -clique piantato in un grafico casuale Erdos-Renyi . Questo è stato principalmente cercato per , nel qual caso è noto che è risolvibile in termini di tempo polinomiale se e congetturato per .G ( n , p ) p = 1kkkG(n,p)G(n,p)G(n,p) …

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

1

Le migliori fonti per la complessità della comunicazione

Quali sono alcune delle migliori fonti (libri e articoli) per motivare e apprendere la complessità della comunicazione da sola e in relazione alla sua relazione con la teoria della complessità computazionale?

9 cc.complexity-theory reference-request communication-complexity books

1

Complessità di tipo cieco?

Sappiamo tutti che la complessità minima di un algoritmo di ordinamento basato sul confronto è il confronto . Sto cercando di fare una sorta di cieco , cioè dato un numero uscita un circuito (con porte booleane, aritmetiche e di "confronto") che ordina un elenco di elementi.n nΩ(nlogn)Ω(nlog⁡n)\Omega(n \log n)nnnnnn …

9 cc.complexity-theory terminology sorting

2

Ostacoli alla separazione di altre classi di complessità

Do naturale Prove , Relativizzazione e Algebrization influenzano anche la separazione di altre classi di complessità come L≠NL≠NP≠coNP≠PH≠PSPACEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE ecc? Ad esempio, la barriera per prove naturali dovrebbe influire su qualsiasi prova di poiché separerà . Tuttavia, la relazione tra e non sembra avere molto …

9 cc.complexity-theory barriers

Domande taggate «cc.complexity-theory»