Je cherche des explications sur la façon dont on pourrait prouver que deux modèles de calcul sont équivalents. J'ai lu des livres sur le sujet, sauf que les preuves d'équivalence sont omises. J'ai une idée de base sur ce que cela signifie pour deux modèles de calcul d'être équivalents (la …
Supposons que nous avons un générateur aléatoire qui délivre les numéros dans la gamme avec une distribution uniforme et nous devons générer des nombres aléatoires dans la gamme avec une distribution uniforme.[ 0 .. N - 1 ][0..R−1][0..R−1][0..R-1][0..N−1][0..N−1][0..N-1] Supposons que et ne divise pas également ; afin d'obtenir une distribution …
Dans le script que je lis actuellement sur le calcul lambda, l'équivalence bêta est définie comme suit: L' équivalence est la plus petite équivalence qui contient .ββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta Je n'ai aucune idée de ce que ça veut dire. Quelqu'un peut-il l'expliquer en termes plus simples? Peut-être avec un exemple? J'en ai …
J'ai terminé la plupart des éléments du livre Intro to Algorithms de Cormen et je suis à la recherche d'un livre d'algorithmes qui couvre le matériel au-delà du livre de Corman. Y a-t-il des recommandations? REMARQUE: J'ai posé cette question sur stackoverflow mais je n'étais pas trop satisfait de la …
Qu'est-ce qu'un bon livre d'informatique pour débutant pour un jeune adulte, disons, un adolescent de 15 ans? Je veux commencer dans CS, mais je n'ai aucune idée par où commencer. J'ai une expérience limitée en programmation.
Je sais que depuis ~ 2004, la loi de Moore a cessé de fonctionner pour la vitesse d'horloge du processeur. Je cherche un graphique montrant cela, mais je ne le trouve pas: la plupart des graphiques montrent le nombre de transistors ou la capacité par an. Où puis-je trouver des …
Si un graphe pondéré GGG a deux arbres couvrant minimum différents T1=(V1,E1)T1=(V1,E1)T_1 = (V_1, E_1) et , alors est-il vrai que pour toute arête dans , le nombre d'arêtes dans avec le même poids que (y compris lui-même) est le même que le nombre d'arêtes dans avec le même poids …
Je veux prouver ou infirmer l'existence d'un algorithme qui, étant donné un tableau d'entiers, trouve trois indices i , j et k tels que i < j < k et A [ i ] < A [ j ] < A [ k ] (ou constate qu'il n'y a pas …
À ma connaissance, il existe trois grandes algèbres de processus qui ont inspiré une vaste gamme de recherches sur les modèles formels de concurrence. Ceux-ci sont: CCS et -calculus tous les deux par Robin Milnerππ\pi CSP par Tony Hoare et ACP par Jan Bergstra et Jan Willem Klop Tous les …
Considérons un type inductif qui a des occurrences récursives dans un emplacement imbriqué, mais strictement positif. Par exemple, des arbres à ramifications finies avec des nœuds utilisant une structure de données de liste générique pour stocker les enfants. Inductive LTree : Set := Node : list LTree -> LTree. La …
Lorsque l'on considère les modèles de calcul des machines, la hiérarchie de Chomsky est normalement caractérisée par (dans l'ordre), les automates finis, les automates déroulants, les automates liés linéaires et les machines de Turing. Pour le premier et le dernier niveau 1 (langages réguliers et langages récursivement énumérables), la puissance …
Une motivation possible pour étudier les classes de complexité de calcul est de comprendre la puissance de différents types de ressources de calcul (caractère aléatoire, non-déterminisme, effets quantiques, etc.). Si nous le regardons sous cet angle, il semble que nous pouvons obtenir un axiome plausible pour toute tentative de caractériser …
Voici le problème. Étant donné , où chaque . Existe-t-il un sous-ensemble dont la taille est au plus telle que pour tout ? J'essaie de réduire ce problème à SAT. Mon idée d'une solution serait d'avoir une variable pour chacun de 1 à . Pour chaque , créez une clause …
J'enseigne l'informatique à des jeunes de 18 ans. Après avoir expliqué la notation polonaise inversée, on a demandé pourquoi elle était suffisamment importante pour être soumise à l'examen public. J'ai expliqué l'importance historique des calculatrices des années 70, mais cela n'a pas vraiment résolu le problème. Il en est de …
Je suis curieux de savoir comment on pourrait compresser de manière très compacte le domaine d'un nom d'hôte IDN arbitraire (tel que défini par RFC5890 ) et je pense que cela pourrait devenir un défi intéressant. Un hôte ou un nom de domaine Unicode (U-label) se compose d'une chaîne de …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.