Domande taggate «reference-request»

La richiesta di riferimento viene utilizzata quando l'autore deve conoscere il lavoro correlato alla domanda.

1
Equilibratura formula booleana in
Sto cercando riferimenti sulla complessità del problema di bilanciamento della formula booleana . In particolare, Era noto che le formule booleane possono essere bilanciate in AC0AC0\mathsf{AC^0} ? Esiste una semplice prova del bilanciamento della formula booleana in AC0AC0\mathsf{AC^0} ? Per "semplice" intendo una dimostrazione più semplice di quella che menziono …
1
Algoritmi su grafici rappresentati usando BDD
Le rappresentazioni più semplici per i grafici utilizzano matrici / elenchi di adiacenza, il che significa che ogni nodo e bordo sono rappresentati esplicitamente. L'importanza delle rappresentazioni implicite per i grafici che mostrano forti regolarità è stata a lungo riconosciuta. Ad esempio, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( …
1
Generazione di grafici della circonferenza tale che i cicli minimi formino una copertura a doppio bordo
Lascia che . Ho bisogno di generare semplici grafici della circonferenza tale che l'insieme di tutti i -cycles formi una copertura del doppio bordo di (cioè, ogni spigolo sia condiviso esattamente da due -cycles), e tale che l'intersezione di qualsiasi due -cycles è un vertice, un bordo o vuoto. I …
1
Qual è la prova che i computer quantistici possono simulare in modo efficiente sistemi meccanici quantistici arbitrari?
JBV mi ha suggerito di trasformare alcuni commenti in una domanda, quindi ecco qui. Un'altra domanda [1] pone sulle applicazioni del QM computing. Una risposta [2] è stata "la simulazione efficiente della meccanica quantistica". Apparentemente questa idea risale ai primi scritti di Feynman sull'argomento; anche se non ho un riferimento. …
1
Misura ottimale per MUB
Sia essere un insieme di basi reciprocamente non distorte (MUB) in , ovvero ogni è una base ortonormale e per abbiamo . Siamo interessati a discriminare tra vettori arbitrari da . La misurazione POVM ottimale (caso peggiore o media con uniforme precedente) è identificata in modo esplicito in qualsiasi punto …
3
Risorsa / libro per i recenti progressi nella teoria dell'apprendimento statistico
Conosco abbastanza bene la teoria alla base di VC-Dimension, ma ora sto esaminando i recenti (ultimi 10 anni) progressi nella teoria dell'apprendimento statistico: medie (locali) di Rademacher, Lemma di classe finita di Massart, Covering Numbers, Chaining, Dudley's Teorema, pseudodimensionalità, dimensione grassa, numeri di imballaggio, composizione di Rademacher e forse altri …
3
Digitare l'inferenza per le istruzioni imperative diverse dall'assegnazione
Nella mia ricerca di articoli di ricerca sui sistemi di tipi per le lingue imperative, trovo solo soluzioni per una lingua con riferimenti mutabili ma senza strutture di controllo imperative autentiche come operatori composti, loop o condizionali. Quindi non è chiaro come implementare un linguaggio imperativo con inferenza di tipo …
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.