Questions marquées «computability»

Théorie de la calculabilité aka théorie de la récursivité.

1
Nombres naturels non comparables
Le "nom du jeu le plus grand nombre" demande à deux joueurs d'écrire un numéro secrètement, et le gagnant est la personne qui a écrit le plus grand nombre. Le jeu permet généralement aux joueurs d'écrire des fonctions évaluées à un moment donné, donc serait également une chose acceptable à …
1
Entscheidungsproblem vs. Unvollständigkeitssatz (question douce)
Le premier terme est utilisé par Hilbert dans son travail de 1928, mais dans le travail ultérieur de Gödel, la même chose est appelée Unvollständigkeitssatz ("théorème d'incomplétude"). Pour les chercheurs allemands actuels en CS, il semble que Unvollständigkeitssatz soit plus couramment utilisé, et Entscheidungsproblem ("problème de décision") est toujours compris, …
2
Comment juger que la définition de la complexité de calcul des réels est naturelle ou appropriée?
Comme nous le savons, la définition de la complexité de calcul de l'algorithme est presque sans controverse, mais la définition de la complexité de calcul des réels ou des modèles de calcul sur les réels n'est pas dans un tel cas. Nous connaissons le modèle et le modèle de Blum …
2
Comment calculer les nœuds?
Existe-t-il un moyen documenté de calculer les nœuds? (circonférences incrustées dans un espace euclidien tridimensionnel). Je veux dire, un type de données pour les représenter, et un algorithme pour déterminer si deux instances du type de données représentent le même nœud. Si la réponse est positive, qu'en est-il de la …
4
Trouver un modèle fini
Je sais que la question "est-ce qu'une formule de premier ordre a un modèle" est indécidable en général.ϕϕ\phi Quelqu'un pourrait-il me donner un lien ou un livre qui donnerait la réponse pour les modèles finis. Si j'ai une formule de premier ordre , est-il possible de déterminer si ϕ a …
1
L'équilibre dans un jeu d'arrêt
Considérez le jeu à 2 joueurs suivant: La nature choisit au hasard un programme Chaque joueur joue un nombre en [0, infini] inclus en réponse au mouvement de la nature Prenez le minimum de numéros de joueurs et exécutez le programme pour (jusqu'à) autant d'étapes (sauf si les deux joueurs …
1
Les équations différentielles peuvent-elles être classées dans leurs propres classes de complexité?
Les problèmes ont été, dans leur ensemble, classés, grâce à la complexité informatique. Mais, dans les équations différentielles, est-il possible de classer les équations différentielles en fonction de leur structure de calcul? Par exemple, si une équation non homogène du premier ordre est relativement difficile à résoudre qu'une équation homogène …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.