Le contexte. Je vous écris sur des sujets tels que le théorème Gottesman-Knill , en utilisant des groupes de stabilisation Pauli, mais dans le cas de d -dimensionnelle qudits - où d peut avoir plus d'un facteur premier. (J'insiste sur ce point car la grande majorité de la littérature sur le...
Dans les « Conseils à un étudiant débutant » de Manuel Blum : LEONID LEVIN croit que je fais cela quelle que soit la réponse au P = NP? problème, ce ne sera pas comme vous le pensez. Et il a donné de merveilleux exemples. D'une part, il a donné un ALGORITHME DE FACTORISATION qui est de manière...
Avertissement : bien que je m'intéresse à la théorie des types, je ne me considère pas comme un expert en théorie des types. Dans le calcul lambda simplement tapé, le type zéro n'a pas de constructeurs et un éliminateur unique: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon...
Je recherche une implémentation d'un algorithme pour calculer la largeur de chemin d'un graphe. Il est bien connu que le calcul de la largeur de trajet équivaut au calcul du nombre de recherche de nœuds, du nombre de séparation de sommets ou de l'épaisseur d'intervalle du graphique. L'algorithme...
Cette question est motivée par une question MathOverflow de Peng Zhang . Valiant a montré que le comptage des cliques maximales dans un graphique général est # P-complet, mais que se passe-t-il si nous nous limitons aux graphiques d'incomparabilité (c'est-à-dire que nous voulons compter les...
L'algorithme DEFLATE populaire utilise le codage Huffman au-dessus de Lempel-Ziv. En général, si nous avons une source aléatoire de données (= entropie 1 bit / bit), aucun encodage, y compris Huffman, n'est susceptible de le compresser en moyenne. Si Lempel-Ziv était "parfait" (ce qu'il approche...
Je cherche une référence (pas une preuve, que je peux faire) à l'extension suivante de Chernoff. Laissez sont des variables aléatoires booléennes, pas nécessairement indépendantes . Au lieu de cela, il est garanti que P r ( X i = 1 | C ) < p pour chaque i et chaque événement C qui ne dépend que...
La parité-L, également connue sous le nom de L, est l'ensemble des langages reconnus par une machine de Turing non déterministe qui ne peut distinguer qu'un nombre pair ou un nombre impair de chemins "d'acceptation". Une question connexe récente⊕⊕\oplus été posée par Niel de Beaudrap. Ma question...
Branch and bound est une heuristique efficace pour les problèmes de recherche, et Wikipedia répertorie un certain nombre de problèmes difficiles où branch-and-bound a été utilisé. Cependant, je n'ai pas été en mesure de trouver des références pour suggérer que c'est plus qu'une "seule méthode" pour...
Le chapitre 1 du livre The Probabilistic Method, par Alon et Spencer mentionne le problème suivant: Étant donné un graphique , décidez si sa connectivité de bord est au moins ou non.ggGn / 2n/2n/2 L'auteur mentionne l'existence d'un algorithme par Matula et l'améliore à .O ( n3)O(n3)O(n^3)O (...
Y a-t-il des problèmes qui sont NP-complets lors de l'utilisation de la géométrie euclidienne mais qui sont bien définis et résolubles en temps polynomial pour une géométrie non
Chong, Han et Lam ont montré que la connectivité st non dirigée peut être résolue sur la PRRE EREW en temps avec des processeurs O ( m + n ) .O ( log n )O(Journaln)O({\log}n)O ( m + n )O(m+n)O(m+n) Quel est l'algorithme parallèle le plus connu pour la connectivité st dans les graphes planaires...
Dans cet article de Kempe-Kleinberg-Tardos, les auteurs proposent des algorithmes gourmands basés sur des fonctions sous-modulaires pour déterminer les nœuds les plus influents d'un graphe, avec des applications aux réseaux sociaux.kkk Fondamentalement, l'algorithme se présente comme suit: S= e m p...
Soit un carré matrice réelle A et deux vecteurs x et b de longueur n , tels que A x = b . La résolution de x par élimination gaussienne standard donne une complexité globale de presque O ( n 3 ) . Cependant, il y a des cas où la résolution (ou ε résolution -environ) pour x Coûts O ( n log ρ n ) ,...
Dans la définition de la tractabilité à paramètres fixes (forts), la limite de temps est une expression de la forme où l'instance d'entrée est ( x , k ) avec le paramètre k , p est un polynôme et f est une fonction calculable .F( k ) .p ( | x | ) ,F(k).p(|X|),f(k).p(|x|),( x , k...
Dans ma quête continue pour essayer d'apprendre le calcul lambda, "Lambda-Calculus and Combinators an Introduction" de Hindley & Seldin mentionne l' article suivant (par Bruce Lercher) qui prouve que la seule expression réductible qui est la même (conversion modulo alpha) pour elle-même est:...
J'ai rencontré ce problème dans un domaine de la physique assez éloigné de l'informatique, mais cela semble être le type de question qui a été étudié en CS, alors j'ai pensé tenter ma chance en le posant ici. Imaginez que l'on vous donne un ensemble de points et une liste de certaines des distances...
La fonction Mobius est définie comme , si a un facteur premier carré, et si tous les nombres premiers sont différents. Est-il possible de calculer sans calculer la factorisation première de ?μ ( 1 ) = 1 μ ( n
J'ai une question concernant la réductibilité SERF d'Impagliazzo , Paturi et Zane et les algorithmes sous-exponentiels. La définition de SERF-réductibilité donne ce qui suit: Si P1P1P_1 est SERF-réductible à P2P2P_2 et qu'il existe un algorithme O(2εn)O(2εn)O(2^{\varepsilon n}) pour P2P2P_2 pour...
Je m'intéresse à la modélisation d'objets, de la programmation orientée objet, à la théorie des types dépendants. Comme application possible, j'aimerais avoir un modèle où je peux décrire différentes fonctionnalités des langages de programmation impératifs. Je n'ai pu trouver qu'un seul article sur...