Avec la collection "La BD en classe", le Syndicat national de l’édition propose des supports pédagogiques autour de thématiques précises
Ce mémoire est consacré principalement à l'étude des programmes de branchement incrémentaux. Le programme de branchement est un modèle de calcul qui capture la quantité de mémoire requise à la résolution d'un problème calculatoire. Afin de capturer une façon naturelle de construire un programme de branchement résolvant GEN (un problème P-complet), la restriction d'incrémentalité a été inventée. Dans ce mémoire, nous proposons principalement une méthode pour transformer un certain type de programme de branchement en un programme entièrement syntaxique incrémental. Nous prouvons aussi que de déterminer s'il existe un chemin incrémental dans un programme de branchement est NP-complet.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Avec la collection "La BD en classe", le Syndicat national de l’édition propose des supports pédagogiques autour de thématiques précises
Découvrez les auteurs, autrices et libraires qui accompagneront le président du jury Jean-Christophe Rufin !
Une plume vive, des héros imparfaits et une jolie critique de notre société
Sénèque écrit une ultime lettre, alors qu'il a été condamné à mort par celui dont il fut le précepteur, conseiller, et ami : l'empereur Néron