Soit une fonction fixe constructible dans le temps.FFf Le résultat de simulation universelle classique pour les MT (Hennie et Stearns, 1966) indique qu'il existe un TM deux bandes tel que, étant donnéUUU la description d'un TM , et⟨ M⟩⟨M⟩\langle M \rangle une chaîne d'entrée ,XXx s'exécute pour les...
Quelques informations: je suis informaticien spécialisé dans les loisirs et ingénieur logiciel. Donc, pardonnez si cette invite semble quelque peu hors du champ gauche - je joue régulièrement avec des simulcres mathématiques et des problèmes ouverts quand je n'ai rien de mieux à faire. En jouant...
J'ai appris que l'unité de traitement graphique a ce qu'on appelle la fusion de mémoire. À la lecture, je n'étais pas clair sur le sujet. Est-ce que cela est lié au parallélisme au niveau de la mémoire? J'ai cherché dans Google mais je n'ai pas pu obtenir de réponse satisfaisante. Il serait utile...
Je suis récemment devenu extrêmement intéressé par la compréhension et la démonstration d'aspects des langages de programmation (fonctionnels). Cependant, alors que je plonge plus profondément, des choses comme calcul, la théorie des catégories et la sémantique dénotationnelle sont un peu...
Je suis des assistants de preuve auto-apprenants et j'ai décidé de commencer sur quelques preuves de base et de progresser. Étant donné que les preuves sont basées sur d'autres preuves et forment donc une hiérarchie, existe-t-il un référentiel de la hiérarchie des preuves? Je sais que je peux...
Je lisais une question sur Stack Overflow demandant si c'était NP- difficile de lister tous les cycles simples dans un graphique contenant un nœud particulier et il m'est venu à l'esprit que je ne pouvais penser à aucune classe de complexité existante qui était bien adaptée pour parler de problèmes...
Quels sont quelques exemples de problèmes de décision difficiles qui peuvent être résolus en temps polynomial? Je recherche des problèmes pour lesquels l'algorithme optimal est "lent", ou des problèmes pour lesquels l'algorithme connu le plus rapide est "lent". Voici deux exemples: Reconnaissance...
Quelqu'un peut-il me renvoyer à des articles évalués par des pairs qui étudient les avantages ou les inconvénients de l'écriture de code dans un style fonctionnel? Existe-t-il des articles qui discutent des applications de Lambda Calculus dans des domaines tels que l'apprentissage automatique, la...
Laissez GGG un graphe, et que sss et ttt deux sommets de GGG . Pouvons-nous échantillonner efficacement un chemin sss - plus court de tttmanière uniforme et indépendante au hasard dans l'ensemble de tous les chemins les plus courts entre sss et ttt ? Pour simplifier, nous pouvons supposer que GGG...
Supposons que l'on nous donne deux nombres et et que nous voulons trouver pour l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r L'algorithme naïf vérifie simplement toutes les paires possibles; par exemple en rubis, nous aurions: def max_xor(l, r) max = 0...
Un étudiant m'a récemment demandé de vérifier une preuve de dureté NP pour eux. Ils ont effectué une réduction selon: Je réduit ce problème P′P′P' qui est connu pour être NP-complet à mon problème PPP (avec une réduction poly-temps multiple), donc PPP est NP-dur. Ma réponse était essentiellement:...
Selon l'article de Wikipedia , le L dans signifie "balayage de gauche à droite" et le "R" signifie "dérivation la plus à droite". Cependant, dans l'article original de Knuth sur les grammaires L R ( k ) , il définit L R ( k ) (à la page 610) comme un langage "traduisible de gauche à droite avec k...
Les algorithmes et les structures de données sans cache sont une nouveauté introduite par Frigo et al. dans Cache-inconscient algorithmes, 1999 . La thèse de Prokop de la même année présente également les premières idées. L'article de Frigo et al. présentent quelques résultats expérimentaux...
J'ai un certain nombre de questions connexes sur ces deux sujets. Tout d' abord, la plupart des textes de complexité de brillant que sur la classe . Existe-t-il une bonne ressource qui couvre la recherche de manière plus approfondie? Par exemple, quelque chose qui traite de toutes mes questions...
Je me demande quel est l'algorithme le plus connu, en termes de notation Big- OOO , pour résoudre la programmation linéaire en nombres entiers? Je sais que le problème est NPNPNP complet, donc je ne m'attends à rien de polynomial. Et je sais qu'il y a beaucoup d'heuristiques et autres qui sont...
Je suis un homme de 16 ans qui a récemment reçu une grande encyclopédie sur l'informatique par un de mes amis. Je ne suis généralement pas très intéressé par les ordinateurs et la technologie, mais l'informatique a commencé à me fasciner. J'ai cependant l'intention d'étudier la physique et / ou les...
Une application classique de diviser pour mieux régner consiste à résoudre le problème suivant: Étant donné un tableau d'éléments distincts et comparables, comptez le nombre de paires d'inversion dans le tableau: paires telles que et .a[1…n]a[1…n]a[1\dots
Le problème de bande passante minimale consiste à trouver un ordre des nœuds de graphique sur une ligne entière qui minimise la plus grande distance entre deux nœuds adjacents. Le problème de décision est NP-complet même pour les arbres binaires. Résultats de complexité pour la minimisation de la...
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...
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...