(anche qui chiesto , nessuna risposta) Un espansore -quantum è una distribuzione sul gruppo unitario con la proprietà che: a) , b) , dove è la misura di Haar. Se invece di distribuzioni su unitari consideriamo distribuzioni su matrici di permutazione, non è difficile vedere che recuperiamo la solita definizione …
Molti anni fa ho sentito che calcolare il minimo NFA (automa finito non deterministico) da un DFA (deterministico) era una domanda aperta, al contrario della direzione viceversa che è nota da decenni ed è ben studiata con un efficiente algoritmo. Qualcuno ha escogitato un algoritmo?O ( n lgn )O(nlgn)O(n \lg …
Sto cercando un algoritmo per unire due alberi binari di ricerca di dimensioni e intervallo arbitrari. Il modo ovvio in cui procederei per implementarlo sarebbe quello di trovare interi sottotitoli il cui intervallo può adattarsi a un nodo esterno arbitrario nell'altro albero. Tuttavia, il peggior tempo di esecuzione per questo …
Un labirinto frattale è un labirinto che contiene copie di se stesso. Ad esempio, il seguente di Mark JP Wolf di questo articolo : Inizia dal MINUS e raggiungi il PLUS. Quando inserisci una copia più piccola del labirinto, assicurati di registrare il nome della lettera di quella copia, poiché …
Diciamo che un grafo è ( un , b ) -Connected se la rimozione di eventuali un vertici e qualsiasi b bordi da G lascia sempre un grafo connesso. Ad esempio, un grafico con connessione k , secondo la definizione standard, è ( k - 1 , 0 ) collegato, …
Supponiamo di aver costruito un computer quantistico universale. Fatta eccezione per le questioni relative alla sicurezza (crittografia, privacy, ...) quali attuali problemi del mondo reale possono trarre vantaggio dall'utilizzarlo? Sono interessato a entrambi: problemi attualmente irrisolvibili per un'iscrizione pratica, problemi che attualmente vengono risolti, ma un significativo aumento della velocità …
Contesto: relazioni tra logica e automi Il teorema di Büchi afferma che la logica monadica del secondo ordine sulla logica delle stringhe (MSO) cattura la classe dei linguaggi regolari. La dimostrazione in realtà mostra che MSO esistenziale ( exist o EMSO ) su stringhe è sufficiente per acquisire lingue regolari. …
Questa domanda è simile a una delle mie precedenti domande. È noto che è un minore proibito per i grafici della larghezza degli alberi al massimo t .Kt + 2Kt+2K_{t+2}ttt Esiste una famiglia infinita di grafici ben strutturati, parametrizzati (diversi dai grafici completi e dai grafici a griglia) che sono …
è un insieme di punti su un piano. Un punto casuale x ∉ S è dato sullo stesso piano. Il compito è quello di risolvere tutti y ∈ S dalla distanza euclidea tra x ed y .SSSx∉Sx∉Sx \notin Sy∈Sy∈Sy \in Sxxxyyy Un approccio senza cervello è quello di calcolare le …
Una rete di switch (il nome è inventato) è realizzata con tre tipi di nodi: un nodo iniziale un nodo finale uno o più nodi Switch Il nodo switch ha 3 uscite: sinistra, su, destra; ha due stati L e R e uno stato target TL o TR . Ogni …
Di recente sono stato a una conferenza supportata da ACM. Durante il banchetto, gli organizzatori della conferenza ci hanno parlato del futuro e del passato della conferenza. Ci hanno detto che durante l'edizione 2010 della conferenza ci fu una perdita di 5000 $. Ci hanno mostrato il budget della precedente …
Quali sono i metodi più noti per la convoluzione ciclica della lunghezza su un piccolo campo, cioè quando ? Sono particolarmente interessato ai campi di dimensioni costanti, o anche . Dichiarazioni e riferimenti generali sull'efficienza asintotica sono molto apprezzati.nnn|F|≪n|F|≪n|\mathbb{F}| \ll nF=F2F=F2\mathbb{F} = \mathbb{F}_2 Sfondo: Sia un campo e . Pensiamo …
Il metodo avverso negativo ( ) è un SDP che caratterizza la complessità della query quantistica. È una generalizzazione del metodo avversario ampiamente utilizzato ( A D V ) e supera le due barriere che hanno ostacolato il metodo avversario:A D V±UNDV±ADV^\pmA D VUNDVADV La barriera di verifica delle proprietà: …
Di recente ho letto una prova che intendeva dimostrare che un problema era fortemente NP-difficile, semplicemente riducendo ad esso (in tempo polinomiale) da un problema fortemente NP-difficile. Questo non aveva alcun senso per me. Avrei pensato che avresti dovuto dimostrare che tutti i numeri utilizzati nella riduzione e le istanze …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.