Étant donné un filtre de bloom de taille N-bits et K fonctions de hachage, dont M-bits (où M <= N) du filtre sont définis. Est-il possible d'approximer le nombre d'éléments insérés dans le filtre bloom? Exemple simple J'ai réfléchi à l'exemple suivant, en supposant un BF de 100 bits et 5...
Existe-t-il des problèmes décidables tels que pour aucun algorithme qui résout le problème, nous pouvons donner une limite de temps en fonction de la longueur n de l'instance d'entrée? Je suis arrivé à cette question parce que je pensais à ce qui suit: Supposons que nous ayons un problème...
Il existe un algorithme de temps linéaire pour diviser le texte uniformément en lignes de largeur maximale. Il utilise SMAWK (ou Knuth & Plass) et signifie "uniformément": http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Existe-t-il un algorithme ou une fonction de coût concave pour...
J'espère que quelqu'un connaît une référence à cela, donc je n'ai pas à lire la littérature ... Considérons une séquence de nombres . Considérez la séquence comme intervalles . De toute évidence, la séquence d'origine est bitonique si un point quelconque de la ligne réelle est poignardé à 2...
Arora et Barak montrent que peut être exprimé comme c'est-à-dire l'ensemble des langues qui ont des réductions aléatoires à 3SAT. est également une généralisation aléatoire naturelle de en ce que vous remplacez le vérificateur déterministe par un vérificateur
Le livre A = B de Petkovsek, Wilf et Zeilberger décrit des algorithmes pour calculer différentes sommes de binômes. AFAIK, ces algorithmes sont toujours en cours d'amélioration par différents auteurs. Savez-vous où trouver les implémentations les plus récentes de ces algorithmes? Et savez-vous s'il...
Un MPA (automate multipebble) est un 2DFA (automate fini déterministe bidirectionnel) qui peut utiliser un nombre arbitraire de cailloux (en fait au plus cailloux sur une entrée donnée w - l'entrée est écrite sur la bande entre deux extrémités -marqueurs comme # w # ). Pendant le calcul, un MPA...
Je suis plus un gars de l'optique quantique qu'un gars de l'information quantique, et je m'occupe principalement des équations principales. Je suis intéressé par la forme de somme d'opérateur, et j'aimerais dériver les erreurs dans cette forme pour un petit système quantique que je simule. Le hic:...
Si vous recevez une collection d'ordres partiels, le tri topologique vous indiquera s'il existe une extension de la collection à un ordre total (une extension dans ce cas est un ordre total cohérent avec chacun des ordres partiels). Je suis tombé sur une variation: Correction d' un ensemble . On...
Définissez un "problème" comme étant un algorithme acceptant un nombre naturel et renvoyant 0 ou 1 qui renvoie sur au moins un . Un tel est appelé une "solution" à1 n ∈ N n AAAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Définir un "solutionneur de problèmes universel" comme étant un algorithme acceptant un...
Étant donné un graphe orienté avec n nœuds tels que chaque sommet a exactement deux bords sortants, et un nombre naturel N codé en binaire, deux sommets s et t, Je veux compter le nombre de chemins (pas nécessairement simples) de s à t dans N étapes. Est-ce un problème # P-difficile? Ou...
Nous savons par exemple de Koutis-Miller-Peng (basé sur les travaux de Spielman & Teng), que nous pouvons résoudre très rapidement des systèmes linéaires pour les matrices qui sont la matrice de graphes laplaciens pour certains graphes clairsemés avec des poids de bord non négatifs .Ax=bAx=bA x...
L'adversaire général de la borne inférieure est désormais connu pour caractériser la complexité des requêtes quantiques grâce aux travaux révolutionnaires de Reichardt et al. La même ligne de travail établit également des connexions avec le cadre du programme span pour concevoir des algorithmes...
Supposons que nous ayons une fonction f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R} , telle que ∑x∈Zn2f(x)2=1∑x∈Z2nf(x)2=1\sum _{x\in \mathbb{Z}_2^n} f(x)^2 = 1 (nous pouvons donc penser à {f(x)2}x∈Zn2{f(x)2}x∈Z2n\{ f(x)^2\} _{x\in \mathbb{Z}_2^n} comme une distribution) . Il est naturel de définir...
Si on nous donne deux chaînes de taille et , le calcul standard de la distance d'édition de Levenshtein se fait par un algorithme dynamique avec la complexité temporelle et la complexité spatiale . (Certaines améliorations peuvent être apportées en fonction de la distance de montage , mais nous ne...
Je cherche une borne sur l'entropie de la somme de deux variables aléatoires discrètes indépendantes X et Y . Naturellement, H ( X + Y ) ≤ H ( X ) + H ( Y ) ( ∗ ) Cependant, appliqué à la somme de n variables aléatoires Bernoulli indépendantes Z 1 , … , Z n , cela donne H ( Z 1 +H( X+...
Ici: http://www.planarity.org/Klein_elementary_graph_theory.pdf (dans le chapitre plongements) est donnée la définition de l' intégration combinatoire d'un graphe planaire. (avec définition des faces, etc.) Bien qu'il puisse être facilement utilisé pour n'importe quel graphe, ils définissent le...
Quelqu'un peut-il fournir un exemple de deux automates non déterministes (NFA) minimaux équivalents (reconnaissant le même langage) qui ne sont pas
Suivi Quel est un exemple d'une Monade qui est une Alternative mais pas un MonadPlus? : Supposons que est une monade. Quelles sont les relations betweem m étant une alternative , un MonadPlusCatch et un MonadPlusDistr ? mmmmmmPour chacune des six paires possibles, j'aimerais avoir soit une preuve...
Dans les types récursifs de Wadler gratuitement! [1], il a démontré deux types, et , et a déclaré qu'ils sont doubles . En particulier, il a souligné que le type n'est pas le double du premier. Il semble que la dualité en question ici soit différente de la dualité de Morgan dans la logique. Je me...