Questions marquées «reductions»

Une réduction est la transformation d'un problème en un autre problème. Un exemple d'utilisation d'une réduction serait de montrer si un problème P est indécidable. Ceci serait réalisé en transformant ou en effectuant une réduction d'un problème de décisionPen un problème indécidable. Si cela peut être réalisé, nous avons montré que ce problème P est indécidable.

2
Des problèmes de somme de racines carrées?
Le problème de la somme des racines carrées pose, étant donné deux séquences a1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_n et b1,b2,…,bnb1,b2,…,bnb_1, b_2, \dots, b_n d’entiers positifs, si la somme inférieure à, égale à to, ou supérieure à la somme . Le statut de complexité de ce problème est ouvert; voir ce post∑iai−−√∑iai\sum_i …
7
Adhésion non triviale à NP
Y a-t-il un exemple de langue qui est en NPNPNP , mais où nous ne pouvons pas prouver ce fait directement en montrant qu'il existe un témoin polynomial d'appartenance à cette langue? Au lieu de cela, le fait que la langue est en NPNPNP serait prouvé en la réduisant à …
27 reductions  np 
1
Existe-t-il des algorithmes sous-exponentiels pour PLANAR SAT?
Certains problèmes NP-durs qui sont exponentiels sur les graphes généraux sont sous-exponentiels sur les graphes planaires car la largeur de l'arborescence est au maximum de et ils sont exponentiels dans la largeur de l'arborescence.4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} Fondamentalement, je suis intéressé s'il existe des algorithmes sous-exponentiels pour PLANAR SAT qui est NP-complet. …
2
Existe-t-il une réduction directe / naturelle pour compter les correspondances parfaites non bipartites en utilisant le permanent?
Compter le nombre de correspondances parfaites dans un graphe bipartite est immédiatement réductible au calcul du permanent. Étant donné que trouver une correspondance parfaite dans un graphique non bipartite est dans NP, il existe une certaine réduction des graphiques non bipartites au permanent, mais cela peut impliquer une explosion polynomiale …
5
Curieux de connaître les preuves de complétude NP assistées par ordinateur
Dans l'article "LA COMPLEXITÉ DES PROBLÈMES DE SATISFACABILITÉ" de Thomas J. Schaefer, l'auteur a mentionné que 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. …
1
Multiplication binaire et convolution de parité
Cette question concerne la relation entre la multiplication normale des nombres binaires et la multiplication polynomiale mod 2. Pour rendre la question concrète, j'aimerais idéalement savoir s'il existe une meilleure solution à la question de Knuth vol. 2, 3e édition, page 420 que celle donnée dans le livre. "La multiplication …
9
Réductions du livre.
C'est dans la ligne des " Algorithmes du livre ". Bien que les réductions soient également des algorithmes, je pensais qu'il était douteux que l'on pense à une réduction en réponse à la question sur les algorithmes du livre. D'où une requête distincte! Les réductions de toutes sortes sont les …
3
Problèmes qui sont NP-complets sous des réductions aléatoires ou P / poly.
Dans cette question , nous semblons avoir identifié un problème naturel qui est NP-complet sous des réductions aléatoires, mais peut-être pas sous des réductions déterministes (bien que cela dépende des hypothèses non prouvées dans la théorie des nombres qui sont vraies). Existe-t-il d'autres problèmes de ce type? Y a-t-il des …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.