En 1937, Turing décrit une machine de Turing. Depuis lors, de nombreux modèles de calcul ont été décrits dans le but de trouver un modèle ressemblant à un vrai ordinateur, mais suffisamment simple pour concevoir et analyser des algorithmes. En conséquence, nous avons une douzaine d'algorithmes...
Paul Wegner et Dina Goldin publient depuis plus de 10 ans des articles et des livres dans lesquels ils affirment principalement que la thèse de Church-Turing est souvent mal représentée dans la communauté CS Theory et ailleurs. Autrement dit, il est présenté comme englobant tout le calcul, alors...
Cette question est similaire à une question plus générale pour savoir quel est le bon modèle théorique d'un ordinateur pour concevoir des algorithmes et des structures de données. Ici, je pose des questions spécifiquement sur les ordinateurs haute performance actuels (comme ceux répertoriés dans le...
Une question récente a discuté de l'algorithme de programmation dynamique désormais classique pour TSP, dû indépendamment à Bellman et Held-Karp . Il est universellement rapporté que l' algorithme s'exécute en temps . Cependant, comme l'un de mes étudiants l'a récemment souligné, ce temps...
Dans quelle mesure le problème suivant a-t-il été étudié dans TCS? (Je m'excuse si l'énoncé du problème vous semble vague!) Étant donné un modèle de calcul MC (Turing Machine, Cellular Automata, Kolmogorov-Uspenskii Machine ... etc.) et un modèle de bruit qui pourraient affecter le calcul de MC,...
Quelle est la classe de complexité associée aux algorithmes de recherche exhaustifs? (Si il y en a un) Est-ce NP ou PSPACE? Existe-t-il des modèles de calcul restreints capturant la classe d'algorithmes de recherche exhaustifs similaires aux modèles de programmation gourmande et...
Est-il possible de construire une implémentation mécanique à but unique (non complète de Turing) de, disons, Microsoft Word? Est-il possible d'implémenter des choses comme les itérateurs, les fonctions de premier ordre, toute la gamme des techniques de programmation? Les engrenages et autres pièces...
Le titre est un peu trompeur: mais j'espère que la question n'est pas: Grønlund et nouveau résultat Pettie montrant que 3sum a seulement la complexité de l' arbre de décision m'a demander:O ( n3 / 2)O(n3/2)O(n^{3/2}) Y a-t-il un exemple simple d'un problème avec une complexité d'arbre de décision...
Pendant un premier cycle en EE, j'ai assisté à des conférences qui présentaient une belle caractérisation des circuits booléens en termes de nombre de boucles imbriquées. En termes de complexité, les circuits booléens sont souvent considérés comme des creux, mais dans les cycles matériels réels,...
Est-il exact d'appeler le framework mapReduce un type de framework de programmation parallèle synchrone en bloc sans rétention de mémoire locale dans les processeurs entre les synchronisations? Sinon, quel modèle de programmation parallèle encapsule le plus précisément le framework...
Cette question est de savoir s'il existe des tarpits de Turing réversibles connus, où "réversible" signifie au sens d' Axelsen et de Glück , et "tarpit" est un concept beaucoup plus informel (et pourrait ne pas être un très bon choix de mot), mais je ferai de mon mieux pour expliquer ce que je veux...
Les ordinateurs quantiques et les ordinateurs à ADN sont des exemples bien connus de calcul inspiré par des phénomènes naturels. Que sait-on du potentiel et / ou des limites de l'informatique avec les lois ou la gravité de Maxwell? Autrement dit, incorporer les solutions «rapides» de la nature aux...
Existe-t-il un cadre / formalisme qui définit des modèles de calcul basés sur des protéines autres que le modèle d'ADN d'Adleman ou ce travail de Cherry et Qian