Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Hash di stringa quasi universale in
Ecco due famiglie di funzioni hash sulle stringhe :x⃗ =⟨x0x1x2…xm⟩x→=⟨x0x1x2…xm⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle Per prime e , per a \ in \ mathbb {Z} _p . Dietzfelbinger et al. mostrato in "Le funzioni di hash polinomiale sono affidabili" che \ forall x \ neq y, …
2
Il calcolo quantistico adiabatico è potente come il modello di circuito?
Gran parte della letteratura informatica quantistica si concentra sul modello di circuito. Il calcolo quantistico adiabatico non si basa sull'applicazione di una sequenza di operatori unitari, ma sulla modifica di un hamiltoniano dipendente dal tempo. Sto cercando informazioni su quanto segue. Il calcolo quantistico adiabatico è potente come il modello …
2
Formula 3CNF monotona limitata: conteggio delle assegnazioni soddisfacenti (sia modulo che modulo )
Considera una formula Monotone 3CNF con entrambe le seguenti restrizioni aggiuntive: Ogni variabile appare esattamente in clausole.222 Dato qualsiasi clausole, condividono al massimo variabile.1222111 Vorrei sapere quanto è difficile contare i compiti soddisfacenti di tale formula. Aggiornamento 06/04/2013 12:55 Vorrei anche sapere quanto è difficile determinare la parità del numero …
1
Comprensione dei colloqui in Conferenze e Workshop
Sono uno studente laureato dall'India. Sono molto interessato a partecipare ai seminari, alle conferenze e ai docenti invitati tenuti da illustri professori. Alla fine del discorso, come al solito, alcune persone faranno domande e il relatore risponderà loro. Ma il mio problema è che non capisco la maggior parte delle …
2
Qual è il vantaggio della notazione di Krivine?
Ho visto alcune persone usare la notazione di Krivine per l'applicazione della funzione quando presentava la sintassi per il -calculus. Ad esempio, -term (con la normale convenzione che l'applicazione funzione associa a sinistra, quindi in realtà significa ) è scritto (con una convenzione simile che in realtà significa ). Non …
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.