Scienza del computer complexity-theory

1

Problema decisionale tale che qualsiasi algoritmo ammette un algoritmo esponenzialmente più veloce

In Algorithmics for Hard Problems (2a edizione) di Hromkovič c'è questo teorema (2.3.3.3, pagina 117): Esiste un problema di decisione (decidibile) tale che per ogni algoritmo che risolve esiste un altro algoritmo che risolve anche e soddisfa inoltrePPPP A ′ PUNAAPPPA′A′A'PPP ∀∞n∈N.TimeA′(n)=log2TimeA(n)∀∞n∈N.TimeA′(n)=log2⁡TimeA(n)\qquad \forall^\infty n \in \mathbb{N}. \mathrm{Time}_{A'}(n) = \log_2 \mathrm{Time}_A(n) …

19 complexity-theory

1

Facile riduzione da 3SAT al problema del percorso hamiltoniano

C'è una riduzione nel libro di Sipser "Introduzione alla teoria del calcolo" a pagina 286 da 3SAT al problema del percorso hamiltoniano. C'è una riduzione più semplice? Con più semplice intendo una riduzione che sarebbe più facile da capire (per gli studenti). Esiste una riduzione che utilizza un numero lineare …

19 complexity-theory np-hard

1

Calcolo efficiente o approssimazione della dimensione VC di una rete neurale

Il mio obiettivo è risolvere il seguente problema, che ho descritto dal suo input e output: Ingresso: Un grafico aciclico diretto con nodi , fonti e sink ( ).solsolGmmmnnn111m > n ≥ 1m>n≥1m > n \geq 1 Produzione: Il VC-dimensione (o una sua approssimazione) per la rete neurale con topologia …

19 algorithms complexity-theory machine-learning neural-networks vc-dimension

1

Il taglio minimo potrebbe essere più semplice del flusso di rete?

Grazie al teorema del taglio minimo del flusso massimo, sappiamo che possiamo usare qualsiasi algoritmo per calcolare un flusso massimo in un grafico di rete per calcolare un taglio -min-taglio. Pertanto, la complessità del calcolo di un taglio minimo ( s , t ) non è altro che la complessità …

18 complexity-theory reductions network-flow graph-algorithms

1

I puzzle "zero-one" NP-complete sono completi?

Sono interessato a una leggera variante della piastrellatura, il "puzzle": ogni bordo di una tessera (quadrata) è etichettato con un simbolo da e due tessere possono essere posizionate adiacenti gli uni agli altri se il simbolo sul bordo di una piastrella è k e il simbolo sul bordo di una …

18 complexity-theory np-complete tiling

1

Definizioni di un algoritmo in esecuzione in tempo polinomiale e in tempo fortemente polinomiale

Wikipedia lo definisce essere Si dice che un algoritmo ha un tempo polinomiale se il suo tempo di esecuzione è limitato da un'espressione polinomiale delle dimensioni dell'input per l'algoritmo, cioè per qualche costante k.T( n ) = O ( nK)T(n)=O(nK)T(n) = O(n^k) L'algoritmo viene eseguito in tempi fortemente polinomiali se …

18 complexity-theory

2

Una riduzione polinomiale da qualsiasi problema NP-completo a PCP limitato

I libri di testo in tutto il mondo per scontato che il Bounded corrispondenza postale problema è NP-completo (non più di NNN indici ammessi con ripetizioni). Tuttavia, da nessuna parte viene mostrato un semplice (come in, qualcosa che uno studente può capire) riduzione del tempo polinomiale da un altro problema …

18 complexity-theory np-complete reductions

1

Dimostrando la (in) trattabilità di questo ennesimo episodio ricorrente

Come segue dalla mia domanda precedente , ho giocato con l' ipotesi di Riemann come una questione di matematica ricreativa. Nel processo, sono arrivato a una ricorrenza piuttosto interessante e sono curioso di sapere il suo nome, le sue riduzioni e la sua trattabilità verso la solvibilità del divario tra …

18 complexity-theory reference-request recurrence-relation mathematical-analysis

4

Dimostrando che un problema in X non è X-Complete

The Existential Theory of the Reals è in PSPACE , ma non so se sia PSPACE-Complete . Se credo che non sia così, come potrei provarlo? Più in generale, dato un problema in qualche classe di complessità X , come posso dimostrare che è non è X-Complete ? Ad esempio, …

18 complexity-theory proof-techniques

2

Perché il factoring di interi di grandi dimensioni è considerato difficile?

Ho letto da qualche parte che l'algoritmo più efficiente trovato può calcolare i fattori nel tempo , ma il codice che ho scritto è o possibilmente seconda della divisione e del modulo veloci. Sono abbastanza sicuro di aver frainteso qualcosa da qualche parte, ma non sono sicuro di dove. Ecco …

17 complexity-theory time-complexity factoring primes

5

Come dimostrare che un problema NON è NP-Complete?

Esiste una tecnica generale per dimostrare che un problema NON è NP-Complete? Ho avuto questa domanda sull'esame che mi ha chiesto di mostrare se qualche problema (vedi sotto) è NP-Complete. Non riuscivo a pensare a nessuna soluzione reale, e ho appena dimostrato che era in P. Ovviamente questa non è …

17 complexity-theory np-complete proof-techniques

3

C'è un punto di vista della complessità del teorema di Galois?

Il teorema di Galois afferma effettivamente che non si possono esprimere le radici di un polinomio di grado> = 5 usando funzioni razionali di coefficienti e radicali - non si può leggere questo per dire che dato un polinomio non esiste un algoritmo deterministico per trovare le radici? Consideriamo ora …

16 complexity-theory np-complete np polynomials

2

Un linguaggio denso NP completo implica P = NP

Diciamo che il linguaggio è denso se esiste un polinomio p tale che | J c ∩ Σ n | ≤ p ( n ) per tutti gli n ∈ N . In altre parole, per ogni data lunghezza n esistono solo polinomialmente molte parole di lunghezza n che non …

16 complexity-theory time-complexity np-complete satisfiability

1

Simulazione universale delle macchine di Turing

Sia fff una funzione fissa costruibile nel tempo. Il classico risultato di simulazione universale per TM (Hennie e Stearns, 1966) afferma che esiste una TM a due nastri tale cheUUU la descrizione di una TM e⟨M⟩⟨M⟩\langle M \rangle una stringa di input ,xxx corre per passi e restituisce la risposta …

16 complexity-theory reference-request turing-machines machine-models simulation

1

I limiti inferiori asintotici sono rilevanti per la crittografia?

Un limite inferiore asintotico come la durezza esponenziale è generalmente pensato per implicare che un problema è "intrinsecamente difficile". Si ritiene che la crittografia "intrinsecamente difficile" da infrangere sia sicura. Tuttavia, un limite inferiore asintotico non esclude la possibilità che una classe enorme ma finita di istanze problematiche sia facile …

16 complexity-theory cryptography asymptotics

Domande taggate «complexity-theory»