Il est bien connu que le 2-SAT est en P. Cependant, il semble assez intéressant que de compter le nombre de solutions pour une formule 2-SAT donnée, c'est-à-dire que # 2-SAT soit # P-difficile. Autrement dit, nous avons un exemple d'un problème pour lequel la décision est facile, mais le calcul est...
En faisant le deuxième code kata (qui vous demande d'implémenter cinq fois un algorithme de recherche binaire, à chaque fois avec une méthode différente), j'ai trouvé une solution légèrement différente qui fonctionne comme suit: Si j'ai un tableau trié de longueur 100 et que je vois que son champ...
Je viens de lire Cet algorithme peut-il encore être considéré comme un algorithme de recherche binaire? et j'ai rappelé qu'il y a quelques années, j'ai écrit un indexeur / recherche de fichiers journaux pour trouver des entrées de journal dans de gros fichiers texte brut par date / heure. En...
Je lis un article, et il dit dans sa description de la complexité temporelle que la complexité temporelle est .O~( 22 n)O~(22n)\tilde{O}(2^{2n}) J'ai cherché sur Internet et wikipedia, mais je ne trouve pas ce que ce tilde signifie en notation big-O / Landau. Dans le journal lui-même, je n'ai...
Je connais la sémantique opérationnelle (petite et grande étape) pour définir les langages de programmation. Je suis également intéressé à apprendre la sémantique dénotationnelle, mais je ne sais pas si cela en vaudra la peine. Vais-je simplement apprendre le même matériel d'un point de vue...
J'ai un problème algorithmique. Soit un tableau (ou un ensemble) de entiers non négatifs. Trouver l'ensemble maximal de tel que pour tout ,.TTTnnnSSSTTTa ∈ Sune∈Sa\in Sa ⩾ | S|une⩾|S|a\geqslant |S| Par exemple: Si TTT = [1, 3, 4, 1, 3, 6], alors SSS peut être [3, 3, 6] ou [3, 4, 6] ou [4, 3, 6]....
Dans l' introduction aux algorithmes de Cormen et al. , La section 15.3 Éléments de programmation dynamique explique la mémorisation comme suit: Un algorithme récursif mémorisé conserve une entrée dans une table pour la solution de chaque sous-problème. Chaque entrée de table contient initialement...
Est-il prouvé que le calcul quantique ne résout pas mieux les problèmes complets de NP que le calcul classique ou on le croit
Certaines œuvres de Conor McBride, Diff , Dissect , relient la dérivée des types de données à leur "type de contextes à un trou". Autrement dit, si vous prenez la dérivée du type, vous vous retrouvez avec un type de données qui vous montre à quoi ressemble le type de données de l'intérieur à un...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 2 ans . Généralement, les programmeurs informatiques...
J'ai cette [sorte de drôle] question à l'esprit. Pourquoi l' automate fini non déterministe est-il appelé non déterministe alors que nous définissons les transitions pour les entrées. Eh bien, même s'il existe des transitions multiples et epsilon , elles sont définies, ce qui signifie que la...
J'ai lu ce livre pour ma classe, Randomized Algorithms. Dans ce livre en particulier, il existe une section entière dédiée à la recherche de la médiane d'un tableau à l'aide de la sélection aléatoire, ce qui conduit à un algorithme plus efficace. Maintenant, je voulais savoir s'il existe des...
Je suis programmeur et je maîtrise les automates, mais pas la logique. J'ai lu dans les journaux que les deux sont très étroitement liés. Les automates finis déterministes (DFA), les automates arborescents et les automates à refoulement visible sont tous liés à la logique monadique du second ordre...
Je connais l'idée de l' élimination de base de la récursivité de la queue, où les fonctions qui renvoient le résultat direct d'un appel peuvent être réécrites sous forme de boucles itératives. foo(...): # ... return foo(...) Je comprends également que, comme cas spécial, la fonction peut toujours...
Existe-t-il des techniques pour résoudre des équations fonctionnelles pour des fonctions inconnues dans le calcul lambda? Supposons que la fonction d'identité soit définie de manière extensionnelle en tant que telle: jex = xjeX=XI x = x (c'est-à-dire en écrivant une équation pour le comportement...
Disons que nous travaillons avec un système qui a 40 bits d'adresse physique. L'espace d'adressage physique total (en supposant que la mémoire est adressable en octets) est de octets, soit 1 TiB. Et si les adresses virtuelles ont une longueur de 48 bits, cela signifie qu'il y a plus d'adresses...
Si je comprends bien, un algorithme qui calcule la valeur d'une fonction réelle a une complexité de calcul si les conditions suivantes sont réunies: Lorsque nous calculons à la précision requiert de l'ordre des étapes .FFfO ( g( n ) )O(g(n))O(g(n))FFfδδ\deltag( n )g(n)g(n) Cependant, que se...
J'ai lu sur les langages de programmation basés sur la pile, tels que FORTH et Cat , et il semble que compte tenu de leur nature, ils ne peuvent exécuter qu'une seule action à la fois quel que soit leur paradigme (FORTH est impératif tandis que Cat est fonctionnel). Un langage impératif modifierait...
Puis-je prouver les énoncés suivants en utilisant les prouveurs de théorèmes automatisés disponibles? .( a + b )2= a2+ b2+ 2 a b(une+b)2=une2+b2+2uneb(a+b)^2=a^2+b^2+2ab Si , alors .11 ∣ 2 a - 3 b11∣2une-3b 11 \mid 2a-3b11 ∣ 7 a - 5 b11∣septune-5b 11 \mid 7a-5b Si , alors .un x2+ b x + c =...
J'ai le problème: Montrez qu'il existe un nombre réel pour lequel aucun programme n'existe qui s'exécute infiniment long et écrit les chiffres décimaux de ce nombre. Je suppose que cela peut être résolu en le réduisant au problème de l'arrêt, mais je ne sais pas comment le faire. J'apprécierais...