Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
Distinguere tra
Dato uno stato quantico scelto uniformemente a caso da un insieme di N stati misti ρ 1 . . . ρ N , qual è la massima probabilità media di identificare correttamente A ?ρUNρA\rho_ANNNρ1...ρNρ1...ρN\rho_1 ... \rho_NAAA Questo problema può essere trasformato in un problema di distinguibilità in due stati considerando …
1
Estensione dei modelli di calcolo lambda
Sto traducendo un libro su LISP e naturalmente tocca alcuni elementi del calcolo . Quindi, una nozione di estendibilità è menzionata lì accanto ad alcuni modelli di -calculus, vale a dire: e (sì, con l'infinito in alto). E si dice che sia estensivo mentre no.λλ\lambdaλλ\lambdaPωPω\mathcal{P}_\omegaD∞D∞D^\inftyPωPω\mathcal{P}_\omegaD∞D∞D^\infty Ma ... stavo guardando attraverso …
2
Notazione per un operatore di evoluzione hamiltoniana condizionale
Sto leggendo gli algoritmi Quantum di Harrow, Hassidim e Lloyd per i sistemi lineari di equazioni . Sulla terza pagina di quel documento, scrivono Successivamente applichiamo l'evoluzione hamiltoniana condizionale on | Ψ 0 ⟩ C ⊗ | b ⟩ ...∑T−1τ=0|τ⟩⟨τ|C⊗eiAτto/T∑τ=0T−1|τ⟩⟨τ|C⊗eiAτto/T\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}|Ψ0⟩C⊗|b⟩…|Ψ0⟩C⊗|b⟩…\left|\Psi_{0}\right>^{C}\otimes\left|b\right>\dots Per la vita di me, non riesco …
1
Limiti inferiori per l'apprendimento nella query di appartenenza e nel modello di controesempio
Dana Angluin ( 1987 ; pdf ) definisce un modello di apprendimento con domande di appartenenza e domande di teoria (controesempi a una funzione proposta). Mostra che un linguaggio regolare che è rappresentato da un DFA minimo di stati è apprendibile in tempi polinomiali (dove le funzioni proposte sono DFA) …
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.