Examen Final Corrigé rédigé par Paul Brunet et Laure Gonnord



Documents pareils
Chapitre 2 Le problème de l unicité des solutions

Correction de l épreuve CCP 2001 PSI Maths 2 PREMIÈRE PARTIE ) (

Théorème de Poincaré - Formule de Green-Riemann

LANGAGES - GRAMMAIRES - AUTOMATES

Université Paris-Dauphine DUMI2E. UFR Mathématiques de la décision. Notes de cours. Analyse 2. Filippo SANTAMBROGIO

LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE. Unité d enseignement LCMA 4U11 ANALYSE 3. Françoise GEANDIER

ANALYSE NUMERIQUE NON-LINEAIRE

Module 2 : Déterminant d une matrice

Synthèse de cours (Terminale S) Calcul intégral

COURS D ANALYSE. Licence d Informatique, première. Laurent Michel

Techniques d analyse de circuits

STI2D Logique binaire SIN. L' Algèbre de BOOLE

Chapitre 11 : L inductance

Avant d utiliser l appareil, lisez ce Guide de référence rapide pour connaître la procédure de configuration et d installation.

Guide d'utilisation Easy Interactive Tools Ver. 2

3- Les taux d'intérêt

Chapitre VI Contraintes holonomiques

Tout ce qu il faut savoir en math

Electrovanne double Dimension nominale Rp 3/8 - Rp 2 DMV-D/11 DMV-DLE/11

semestre 3 des Licences MISM annnée universitaire

Notes de révision : Automates et langages

Intégrale et primitives

- Phénoméne aérospatial non identifié ( 0.V.N.I )

Séquence 8. Probabilité : lois à densité. Sommaire

Cours d Analyse IV Suites et Séries de fonctions

L'algèbre de BOOLE ou algèbre logique est l'algèbre définie pour des variables ne pouvant prendre que deux états.

SYSTEME DE TELEPHONIE

ANALYSE : FONCTIONS D UNE VARIABLE RÉELLE

Turbine hydraulique Girard simplifiée pour faibles et très faibles puissances

Influence du milieu d étude sur l activité (suite) Inhibition et activation

Toyota Assurances Toujours la meilleure solution

/HVV\VWqPHVFRPELQDWRLUHV

Conseils et astuces pour les structures de base de la Ligne D30

Commencer DCP-7055W / DCP-7057W /

Statuts ASF Association Suisse Feldenkrais

Partie 4 : La monnaie et l'inflation

LITE-FLOOR. Dalles de sol et marches d escalier. Information technique

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Chapitre 1 : Fonctions analytiques - introduction

FONDATION CLEMENTINE ET MAURICE ANTILLE

ManSafe. pour les Utilitiés. La Protection antichute pour les Industries de l'energie. Français. TowerLatch LadderLatch

Baccalauréat S Asie 19 juin 2014 Corrigé

Algorithmes sur les mots (séquences)

a et b étant deux nombres relatifs donnés, une fonction affine est une fonction qui a un nombre x associe le nombre ax + b

Licence M.A.S.S. Cours d Analyse S4

Théorème du point fixe - Théorème de l inversion locale

La pratique institutionnelle «à plusieurs»

Sommaire. 6. Tableau récapitulatif Sophos NAC intégré Vs. NAC Advanced - 17 Février

LOGICIEL FONCTIONNEL EMC VNX

Guide de l'utilisateur

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

Pour développer votre entreprise LES LOGICIELS EN LIGNE, VOUS ALLEZ DIRE OUI!

INFORMATIONS TECHNIQUES

Relation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices

Activités numériques [13 Points]

Réalisation de sites Internet PME & Grandes entreprises Offre Premium. Etude du projet. Webdesign. Intégration HTML. Développement.

AUTOUR D UN MÉMOIRE INÉDIT : LA CONTRIBUTION D HERMITE AU DÉVELOPPEMENT DE LA THÉORIE DES FONCTIONS ELLIPTIQUES. Bruno BELHOSTE (*)

Bilan pédagogique / Projet ipad Contexte

Introduction à la modélisation et à la vérication p. 1/8

Université Paris-Dauphine DUMI2E 1ère année, Applications

Guide des bonnes pratiques

Probabilités sur un univers fini

Chapitre 2. Eléments pour comprendre un énoncé

I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES


Introduction à la théorie des graphes. Solutions des exercices

Correction de l examen de la première session

Cours d Analyse. Fonctions de plusieurs variables

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

Solutions IHM. Gammes Graphite et G3 Outils pour l'usine connectée

Structures algébriques

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

I. Introduction. 1. Objectifs. 2. Les options. a. Présentation du problème.

ÉPREUVE COMMUNE DE TIPE Partie D

Le seul ami de Batman

LE PRODUIT SCALAIRE ( En première S )

Du Premier au Second Degré

Introduction à l étude des Corps Finis

l appareil et vérifier les composants Module tambour-cartouche de toner (pré-installé)

Suites numériques 3. 1 Convergence et limite d une suite

La fonction exponentielle

I. Ensemble de définition d'une fonction

Exo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2.

Géométrie dans l espace Produit scalaire et équations

ALGORITHMIQUE II NOTION DE COMPLEXITE. SMI AlgoII

2.4 Représentation graphique, tableau de Karnaugh

INTENTION LES PROCESSUS MATHÉMATIQUES

Directives COV et alternative lipochimique : peintures, encres, nettoyage, dégraissage...

SOCIÉTÉ LINNÉENNE DE LYO N FONDEE EN 182 2

Thèse Présentée Pour obtenir le diplôme de doctorat en sciences En génie civil Option : structure

16.1 Convergence simple et convergence uniforme. une suite de fonctions de I dans R ou C.

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Mathématiques I Section Architecture, EPFL

!" #$#% #"& ' ( &)(*"% * $*' )#""*(+#%(' $#),")- '(*+.%#"'#/* "'") $'

