Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Garanzie teoriche per i tempi di esecuzione dei metodi di propagazione delle credenze?
La propagazione delle credenze ha dimostrato di essere un metodo molto potente attraverso la ricerca di modelli grafici probabilistici. Tuttavia, non so nulla di BP paragonabile ai metodi MCMC in cui possiamo avere schemi di approssimazione randomizzati completamente polinomiali (FPRAS) per problemi di # P-completi. Qualcuno potrebbe indicarmi alcuni riferimenti?
2
Ordinamento utilizzando stack di sola lettura
Considera la seguente impostazione: ci viene data una pila che contiene elementi.sSsnnn possiamo usare un numero costante di pile extra.O(1)O(1)O(1) possiamo applicare le seguenti operazioni su questi stack: controlla se uno stack è vuoto, confronta i primi oggetti di due pile, elimina l'elemento in cima a una pila, stampa l'articolo …
1
Una macchina a due contatori può decidere ?
Può una macchina standard a due contatori ( ) con le seguenti istruzioni:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT decidere la seguente lingua: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 …
1
Qual è la profondità minima richiesta di riduzioni per la durezza NP di SAT?
Come tutti sanno, SAT è completo per le riduzioni di molti tempi di wrt polinomiale. È ancora completo riduzioni .NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} La mia domanda è: qual è la profondità minima richiesta per le riduzioni? Più formalmente, Qual è il minimo tale che SAT è -hard riduzioni ?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Mi sembra che dovrebbe …
1
Trasformazione Beigel-Tarui di cricuits ACC
Sto leggendo l'appendice sui limiti inferiori dell'ACC per il NEXP nel libro Computational Compity di Arora e Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Uno dei lemmi chiave è una trasformazione da circuiti ACC0ACC0ACC^{0} in polinomi multilineari sugli interi con grado pollogaritmico e coefficienti quasipolinomiali, o equivalentemente , la classe di circuiti , che …
6
variazioni di SAT
Ho cercato su Internet, ma non sono riuscito a trovare alcuna "grande lista" di varianti del problema SAT. A parte il (comune) SAT, k-SAT, MAX-KSAT, Half-SAT, XOR-SAT, NAE-SAT quali altre varianti ci sono? (inoltre sarà molto utile se vengono fornite classi di complessità (ove possibile))
4
L'equivalenza eta per le funzioni è compatibile con l'operazione seq di Haskell?
Lemma: Supponendo che eta-equivalenza lo abbiamo (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)per eta-equivalenza e (\x -> ⊥ x) = (\x -> ⊥)per riduzione sotto la lambda. Il rapporto Haskell 2010, sezione 6.2 specifica la seqfunzione con due equazioni: seq :: …
6
Interpretazione geometrica del calcolo
Essendo della fisica, sono stato addestrato a esaminare molti problemi da un punto di vista geometrico. Ad esempio la geometria differenziale delle varietà nei sistemi dinamici, ecc. Quando leggo le basi dell'informatica, cerco sempre di trovare interpretazioni geometriche. Come una plausibile interpretazione geometrica di insiemi ricorsivamente enumerabili (ho lavorato su …
2
Parity-P è contenuto in PP?
Questa domanda è stata posta da Jan Pax sulla mailing list Foundations of Mathematics . Certamente ma sospetto dalle risposte a questa domanda che non si sa se (altrimenti, sarebbe uno possibile risposta a tale domanda). Se non è noto, esiste una separazione degli oracoli?P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP}⊕P⊆PP⊕P⊆PP\oplus …
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.