Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

3
Qu'est-ce qui sépare les problèmes globaux faciles des problèmes globaux durs sur les graphiques de largeur d'arbre bornée?
De nombreux problèmes de graphes durs peuvent être résolus en temps polynomial sur des graphes de largeur d'arbre bornée . En effet, les manuels utilisent généralement, par exemple, l'ensemble indépendant comme exemple, ce qui est un problème local . En gros, un problème local est un problème dont la solution …
5
Quels modèles d'automates notables ont un confinement polynomialement décidable?
J'essaie de résoudre un problème particulier et j'ai pensé que je pourrais le résoudre en utilisant la théorie des automates. Je me demande, quels modèles d'automates ont un confinement décidable en temps polynomial? c'est-à-dire que si vous avez des machines vous pouvez tester si efficacement.M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) Les plus …
2
Problèmes avec une solution efficace, sauf pour une petite fraction des entrées
Le problème d'arrêt des machines Turing est peut-être l'ensemble canonique indécidable. Néanmoins, nous prouvons qu'il existe un algorithme qui en décide presque toutes les instances. Le problème de l'arrêt fait donc partie de la collection croissante de ceux qui présentent le phénomène de «trou noir» de la théorie de la …
2
Instances solubles dans le temps polynomial de Max-Sat
Le problème Max-Sat vous demande de trouver une affectation d'une formule CNF qui satisfasse autant de clauses que possible. Pour le problème SAT plus simple, il existe de nombreux cas spéciaux connus qui peuvent être résolus en temps polynomial, par exemple, nous pouvons résoudre 2-SAT en temps polynomial. Pour Max-Sat, …
18 sat  treewidth  max2sat 
2
Co-NP-exhaustivité de la tournée TSP minimale?
Ce problème est sorti de mon récent article de blog , supposons que l'on vous donne une visite TSP, est-il co-NP-complet pour déterminer s'il est minime? Plus précisément, le problème suivant est NP-complet: Instance: étant donné un graphe complet G avec des arêtes pondérées par des entiers positifs et un …
5
Algorithmes de largeur d'arbre rapides
Je voudrais calculer la largeur d' arbre d'un graphique. Il existe de très bonnes heuristiques pour d'autres problèmes de graphes NP-durs tels que VF2 pour l'isomorphisme de sous-graphe, avec du code disponible en igraph par exemple. Je les ai essayés sur mes graphiques et je trouve qu'ils fonctionnent très rapidement …
2
Limites de la taille du plus petit NFA pour L_k-distinct
Considérons le langage composé de toutes les chaînes de k lettres sur Σ de telle sorte qu'il n'y ait pas deux lettres égales:Lk−distinctLk−distinctL_{k-distinct}kkkΣΣ\Sigma Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi}Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi} L_{k-distinct} :=\{w = \sigma_1\sigma_2...\sigma_k \mid \forall i\in[k]: \sigma_i\in\Sigma ~\text{ and }~ \forall j\ne i: \sigma_j\ne\sigma_i \} Cette langue est finie et donc …
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.