Chapitre 2 Le problème de l unicité des solutions

CORRECTION EXERCICES ALGORITHME 1

Sciences Industrielles Précision des systèmes asservis Papanicola Robert Lycée Jacques Amyot

3 Approximation de solutions d équations

8.1 Généralités sur les fonctions de plusieurs variables réelles. f : R 2 R (x, y) 1 x 2 y 2

Groupe symétrique. Chapitre II. 1 Définitions et généralités

Transcription:

Mster Info - 2014-2015 MIF15 Complexité et Clculbilité Exmen Finl Corrigé rédigé pr Pul Brunet et Lure Gonnord Durée 1H30 Notes de cours et de TD utorisées. Livres et ppreils électroniques interdits. Le brème est donné à titre indictif. 1 Mchines de Turing Soit M = (K, Σ, Γ, δ, q 0, F ) l mchine de Turing d étt initil q 0, vec ccepttion pr étt finl (unique étt cceptnt q 6 ), d lphbet Σ = {, b}, d lphbet de rubn Γ = {, b, X, Y, #}, vec l fonction de trnsition δ schémtisée pr le dessin ci-dessous : #/#D Y/Y D q 0 q 1 q 5 Y/Y D /XD #/#S /D Y/Y D q 2 X/XD q 6 b/y D q 3 q /G 4 b/y G Y/Y G Question 1 (1 point) Le mot 2 b 4 est-il ccepté pr M? Donner les configurtions successives. Prtnt de l configurtion initile (#bbbb#, q0), on obtient sns ucun problème que ce mot est reconnu. Question 2 (1 point) Sns donner les configurtions successives, dire si les mots 2 b 3 et 2 b 5 sont cceptés pr M. Aucun de ces deux mots n est ccepté, le premier mot bloque l mchine en q 3, le deuxième dns l étt q 1. MIF15 Complexité et Clculbilité, Mster Info - 2014-2015 1/8

Question 3 (2 points) Quel lngge est reconnu pr cette mchine de Turing? On justifier proprement pr double inclusion. Le lngge est L = { n b 2n n 1}. Il est clir qu un mot de L est ccepté pr l mchine de Turing (exhiber une dérivtion qui rélise n fois le cycle (q 1, q 2, q 3, q 4, q 1 )). Dns l utre sens, un chemin cceptnt de l mchine de Turing forcément pris n > 1 fois le cycle (q 1, q 2, q 3, q 4, q 1 ), et ce cycle pour effet de remplcer un pr X et deux b pr un seul Y. Il est ssez clir ensuite que les mots reconnus sont uniquement de l forme i b j. Pr construction, l prtie de droite (l fin de l exécution) de M n est prise que lorsqu il ne reste plus de à lire dns le mot, et cette prtie est bloqunte s il reste des b. Ceci montre l inclusion inverse. Question 4 (2 points) Modifier cette mchine pour reconnître le lngge { n+1 b 2n n 1}. Justifier. Il suffit d jouter un étt q 7, entre q 0 et q 1, qui remplce le premier pr un X vnt d exécuter l mchine M sur le reste du mot. q 0 #/#D q 7 /XD q 1 Y/Y D q 5 Y/Y D /XD #/#S /D Y/Y D q 2 X/XD q 6 b/y D q 3 b/y G q 4 /G Y/Y G 2 Fonctions primitives récursives et µ-récursives Question 5 (1 point) Sous quelle(s) condition(s) (suffisnte(s)) une fonction définie pr cs est-elle primitive récursive? On donner un énoncé précis, qu on ne demnde ps de prouver, et que l on considérer comme vri pour l suite. Soit f : N p N et g : N p N deux fonctions primitives récursives et π : N p {0, 1} un prédict primitif récursif, lors h : N p N définie pr : { f(x 1,..., x p ) si π(x 1,... x p ) = 1 h(x 1,..., x p ) = g(x 1,..., x p ) sinon est primitive récursive. MIF15 Complexité et Clculbilité, Mster Info - 2014-2015 2/8

Question 6 (1 point) Montrer que l fonction mx n : N n N qui à (x 1,... x n ) ssocie le mximum des n entiers x 1,... x n est primitive récursive. On peut considérer cquis que le prédict est primitif récursif. On ttend une rédction vec des rguments précis, mis sns forcément détiller l utilistion des opérteurs Comp, Rec, id,... On montre pr récurrence sur n 2 que le mx n-ire est primitif récursif : { Pour n = 2, mx 2 (x 1, x 2 ) = x 1 si x 2 x 1 x 2 sinon. et l question précédente suffisent à conclure. Supposons que mx n d rité n 2 soit primitif. Alors, en écrivnt : mx n+1 (x 1,..., x n, 0) = mx n (x 1,..., x n ) { m + 1 si mx n (x 1,..., x n ) m + 1 mx n+1 (x 1,..., x n, m + 1) = mx n (x 1,..., x n ) sinon. Ceci montre que mx n+1. est primitive récursive. Question 7 (1 point) Montrer, en utilisnt le schém de minimistion ( schém-µ ), que les fonctions suivntes sont µ-récursives : () f(n) = n si n est un crré prfit, indéfini sinon. (b) f(x, y) = E(x/y) l prtie entière de l division de x pr y. Sns trop de suspense : () f(n) = µ.k[k 2 = n] (b) f(x, y) = µ.k[k y > x] 1. 3 Grmmires Question 8 (1 point) Quels lngges sont engendrés pr les grmmires suivntes : () G = ({S, A}, {, b, c}, R, S) vec R = {S S ba, A ba c}. (b) G = ({S}, {}, R, S) vec R = {S SS }. On justifier soigneusement, mis rpidement. Pr flemme du correcteur, on donne uniquement les lngges. () L(G) = bb c. (b) L(G) = { 3k k impir}. Question 9 (2 points) Donner des grmmires pour les lngges suivnts : MIF15 Complexité et Clculbilité, Mster Info - 2014-2015 3/8

() Les mots sur l lphbet {, b} qui sont égux à leur mot miroir. (b) Les mots sur l lphbet {, b, c} qui contiennent utnt de que de b. () S S bsb b ε (b) Autnt de que de b n est ps difficile à réliser, et ensuite on bricole pour jouter des c un peu prtout : S CCSCbC CbCSCC ε C C cc ε Une utre solution, en utilisnt une grmmire contextuelle : S ABS cs ε AB BA Ac ca A Bc cb B b Pour cette grmmire, on introduit utnt de que de b et un nombre rbitrire de c, puis on mélnge les lettres pour obtenir le mot recherché. Il resterit à justifier. 4 Indécidbilité : le Problème de Correspondnce de Post. Soit Σ un lphbet fini, et P Σ Σ un ensemble fini de dominos étiquetés pr des mots sur l lphbet Σ (des pires de mots, donc). Le Problème de Correspondnce de Post (PCP), introduit pr Emil Post en 1946, consiste à déterminer s il existe une séquence de dominos de P tels que le mot obtenu pr l concténtion des premières composntes est identique à celui formé pr l concténtion des secondes composntes. Plus formellement, on cherche à déterminer l existence d une suite (u i, v i ) 0 i n telle que : 0 i n, (u i, v i ) P et u 0 u 1 u n = v 0 v 1 v n. Question 10 (2 points) Résoudre PCP à l min pour les instnces suivntes. Si une correspondnce existe, on l donner explicitement. Sinon, on justifier soigneusement qu une telle correspondnce n existe ps. () P 0 = {(, ), (, )} ; (b) P 1 = {(b, b), (bb, b), (b, bb)} ; (c) P 2 = {(, b), (b, b), (b, b), (bb, b)} ; (d) P 3 = {(b, bb), (, b), (b, bb), (bb, bb)}. MIF15 Complexité et Clculbilité, Mster Info - 2014-2015 4/8

Les solutions qui suivent mélngent deux nottions, l nottion pr pire (guche, droite) qui est celle de l énoncé et l nottion pr domino hut, qui est plus lisible. bs () On une correspondnce, en fisnt en hut comme en bs., ce qui donne (b) Une telle correspondnce n existe ps. En effet, une correspondnce ne peut démrrer pr les pires 1 ou 3 prce qu lors le mot de guche commence pr b et celui de droite pr b. Si elle commence pr l deuxième pire, lors à guche on bb et à droite b, du coup comme ucune des deux utres pires ne contient un mot qui commence pr b comme deuxième composnte, on est obligé de rjouter une occurence de l pire 2. Seules les pires 2 peuvent donc être enchînées pour créer une correspondnce. Comme les mots de l pire 2 ont des tilles différentes, on ne pourr jmis obtenir de correspondnce. (c) Il existe une correspondnce : b bb b b b. Cel donne des deux côtés bbb. (d) Impossible ussi, cr les pires 3 et 4 font grossir le mot de droite (plus vite que celui de guche), et on n ucune possibilité de rétblir l tille. De plus on ne peut démrrer une correspondnce pr 1 ou 2. Question 11 (1 point) Donner un lgorithme pour décider PCP dns le cs où Σ ne contient qu une seule lettre. Soit Σ = {}, on peut remrquer que pour tout mot w Σ, on w = w. On peut montrer qu il existe une correspondnce dns P si et seulement si : soit on u v P tel que u = v ; soit il existe u 1 v 1, Si il existe u v u 2 v 2 P tels que u 1 > v 1 et u 2 < v 2. P tel que u = v, l séquence contennt uniquement u v est une correspondnce, puisque u = u = v = v. Si il existe u 1 u, 2 P tels que u v 1 v 1 > v 1 2 et u 2 < v 2, lors v 2 u 2 > 0 et u 1 v 1 > 0 et l séquence u 1 v 1 v 2 u 2 u 2 v 2 forme une correspondnce cr on obtient en hut u 1 v 1 u 1 ( v 2 u 2 ) u 2 ( u 1 v 1 ) = u 1 v 2 + u 1 u 2 u 1 u 2 u 2 v 1 = u 1 v 2 u 2 v 1 qui est égl à v 1 ( v 2 u 2 ) v 2 ( u 1 v 1 ), le mot qu on obtient en bs. Si en revnche on n est ps dns cette sitution, cel signifie que soit u v P, u > v ; MIF15 Complexité et Clculbilité, Mster Info - 2014-2015 5/8

soit u v P, u < v. Ces deux cs étnt symétriques, on ne triter ici que le premier. Si lors pour toute séquence de dominos u 0 v 0 u n v n, on u v P, u > v, u 0 u 1 u n = u 0 + u 1 + + u n > v 0 + v 1 + + v n = v 0 v 1 v n. On en déduit que u 0 u 1 u n = u 0 u 1 u n v 0 v 1 v n = v 0 v 1 v n. Pr conséquent tester si il existe une correspondnce constituée de dominos de P revient à tester si il existe u 1 v 1 et u 2 v 2 dns P vérifint u 1 v 1 et u 2 v 2, ce qui est décidble. On considère mintennt une vrinte de PCP, le Problème de Correspondnce de Post Modifié (PCPM). Pour ce problème, on considère un ensemble fini de dominos P et un domino initil (u 0, v 0 ) P, et on cherche à déterminer l existence d une correspondnce qui commence pr (u 0, v 0 ). On considère comme cquis que PCPM est indécidble : en effet il existe une réduction du problème de l rrêt d une mchine de Turing vers PCPM. On v mintennt montrer que PCP est indécidble, en réduisnt depuis PCPM. On commence pr introduire deux fonctions p et s. Soit $ un nouveu symbole n pprtennt ps à Σ, pour tout mot w = 1 2 n (les i sont les lettres), on définit : { p(w) = $ 1 $ 2 $ n s(w) = 1 $ 2 $ n $ Question 12 (2 points) Montrer que les fonctions p et s vérifient les propriétés suivntes : () pour deux mots v et w, p(vw) = p(v)p(w) et s(vw) = s(v)s(w) ; Si v = 1 2 n et w = b 1 b 2 b m, lors p(vw) =p( 1 2 n b 1 b 2 b m ) =$ 1 $ 2 $ n $b 1 $b 2 $b m =($ 1 $ 2 $ n ) ($b 1 $b 2 $b m ) = p(w) p(v) s(vw) =s( 1 2 n b 1 b 2 b m ) = 1 $ 2 $ n $b 1 $b 2 $ b m $ =( 1 $ 2 $ n $) (b 1 $b 2 $ b m $) = s(w) s(v) (b) pour tout mot w, p(w)$ = $s(w). MIF15 Complexité et Clculbilité, Mster Info - 2014-2015 6/8

p( 1 2 n )$ = $ 1 $ 2 $ n $ = $ 1 $ 2 $ n $ = $s( 1 2 n ) Soit P, (u 0, v 0 ) une instnce une PCPM, on définit P = {(p(u 0 ), $s(v 0 ))} P 1 P 2 vec : { P 1 = {(p(u), s(v)) (u, v) P } P 2 = {(p(u)$, s(v)) (u, v) P } Question 13 (2 points) Montrer que P, (u 0, v 0 ) dmet une solution pour PCPM si et seulement si P dmet une solution pour PCP. Supposons d bord que l instnce originle de PCPM une solution u 0 v 0 hut et le bs égux à un certin mot w : Grâce à l question 12, on : Pr définition de P, on p(u 0) $s(v 0 ) P ; 1 k < n, p(u n)$ P s(v n ) 2 P. Pr conséquent l séquence u 0 u 1 u n = v 0 v 1 v n = w p(w)$ =p(u 0 )p(u 1 )p(u 2 ) p(u n 1 )p(u n )$ =$s(w) p(u k ) s(u k ) P 1 P ; p(u 0 ) $s(v 0 ) =$s(v 0 )s(v 1 )s(v 2 ) s(v n 1 )s(v n ). p(u 1 ) s(v 1 ) p(u 2 ) s(v 2 ) p(u n 1 ) s(v n 1 ) p(u n )$ s(v n ) u n v n, vec le est une correspondnce de P. Si P p(u dmet une solution, on peut remrquer qu elle commence nécessirement pr 0 ) $s(v 0 ) (c est le seul domino pour lequel l prtie supérieure et l prtie inférieure commencent pr l même lettre) et finit forcément pr un domino de P 2, puisque ce sont les seuls dont les prties supérieure et inférieure finissent pr l même lettre. Pr conséquent toute solution de P est de l forme où est une solution de P. p(u 0 ) $s(v 0 ) p(u 1 ) s(v 1 ) p(u n 1 ) s(v n 1 ) u 0 v 0 u 1 v 1 u 2 v 2 u n 1 v n 1 p(u n )$ s(v n ) u n v n MIF15 Complexité et Clculbilité, Mster Info - 2014-2015 7/8

Question 14 (1 point) En déduire que PCP est indécidble. Notons ρ(p, (u 0, v 0 )) = P, défini comme précédement. ρ est une fonction clculble, et grâce à l question 13 on sit que : (P, (u 0, v 0 )) PCPM ρ(p ) PCP. Pr conséquent ρ est une réduction de PCPM vers PCP, et comme PCPM est indécidble, PCP l est ussi. MIF15 Complexité et Clculbilité, Mster Info - 2014-2015 8/8