Informatique théorique machine-models

6

Quel modèle de calcul est "le meilleur"?

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 pour, par exemple, le …

41 ds.algorithms reference-request soft-question machine-models

7

Applicabilité de la thèse de Church-Turing aux modèles de calcul interactifs

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 qu’il s’applique …

38 computability turing-machines machine-models church-turing-thesis

3

Quel est le bon modèle théorique pour concevoir des algorithmes pour les ordinateurs haute performance actuels et à venir

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 Top 500 ) ou même …

20 reference-request soft-question machine-models

1

Faisabilité des machines Gödel

Récemment, je suis tombé sur une construction théorique assez intéressante. Une soi-disant machine Gödel C'est un solutionneur de problèmes général qui est capable de s'auto-optimiser. Il convient aux environnements réactifs. Si je comprends bien, il peut être mis en œuvre en tant que programme pour la machine universelle de Turing, …

17 computability turing-machines physics machine-models ar.hardware-architecture

2

Complexité temporelle de l'algorithme Bellman-Held-Karp pour TSP, prise 2

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 d'exécution peut nécessiter un modèle de calcul …

16 ds.algorithms machine-models computing-over-reals

1

Classe de complexité associée à une recherche exhaustive

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 dynamique?

14 cc.complexity-theory ds.algorithms reference-request big-picture machine-models

6

Que sait-on de l'efficacité d'un calcul fiable?

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, existe-t-il un moyen …

14 machine-models

2

Écarts prouvables entre la complexité de l'arbre de décision et la «vraie» complexité

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 de …

13 cc.complexity-theory machine-models decision-trees

3

Un programme peut-il être mis en œuvre mécaniquement?

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 mécaniques pourraient-ils représenter des structures de données …

13 computability pl.programming-languages machine-models ar.hardware-architecture

3

Le framework MapReduce est-il un type de BSP?

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 mapReduce?

11 dc.parallel-comp machine-models

1

Les gens regardent-ils l'imbrication des boucles dans les circuits booléens?

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, ils sont courants. Maintenant, modulo …

11 cc.complexity-theory reference-request circuit-complexity machine-models ar.hardware-architecture

1

Des bâches réversibles de Turing?

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 …

10 fl.formal-languages computability machine-models

1

Existe-t-il des modèles de calcul basés sur les protéines?

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 ?

9 reference-request machine-models

5

Calcul naturel basé sur des forces fondamentales

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 équations …

9 computability machine-models physics natural-computing

Questions marquées «machine-models»