La question est l'exercice 1.9 du livre d'Arora-Barak Computational Complexity - A Modern Approach : Définissez une machine RAM Turing comme une machine Turing disposant d'une mémoire à accès aléatoire. Nous formalisons ceci comme suit: La machine a un tableau infini A qui est initialisé à tous les...
Est - NPNPNP avec accès à Oracle NPNPNP plus grand que juste NPNPNP ? Si je comprends bien, est juste une machine de turing qui peut faire des requêtes à une autre machine si oui que peut simuler ? Y a-t-il quelque chose qui ne va pas avec cet argument? N P N P N P N PNPNPNPNPNP^...
Les adresses IPv6 sous forme de 862A:7373:3386:BF1F:8D77:D3D2:220F:D7E0sont beaucoup plus difficiles à mémoriser ou même à transcrire que les 4 octets d'IPv4. Il y a eu des tentatives pour atténuer cela, rendant les adresses IPv6 plus mémorables. Existe-t-il une fonction de hachage...
Existe-t-il une définition formelle de la hauteur moyenne d'un arbre binaire? J'ai une question de didacticiel sur la recherche de la hauteur moyenne d'un arbre binaire en utilisant les deux méthodes suivantes: La solution naturelle pourrait être de prendre la longueur moyenne de tous les chemins...
Je ne sais pas si cette question appartient ici et je m'en excuse sinon. Ce que je cherche à faire est de développer une manière programmatique dans laquelle je peux déterminer de manière probabiliste si une chaîne donnée "appartient" dans un sac de chaînes. Par exemple, si j'ai un sac de 10 000...
J'ai posé une question (initiale) sur des sommes de termes Landau auparavant , essayant de mesurer les dangers d'abuser de la notation asymptotique en arithmétique, avec un succès mitigé. Maintenant, ici, notre gourou de la récurrence, JeffE, fait essentiellement ceci:
Supposons que est une langue régulière sur un alphabet ordonné. La langue est-elle construite en prenant chaque mot en et en le triant toujours une langue
\newcommand\ldotd{\mathinner{..}} Étant donné que A[1..n]A[1..n]A[1\ldotd n] sont des entiers tels que 0≤A[k]≤m0≤A[k]≤m0\le A[k]\le m pour tous les 1≤k≤n1≤k≤n1\le k\le n , et l'occurrence de chacun nombre sauf un nombre particulier dans A[1..n]A[1..n]A[1\ldotd n] est un nombre impair. Essayez de...
Quelle est la complexité du calcul ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in
Sur Wikipedia , une implémentation du schéma de programmation dynamique ascendant pour la distance d'édition est donnée. Il ne suit pas complètement la définition; les cellules internes sont calculées ainsi: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := minimum...
Pour le plaisir, j'essaie de créer une visionneuse filaire pour le DCPU-16 . Je comprends comment faire tout sauf comment cacher les lignes qui sont cachées dans le fil de fer. Toutes les questions ici sur SO supposent toutes que vous avez accès à OpenGL, malheureusement je n'ai pas accès à quelque...
Comment puis-je construire un exemple d'un DFA qui a états où le NFA équivalent a états. Évidemment, le jeu d'états du DFA doit contenir tous les sous-jeux du jeu d'états du NFA, mais je ne sais pas par où commencer. Des suggestions pour me mettre sur la bonne voie?
Dans la démonstration du théorème de résolution, il est normalement supposé que les variables dans différentes clauses sont distinctes. Ce n'est pas quelque chose qui se produit automatiquement; il nécessite du code et des calculs supplémentaires importants à implémenter. Compte tenu de cela, je...
Je recherche une majeure en informatique théorique; en particulier, je m'intéresse à la théorie de la complexité et à la théorie des automates probabilistes. Comme je suis diplômé en un an, quels cours avancés en mathématiques (comme la théorie de Galois ou l'analyse harmonique, par exemple)...
Accepter signifie-t-il que le TM lira et reconnaîtra un caractère de la cellule dans laquelle il lit actuellement? Et est-ce le cas qu'un TM s'arrête si l'entrée est
J'ai lu sur Wikipedia que l' unification est un processus de résolution du problème de satisfaction. En même temps, je sais que de tels solveurs sont appelés "solveurs SAT" ou "solveurs SMT". Alors, sont-ils des noms différents pour la même chose? Si vous dites qu'ils sont différents, veuillez...
Je suis à la recherche d'un algorithme d'appariement rapide de chaînes k-mismatch. Étant donné une chaîne de motif P de longueur m et une chaîne de texte T de longueur n, j'ai besoin d'un algorithme rapide (temps linéaire) pour trouver toutes les positions où P correspond à une sous-chaîne de T...
Je suis devenu confus en résolvant le problème suivant (questions 1 à 3). Question Un tas d -ary est comme un tas binaire, mais (à une exception possible) les nœuds non-feuilles ont d enfants au lieu de 2 enfants. Comment représenteriez-vous un tas d -ary dans un tableau? Quelle est la hauteur d'un...
J'ai un problème qui peut être réduit à un problème d'affectation. (Dans une question précédente, j'ai découvert comment procéder.) Ce qui signifie que nous avons un ensemble d'agents et un ensemble de tâches ainsi qu'une fonction de coût . Nous devons trouver une affectation afin que le coût total...
Dans ma classe Java, nous apprenons la complexité de différents types de collections. Bientôt, nous discuterons des arbres binaires, que j'ai lus. Le livre déclare que la hauteur minimale d'un arbre binaire est , mais n'offre aucune explication supplémentaire.Journal2( n + 1 ) -...