Cette question concerne la relation entre la multiplication normale des nombres binaires et la multiplication polynomiale mod 2. Pour rendre la question concrète, j'aimerais idéalement savoir s'il existe une meilleure solution à la question de Knuth vol. 2, 3e édition, page 420 que celle donnée...
Cette question concerne la complexité temporelle de l' algorithme de flux maximal de Ford-Fulkerson lors de l'utilisation de DFS pour trouver des chemins d'augmentation. Il existe un exemple bien connu montrant qu'en utilisant DFS, on peut avoir besoin d'un nombre linéaire d'itérations dans le flux...
Soit un graphe. Pour un sommet , définir pour être le (ouvert) voisinage de dans . Autrement dit, . Définissez deux sommets dans comme des jumeaux si et ont le même ensemble de voisins, c'est-à-dire si .G=(V,E)g=(V,E)G=(V,E)x∈VX∈Vx\in
Dans un article scientifique de 2002, Mezard, Parisi et Zecchina ont proposé l' heuristique de propagation de croyances pour 3SAT aléatoire. Les expériences indiquent que l'heuristique fonctionne bien pour les ratios de contraintes par variable pour lesquels une affectation satisfaisante est...
Considérons un réseau électrique modélisé comme un graphe planaire G, où chaque front représente une résistance de 1Ω. À quelle vitesse peut-on calculer la résistance effective exacte entre deux sommets en G? De manière équivalente, à quelle vitesse pouvons-nous calculer le courant exact circulant...
Je recherche un texte d'introduction concis sur les algorithmes avec un rapport élevéCela devrait commencer au début mais ensuite progresser rapidement sans passer trop de temps sur des exemples du monde réel, des techniques de preuve élémentaire, etc. .théorie couvertenombre total de pages.théorie...
Quelqu'un connaît-il un programme open-source pour calculer la décomposition arborescente des graphiques pour un "k" fixe (largeur)? Je sais que le problème de trouver Tree-Decomposition est NP-Hard pour la variable "k", mais mes instances d'entrée seront vraiment petites (~ 10 nœuds) et "k" est...
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...
Supposons que l'on nous donne plusieurs polygones simples disjoints dans le plan, et deux points et t à l' extérieur de chaque polygone. Le problème du chemin le plus court euclidien consiste à calculer le chemin le plus court euclidien de s à t qui ne coupe pas l'intérieur d'un polygone. Pour être...
Selon l'article de KW Regan "Connect the Stars" , il mentionne à la fin qu'il est toujours difficile de trouver une représentation des nombres entiers de sorte que les opérations d'addition, de multiplication et de comparaison sont calculables en temps linéaire: Existe-t-il une représentation...
Dernièrement, j'ai commencé à chercher des algorithmes d'approximation pour les problèmes NP-difficiles et je me demandais les raisons théoriques de les étudier. (La question n'est pas censée être incendiaire - je suis simplement curieux). Une théorie vraiment belle est sortie de l'étude des...
O(nlogn)O(nlogn)O(n\log n)1+O(n−c)1+O(n−c)1+O(n^{-c})cccO(n)O(n)O(n)(max−min)n−(c+1)(max−min)n−(c+1)(\max-\min)n^{-(c+1)}de sa valeur d'origine, puis utilisez le tri radix. Mais les modèles avec arrondi ont une théorie de complexité problématique et cela m'a amené à me demander, qu'en est-il des...
Quelqu'un pourrait-il indiquer un ou plusieurs sites Web où il est possible de télécharger une implémentation fonctionnelle d'un solveur #SAT? Je suis intéressé par ceux qui renvoient le nombre exact de solutions, pas une
Appelons une fonction superpolynomiale si vaut pour chaque c> 0 .f(n)f(n)f(n) limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 Il est clair que pour tout langage il contient pour chaque temps superpolynomial lié f (n) . Je me demande si l'inverse de cette...
Nous savons tous que la distinction des éléments dans le modèle basé sur la comparaison ne peut pas être effectuée en temps . Cependant, sur un mot-RAM, on peut éventuellement obtenir de meilleurs résultats.o(nlogn)o(nJournaln)o(n\log n) Bien sûr, si l'on suppose l'existence d'une fonction de...
Récemment, j'ai travaillé sur le problème du calcul de la somme approximative d'une liste de nombres non négatifs triés. Pour tout fixe , un schéma d'approximation du temps a été dérivé de telle sorte qu'il donne une approximation pour la somme. Le document est publié sur...
(Il s'agit d'un suivi de cette question et de sa réponse .) J'ai le programme linéaire d'entier (ILP) totalement unimodulaire (TU) suivant. Ici sont tous des entiers positifs donnés dans le cadre de l'entrée. Un sous-ensemble spécifié des variables x i j est mis à zéro, et le reste peut prendre des...
Récemment, j'ai vécu l' expérience douloureuse et amusante d'expliquer de manière informelle le concept de complexité informatique à un jeune programmeur autodidacte talentueux, qui n'avait jamais suivi de cours formel en algorithmes ou en complexité auparavant. Sans surprise, beaucoup de notions...
(transféré de MathOverflow) Salut, Je lisais ce fil: /mathpro/16393/finding-a-cycle-of-fixed-length Je veux trouver un cycle 5 sur un graphique. En fait, ce que je veux vraiment, c'est un cycle impair le plus court d'une longueur d'au moins 5, mais c'est peut-être un peu à côté du point. Pour mes...
Un collègue qui travaille sur la programmation génétique m'a posé la question suivante. J'ai d'abord essayé de le résoudre sur la base d'une approche gourmande, mais sur une deuxième pensée, j'ai trouvé un contre-exemple à l'algorithme gourmand. J'ai donc pensé qu'il valait la peine de le...