Oggi ho insegnato limiti inferiori e uno degli studenti ha chiesto il motivo del nome . La spiegazione ufficiale è che la "A" sta per "Alternation".A C0UNC0AC^0A CUNCAC Ricordo vagamente molti anni fa che Nick Pippenger Steve Cook chiamò dopo Nick Pippenger (classe di Nick), e in seguito Nick di …
Sto leggendo su classi di grafi per le quali Graph Isomorfismo ( ) è in P . Uno di questi casi sono i grafici della valenza limitata (massimo sopra il grado di ciascun vertice), come spiegato qui . Ma l'ho trovato troppo astratto. Sarei grato se qualcuno potesse suggerirmi alcuni …
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 …
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. …
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 …
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à: …
Mi è stato detto che ci sono alcuni buoni algoritmi tempo polinomiale per approssimare il numero di percorsi semplici in un grafo orientato dalla proposta iniziando vertice per proposta termina vertice t . Qualcuno sa di un buon riferimento su questo argomento?SSsttt Sfondo: il conteggio del numero esatto di percorsi …
È noto che se lanci n palline in n bidoni, è molto probabile che il bidone più caricato contenga O(logn)O(logn)O(\log n) palline. In generale, si può chiedere di palline in bidoni. Un articolo di RANDOM 1998 di Raab e Steger ne esplora alcuni dettagli, dimostrando che all'aumentare di m , …
Cosa succede se si sa qualcosa sulla complessità parametrizzata del calcolo del numero di intersezione di un grafico (il numero più piccolo di cricche necessarie per coprire tutti i suoi bordi)? È stato a lungo noto per essere NP-completo, ed è ovviamente FPT perché ha un kernel: se puoi coprire …
Poiché il termine è sovraccarico, prima una breve definizione. Un poset è un set dotato di un ordine parziale . Dati due elementi , possiamo definire (join) come limite inferiore minimo in e allo stesso modo definire (meet) (join) come limite inferiore massimo.XXX≤≤\lea , b ∈ Xun',B∈Xa,b \in Xx ∨ …
Sono nuovo nella teoria dei linguaggi di programmazione e sto cercando una buona risorsa su una risorsa per la semantica formale dei linguaggi di programmazione. In particolare alla ricerca della semantica operativa strutturale. Ho ricevuto alcuni consigli sui libri. Ma sto cercando una risorsa a un livello più introduttivo. Soprattutto …
Sto cercando di capire se ci sono risultati generali o esempi riguardanti la completezza NP del problema di trovare una seconda soluzione a un problema NP completo. Più precisamente, sono interessato a qualsiasi problema del seguente modulo: Data una soluzione a un'istanza I di un problema NP-completo, esiste una soluzione …
Per quanto ne so, tutti sanno che le regole pivot deterministiche per gli algoritmi simplex hanno input specifici su cui l'algoritmo richiede tempo esponenziale (o almeno non polinomiale) per trovare l'ottimale. Chiamiamo queste istanze "patologiche" poiché di solito (cioè sulla maggior parte degli input) l'algoritmo simplex termina rapidamente. Ricordo dal …
Mentre si legge un articolo sull'uso dei metodi algebrici per rilevare alcuni sottografi indotti, sembra che l' ideale del bordo sia uno strumento importante che collega l'algebra commutativa e la teoria dei grafi. Dato che non ho familiarità con i calcoli degli oggetti algebrici, ci sono riferimenti o libri validi …
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.