Questions marquées «cc.complexity-theory»

P versus NP et autres calculs liés aux ressources.

2
Tester si les lettres peuvent être programmées pour obtenir un mot dans une langue régulière
Je fixe un langage régulier sur un alphabet , et je considère le problème suivant que j'appelle la planification de la lettre pour . De manière informelle, l'entrée me donne lettres et un intervalle pour chaque lettre (c'est-à-dire une position minimale et maximale), et mon objectif est de placer chaque …
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. …
10
Problèmes faciles sur les graphiques non pondérés, mais difficiles pour les graphiques pondérés
De nombreux problèmes de graphes algorithmiques peuvent être résolus en temps polynomial à la fois sur des graphes non pondérés et pondérés. Quelques exemples: chemin le plus court, arbre couvrant minimum, chemin le plus long (dans les graphiques acycliques dirigés), débit maximal, coupe minimale, correspondance maximale, arborescence optimale, certains problèmes …
6
Déclarations impliquant
Il s'agit en quelque sorte d'une question ouverte - pour laquelle je m'excuse à l'avance. Y a-t-il des exemples de déclarations qui (apparemment) n'ont rien à voir avec la complexité ou les machines de Turing mais dont la réponse impliquerait ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}
3
Justifier l'analyse du pire cas asymptotique aux scientifiques
J'ai travaillé sur l'introduction de certains résultats de la complexité informatique dans la biologie théorique, en particulier l' évolution et l'écologie , dans le but d'être intéressant / utile pour les biologistes. L'une des plus grandes difficultés que j'ai rencontrées est de justifier l'utilité d'une analyse asymptotique du pire des …
1
Générer un labyrinthe de tower defense, alias Trouver les K nœuds les plus vitaux («interdiction par nœud») dans un quadrillage non pondéré
Dans un jeu de tower defense, vous avez une grille NxM avec un départ, une arrivée et un certain nombre de murs. Les ennemis empruntent le chemin le plus court du début à la fin sans passer par aucun mur (ils ne sont généralement pas contraints à la grille, mais …
4
Circuits arithmétiques monotones
L'état de nos connaissances sur les circuits arithmétiques généraux semble être similaire à l'état de nos connaissances sur les circuits booléens, c'est-à-dire que nous n'avons pas de bonnes limites inférieures. D'un autre côté, nous avons des limites inférieures de taille exponentielle pour les circuits booléens monotones . Que savons-nous des …
2
Relation entre la dureté de reconnaissance d'une classe de graphes et la caractérisation de sous-graphes interdite
J'envisage des classes de graphes qui peuvent être caractérisées par des sous-graphes interdits. Si une classe de graphes a un ensemble fini de sous-graphes interdits, il existe alors un algorithme de reconnaissance temporelle polynomiale trivial (on peut simplement utiliser la force brute). Mais une famille infinie de sous-graphes interdits n'implique …
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.