Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Una variante NP completa del factoring.
Il libro di Arora e Barak presenta il factoring come il seguente problema: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Aggiungono inoltre, nel capitolo 2, che la rimozione del fatto che …
5
Ordinamento topologico positivo
Supponiamo di avere un grafico aciclico diretto con pesi in numero reale sui suoi vertici. Voglio trovare un ordinamento topologico del DAG in cui, per ogni prefisso dell'ordine topologico, la somma dei pesi non sia negativa. Oppure, se preferisci la terminologia teorica dell'ordine, ho un ordine parziale ponderato e voglio …
4
Teorema di Ladner generalizzato
Il teorema di Ladner afferma che se P ≠ NP, allora esiste una gerarchia infinita di classi di complessità che contengono rigorosamente P e strettamente contenute in NP. La dimostrazione utilizza la completezza di SAT con numerose riduzioni di NP. La gerarchia contiene classi di complessità costruite da una sorta …
8
Necrologi di congetture morte
Sto cercando congetture su algoritmi e complessità che sono stati considerati credibili da molti ad un certo punto nel tempo, ma in seguito sono stati smentiti, o almeno non creduti, a causa della crescente contro-prova. Ecco due esempi: Ipotesi sull'oracolo casuale: le relazioni tra classi di complessità che valgono per …
5
Tour casuali intorno alle prove
Oggi Ryan Williams ha pubblicato un articolo su arXiv (precedentemente apparso su SIGACT News) contenente una versione meno tecnica della sua recente tecnica con limiti inferiori ACC . La mia domanda non riguarda la tecnica stessa (ovviamente degna di immensi elogi), ma riguarda lo stile della carta. In astratto, scrive: …
3
Come funzionano le "tattiche" negli assistenti di prova?
Domanda: Come funzionano le "tattiche" negli assistenti di prova? Sembrano essere modi per specificare come riscrivere un termine in un termine equivalente (per alcune definizioni di "equivalente"). Presumibilmente ci sono regole formali per questo, come posso imparare cosa sono e come funzionano? Coinvolgono più della scelta dell'ordine per la riduzione …
5
Ragioni storiche per l'adozione di Turing Machine come modello primario di calcolo.
Comprendo che il modello di Turing è diventato lo "standard" nel descrivere il calcolo. Sono interessato a sapere perché questo è il caso, ovvero perché il modello TM è diventato più ampiamente utilizzato rispetto ad altri modelli teoricamente equivalenti (per quanto ne sappia), ad esempio la recursione μ di Kleene …
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.