Si nous considérons uniquement les problèmes dans P, y a-t-il de grands écarts entre l'algorithme de RAM de mots connu le plus rapide et l'algorithme de machine de Turing le plus rapide connu pour des problèmes particuliers? Je suis particulièrement intéressé s'il existe de grandes lacunes pour les...
Le papier SODA de 2 pages de Kalai fournit un algorithme simple et efficace pour la correspondance de motifs avec les soucis (jokers qui correspondent à un caractère). En substance, c'est aussi simple que la convolution. Mais que se passe-t-il si nous recherchons plusieurs modèles sans souci?...
Les solveurs SMT tels que Z3 ou Boolector utilisent un ensemble complexe d'heuristiques pour résoudre les problèmes. Cependant, cela rend également très difficile la prévision des performances d'un tel solveur pour un problème donné. Ma question est donc: Question Existe-t-il un moyen de comprendre...
Étant donné le coprime , pouvez-vous calculer rapidementa,ba,ba, bminx,y>0|ax−by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Ici x,yx,yx, y sont des entiers. Évidemment, prendre x=y=0x=y=0x = y = 0 donne une réponse sans intérêt; en général, à quel point ces pouvoirs peuvent-ils se...
Après les succès de plus en plus récents des réseaux de neurones dans les jeux de société, on sent que le prochain objectif que nous nous sommes fixé pourrait être quelque chose de plus utile que de battre les humains dans Starcraft. Plus précisément, je me demandais si Les réseaux de neurones...
Il est connu que Ford-Fulkerson ou Edmonds-Karp avec l'heuristique fat pipe (deux algorithmes pour max-flow) ne doivent pas s'arrêter si certains des poids sont irrationnels. En fait, ils peuvent même converger vers la mauvaise valeur! Cependant, tous les exemples que j'ai pu trouver dans la...
Pour de nombreux problèmes, l'algorithme avec la meilleure complexité asymptotique a un très grand facteur constant qui est caché par une grande notation O. Cela se produit dans la multiplication matricielle, la multiplication d'entiers (en particulier, le récent algorithme de multiplication...