Je me demande s'il existe un algorithme polynomial pour "2-SAT avec relations XOR". Les deux 2-SAT et XOR-SAT sont en P, mais est-ce que sa combinaison? Exemple d'entrée: Partie 2-SAT: (a or !b) and (b or c) and (b or d) Partie XOR: (a xor b xor c xor 1) and (b xor c xor d) En d'autres termes,...
L'existence de problèmes indécidables implique-t-elle immédiatement la non-prévisibilité des systèmes physiques? Considérons le problème de l'arrêt, d'abord nous construisons un UTM physique, disons en utilisant la construction basée sur un circuit habituel. Il ne peut alors y avoir aucune théorie...
Existe-t-il un moyen de calculer la taille d'une correspondance maximale dans un graphe biparti non pondéré plus efficacement (par exemple, plus rapidement) que de calculer une correspondance maximale? C'est un plan à long terme, mais c'est souvent un problème intéressant pour éviter des calculs...
J'assiste actuellement au cours de programmation simultanée dans mon université et nous avons récemment commencé à parler du concept d'un moniteur. Bien que je comprenne la nécessité de l'exclusion mutuelle, je ne comprends pas pourquoi j'utiliserais un moniteur pour cela. Si je comprends bien, 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 4 ans . Je suis un aspirant à l'élégance et à la...
Le Complexity Zoo définit comme la classe de problèmes de décision pouvant être résolus par une machine de Turing déterministe en temps linéaire.L INLINLIN L IN⊆ PLIN⊆PLIN \subseteq P Étant donné que HORN-SAT est soluble dans (comme indiqué dans les algorithmes à temps linéaire pour tester la...
Je me suis demandé pourquoi la bande / les bandes ne font pas partie de la définition formelle d'une machine de Turing. Considérons, par exemple, la définition formelle d'une machine de Turing sur la page Wikipedia . La définition, après Hopcroft et Ullman, comprend: l'ensemble fini d'états , l'...
J'essaie d'avoir une vue d'ensemble de l'importance du point le moins fixe (lfp) dans l'analyse de programme. Par exemple, l'interprétation abstraite semble utiliser l'existence de lfp. De nombreux documents de recherche sur l'analyse de programme se concentrent également fortement sur la recherche...
Dans les problèmes de satisfaction de contraintes, l'heuristique peut être utilisée pour améliorer les performances d'un solveur de bactracking. Trois heuristiques communément données pour les solveurs de retour arrière simples sont: Valeurs minimales restantes (combien de valeurs sont encore...
Fondamentalement, le problème est le suivant: pour un ensemble de nombres positifs, trouvez un nombre minimal qui n'est pas un diviseur d'un élément de , c'est-à-dire .SSSdddSSS∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x Notons n=|S|n=|S|n = |S|et C=max(S)C=max(S)C = \max(S) . Considérons la...
La ronde de test Google Hash Code 2015 ( énoncé du problème ) a posé une question sur le problème suivant: entrée: une grille avec quelques carrés marqués, un seuil , une aire maximaleT ∈ N A ∈ NMMMT∈ NT∈NT \in \mathbb{N}A ∈ NA∈NA \in \mathbb{N} sortie: la plus grande surface totale possible d'un...
En essayant de comprendre les relations entre le codage Huffman, le codage arithmétique et le codage par plage, j'ai commencé à penser que les défauts du codage Huffman étaient liés au problème de la compression fractionnaire des bits . Autrement dit, supposons que vous ayez 240 valeurs possibles...
Étant donné un sous-ensemble d'un produit cartésien de deux ensembles finis, je souhaite en trouver une couverture minimale par des ensembles qui sont eux-mêmes des produits cartésiens.I×JI×JI \times J Par exemple, étant donné un produit entre et J = { 1 , 2 , 3 } , je peux observer le...
L'algorithme de Shor est souvent utilisé comme argument. Il peut résoudre le problème de factorisation plus rapidement que n'importe quel algorithme connu pour les ordinateurs classiques. Pourtant, nous n'avons aucune preuve que les ordinateurs classiques ne peuvent pas également factoriser...
Je veux exprimer la contrainte suivante, dans un programme linéaire entier: y= { 01si x = 0si x ≠ 0.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} J'ai déjà les variables entières et on me promet que . Comment puis-je exprimer la contrainte ci-dessus,...
Une réponse sur Programmers.SE caractérise un essai de Cook (les objets ne sont pas des ADT ) comme disant Les objets se comportent comme une fonction caractéristique sur les valeurs d'un type, plutôt que comme une algèbre. Les objets utilisent l'abstraction procédurale plutôt que l'abstraction de...
J'ai du mal à comprendre le but de la quantification universelle et existentielle des types. Je joue avec l'écriture d'un langage jouet basé sur le calcul des constructions . J'ai lu sur Morte et Henk pour m'aider à mieux comprendre. Je ne comprends pas pourquoi le CoC a une abstraction lambda et...
Comme projet amusant, j'ai travaillé sur une implémentation C # de Richard Korf - Trouver des solutions optimales pour le cube de Rubik en utilisant des bases de données de modèles. https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf Je le fais fonctionner, j'essaie...
Le titre dit tout, mais je suis curieux car il n'est pas évident de savoir comment un prouveur de théorème a été nommé «Isabelle». Était-il nommé d'après une personne? Je n'ai pas pu le découvrir par certaines recherches
Existe-t-il un moyen simple de comprendre pourquoi NP est dans EXPTIME? Il me semble a priori concevable qu'il pourrait y avoir un problème qui nécessite un temps super-exponentiel à résoudre, mais dont la solution pourrait être vérifiée en temps