Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
C'è una nozione sensata di un algoritmo di approssimazione per un problema indecidibile?
Alcuni problemi sono noti per essere indecidibili, ma è comunque possibile fare qualche progresso per risolverli. Ad esempio, il problema dell'arresto è indecidibile, ma si possono fare progressi pratici nella creazione di strumenti per rilevare potenziali loop infiniti nel codice. I problemi di piastrellatura sono spesso indecidibili (ad esempio, questa …
3
Profondità contro profonde decorazioni
Quando si codifica una logica in un assistente di prova come Coq o Isabelle, è necessario fare una scelta tra l'uso di un incorporamento superficiale e uno profondo . In un incorporamento superficiale le formule logiche sono scritte direttamente nella logica del proverore del teorema, mentre in un incorporamento profondo …
20
Problemi NP-difficili sugli alberi
Diversi problemi di ottimizzazione noti per essere NP-difficili nei grafici generali sono banalmente risolvibili nel tempo polinomiale (alcuni anche in tempo lineare) quando il grafico di input è un albero. Esempi includono copertura minima del vertice, set massimo indipendente, isomorfismo del sottografo. Nomina alcuni problemi di ottimizzazione naturale che rimangono …
4
Quali sono le conseguenze di
Sappiamo che L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} e che L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , dove L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Sappiamo anche che polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}perché quest'ultimo ha problemi completi nello spazio logaritmico molte riduzioni mentre il primo no (a causa del teorema della gerarchia spaziale). Per …
6
Buoni esempi su come scrivere bene in TCS
Stavo curando un manoscritto studentesco. Lo studente ha osservato che sarebbe bello vedere esempi di testi di qualità nelle opere pubblicate e mi sono reso conto che non potevo davvero trovare buoni esempi dalla cima della mia testa Quali sono i migliori esempi di scrittura matematica di qualità che hai …
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.