Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

1
Problemi di estensibilità difficile
Nel problema dell'estensibilità, ci viene data parte della soluzione e vogliamo decidere se possiamo estenderla a una soluzione completa. Alcuni problemi di estensibilità sono risolvibili in modo efficiente, mentre altri problemi di estensibilità trasformano un problema facile in difficile. Ad esempio, Konig-Hall teorema afferma che tutti i grafi bipartiti cubici …
1
Abbiamo circuiti uniformi non banali?
Dato un algoritmo che gira nel tempo , possiamo convertirlo in una famiglia di circuiti uniforme "banale" per lo stesso problema di dimensioni al massimo .t(n)t(n)t(n)≈t(n)logt(n)≈t(n)log⁡t(n)\approx t(n)\log t(n) D'altra parte, potrebbe essere che abbiamo circuiti uniformi molto più piccoli per quel problema, anche se è un tempo di funzionamento ottimale. …
1
Un'altra variante di PARTITION
Ho una riduzione del seguente problema di partizione a un certo problema di pianificazione: Input: un elenco di numeri interi positivi in ​​ordine non decrescente.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Domanda: esiste un vettore tale che(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n k ∑ i = 1 a i x i ⩾ 0∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} Σi = 1Kun'ioXio⩾ 0per tutto k ∈ …
1
Completezza NP rispetto ai reali
Di recente sto studiando il modello di calcolo BSS (cfr. Per esempio Complessità e calcolo reale; Blum, Cucker, Shub, Smale.) Per i reali RRR , si mostra che, dato un sistema di polinomi f1,⋯,fm∈R[x1,⋯,xn]f1,⋯,fm∈R[x1,⋯,xn]f_1,\cdots, f_m\in R[x_1, \cdots, x_n] , l'esistenza di zeri è NPRNPRNP_R . Tuttavia, mi chiedo, se quelle …
1
Funzioni a senso unico rispetto ai vari limiti delle risorse
Informalmente, le funzioni a senso unico sono definite rispetto agli algoritmi PTIME. Sono calcolabili nel tempo polinomiale ma non invertibili nel tempo polinomiale di caso medio. L'esistenza di tali funzioni è un importante problema aperto nell'informatica teorica. Sono interessato a funzioni unidirezionali (non necessariamente per applicazioni crittografiche) definite rispetto a …
1
Intermedia
Il problema della partizione è debolmente completo di NP poiché ha un algoritmo temporale polinomiale (pseudo-polinomiale) se gli interi di input sono limitati da alcuni polinomi. Tuttavia, 3-Partition è un problema fortemente NP-completo anche se gli interi di input sono delimitati da un polinomio. Supponendo, P ≠ N PP≠NP\mathsf{P \ne …
2
L'esistenza di un problema di ricerca
È facile vedere che se NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P} allora ci sono problemi di ricerca N P totaliNPNP\mathsf{NP} che non possono essere risolti in tempo polinomiale (creare un problema di ricerca totale avendo sia i testimoni per l'appartenenza che i testimoni per non appartenenza). È vero anche il contrario, cioè L'esistenza …
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.