CSP signifie le problème de la satisfaction des contraintes.
En lisant l'article "Est-il temps de déclarer la victoire en comptant la complexité?" sur le blog "Godel's Lost Letter and P = NP" , ils ont mentionné la dichotomie pour les CSP. Après quelques liens après, googler et wikipeding, je suis tombé sur le théorème de Ladner : Théorème de Ladner: Si ,...
Lors de la conception d'algorithmes d'approximation, on résout parfois un programme semi-fini suivi d'une étape d'arrondi. Un exemple souvent utilisé pour illustrer cela est Max-Cut. (Voir par exemple les algorithmes d'approximation de Vijay Vazirani.) Existe-t-il de bonnes sources ou enquêtes...
Dans le passé, j'ai implémenté des modèles de coordination utilisant SAT et la satisfaction des contraintes régulières comme cheval de bataille principal dans leurs moteurs. Poursuivant dans cette ligne de travail, je voudrais rendre les modèles plus interactifs, et la meilleure façon que je vois...
Contexte : Dans le document UGC original de Subhash Khot ( PDF ), il prouve la dureté UG de décider si une instance CSP donnée avec des contraintes toutes de la forme Pas-tout-égal (a, b, c) sur un alphabet ternaire admet une affectation satisfaisante 1 - des contraintes ou s'il n'y a pas...
Le problème de maintenance des commandes (ou «maintien de l'ordre dans une liste») est de supporter les opérations: singleton: crée une liste avec un élément, lui renvoie un pointeur insertAfter: donné un pointeur sur un élément, insère un nouvel élément après, renvoyant un pointeur sur le nouvel...
Une formulation équivalente du théorème PCP est: Pour Max 3-SAT, il est -hard de faire la distinction entre les formules satisfaisables et les formules où au plus r -fraction des clauses sont satisfaisables (pour certains r < 1 ).NPNPNPrrrr<1r<1r\lt 1 Existe-t-il un théorème de dichotomie...
La question suivante s'est posée à plusieurs reprises lors du test de la sécurité d'un système ou d'un modèle. Motivation: les failles de sécurité logicielles ne proviennent souvent pas de bogues dus à des entrées valides, mais de bogues résultant d'entrées non valides suffisamment proches des...
Soit une formule 2CNF et k un entier non négatif. Il est prouvé dans cet article que le problème de décider si l'on peut supprimer au plus k clauses pour rendre satisfaisable, est un paramètre fixe traitable, où est le paramètre. Ma question est de savoir s'il existe des travaux qui généralisent ce...
Le théorème de dichotomie de Schaefer montre que chaque problème de CSP sur est soit résoluble en temps polynomial, soit NP-complet. Cela s'applique uniquement aux problèmes CSP de largeur limitée, à l'exclusion de SAT et Horn-SAT, par exemple. Les problèmes CSP généraux de largeur illimitée...
Le problème de la N-reine est le suivant: Entrée: N Sortie: Un placement de N "reines" sur un échiquier NXN de telle sorte qu'il n'y ait pas deux reines sur la même ligne, colonne ou diagonale. En effectuant une recherche Google à ce sujet, j'ai constaté que de nombreuses diapositives de nombreux...
À la SODA 2006, l'article de Martin Grohe et D niel Marx "Résolution des contraintes via des couvertures de bords fractionnaires" ( citation ACM ) a montré que pour la classe des hypergraphes H avec une largeur d'hypertree fractionnée bornée, CSP ( H ) \ in PTIME .a´a´\acute{\rm...
Étant donné un graphe orienté fixe (digramme) , le problème de décision -coloration demande si un digramme d'entrée a un morphisme de . (Un homomorphisme de à est un mappage de à qui préserve les arcs, c'est-à-dire que si est un arc de , alors est un arc de )D G D G D f V ( G ) V ( D ) u v G f ( u...