Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Ridurre le domande di soglia alle domande di finitezza
Di solito è più semplice ragionare sul calcolo in cui la limitazione è la finezza del calcolo piuttosto che una soglia come "calcolabile in termini di tempo polinomiale". Nella teoria dei linguaggi formali per esempio, piuttosto di usare ∃n.xn+1=xn∃n.xn+1=xn\exists n. x^{n+1} = x^n per caratterizzare il monoïd aperiodico, è più …
6
Le funzioni che hanno digitato il calcolo lambda non possono essere calcolate
Voglio solo conoscere alcuni esempi delle funzioni che possono essere calcolate dal calcolo lambda non tipizzato ma non dai calcoli lambda digitati. Dato che sono un principiante, una certa reiterazione delle informazioni di base sarebbe apprezzata. Grazie. Modifica: con i calcoli lambda digitati, avevo intenzione di conoscere il sistema F …
1
Complessità del circuito monotono delle funzioni di calcolo su ingressi sparsi
Il peso |x||x||x|di una stringa binaria x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n è il numero di quelli nella stringa. Cosa succede se siamo interessati a calcolare una funzione monotona su input con pochi? Sappiamo che decidere se un grafico ha un kkk -clique è difficile per i circuiti monotoni (vedi tra gli altri Alon Boppana, …
3
Un linguaggio “semplice” al di fuori di
Sto cercando una lingua L con le seguenti proprietà: L non dovrebbe essere privo di contesto. Il complemento di L non dovrebbe essere privo di contesto. (Tutto ciò che vedi nei libri di testo come primi esempi di lingue senza contesto non sembra soddisfare questo secondo requisito.) Non dovrei essere …
1
Oracle relativo al quale
Complexity Zoology di Greg Kuperberg afferma che esiste un linguaggio XXX tale che BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - in altre parole, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - ma non fornisce un riferimento per questo risultato. Perché questo vale? O dove è possibile trovare una prova? Questa domanda è in parte motivata dalla …
1
La prova di Barendregt di riduzione del soggetto per
Ho riscontrato un problema nella prova di riduzione del soggetto di Barendregt (Thm 4.2.5 dei calcoli Lambda con i tipi ). L'ultimo passaggio della prova (pagina 60) dice: "e quindi da Lemma 4.1.19 (1), ."Γ,x:ρ⊢P:σ′Γ,x:ρ⊢P:σ′\quad\Gamma,x:\rho\vdash P:\sigma' Tuttavia, secondo Lemma 4.1.19 (1) dovrebbe essere , poiché la sostituzione viene effettuata all'intero …
4
Equazioni principali e modulo somma operatore
Sono più un ragazzo di ottica quantistica che un ragazzo di informazioni quantistiche, e mi occupo principalmente di equazioni master. Sono interessato al modulo somma operatore, e mi piacerebbe derivare gli errori in questo modulo per un piccolo sistema quantico che sto simulando. Il problema: il sistema quantistico è guidato …
2
Complessità del test di appartenenza per gruppi abeliani finiti
Si consideri il seguente problema di verifica dell'appartenenza al sottogruppo abeliano . ingressi: Un gruppo abeliano finito G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} con arbitrario-grande didid_i . Un generatore-set {h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbrace di un sottogruppo H⊂GH⊂GH\subset G . Un elemento b∈Gb∈Gb\in G . Uscita: "sì" se b∈Hb∈Hb\in H e "no" altrove ". Domanda: questo problema può …
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.