Informatique théorique hard-instances

3

Greibach célèbre défini un langage , que l'on appelle la version non - déterministe de , de telle sorte que toute la LCF est une image inverse de morphique . Existe-t-il une déclaration similaire avec DCFL, éventuellement avec une certaine restriction sur les morphismes autorisés?D 2 HHHHD2D2D_2HHH (Voir, par exemple, …

12 fl.formal-languages open-problem context-free nondeterminism hard-instances

2

Quelle est la corrélation entre la largeur d'arbre et la dureté de l'instance pour 3-SAT aléatoire?

Ce récent article de FOCS2013, Strong Backdoors to Bounded Treewidth SAT par Gaspers et Szeider parle du lien entre la largeur d' arbre du graphe de la clause SAT et la dureté de l'instance. Pour les instances 3-SAT aléatoires, c'est-à-dire les instances 3-SAT choisies au hasard, quelle est la corrélation …

11 graph-algorithms sat treewidth random-k-sat hard-instances

1

Exemples d'instances dures pour l'algorithme de Goemans et Williamson

Je m'intéresse aux exemples explicites de graphiques pour lesquels l'application des algorithmes de Goemans et Williamson pour approximer les coupes maximales donne un facteur d'approximation de 0,878…. L'algorithme pour créer de telles instances serait parfait, les exemples explicites et les références sont satisfaisants.

10 ds.algorithms approximation-algorithms max-cut hard-instances

3

L'intégration d'une solution est-elle possible pour SAT?

Je m'intéresse aux instances individuelles "dures" de problèmes NP-complets. Ryan Williams a discuté du problème SAT0 sur le blog de Richard Lipton . SAT0 demande si une instance SAT a la solution spécifique composée de tous les 0. Cela m'a fait penser à la construction d'instances SAT susceptibles d'être "dures". …

10 cc.complexity-theory sat hard-instances

Questions marquées «hard-instances»