Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Esistono formulazioni teoriche a nodo di problemi NP completi?
Esistono problemi NP completi (o anche NP-difficili, o NP) che hanno buone proprietà topologiche da studiare. I problemi NP hanno formulazioni teoriche del nodo? Conosciamo i risultati # sul polinomio di Jones. I problemi dei grafici (incorporamenti?), In particolare i colori dei grafici, possono avere buone proprietà teoriche sul nodo. …
3
Proprietà esprimibili in 2-CNF o 2-SAT
Come si può dimostrare che una determinata proprietà non può essere espressa in 2-CNF (2-SAT)? Ci sono giochi, come i giochi di ghiaia? Sembra che il classico gioco di ciottoli neri e il gioco di ciottoli bianco-nero non siano adatti a questo (sono completi per PSPACE, secondo Hertel e Pitassi, …
1
Ordinamento di confronto randomizzato ottimale
Quindi conosciamo tutti il ​​limite inferiore dell'albero di confronto di sul numero peggiore di confronti effettuati da un algoritmo di ordinamento del confronto (deterministico). Non si applica all'ordinamento di confronto randomizzato (se misuriamo i confronti previsti per l'input del caso peggiore). Ad esempio, per n = 4 , il limite …
1
Esistenza di percorsi lunghi indotti nei grafici di espansione
Diciamo che una famiglia di grafici ha percorsi indotti a lungo se c'è una costante tale che ogni grafico in contiene un percorso indotto su vertici. Sono interessato alle proprietà delle famiglie di grafici che assicurano l'esistenza di percorsi indotti a lungo. In particolare, attualmente mi chiedo se gli espansori …
3
Luoghi per brevi articoli di ricerca
Ho appena completato un breve documento (5 pagine) sulla dimostrazione di un certo gioco combinatorio NP-Complete. Questo non è in alcun modo un risultato di enorme significato, eppure è uno che credo sia pubblicabile. Quali luoghi sarebbero adatti per un documento come questo? L'unica di cui sono a conoscenza è …
12 journals 
2
Ciclo hamiltoniano su grafici senza piccoli cicli
Mentre rispondevo a questa domanda su cstheory , ho (informalmente) dimostrato al volo il seguente teorema: Teorema : per qualsiasi fisso il probem del ciclo hamiltoniano rimane NP-completo anche se limitato a grafici planari bipartiti non indirizzati di massimo grado 3 che non contengono cicli di lunghezza ≤ l .l≥3l≥3l …
1
È
Possiamo provare che per ogni lingua che non è N P -hard (questo presuppone P ≠ N P ), P L ≠ P SAT ? In alternativa, questo può essere dimostrato con ipotesi ragionevoli?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
2
?
È possibile che ? Ci sono conseguenze interessanti di tale contenimento? Contraddirebbe l'ipotesi del tempo esponenziale?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))
1
Questo gioco termina?
Considera il seguente gioco di carte (noto in Italia come "Cavacamicia", che può essere tradotto come "stripshirt"): Due giocatori hanno diviso casualmente in due mazzi un mazzo di carte standard. Ogni giocatore riceve un mazzo. I giocatori si alternano posizionando in una pila la carta successiva dal loro mazzo. Se …
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.