Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
P / poly
implica N P ⊆ P / p o l y , che a sua volta ha conseguenze interessanti come il crollo della gerarchia polinomiale.P/ poly= NP/ polyP/poly=NP/polyP/poly = NP/polyNP⊆ P/ polyNP⊆P/polyNP \subseteq P/poly Ci sono implicazioni interessanti per ?P/ poly≠ NP/ polyP/poly≠NP/polyP/poly \neq NP/poly
1
La larghezza dell'albero
Sia fisso, e G sia un grafico (connesso). Se non sbaglio, dall'opera di Bodlaender [1, Teorema 3.11] risulta che se la larghezza dell'albero di G è approssimativamente di almeno 2 k 3 , allora G contiene una stella K 1 , k come minore.KkksolGGsolGG2 k32k32k^3solGGK1 , kK1,kK_{1,k} Possiamo ridurre il …
4
Problemi non noti per essere completi in PSPACE
Quali sono i problemi con le seguenti proprietà: 1) sono una limitazione di problemi (possibilmente ben noti) che sono completi di PSPACE; 2) le versioni con restrizioni sono in PSPACE, ma è un problema aperto se sono complete di PSPACE (o anche se sono NP-hard). Quattro esempi da "puzzle & …
1
Questi giochi da colorare sono stati risolti?
Nel documento "Sulla complessità di alcuni giochi di colorazione", Bodlaender pone alcune domande aperte sulla complessità di decidere se il giocatore 1 o 2 ha una strategia vincente in alcuni giochi di colorazione di grafici. Qualcuno sa se sono stati risolti? 1) In una partita, due giocatori a turno selezionano …
2
Portata della barriera delle prove naturali
La barriera di prove naturali di Razborov e Rudich afferma che sotto ipotesi crittografiche credibili non si può sperare di separare NP da P / poli trovando proprietà combinatorie di funzioni che sono costruttive, ampie e utili. Ci sono molti risultati noti che riescono a sfuggire alla barriera. Ci sono …
2
In che modo esattamente il calcolo lambda cattura la nozione intuitiva di calcolabilità?
Ho cercato di avvolgere la mia testa attorno al cosa, perché e come di -calculus ma non sono in grado di fare i conti con "perché funziona"?λλ\lambda "Intuitivamente" ottengo il modello di calcolabilità di Turing Machines (TM). Ma questa -strazione mi lascia confuso.λλ\lambda Supponiamo che le TM non esistano, quindi …
1
Applicazioni pratiche di giochi di parità
Esistono esempi di applicazioni pratiche dei giochi di parità, ovvero dei sistemi, nel mondo reale, che possono essere rappresentati come giochi di parità? Di solito la documentazione relativa ai giochi di parità non ha quasi mai un esempio pratico di questa applicazione.
3
Usi delle categorie
Non sono un informatico teorico. Sono un teorico stabile dell'omotopia usando le categorie . Ho visto applicazioni della teoria delle categorie e dei topoi teoria di informatica teorica, e mi chiedevo se ci fosse un modo si potrebbe usare ∞ -categories (e preferibilmente per me, teoria omotopia stabile) in informatica …
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.