Preguntas etiquetadas con hard-instances

Greibach famoso definido un lenguaje de , la denominada versión no determinista de D 2 , tal que cualquier CFL es una imagen mórfica inversa de H . ¿Existe una declaración similar con DCFL, posiblemente con alguna restricción en los morfismos permitidos?HHHD2D2D_2HHH (Véase, por ejemplo, M. Autebert, J. Berstel y …

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

Este reciente artículo de FOCS2013, Strong Backdoors to Bounded Treewidth SAT de Gaspers y Szeider habla sobre el vínculo entre el ancho del árbol del gráfico de la cláusula SAT y la dureza de la instancia. Para instancias 3-SAT aleatorias, es decir, instancias 3-SAT elegidas al azar, ¿cuál es la …

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

Me interesan los ejemplos explícitos de gráficos para los cuales la aplicación del algoritmo Goemans y Williamson para aproximar los cortes máximos resulta en un factor de aproximación de 0.878 ... El algoritmo para crear tales instancias sería perfecto, los ejemplos explícitos y las referencias son satisfactorias.

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

Estoy interesado en instancias individuales "difíciles" de problemas NP-completos. Ryan Williams discutió el problema SAT0 en el blog de Richard Lipton . SAT0 pregunta si una instancia SAT tiene la solución específica que consiste en todos los 0. Esto me hizo pensar en construir instancias SAT que probablemente sean "difíciles". …

10 cc.complexity-theory  sat  hard-instances