Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Difficoltà a comprendere l'algoritmo quantistico per il problema del sottogruppo nascosto abeliano
Ho difficoltà a comprendere gli ultimi passi dell'algoritmo AHSP. Lasciate sia un gruppo abeliano e essere la funzione che nasconde il sottogruppo . Lasciate rappresentano il duplice gruppo di .GGGfffHHHG∗G∗G^*GGG Ecco i passaggi dell'algoritmo Prima prepara lo stato, I=1|G|∑g∈G|g⟩|0⟩I=1|G|∑g∈G|g⟩|0⟩\qquad \displaystyle I=\frac{1}{|G|} \sum_{g \in G} |g\rangle|0\rangle . Quindi applichiamo l'oracolo quantistico …
1
Un sondaggio sui separatori?
Ci sono ormai montagne di risultati sui separatori nei grafici, dal separatore planare, dal separatore di alberi, dai grafici di larghezza degli alberi delimitati, dai grafici del genere delimitati, ecc, ecc. Ecc. Esiste un buon sondaggio aggiornato su questo e sulle loro applicazioni?
2
Differenza tra tipi e specie
Questa potrebbe essere una domanda molto semplice. Ma qual è la differenza tra tipi e specie? La mia attuale comprensione è che hai una teoria dei tipi con regole dei tipi che danno l'idea di un'istruzione ben tipizzata ma i tipi sono più basilari, differenziando i simboli in diversi tipi …
4
Ordinazione dell'autore in articoli TCS
Mentre la regola empirica è che nei giornali TCS gli autori sono ordinati in ordine alfabetico, ci sono alcuni notevoli controesempi che vengono in mente, in cui gli autori sono ordinati in un modo diverso, ad esempio, Metodi algebrici per sistemi di prova interattivi [Lund, Fortnow, Karloff, Nisan] Un metodo …
2
Enumera tutte le soluzioni di un problema SAT
Tutti i solutori #SAT che conosco, ad esempio RelSat, C2D, restituiscono solo il numero di istanze soddisfacenti. Ma voglio sapere ognuno di quei casi? Esiste un tale solutore #SAT o come dovrei modificare un solutore #SAT disponibile per farlo? Grazie.
11 lo.logic  sat  software 
2
C'è una spiegazione per la difficoltà di provare limiti inferiori quadratici per interessanti problemi NP?
Questo è un seguito alla mia domanda precedente: La complessità temporale deterministica più nota è inferiore per un problema naturale in NP Trovo sconcertante che non siamo stati in grado di dimostrare un tempo deterministico quadratico inferiore per qualsiasi problema NP interessante a cui la gente si preoccupa e provare …
1
Mondo relativizzato in cui
Vorrei sapere se esiste un mondo in cui relativizzato . Sono anche interessato a sapere se esiste un mondo relativizzato in cui P B ≠ N P B = P P B .PUN= N PUN≠ P PUNPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠ N PB= P PBPB≠NPB=PPB{\bf P^B} \not = {\bf …
2
Determinanti e moltiplicazione di matrici - Somiglianza e differenze nella complessità algoritmica e nella dimensione del circuito aritmetico
Sto cercando di capire la relazione tra complessità algoritmica e complessità circuitale di determinanti e moltiplicazione di matrici. È noto che il determinante di una matrice può essere calcolato in ˜ O ( M ( n ) ) tempo, dove M ( n ) è il tempo minimo richiesto per …
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.