Existe-t-il des algorithmes sous-quadratiques connus pour calculer le plancher de la racine carrée d'un nentier binaire? L'algorithme naïf serait quelque chose comme def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc <= x: x -= inc r...
Je suis un étudiant en deuxième année du secondaire qui s'intéresse à l'informatique. J'ai développé un algorithme sympa pour #SAT, et j'implémente et fais un projet d'expo-science sur celui-ci. Ma conseillère, qui est la meilleure enseignante en sciences de mon école et également enseignante AP...
Considérez le problème suivant: Entrée : liste des entiersX,YX,YX,Y Objectif : déterminer s'il existe un entier qui figure dans les deux listes.xxx Supposons que les deux listes soient de taille . Existe-t-il un algorithme déterministe à temps linéaire pour ce problème? En d'autres termes,...
Inverse une matrice dans la classe Complexity ?PP\text{P} À partir de l'exécution, je dirais oui mais la matrice inversée peut contenir des entrées où la taille n'est pas limitée polynomialement par l'entrée?O
Depuis que j'étudie pour mon cours universitaire de langues officielles, je suis tombé sur ces messages fascinants ( One Two ) qui décrivent comment trouver un nombre premier à l'aide d'une expression rationnelle . Comme je l'ai dit, une expression rationnelle , pas une expression régulière ....
Dans Concepts in Programming Languages , John Mitchell écrit que la vérification de type statique est nécessairement conservatrice (trop stricte) en raison du problème d'arrêt. Il donne comme exemple: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else...
J'utilise une variation d'un filtre médian à 5 croix sur les données d'image sur un petit système embarqué, c'est-à-dire x x x x x L'algorithme est vraiment simple: lire 5 valeurs entières non signées, obtenir les 2 plus élevées, faire des calculs sur celles-ci et réécrire le résultat entier non...
Il s'agit d'une suite d'une autre question ici , et j'espère que ce n'est pas trop philosophique. Comme Raphael l'a souligné dans un commentaire sur ma question précédente, je n'ai pas vraiment la définition de "calculable", mais selon certains articles que j'ai lus, la définition n'est pas...
Je lis actuellement des articles sur le regroupement de chaînes de Markov et je ne vois pas la différence entre une chaîne de Markov et un graphique pondéré simple. Par exemple, dans l'article Optimisation de l'espace d'état dans les chaînes de Markov, ils fournissent la définition suivante d'une...
Considérez le problème suivant. Éléments fournis: un graphique complet avec des poids réels non négatifs sur les bords. Tâche: trouver un sous-graphique planaire de poids maximum. ("Maximum" parmi tous les sous-graphiques planaires possibles.) Remarque: Le sous-graphique de poids maximum sera une...
Il me semble me rappeler dans une classe de premier cycle que pour une machine de Turing avec une bande finie, il existera toujours un automate d'état fini correspondant, mais je n'ai pu le trouver confirmé nulle part sur Internet. Est-ce vraiment le cas ou est-ce que je me souviens...
À ma connaissance, il n'existe pas d' algorithme pire des cas qui résout le problème suivant:O( n )O(n)O(n) Étant donné une séquence de longueur composée d'entiers finis, trouvez la permutation où chaque élément est inférieur ou égal à son successeur.nnn Mais existe-t-il une preuve de son...
J'ai entendu plusieurs explications possibles, donc je voudrais une référence fiable. Mise à jour 05.19: Je m'intéresse à la question parce qu'un de mes étudiants a écrit dans sa thèse que le nom vient de l'explication ci-dessous (1). Jusqu'à présent, je pensais / entendais que cela venait de...
Je pense aux langues unaires , où est l'ensemble de tous les mots dont la longueur est la somme de carrés. Formellement: Il est facile de montrer que n'est pas régulier (par exemple avec Pumping-Lemma). De plus, nous savons que chaque nombre naturel est la somme de quatre carrés ce qui implique que...
Sur la page wikipedia ici, il décrit assez bien l'algorithme CDCL (et il semble que les photos ont été prises à partir de diapositives créées par Sharad Malik à Princeton). Cependant, quand il décrit comment revenir en arrière, tout ce qu'il dit est "au point approprié". MiniSAT utilise également...
L'opération de fractionnement peut-elle être mise en œuvre pour les arbres AVL complexes O(logn)O(logn)O(\log n)? Je suis intéressé par des liens vers des articles ou toute information spécifique sur ce sujet. L'opération de division divise l'arborescence AVL en deux arborescences AVL dérivées, en...
Il existe donc un algorithme pour convertir les termes de calcul lambda en logique combinatoire à l'aide de combinateurs SK. Il produit des choses qui explosent en taille. J'aimerais en savoir plus sur cette explosion de taille. Je n'arrive pas à penser à un meilleur algorithme cependant. J'ai...
On me présente un réseau de comparaison. Comment déterminer si le réseau de comparaison est un réseau de tri? Dans l'image ci-dessous, il y a un exemple de réseau de tri par sélection et de tri par insertion. L'objectif est d'avoir un réseau de comparaison et de trier les valeurs numériques. Si je...
J'ai un ensemble de points qui sont définis dans un espace métrique - donc je peux mesurer une «distance» entre les points mais rien d'autre. Je veux trouver le point le plus central de cet ensemble, que je définis comme le point avec la somme minimale des distances à tous les autres points. Le...
Existe-t-il une caractérisation de graphes dont l'ensemble de bords se décompose en une union disjointe de correspondances parfaites? Une classe triviale de tels graphes sont les graphes bipartites réguliers ( n , n ) . Leur jeu de bord se décompose en d disjoints filtrages parfait. rédd( n , n...