La littérature est assez claire sur le fait que les RAM à coût unitaire avec multiplication primitive sont déraisonnables, dans la mesure où elles ne peut pas être simulé par les machines de Turing en temps polynomial peut résoudre des problèmes PSPACE complets en temps polynomial Cependant, toutes...
Existe-t-il un moyen naturel ou notable de relier ou de lier des groupes mathématiques et des langages CS formels ou un autre concept CS fondamental, par exemple les machines de Turing? Je recherche des références / applications. Notez cependant que je suis conscient du lien entre les semigroupes...
Le problème post-correspondance (PCP) est indécidable. La version limitée du PCP est complète et la version marquée du PCP (les mots de l'une des deux listes doivent différer dans la première lettre) est en P S P A C E [1].N PNP\mathrm{NP}P S P A C EPSPUNECE\mathrm{PSPACE} Ces versions restreintes...
La page de problème d'isomorphisme de Wikipedia semble indiquer que non, elle n'a pas été résolue. Cependant, un de mes amis a souligné un algorithme de temps polynomial pour l'isomorphisme graphique . Je ne suis pas assez sophistiqué pour suivre le raisonnement du document. J'ai ma propre...
J'essaie de résoudre un problème SAT de 25k clauses 5k variables. Comme il fonctionne depuis une heure (précosat) et que j'aimerais en résoudre de plus gros par la suite, je cherche un Solveur SAT multicœur. Comme il semble y avoir beaucoup de solveurs SAT, je suis assez perdu. Quelqu'un...
Je me demande quelle est la complexité temporelle de la détermination du vide pour les DFA bidirectionnels? Autrement dit, des automates finis qui peuvent reculer sur leur bande d'entrée en lecture seule. Selon Wikipedia, ils sont équivalents aux DFA, bien que les DFA équivalents puissent être...
Je ne sais pas si c'était une blague, mais une fois que j'ai lu ce que l'on appelle une définition formelle d'un fichier dans un système de versioning tel que git, hg ou svn. C'était quelque chose comme un objet mathématique comme un homéomorphisme. Était-ce une plaisanterie ou y a-t-il vraiment...
Il y a ce problème populaire [1] [2] en informatique qui consiste à trouver un nombre minimum de lignes droites couvrant un ensemble donné de points en 2D. Même si j'ai scanné de nombreux papiers, aucun d'entre eux n'a une motivation claire pour le problème. Quelle est l'utilité de résoudre ce...
En termes d'exécution asymptotique dans le pire des cas, quel problème NP-complet a l'algorithme le plus rapide connu (exact) et quel est l'algorithme? Existe-t-il quelque chose de plus rapide que ?O ( n2∗
Étant donné travaux , chaque travail nécessite temps pour se terminer.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Chaque travail doit être prétraité et post-traité par une seule machine M qui ne peut gérer qu'un seul travail à la fois et les deux phases...
Existe-t-il un outil pour prototyper la sémantique et le système de type d'un langage de programmation et qui permet également une sorte de vérification du modèle des propriétés standard, comme la solidité du type? Je pose cette question, car je lis un livre sur Alloy et il fournit la...
Tout le monde connaît "Garey & Johnson", qui est ma référence à chaque fois que j'ai besoin d'un problème de transformation pour une preuve de dureté NP. Cependant, j'ai récemment eu besoin d'une preuve de dureté APX, et je me demande s'il existe une collection similaire (et plus à jour ..?) De...
Selon l'article de Wikipedia sur les schémas d'approximation du temps polynomial : Tous les problèmes dans FPTAS sont traitables à paramètres fixes. Ce résultat me surprend - ces classes semblent être totalement différentes les unes des autres. FPTAS caractérise les problèmes par leur facilité...
Voulez-vous améliorer ce post? Fournissez des réponses détaillées à cette question, notamment des citations et une explication de la raison pour laquelle votre réponse est correcte. Les réponses sans suffisamment de détails peuvent être modifiées ou supprimées. J'ai été chargé de construire une...
J'ai besoin d'une définition concise de "l'état d'un objet" dans la programmation orientée objet (pour un article). Pendant environ une demi-journée, j'ai cherché un article que je peux citer sur ce sujet, mais je n'en ai pas trouvé un. Tous les articles que j'ai trouvés étaient principalement des...
On m'a dit que les ordinateurs quantiques ne sont pas plus puissants sur le plan informatique que les machines de Turing. Quelqu'un pourrait-il bien vouloir fournir des références bibliographiques expliquant ce
Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...
Je me demande s'il y a des problèmes durs qui sont "polynomiaux" dans le cas moyen. Je pense qu'il y a deux façons d'interpréter cela?NPNPNP Si , peut-il y avoir un algorithme résolvant un problème dur avec un temps d'exécution amorti (cas moyen) de pour une constante ?P≠NPP≠NPP \neq...
Pouvez-vous me donner quelques suggestions sur un bon livre d'introduction (mais complet) sur la logique et le calcul? Voici quelques sujets flous auxquels je pense: Presburger artihm., PA, ZF, ZFC, HOL Théorie des ensembles, Théorie des types Modélisation du calcul (machines de Turing) dans...
Ma question s'adresse à ceux qui s'intéressent à l'algorithmique de la biologie computationnelle. Je vais suivre un cours sur la bioinformatique cet automne; le problème, cependant, est que j'ai trop peu d'expérience en biologie et en chimie pour me sentir préparé pour ce cycle de lections (j'étais...