L'étude de la représentation succincte des graphiques a été lancée par Galperin et Wigderson dans un article de 1983, où ils prouvent que pour de nombreux problèmes simples comme la recherche d'un triangle dans un graphique, la version succincte correspondante dans -complete. Papadimitriou et Yanakkakis poursuivent cette ligne de recherche …
Connaissez-vous un wiki à jour dédié aux problèmes d'optimisation NP avec leur meilleur résultat d'approximation et de dureté? Sur la base des commentaires, il semble qu'il est prudent de supposer qu'il n'y a pas une telle ressource (voir la fin de cette question pour deux options proches). - ajouté le …
Est-il possible de traduire une formule booléenne B en une conjonction équivalente de clauses Horn? L'article de Wikipédia sur HornSAT semble impliquer que c'est le cas, mais je n'ai pu chasser aucune référence. Notez que je ne veux pas dire "en temps polynomial", mais plutôt "du tout".
Considérez le problème de couverture de l'ensemble minimal avec les restrictions suivantes: chaque ensemble contient au plus éléments et chaque élément de l'univers se produit dans au plus ensembles.kkkfff Exemple: le cas et est équivalent au problème de couverture minimale des sommets dans les graphiques avec un degré maximum 4.k=4k=4k …
Selon D. den Hertog, Interior Point Approach to Linear, Quadratic and Convex Programming, 1994 , un programme linéaire avec variables, n contraintes et précision L est résoluble en temps O ( n 3 L ) . Cela a-t-il été amélioré?nnnnnnLLLO ( n3L )O(n3L)O(n^3L)
Le volume III de The Art of Computer Programming de Knuth (chapitre 5, verset 3.2) comprend le tableau suivant répertoriant le nombre minimum exact de comparaisons nécessaires pour sélectionner le ème plus petit élément à partir d'un ensemble non trié de taille , pour tous les . Ce tableau, avec …
Le résultat par Robertson et Seymour démontre un algorithme pour tester si un graphique fixe G est un mineur de . J'ai deux questions et demie sur ce sujet:O ( n3)O(n3)O(n^3)ggGHHH 1) Il semble que cet algorithme ait été amélioré depuis. Quel est actuellement l'algorithme le plus connu? 2a) Qu'est-ce …
À la lumière des résultats récents d'Arora, Barak et Steurer, Algorithmes sous-exponentiels pour les jeux uniques et les problèmes connexes , je suis intéressé par les problèmes de graphes qui ont des algorithmes de temps sous-exponentiels mais qui ne sont pas résolus polynomialement. Un exemple célèbre est l'isomorphisme de graphe …
Bien sûr, certains résultats de complexité peuvent s'effondrer pour les langues unaires, mais je me demande s'il existe quelque part une enquête résumant les résultats connus dans ce cas: une sorte de zoo de complexité pour les langues unaires. Connaissez-vous une telle référence?
Je sais qu'il est indécidable de déterminer si un ensemble de tuiles peut carreler l'avion, un résultat de Berger utilisant des tuiles Wang . Ma question est de savoir s'il est également connu d'être indécidable pour déterminer si une seule tuile donnée peut carreler l'avion, un carrelage monoédrique . Si …
EDIT (v2): Ajout d'une section à la fin sur ce que je sais du problème. EDIT (v3): Ajout d'une discussion sur le degré de seuil à la fin. Question Cette question est principalement une demande de référence. Je ne connais pas grand-chose au problème. Je veux savoir s'il y a …
Edit: j'ai d'abord mal formulé ma contrainte (2), elle est maintenant corrigée. J'ai également ajouté plus d'informations et d'exemples. Avec certains collègues, étudiant une autre question algorithmique, nous avons pu réduire notre problème au problème intéressant suivant, mais nous n'avons pas pu résoudre la question de sa complexité. Le problème …
Il est bien établi qu'il existe un seuil de bruit pour le calcul quantique, tel qu'en dessous de ce seuil, le calcul peut être codé de telle sorte qu'il donne le résultat correct avec une probabilité limitée (avec au plus un surcoût de calcul polynomial). Ce seuil dépend du codage …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.