Quels sont les problèmes non triviaux où nous savons que l'algorithme actuel que nous avons est asymptotiquement optimal? (Pour les machines de turing) Et comment cela est-il
Considérons un poset fini sur éléments, et un prédicat monotone inconnu sur (c'est-à-dire pour tout , , si et alors ) . Je peux évaluer en fournissant un nœud et en déterminant si est vrai ou non. Mon objectif est de déterminer exactement l'ensemble des nœuds tel que valide, en utilisant aussi peu...
La transformée de Walsh-Hadamard (WHT) est une généralisation de la transformée de Fourier, et est une transformation orthogonale sur un vecteur de nombres réels ou complexes de dimension . La transformation est populaire en informatique quantique, mais elle a été étudiée récemment comme une sorte...
Existe-t-il un algorithme de réarrangement temporel sur place linéaire? C'est l'algorithme que certaines mains particulièrement habiles sont capables d'exécuter: diviser uniformément un tableau d'entrée de taille égale, puis entrelacer les éléments des deux moitiés. Mathworld a une brève page sur...
Considérons le problème suivant: étant donné un graphe de requête et un graphe de référence G ′ = ( V ′ , E ′ ) , nous voulons trouver la cartographie injective f : V → V ′ qui minimise le nombre d'arêtes ( v 1 , v 2 ) ∈ E tel que ( f ( v 1 ) , f ( v 2 ) )G=(V,E)G=(V,E)G = (V,...
Si nous avons un grand graphe (dirigé) et un arbre enraciné plus petit H , quelle est la complexité la plus connue pour trouver des sous-graphes de G isomorphes à H ? Je connais les résultats de l'isomorphisme des sous -arbres où G et H sont des arbres et où G est planaire ou a une largeur d'arbre...
∑X∏i j ∈ EF( xje, xj)∑X∏jej∈EF(Xje,Xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxX∏i j ∈ EF( xje, xj)maxX∏jej∈EF(Xje,Xj)\max_x \prod_{ij \in E} f(x_i,x_j) Lorsque max ou sum est pris sur tous les étiquetages de , le produit est pris sur tous les bords pour un graphique et est une fonction arbitraire....
Cette question a été précédemment publiée sur Computer Science Stack Exchange ici . Imaginez que vous êtes un vendeur itinérant très réussi avec des clients dans tout le pays. Pour accélérer les expéditions, vous avez développé une flotte de drones de livraison jetables, chacun avec une portée...
Les solveurs SAT offrent un moyen puissant de vérifier la validité d'une formule booléenne avec un quantificateur. Par exemple, pour vérifier la validité de , nous pouvons utiliser un solveur SAT pour déterminer si φ ( x ) est satisfaisable. Pour vérifier la validité de ∀ x . φ ( x ) , nous pouvons...
Familièrement, la définition de l'exposant de multiplication matricielle est la plus petite valeur pour laquelle il existe un algorithme de multiplication matricielle connu . Ce n'est pas acceptable comme définition mathématique formelle, donc je suppose que la définition technique est quelque...
Ma question est d'ordre général: comment commencer à penser en termes de conception d'algorithmes et de complexité? Je vais suivre un cours d'études supérieures en conception d'algorithmes. Je m'y étais inscrit plus tôt mais je l'ai abandonné plus tard parce que je ne pouvais pas suivre. Je dois...
En essayant de concevoir mon propre algorithme de tri, je cherche le benchmark optimal auquel je peux le comparer. Pour un ordre non trié des éléments A et un ordre trié B , quel est un moyen efficace de calculer le nombre optimal de transpositions pour passer de A à B ? Une transposition est...
Il existe un certain nombre d'algorithmes et de structures de données qui exploitent l'idée que obtient sa valeur minimale à k = \ sqrt n . Les exemples courants incluent k = √max { k , n / k }max{k,n/k}\max \left\{k, n/k\right\}k = n--√k=nk=\sqrt n algorithme pas à pas géant pour calculer le...
Larry Wasserman a récemment publié un article dans lequel il parle de la "police p-value". Il fait un point intéressant (tout l'accent est mis sur moi) (la prémisse en italique que j'ai ajoutée et sa réponse ci-dessous): La plainte la plus courante est que les physiciens et les journalistes...
Étant donné une matrice (en supposant ), quel est l'algorithme le plus rapide pour calculer son rang et sa base des colonnes?m × nm×nm \times nm ≥ nm≥nm \ge n Je suis conscient qu'il peut être résolu par intersection matroïde linéaire, ce qui implique un algorithme déterministe temporel et un...
Contexte La mémoire externe, ou modèle DAM, définit le coût d'un algorithme par le nombre d'E / S qu'il exécute (essentiellement, le nombre d'échecs de cache). Ces temps d'exécution sont généralement donnés en termes de , la taille de la mémoire et , le nombre de mots qui peuvent être transférés en...
Quels sont les bons papiers / livres pour mieux comprendre le pouvoir de la décomposition modulaire et ses propriétés? Je m'intéresse particulièrement aux aspects algorithmiques de la décomposition modulaire. J'ai entendu dire qu'il est possible de trouver une décomposition modulaire d'un graphe en...
Une façon de montrer que la vérification de la faisabilité d'un système linéaire d'inégalités est aussi difficile que la programmation linéaire passe par la réduction donnée par la méthode ellipsoïde. Un moyen encore plus simple consiste à deviner la solution optimale et à l'introduire comme...
Sous une forme simple: Un automate fini bidirectionnel peut-il reconnaître des graphes en vertex contenant un triangle avec des états ?vvvo ( v3)o(v3)o(v^3) Détails D' un intérêt ici sont graphiques de -vertex codées en utilisant une séquence de bords, chaque bord étant une paire de sommets...
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...