Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

9
Riferimenti per tecniche di prova TCS
Ci sono riferimenti (online o in forma di libro) che organizzano e discutono i teoremi TCS con la tecnica di prova? Garey e Johnson lo fanno per i vari tipi di costruzioni di widget necessarie per le prove di completezza NP (in particolare nel capitolo 3 del loro libro), ma …
4
Esempi in cui l'unicità della soluzione semplifica la ricerca
La classe di complessitàUPUP\mathsf{UP} costituita da queiproblemiNPNP\mathsf{NP} che possono essere decisi da una macchina di Turing non deterministica temporale polinomiale che ha al massimo un percorso computazionale accettante. Cioè, la soluzione, se presente, èunicain questo senso. Si ritiene altamente improbabile che tutti isiano in, perché dalteorema Valiant-Vaziraniquesto implicherebbe il collasso.UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} …
5
Risultati in CS teorico indipendente da ZFC
Farò una domanda piuttosto vaga, dal momento che il confine tra informatica teorica e matematica non è sempre facile da distinguere. DOMANDA: Sei a conoscenza di qualche risultato interessante in CS che è indipendente da ZFC (cioè teoria dell'insieme standard), o che è stato originariamente dimostrato in ZFC (+ qualche …
6
Problemi geometrici NP completi in
Numerosi problemi geometrici sono facili se considerati in , ma NP-completi in per (incluso uno dei miei problemi preferiti, la copertura del disco dell'unità).R1R1R^1RdRdR^dd≥2d≥2d\geq2 Qualcuno è a conoscenza di un problema che è risolvibile in tempo polifunzionale per e , ma NP-completo per ? R1R1R^1R2R2R^2Rd,d≥3Rd,d≥3R^d,d\geq3 Più in generale, esistono problemi …
2
Problemi di somma delle radici quadrate?
Il problema della somma delle radici quadrate chiede, date due sequenze e b 1 , b 2 , ... , b n di numeri interi positivi, se la somma ∑ i √a1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_nb1,b2,…,bnb1,b2,…,Bnb_1, b_2, \dots, b_n minore, uguale o maggiore della somma∑i√Σioun'io--√Σioun'io\sum_i \sqrt{a_i} . Lo stato di complessità …
4
È
Sappiamo che il primo livello della gerarchia polinomiale (cioè NP e co-NP) è in PP, e che PP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACE . Sappiamo anche da di Toda teorema che PH⊆PPPPH⊆PPPPH \subseteq P^{PP} . PH⊆PPPH⊆PPPH \subseteq PPPPPPPPPPPPPPPPPPH⊈PPPH⊈PPPH \nsubseteq PPPP⊈PHPP⊈PHPP \nsubseteq PH Questa domanda è molto semplice, ma non ho trovato alcuna risorsa …
5
Quando dovresti dire quello che sai?
Cosa dovresti fare quando vedi una domanda sollevata in pubblico, dì qui sullo scambio di pile, a cui conosci la risposta, perché stai esaminando come parte dell'attuale progetto di ricerca? Ad esempio, vedo una domanda TCS.SX a cui conosco la risposta, perché di recente ho lavorato sul problema. Non ho …
3
Fa
Per quanto ho capito, il programma di teoria della complessità geometrica tenta di separare dimostrando che il permamento di una matrice a valore complesso è molto più difficile da calcolare rispetto al determinante.VP≠VNPVP≠VNPVP \neq VNP La domanda che ho posto dopo aver sfogliato i GCT Papers: ciò implicherebbe immediatamente , …
6
Griglia
Aggiornamento : è ora noto il set di ostruzioni (ovvero la "barriera" NxM tra le dimensioni della griglia colorabili e non colorabili) per tutte le 4 colorazioni monocromatiche senza rettangolo . Qualcuno ha voglia di provare 5 coloranti? ;) La seguente domanda nasce dalla teoria di Ramsey . Si consideri …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.