Domande taggate «reductions»

Una riduzione è la trasformazione di un problema in un altro problema. Un esempio di utilizzo di una riduzione sarebbe quello di mostrare se un problema P è indecidibile. Ciò si otterrebbe trasformando o eseguendo una riduzione di un problema decisionale in un problema indecidibile. Se ciò può essere ottenuto, abbiamo dimostrato che questo problema P è indecidibile. P

2
Problemi di somma delle radici quadrate?
Il problema della somma delle radici quadrate chiede, date due sequenze e b 1 , b 2 , ... , b n di numeri interi positivi, se la somma ∑ i √a1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_nb1,b2,…,bnb1,b2,…,Bnb_1, b_2, \dots, b_n minore, uguale o maggiore della somma∑i√Σioun'io--√Σioun'io\sum_i \sqrt{a_i} . Lo stato di complessità …
7
Iscrizione non banale a NP
C'è un esempio di una lingua che si trova in NPNPNP , ma in cui non possiamo dimostrare questo fatto direttamente dimostrando che esiste una testimonianza polinomiale per l'appartenenza a questa lingua? Invece, il fatto che la lingua sia in NPNPNP sarebbe dimostrato riducendolo in un'altra lingua in NPNPNP , …
27 reductions  np 
1
Sono noti algoritmi subexponential per PLANAR SAT?
Alcuni problemi NP-difficili che sono esponenziali su grafici generali sono sottoesponenziali su grafici planari perché la larghezza dell'albero è al massimo e sono esponenziali nella larghezza degli alberi.4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} Fondamentalmente mi interessa se esistono algoritmi subexponential per PLANAR SAT che è NP-completo. Lasciate essere una formula CNF sulle variabili x …
2
Esiste una riduzione diretta / naturale per contare abbinamenti perfetti non bipartiti usando il permanente?
Il conteggio del numero di corrispondenze perfette in un grafico bipartito è immediatamente riducibile al calcolo del permanente. Dato che trovare una corrispondenza perfetta in un grafico non bipartito si trova in NP, esiste una certa riduzione dai grafici non bipartiti al permanente, ma può comportare un brutto scoppio polinomiale …
5
Curioso delle prove di completezza NP assistita da computer
Nell'articolo "LA COMPLESSITÀ DEI PROBLEMI DI SODDISFAZIONE" di Thomas J. Schaefer, l'autore ha menzionato che This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The …
1
Moltiplicazione binaria e convoluzione di parità
Questa domanda riguarda la relazione tra la moltiplicazione normale dei numeri binari e la moltiplicazione polinomiale mod 2. Per rendere concreta la domanda, vorrei idealmente sapere se esiste una soluzione migliore alla domanda di Knuth vol. 2, 3a edizione, pagina 420 rispetto a quella fornita nel libro. "La moltiplicazione dei …
9
Riduzioni dal libro.
Questo è sulla falsariga di " Algorithms from the Book ". Anche se le riduzioni sono anche algoritmi, ho pensato che si potesse pensare a una riduzione della risposta alla domanda sugli algoritmi del libro. Da qui una query separata! Sono benvenute riduzioni di ogni tipo. Inizierò con la riduzione …
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.