L'informatique

10
Tous les problèmes NP se réduisent à des problèmes NP-complets: alors comment les problèmes NP ne peuvent-ils pas être NP-complets?

Mon livre dit ceci Si un problème de décision B est dans P et A se réduit à B, alors le problème de décision A est dans P. Un problème de décision B est NP-complet si B est dans NP et pour chaque problème dans A dans NP, A se réduit à B. Un problème de décision C est NP-complet si C est dans NP et...

10
Comment prouver qu'une version contrainte de 3SAT dans laquelle aucun littéral ne peut se produire plus d'une fois, est résoluble en temps polynomial?

J'essaie de travailler sur une tâche (tirée du livre Algorithms - par S. Dasgupta, CH Papadimitriou et UV Vazirani , Chap 8, problème 8.6a), et je paraphrase ce qu'il dit: Étant donné que 3SAT reste NP-complet même lorsqu'il est limité à des formules dans lesquelles chaque littéral apparaît au plus...

10
Turing reconnaissable => énumérable

J'obtiens la preuve de passer d'un énumérateur à une machine de Turing (continuez à exécuter l'énumérateur et voyez si cela correspond à l'entrée) mais je ne vois pas comment fonctionne l'autre sens. Selon mes notes et le livre (Intro to the Theory of Computation - Sipser), pour obtenir...

10
Comment puis-je construire une liste de bords doublement connectés en fonction d'un ensemble de segments de ligne?

Pour un graphe planaire donné noyé dans le plan, défini par un ensemble de segments de droite , chaque segment est représenté par ses extrémités . Construisez une structure de données DCEL pour la subdivision planaire, décrivez un algorithme, prouvez son exactitude et montrez la complexité.G ( V,...