ÉCOLE NATIONALE DES PONTS ET CHAUSSÉES, ÉCOLES NATIONALES SUPÉRIEURES DE L'AÉRONAUTIQUE ET DE L'ESPACE, DES TECHNIQUES AVANCÉES, DES TÉLÉCOMMUNICATIONS, DES MINES DE PARIS, DES MINES DE SAINT-ÉTIENNE, DES MINES DE NANCY, DES TÉLÉCOMMUNICATIONS DE BRETAGNE, ÉCOLE POLYTECHNIQUE
(Filière T.S.I.)
CONCOURS D’ADMISSION 2001
ÉPREUVE D'INFORMATIQUE
Filière MP(Durée de l'épreuve : 3 heures)
Sujet mis à la disposition des concours Cycle International, ENSTIM et TPE-EIVP.
Les candidats et les candidates sont priés de mentionner de façon apparente sur la première page de la copie :
«INFORMATIQUE - Filière MP»
RECOMMANDATIONS AUX CANDIDATS ET CANDIDATES
L'énoncé de cette épreuve, y compris cette page de garde, comporte 8 pages.
Si, au cours de l'épreuve, un candidat ou une candidate repère ce qui lui semble être une erreur d'énoncé, il ou elle le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives qu'il ou elle a décidé de prendre.
Tout résultat fourni dans l'énoncé peut être utilisé pour les questions ultérieures même s’il n’a pas été démontré.
Il ne faut pas hésiter à formuler les commentaires qui semblent pertinents même lorsque l'énoncé ne les demande pas explicitement.
L'utilisation d'une calculatrice ou d'un ordinateur est interdite.
COMPOSITION DE L'ÉPREUVE
L'épreuve comprend trois problèmes indépendants :
le problème de théorie des automates, page 2 , à résoudre en 1 h 15 min environ;
le problème de complexité algorithmique, page 5 , à résoudre en 60 min environ;
le problème de logique des propositions page 7, à résoudre en 45 min environ.
Attention ! Dans chacun des deux premiers problèmes, les candidats et les candidates sont invités à donner le nom du langage de programmation, Pascal ou Caml, dans lequel les algorithmes seront écrits lorsque des questions le demanderont. Seuls les programmes écrits dans le langage choisi seront corrigés.
1 Problème sur les automates finis -
Rappels pour fixer les notations et la terminologie
Un alphabet est un ensemble fini d'éléments appelés lettres. est l'ensemble des suites finies de lettres de , appelées mots. Un langage est une partie de .
Un automate est un graphe orienté et étiqueté, décrit par une structure :
est un alphabet;
est un ensemble fini, non vide et appelé ensemble des états ; ce sont les sommets du graphe ;
est appelé l'ensemble des transitions, ce sont les arcs du graphe ;
est appelé ensemble des états initiaux de l'automate;
est appelé ensemble des états terminaux de l'automate.
Une transition est un arc du graphe, d'étiquette et allant de l'état vers l'état que l'on pourra noter .
La représentation graphique d'un automate obéit aux conventions suivantes :
un état est figuré par un cercle marqué en son centre par ; si , cela est figuré par une flèche entrante sans origine ; si , cela est figuré par une flèche sortante sans but;
une transition est figurée par une flèche allant de l'état vers l'état ; cette flèche est étiquetée par la lettre .
Exemple: une telle représentation graphique est illustrée dans la question 3 page ci-contre.
Un calcul de est un chemin dans le graphe: pour on a . On dit que est l'origine du calcul, est son extrémité, et que le calcul traverse les états .
L'étiquette du calcul est le mot formé par la suite des étiquettes des arcs successifs du chemin. Un calcul d'origine , d'extrémité et d'étiquette peut être noté . Il est dit réussi lorsque est un état initial et est un état terminal. Un mot de est reconnu par s'il existe un calcul réussi de d'étiquette , le langage reconnu par , est l'ensemble des étiquettes des calculs réussis.
L'automate est dit émondé si pour chaque état de , il existe un état initial , un état terminal et deux mots et tels que et sont des calculs, c'est-à-dire que tout état est réellement utile à la reconnaissance des mots de .
Problème
Dans ce problème, on se donne un automate . Nous allons écrire un algorithme permettant de l'émonder, c'est-à-dire de déterminer ses états inutiles.
1 - Il faudra rédiger des algorithmes. Choisir le langage, Pascal ou Caml, dans lequel seront rédigés ces algorithmes. Attention! Tous les algorithmes demandés dans ce problème devront être écrits dans le langage choisi.
Représentation informatique d'un automate. Soit et des constantes entières strictement positives. On suppose que l'automate a états numérotés de 1 à . Pour , on notera l'état numéro i . On suppose que l'alphabet contient lettres numérotées de 1 à . Pour , on notera la lettre numéro j. On choisit de représenter l’automate ainsi:
à un état et une lettre , on associe un vecteur de booléens, noté , tel que pour tout est vrai si et seulement si ; le vecteur est une description des transitions issues de et étiquetées par ;
l'ensemble des transitions issues d'un état est représenté par le vecteur noté des vecteurs pour ; c'est-à-dire pour tout ;
le graphe orienté et étiqueté de l'automate est représenté par le vecteur des vecteurs pour ; c'est-à-dire pour tout .
On remarque que l'on ne représente que les transitions et que l'on ne représente pas encore le caractère initial ou terminal des états. Cela sera pris en compte plus tard dans le problème.
Important! Dans les calculs de complexité qui seront demandés, on admettra que les opérations élémentaires du langage de programmation (opérations arithmétiques, comparaisons arithmétiques, accès et modifications de la valeur d'une variable ou d'un élément de tableau, etc.) ont une complexité en .
2 - Dans le langage choisi, décrire comment représenter, en accord avec les éléments qui viennent d'être donnés, le graphe orienté et étiqueté d'un automate.
3 - Toujours dans le langage choisi et en supposant et , utiliser la réponse à la question précédente pour représenter l'automate suivant :
Émonder l'automate revient à déterminer ses états inutiles. Un état e est inutile s'il n'existe pas de calcul dont l'origine est un état initial et dont l'extrémité est e ou bien s'il n'existe pas de calcul dont l'origine est e et dont l'extrémité est un état terminal.
Matrice d'accesibilité d'un automate. Pour déterminer les états inutiles, il faudra calculer la matrice d'accessibilité de l'automate. Cette matrice est une matrice de booléens C , carrée de dimension , telle que pour vaut vrai si et seulement s'il existe un calcul d'origine et d'extrémité .
4 - Dans le langage choisi, décrire comment représenter la matrice d'accessibilité d'un automate.
L'algorithme de Roy-Warshall. L'algorithme qui va être utilisé s'appelle algorithme de Roy-Warshall. Cet algorithme commence par initialiser la matrice C : pour est initialisé à vrai si et seulement si ou bien s'il existe une transition de vers dans l'automate. L'algorithme transforme la matrice C initialisée, que l'on nommera , en étapes. Pour , on note la matrice à l'issue de k -ième étape de transformation. L'idée de cet algorithme est que pour tous et est vrai si et seulement si ou bien s'il existe un calcul d'origine , d'extrémité et tel qu'aucun état traversé par ce calcul à l'exception de l'origine et de l'extrémité n'a un numéro strictement supérieur à k . On dit alors que la matrice vérifie la propriété au rank k .
5 - Dans le langage choisi, écrire un algorithme permettant d'initialiser la matrice d'accessibilité C à partir de la représentation G de l'automate.
6 - Quelle est la complexité en temps de l'algorithme de la question 5 en fonction de et ?
7 - Vérifier trivialement que vérifie la propriété au rang 0.
8 - Vérifier trivialement que si vérifie la propriété au rang alors est la matrice d'accessibilité du graphe.
9 - Soit , on suppose vérifie la propriété au rang k et vérifie la propriété au rang . Soit , démontrer que est vrai si et seulement si est vrai ou bien si et sont vrais.
10 - Soit , on suppose vérifie la propriété au rang k et vérifie la propriété au rang . Soit , démontrer que: est vrai si et seulement si est vrai ; est vrai si et seulement si est vrai.
11 - Déduire et justifier à l'aide des questions 9 et 10 un algorithme permettant de transformer la matrice en pour tout .
12 - Quelle est la complexité en temps de l'algorithme de la question 11 en fonction de et ?
13 - Dans le langage de programmation choisi, écrire un algorithme prenant en argument la représentation G de l'automate et produisant sa matrice C d'accessibilité.
14 - Quel est la complexité en temps de l'algorithme de la question 13 en fonction de et ?
On suppose que les états initiaux sont décrits par un vecteur de booléens tel que pour tout est vrai si et seulement si est un état initial. On suppose également que les états terminaux sont décrits par un vecteur de booléens tel que pour tout est vrai si et seulement si est un état terminal. On désire obtenir le vecteur U de booléens tel que pour tout est vrai si et seulement si est un état inutile.
15 - Dans le langage de programmation choisi, décrire comment représenter les vecteurs I, F et U.
16 - Toujours dans le langage de programmation choisi, écrire un algorithme prenant en arguments la représentation de l'automate, les représentations des vecteurs et décrivant ses états initiaux et terminaux et produisant la représentation du vecteur de ses états inutiles.
17 - Quel est la complexité en temps de l'algorithme de la question 16 en fonction de et ?
18 - L'hypothèse a été faite en début de problème que les opérations élémentaires du langage de programmation ont une complexité en . Expliquer pourquoi cette hypothèse est réaliste pour le langage de programmation choisi.
FIN DU PROBLÈME SUR LES AUTOMATES
2 Problème de complexité algorithmique - 60 min environ
Calcul efficace de
Le problème du calcul efficace de pour entier positif devient crucial lorsque est particulièrement grand ou bien lorsque est un type de données où le produit est algorithmiquement coûteux. C'est le cas si est une matrice carrée de grande dimension ou bien si est un polynôme de degré élevé. Dans ces cas, le temps d'exécution d'une multiplication n'est plus négligeable et il peut être raisonnable de rechercher des algorithmes où l'on cherche à minimiser le nombre de multiplications effectuées.
Ce qui intéresse l'informaticien dans le calcul de est le nombre de multiplications par où par des puissances déjà calculées de . Pour essayer de compter et de minimiser ce nombre de multiplications, on peut se contenter d'étudier le cas où est un entier et un entier strictement positif. C'est ainsi que la question est abordée dans ce problème.
Terminologie et notation. Si est un entier:
on appelle représentation binaire minimale (en abrégé r.b.m.) de , la représentation binaire de où l'on ne considère que les chiffres significatifs, c'est-à-dire que l'on élimine tous les éventuels chiffres 0 figurant en tête (à gauche) de la représentation ;
on note le nombre de chiffres de la représentation binaire minimale de ;
on note le nombre de chiffres égaux à 1 dans la représentation binaire minimale de .
1 - Il faudra rédiger des algorithmes. Choisir le langage, Pascal ou Caml, dans lequel seront rédigés ces algorithmes. Attention! Tous les algorithmes demandés dans ce problème devront être écrits dans le langage choisi.
La méthode élémentaire
2 - L'algorithme le plus simple pour calculer est basé sur les équations suivantes:
a - Dans le langage choisi, écrire un algorithme récursif, nommé , prenant en arguments un entier et un entier et calculant en utilisant les équations ci-dessus.
b - Combien de multiplications sont-elles effectuées par l'algorithme en fonction de son deuxième argument ?
La méthode de Legendre
3 - L'algorithme de Legendre considère la représentation binaire minimale de l'exposant entier .
L'algorithme pour calculer s'énonce ainsi :
on part de la valeur 1;
on parcourt la r.b.m. de de gauche à droite ; pour chaque chiffre rencontré, on élève la valeur au carré, puis si le chiffre est 1 , on multiplie la valeur par .
a - Démontrer que cet algorithme est correct. Attention ! Il est inutile de le programmer.
b - Exprimer le nombre de multiplications qui sont effectuées par cet algorithme en fonction de et où est l'exposant?
La méthode dichotomique
4 - L'algorithme dichotomique pour calculer est basé sur les équations suivantes :
On suppose que le langage de programmation choisi dispose d'une fonction pair dont l'argument est un entier et le résultat est un booléen qui est vrai si et seulement si l'argument est pair.
a - Dans le langage choisi, écrire un algorithme récursif, nommé , prenant en arguments un entier et un entier et calculant en utilisant les équations ci-dessus.
b - En examinant l'algorithme , écrire un algorithme récursif, nommé , prenant en argument un entier et calculant le nombre de multiplications effectuées pendant le calcul de pour un entier quelconque.
c - Soit un entier, exprimer en fonction de et exprimer en fonction de . En déduire et écrire un algorithme récursif, nommé lambda, prenant en argument un entier et calculant . Soit un entier, exprimer en fonction de et exprimer en fonction de . En déduire et écrire un algorithme récursif, nommé nu, prenant en argument un entier et calculant .
e - Pour entier, on pose . En utilisant les résultats des deux questions précédentes, déduire et écrire un algorithme récursif, nommé pi, prenant en argument un entier et calculant .
f - Quel est le nombre de multiplications effectuées par l'algorithme en fonction de et où , entier strictement positif, est le deuxième argument?
g - Quel est le nombre de multiplications effectuées par l'algorithme en fonction de son deuxième argument lorsque celui-ci est de la forme où est un entier naturel.
La méthode des facteurs
L'algorithme dichotomique réduit sensiblement le nombre de multiplications par rapport à l'algorithme le plus simple de la question 2 page précédente. Mais il n'est pas optimal. On a mais en remarquant que et donc , on peut calculer en 5 multiplications : on calcule en 2 multiplications à l'aide de la méthode dichotomique puis on l'élève à la puissance 5 en 3 multiplications toujours à l'aide de la méthode dichotomique. Cela donne :
Cette méthode, appelée méthode des facteurs, utilise le fait que si alors on a .
5 - En remarquant que , appliquer la méthode des facteurs esquissée ci-dessus et vérifier qu'elle n'est pas optimale.
FIN DU PROBLÈME DE COMPLEXITÉ ALGORITHMIQUE
3 Problème de logique des propositions - 45 min environ
Afin de construire des circuits logiques, on se donne les trois portes logiques élémentaires correspondant aux trois connecteurs suivants :
le connecteur unaire et préfixé de la négation noté ;
le connecteur binaire et infixé de la conjonction noté ;
le connecteur binaire et infixé de la disjonction noté .
On se donne également le nœud duplicateur produisant sur ses deux sorties la valeur fournie sur son unique entrée. Ces éléments de circuits logiques sont représentés graphiquement ainsi :
Porte NON
Porte ET
Porte OU
Nœud duplicateur
N.B. Les circuits logiques construits en réponse à une question quelconque de ce problème devront être construits en n'utilisant que les élements de circuits logiques donnés ci-dessus et ceux construits en réponses aux questions qui précédent cette question.
Si et sont deux valeurs numériques, on note la plus grande de ces deux valeurs et la plus petite de ces deux valeurs.
Soit un entier strictement positif et un entier tel que , on note la représentation en base 2 sur bits de qui est définie comme suit : on prend la représentation en base 2 de qui est de longueur au plus et on la complète éventuellement avec des zéros à gauche pour que sa longueur soit exactement .
Un comparateur logique
1 - Construire un circuit logique prenant en entrées deux bits d'information et et fournissant en sorties les valeurs max et min :
2 - Construire un circuit logique prenant en entrées deux bits d'information et et fournissant en sorties les valeurs et telles que : et si ; et si ; et si .
3 - Construire un circuit logique prenant en entrées quatre bits d'information et et fournissant en sorties les valeurs et telles que: et si ; et si et ; et si et ; et si ; et si et ;
on ne s'intéresse pas au cas où .
On appelle le circuit logique dans lequel on a supprimé les sorties et .
On appelle comparateur 8-bits un circuit logique prenant en arguments deux entiers positifs ou nuls et strictement inférieurs à et fournissant en sorties les deux entiers positifs et tels que et . Un tel circuit logique peut être représenté graphiquement ainsi :
4 - À l'aide des circuits logiques et , construire un comparateur 8-bits.
FIN DU PROBLÈME DE LOGIQUE DES PROPOSITIONS
FIN DE L'ÉPREUVE
Mines Option Informatique MP 2001 - Version Web LaTeX | WikiPrépa | WikiPrépa
