Scienza del computer

2

È un problema di corrispondenza post in NP?

Ho appena letto alcune pagine del libro di Sipser Introduzione alla teoria del calcolo sul problema della corrispondenza post e sto pensando che PCP sia effettivamente in NP. Il certificatore è: per una configurazione di ingresso pila concatenando t 1 , t 2 , . . . , t n …

12 complexity-theory decision-problem np

2

Come dimostrare P

Sono consapevole che questa sembra una domanda molto stupida (o troppo ovvia per affermare). Tuttavia, sono confuso ad un certo punto. Possiamo mostrare che P NP=== se e solo se siamo in grado di progettare un algoritmo che risolve una determinata istanza di problema in NP in tempo polinomiale. Tuttavia, …

12 complexity-theory p-vs-np

1

Differenza tra espressione regolare e grammatica negli automi

Sono nuovo agli automi e mi è stata data una breve introduzione alle espressioni regolari solo ieri. Ho letto le varie regole che definiscono un'espressione regolare. Ma non sono in grado di distinguere tra espressioni regolari e grammatica di una lingua (non mi è stata insegnata la grammatica per le …

12 automata formal-grammars regular-expressions

1

Modifica la distanza dell'elenco con elementi unici

La distanza di modifica della distanza Levenshtein tra le liste è un problema ben studiato. Ma non riesco a trovare molto sui possibili miglioramenti se è noto che nessun elemento si verifica più di una volta in ogni elenco . Supponiamo anche che gli elementi siano comparabili / ordinabili (ma …

12 algorithms strings string-metrics edit-distance

2

Buona struttura dati snapshot per un indice in memoria

Sto progettando un database di oggetti in memoria per un caso d'uso molto specifico. È un singolo autore, ma deve supportare letture simultanee efficienti. Le letture devono essere isolate. Non esiste un linguaggio di query, il database supporta solo: ottenere oggetto / i per attributo / set di attributi (potrebbe …

12 data-structures concurrency databases

1

Ci sono problemi noti di AM-complete / AM-complete è ben definito?

Sono curioso di sapere se ci sono problemi completi nella classe di complessità Arthur-Merlin. Il grafico Non isomorfismo (RNL) sembra essere l'esempio canonico di un problema in AM, ma probabilmente non è completo. Suppongo che mi chiedo anche se un problema "completo" è ben definito per AM. Poiché AM = …

12 complexity-theory reductions complexity-classes interactive-proof-systems

2

XOR-SAT generalizzato è risolvibile efficacemente?

Ho visto come XOR-3-SAT sia risolvibile in modo efficiente (ad esempio, vedere la sezione "Soddisfazione XOR" nella voce Wikipedia per il problema di soddisfacibilità booleana ). Mi chiedo una domanda di base: XOR-k-SAT è risolvibile in modo efficiente, per formule con quantità variabili di letterali per clausola? Mi piacerebbe davvero …

12 complexity-theory satisfiability

1

A che serve trovare un numero minimo di rette per coprire una serie di punti?

C'è quel problema popolare [1] [2] nell'informatica che sta trovando il numero minimo di linee rette che copre un determinato insieme di punti in 2D. Anche se ho scannerizzato molti documenti, nessuno di essi ha una chiara motivazione per il problema. A che serve risolvere questo problema? C'è un documento …

12 reference-request computational-geometry applied-theory

2

Perché il teorema di Schaefer non dimostra che P = NP?

Questa è probabilmente una domanda stupida, ma non capisco. In un'altra domanda trovarono il teorema della dicotomia di Schaefer . A me sembra che dimostri che ogni problema CSP è in P o in NP completo, ma non nel mezzo. Poiché ogni problema NP può essere trasformato in tempo polinomiale …

12 np-complete satisfiability p-vs-np

3

La prova di indecidibilità del problema Halting tradisce invertendo i risultati?

Ho difficoltà a capire il problema di arresto di Turing. La sua prova presuppone che esista una macchina magica grado di determinare se un computer si fermerebbe o si riavvierebbe per sempre per un dato input. Quindi colleghiamo un'altra macchina che inverte l'output e abbiamo una contraddizione e quindi H …

12 computability halting-problem

3

Come creare DFA dall'espressione regolare senza utilizzare NFA?

L'obiettivo è quello di creare DFA da un'espressione regolare e l'utilizzo di "Exp regolare> NFA> Conversione DFA" non è un'opzione. Come si dovrebbe fare per farlo? Ho fatto questa domanda al nostro professore ma mi ha detto che possiamo usare l'intuizione e gentilmente rifiutato di fornire qualsiasi spiegazione. Quindi volevo …

12 automata finite-automata regular-expressions simulation

4

Quali sono i vantaggi dell'hashing del cuculo rispetto all'hashing dinamico perfetto?

Le tabelle hash dinamiche perfette e le tabelle hash cuculo sono due diverse strutture dati che supportano le ricerche O (1) nel caso peggiore e gli inserimenti e le eliminazioni previsti per il tempo O (1). Entrambi richiedono lo spazio ausiliario O (n) e l'accesso alle famiglie di funzioni hash …

12 data-structures hash-tables

3

In che modo un NFA utilizza le transizioni epsilon?

Nella foto qui sotto, sto cercando di capire cosa sta accettando esattamente questo NFA. Ciò che mi confonde è il salto a q 0 .εϵ\epsilonq0q0q_0 Se viene inserito uno , il sistema passa a q 0 e q 1 (lo stato di accettazione)?000q0q0q_0 q1q1q_1 Se viene inserito un , il …

12 automata finite-automata nondeterminism

2

Isomorfismo di gruppo per rappresentare graficamente l'ismorfismo

Nel leggere alcuni blog sulla complessità computazionale (ad esempio qui ) ho assimilato l'idea che decidere se due gruppi sono isomorfi sia più facile che testare due grafici per l'isomorfismo. Ad esempio, nella pagina dichiarata si dice che l'isomorfismo grafico è un problema più generale dell'isomorfismo di gruppo. Quindi sto …

12 complexity-theory graph-isomorphism group-theory

1

Perché non stiamo ricercando di più verso le garanzie del tempo di compilazione?

Adoro tutto ciò che è tempo di compilazione e mi piace l'idea che una volta compilato un programma vengano fatte molte garanzie sulla sua esecuzione. In generale, un sistema di tipo statico (Haskell, C ++, ...) sembra offrire maggiori garanzie in fase di compilazione rispetto a qualsiasi sistema di tipo …

12 programming-languages type-theory type-checking software-verification