Informatica teorica

4

Gli alberi Suffix possono essere utilizzati per trovare tutte le sottostringhe comuni?

Sto cercando di usare gli alberi dei suffissi per confrontare le sequenze di stringhe. Ho trovato implementazioni / teoria per il più lungo problema di sottostringa comune usando alberi di suffissi. Tuttavia, quello che sto cercando è una discussione del problema correlato - "tutte le sottostringhe comuni". In particolare, ho …

10 ds.algorithms string-matching

1

Problema decisionale di decomposizione di Hamilton

Sia un grafico non orientato. Una decomposizione di in sottoinsiemi disgiunti è chiamata decomposizione di Hamilton di se il sottografo indotto da ciascun insieme è o un grafico di Hamilton o è costituito da un singolo bordo con .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Esempio : il grafico bipartito completo possiede una decomposizione di Hamilton …

10 cc.complexity-theory ds.algorithms graph-theory np-hardness hamiltonian-paths

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. …

10 reference-request quantum-computing application-of-theory

1

Determinare il numero minimo di pesature di monete

Nel documento Su due problemi della teoria dell'informazione , Erdõs e Rényi danno limiti più bassi al numero minimo di pesature che uno deve fare per determinare il numero di monete false in un set di monete.nnn Più formalmente: Le monete false hanno un peso inferiore rispetto alle monete giuste; …

10 ds.algorithms reference-request co.combinatorics it.information-theory randomized-algorithms

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 …

10 reference-request quantum-information

2

Limiti di compromesso per il conteggio della gamma di semafori

Qual è l'attuale limite migliore per eseguire l'intervallo di metà spazio contando le query su un insieme di punti dimensionali, espressi sotto forma di un compromesso tempo / spazio. Secondo il saggio seminale di Matousek del 1993 (Teorema 6.2, Ricerca della portata con tagli gerarchici efficienti), possiamo fare il conteggio …

10 reference-request ds.data-structures cg.comp-geom

2

Imposta problema di ottimizzazione - è np-completo?

Impostare S={e1,⋯,en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\} . Per ogni elemento eieie_i , abbiamo peso wi>0wi>0w_i>0 e costo ci>0ci>0c_i>0 . L'obiettivo è trovare il sottoinsieme MMM di dimensione kkk che massimizzi la seguente funzione obiettivo: ∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i c_i}{\sum_{e_i\notin M} c_i} . Il problema è NP-difficile? Poiché la funzione obiettivo sembra …

10 np-hardness optimization

1

Algoritmo più veloce conosciuto per trovare percorsi semplici attraverso un determinato set di vertici

Per un grafo non orientato e un dato insieme S di vertici, qual è l'algoritmo asintoticamente più veloce conosciuto per reperire percorso semplice contenente tutti gli elementi di S . E se richiedessimo che il percorso sia il più breve possibile?solsolGSSSSSS

10 ds.algorithms graph-algorithms time-complexity

6

Rimozione della ricorsione - uno sguardo alla teoria dietro le quinte

Sono nuovo di questo sito e questa domanda non è certo a livello di ricerca, ma vabbè. Ho un piccolo background nell'ingegneria del software e quasi nessuno in CSTheory, ma lo trovo attraente. Per farla breve, vorrei una risposta più dettagliata a quanto segue se questa domanda è accettabile su …

10 pl.programming-languages recursion recursive

2

I circuiti di dimensioni quasi polinomiali per 3-SAT sono banali?

Supponiamo di considerare 3-SAT con variabili e clausole . Sto cercando un metodo che sembra impiegare tempo / spazio per risolvere qualsiasi problema di SAT che si adatta a questa descrizione, all'interno di un errore che può essere regolato su una quantità arbitraria. Tuttavia, c'è un problema.c O ( v …

10 ds.algorithms sat upper-bounds

2

Funzioni a senso unico rispetto a impegni perfettamente vincolanti

Se esistono OWF, è possibile l'impegno dei bit statisticamente vincolante. [1] È noto che se esistono OWF è possibile un impegno con bit perfettamente vincolante? In caso negativo, esiste una separazione nota tra le scatole nere? [1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem e http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator

10 cr.crypto-security one-way-function

1

Diagramma di Voronoi in un grafico

Lascia che sia un grafico con bordi (positivamente) ponderati. Voglio definire il diagramma di Voronoi per un insieme di nodi / siti S , per associare a un nodo v ∈ S il sottografo R ( v ) di G indotto da tutti i nodi strettamente più vicini a v …

10 reference-request graph-theory cg.comp-geom

1

Limiti inferiori per i circuiti quantistici usando la struttura geodetica

Alcuni di noi hanno letto l'articolo di Michael Nielsen su un approccio geometrico all'utilizzo di limiti quantici inferiori (in breve, la costruzione di una metrica di Finsler su tale che la distanza geodetica da I a un elemento U sia un limite inferiore sul numero di porte in un circuito …

10 quantum-computing

2

Determinante di una matrice generalizzata di Vandermonde

La matrice Moore è simile alla matrice Vandermonde ma ha una definizione leggermente modificata. http://en.wikipedia.org/wiki/Moore_matrix Qual è la complessità del calcolo del determinante di una data matrice di Moore n×nn×nn \times n full rank di un numero intero? Il determinante di Moore può essere ridotto da O(n3)O(n3)O(n^{3}) usando le tecniche …

10 cc.complexity-theory algebraic-complexity

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 …

10 reference-request machine-learning lg.learning books vc-dimension