Questions marquées «approximation-hardness»

Dureté d'approximation, aka inapproximabilité.

1
Maintenir l'ordre dans une liste en
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 élément delete: donne …
1
La complétude de PSPACE implique-t-elle une dureté d'approximation?
Il est mentionné dans un commentaire dans un autre article de cstheorySE que PSPACE- exhausteness implique APX-hardness. Quelqu'un peut-il expliquer / partager une référence pour cela? Est-ce "serré"? (c.-à-d. y a-t-il des problèmes PSPACE complets dont le problème d'optimisation admet une approximation constante des facteurs en temps poly?) Qu'en est-il …
4
L'équivalence eta pour les fonctions est-elle compatible avec l'opération seq de Haskell?
Lemme: En supposant une équivalence éta, nous avons cela (\x -> ⊥) = ⊥ :: A -> B. Preuve: ⊥ = (\x -> ⊥ x)par eta-équivalence, et (\x -> ⊥ x) = (\x -> ⊥)par réduction sous lambda. Le rapport Haskell 2010, section 6.2 spécifie la seqfonction par deux équations: …
1
Analyse lissée des algorithmes d'approximation
L'analyse lissée a été appliquée à plusieurs reprises pour comprendre le temps d'exécution d'algorithmes exacts pour de nombreux problèmes comme la programmation linéaire et les k-means. Il existe des résultats assez généraux dans ce domaine, par exemple Heiko Röglin et Berthold Vöcking, Smoothed analysis of integer programming , 2005. Certains …
1
Presque toujours presque raison
Je suis à la recherche d'une classe de complexité qui se rapporte à APX comme BPP se rapporte à P. J'ai déjà posé la même question ici , mais peut-être TCS serait un endroit plus fructueux pour les réponses. La raison de la question est que dans les problèmes pratiques, …
2
Dureté des séparateurs de sommet
Pour un graphe donné , le problème du séparateur demande s'il existe un ensemble de sommets ou d'arêtes de petite cardinalité (ou poids) dont la suppression divise G en deux graphes disjoints de tailles approximativement égales. C'est ce qu'on appelle le problème du séparateur de sommets lorsque l'ensemble supprimé est …
2
Existence de
Considérez le problème de l'ensemble dominant dans les graphiques généraux, et soit le nombre de sommets dans un graphique. Un algorithme d'approximation gourmand donne une garantie d'approximation du facteur 1 + log n , c'est-à-dire qu'il est possible de trouver en temps polynomial une solution S telle que | S …
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.