L'informatique

11
Notions de calcul efficace

Un algorithme de machine de Turing à temps polynomial est considéré comme efficace si son temps d'exécution, dans le pire des cas, est limité par une fonction polynomiale dans la taille d'entrée. Je connais la forte thèse de Church-Turing: Tout modèle raisonnable de calcul peut être simulé...

11
Existe-t-il une différence entre et ?

J'apprends actuellement le calcul lambda et je me posais des questions sur les deux différents types d'écriture d'un terme lambda. λxy.xyλxy.xy\lambda xy.xy λx.λy.xyλx.λy.xy\lambda x.\lambda y.xy Y a-t-il une différence de sens ou de manière d'appliquer la réduction bêta, ou s'agit-il simplement de...

11
Comment fonctionne l'inspection de la pile?

Ceci est le précurseur de mon autre question plus avancée sur l'inspection des piles. L'inspection de la pile est un mécanisme de sécurité introduit dans la machine virtuelle Java pour gérer le code en cours d'exécution provenant d'emplacements ayant différents niveaux de confiance. Cette question...

11
Comment prouver que

C'est une question de devoirs du livre d'Udi Manber. Tout indice serait bien :) Je dois montrer que: n ( log3( n ) )5= O ( n1.2)n(log3⁡(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) J'ai essayé d'utiliser le théorème 3.1 du livre: (pour c > 0 ,)F( n )c= O ( aF( n ))f(n)c=O(af(n))f(n)^c = O(a^{f(n)})c...