Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

1
Fa ?
Cosa succede se definiamo tale che al posto di un circuito Polytime Turing-machine / polysize, un Turing-machine spazio log o un circuito codifica il problema?P P A DPPAD{\bf PPAD} A C 0AC0{\bf AC^0} Recentemente fornire algoritmi più veloci per la soddisfazione dei circuiti per piccoli circuiti si è rivelato importante, …
3
Somma del sottoinsieme vs. prodotto del sottoinsieme (durezza NP forte o debole)
Speravo che qualcuno potesse spiegarmi perché esattamente il problema del prodotto del sottoinsieme è fortemente NP-difficile mentre il problema della somma del sottoinsieme è debolmente NP-difficile. Sottoinsieme Somma: Dato X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\} e , fa esiste un sottoinsieme tale che .X ′TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T Sottoinsieme del prodotto: Data e …
3
in termini di
Il sistema di prove probabilistiche è comunemente indicato come una limitazione di , dove Arthur può usare solo bit casuali e può solo esaminare bit del certificato di prova inviato da Merlin (vedi http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) gPCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n)g( n )g(n)g(n) Tuttavia, nel 1990 Babai, Fortnow e Lund …
1
Quanto sono efficienti i solutori SAT basati su DPLL su casi soddisfacenti di PHP?
Sappiamo che i risolutori SAT basati su DPLL non rispondono correttamente alle istanze insoddisfacenti di (principio del buco del piccione), ad esempio su "esiste una mappatura iniettiva da a ": n + 1 nPHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i∈[n+1] ⋁j∈[n] pi,j⎞⎠∧⎛⎝⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j)⎞⎠PHPnn+1:=(⋀i∈[n+1] ⋁j∈[n] pi,j)∧(⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j))\mathrm{PHP^{n+1}_{n}} := \left(\bigwedge_{i\in[n+1]} \ \bigvee_{j\in[n]} \ p_{i,j}\right) \wedge …
1
Isomorfismo imperfetto del sottografo
Si consideri il seguente problema: dato un grafico di query G=(V,E)sol=(V,E)G = (V, E) e un grafico di riferimento G′=(V′,E′)G′=(V′,E′)G' = (V', E') , vogliamo trovare la mappatura iniettiva f:V→V′f:V→V′f : V \rightarrow V' che minimizza il numero di fronti (v1,v2)∈E(v1,v2)∈E(v_1, v_2) \in E tale che (f(v1),f(v2))∉E′(f(v1),f(v2))∉E′(f(v_1), f(v_2)) \notin E' …
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.