Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Apprendimento degli automi senza controesempi
Nel framework di apprendimento degli automi di Angluin , uno studente mira a imparare una lingua regolare L ⊆ Σ*L⊆Σ*L\subseteq \Sigma^* ponendo due tipi di domande al suo insegnante: Query di parole: dato w ∈ Σ*w∈Σ*w\in \Sigma^* , è w ∈ Lw∈Lw\in L ? Domande di equivalenza: data una lingua …
1
Divario tra e "secondo più grande"
Se è l'insieme dei tempi di arresto delle macchine Turing -state su un alfabeto binario con nastro iniziale vuoto, allora .n B B ( n ) = max H T ( n )HT(n)HT(n)HT(n)nnnBB(n)=maxHT(n)BB(n)=maxHT(n)BB(n) = \max HT(n) Cosa possiamo dire del secondo numero più grande in HT(n)HT(n)HT(n) ? Chiama questo BB2(n)BB2(n)BB_2(n) …
2
Coppia di cicli disgiunti vertici in un grafico diretto
Qual è l'algoritmo deterministico più veloce noto in grado di riconoscere grafici diretti con una coppia di cicli disgiunti vertici? So che i grafici con un livello minimo inferiore a tre hanno sempre una coppia simile ( Thomassen'83 ), ma anche così non riesco a trovare un algoritmo efficiente nel …
1
Il teorema di Adleman su infiniti semirings?
Adleman ha mostrato nel 1978 che : se una funzione booleana di variabili può essere calcolata da un circuito booleano probabilistico di dimensione , allora può anche essere calcolato da un deterministico circuito booleano di dimensioni polinomiali in e ; in realtà, di dimensione . BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) Domanda generale: su …
1
Per quali grafici l'albero DFS è sempre un percorso?
Per quali grafici non orientati sono tutti gli alberi di ricerca della prima profondità (per tutti i possibili vertici di partenza e per tutte le scelte di quali vicini devono cercare per primi) i percorsi diretti? Cioè, ogni albero DFS dovrebbe avere solo una foglia e ogni altro vertice dovrebbe …
2
Crolla supponendo che
È noto che se la gerarchia polinomiale collassa Σ P 2 e M A = A M .NP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM Quali sono i crolli più forti che si verificano se ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly
1
Il "grado di difficoltà di Rabin nel calcolare una funzione e un ordinamento parziale di insiemi ricorsivi"
Sto cercando: Michael O. Rabin, "Grado di difficoltà nel calcolo di una funzione e ordinamento parziale di insiemi ricorsivi", Hebrew University, Gerusalemme, 1960 Sommario: “Cerchiamo di misurare la quantità di lavoro inerente al compito di calcolare una determinata funzione calcolabile (ricorsiva). Viene introdotta e studiata una nozione di grado di …
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.