J-0
00m
00j
00h
00min
00s

Version interactive avec LaTeX compilé

Mines Informatique Commune MP PC PSI 2017

Étude de trafic routier

Notez ce sujet en cliquant sur l'étoile
0.0(0 votes)
Logo mines
2025_08_29_44597f5ccae9c3fefc6ag

ÉCOLE DES PONTS PARISTECH, ISAE-SUPAERO, ENSTA PARISTECH, TELECOM PARISTECH, MINES PARISTECH, MINES SAINT-ÉTIENNE, MINES NANCY, IMT Atlantique (ex Télécom Bretagne), ENSAE PARISTECH.

Concours Centrale-Supelec (Cycle International), Concours Mines-Télécom, Concours Commun TPE/EIVP.

CONCOURS 2017

ÉPREUVE D'INFORMATIQUE COMMUNE

Durée de l'épreuve : 1 heure 30 minutes

L'usage de la calculatrice et de tout dispositif électronique est interdit.
Cette épreuve est commune aux candidats des filières MP, PC et PSI
Les candidats sont priés de mentionner de façon apparente sur la première page de la copie :

INFORMATIQUE COMMUNE

L'énoncé de cette épreuve comporte 7 pages de texte.
Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives qu'il est amené à prendre.

Étude de trafic routier

Ce sujet concerne la conception d'un logiciel d'étude de trafic routier. On modélise le déplacement d'un ensemble de voitures sur des files à sens unique (voir Figure 1(a) et 1(b)). C'est un schéma simple qui peut permettre de comprendre l'apparition d'embouteillages et de concevoir des solutions pour fluidifier le trafic.
Le sujet comporte des questions de programmation. Le langage à utiliser est Python.

Notations

Soit une liste,
  • on note len sa longueur;
  • pour entier, , l'élément de la liste d'indice est noté ;
  • pour et entiers, est la sous-liste composée des éléments , ..., ;
  • , avec entier, est la liste obtenue en concaténant copies de . Par exemple, est la liste .

(a) Représentation d'une file de longueur onze comprenant quatre voitures, situées respectivement sur les cases d'indices et 10 .}

\end{figure}
Figure 1 - Files de circulation

Partie I. Préliminaires

Dans un premier temps, on considère le cas d'une seule file, illustré par la Figure 1(a). Une file de longueur est représentée par cases. Une case peut contenir au plus une voiture. Les voitures présentes dans une file circulent toutes dans la même direction (sens des indices croissants, désigné par les flèches sur la Figure 1(a)) et sont indifférenciées.
Q1 - Expliquer comment représenter une file de voitures à l'aide d'une liste de booléens.
Q2 - Donner une ou plusieurs instructions Python permettant de définir une liste représentant la file de voitures illustrée par la Figure 1(a).
Q3 - Soit une liste représentant une file de longueur et un entier tel que . Définir en Python la fonction occupe(L, i) qui renvoie True lorsque la case d'indice de la file est occupée par une voiture et False sinon.
Q4 - Combien existe-t-il de files différentes de longueur ? Justifier votre réponse.
Q5 - Écrire une fonction egal(L1, L2) retournant un booléen permettant de savoir si deux listes et sont égales.
Q6 - Que peut-on dire de la complexité de cette fonction?
Q7 - Préciser le type de retour de cette fonction.

Partie II. Déplacement de voitures dans la file

On identifie désormais une file de voitures à une liste. On considère les schémas de la Figure 2 représentant des exemples de files. Une étape de simulation pour une file consiste à déplacer les voitures de la file, à tour de rôle, en commençant par la voiture la plus à droite, d'après les règles suivantes :
  • une voiture se trouvant sur la case la plus à droite de la file sort de la file;
  • une voiture peut avancer d'une case vers la droite si elle arrive sur une case inoccupée;
  • une case libérée par une voiture devient inoccupée;
  • la case la plus à gauche peut devenir occupée ou non, selon le cas considéré.
On suppose avoir écrit en Python la fonction avancer prenant en paramètres une liste de départ, un booléen indiquant si la case la plus à gauche doit devenir occupée lors de l'étape de simulation, et renvoyant la liste obtenue par une étape de simulation.
Par exemple, l'application de cette fonction à la liste illustrée par la Figure 2(a) permet d'obtenir soit la liste illustrée par la Figure 2(b) lorsque l'on considère qu'aucune voiture nouvelle n'est introduite, soit la liste illustrée par la Figure 2(c) lorsque l'on considère qu'une voiture nouvelle est introduite.
(a) Liste initiale
Figure 2 - Étape de simulation
Q8 - Étant donnée la liste définie à la question 2, que renvoie avancer(avancer( , False), True) ?
Q9 - On considère une liste et l'indice d'une case de cette liste ( ). On s'intéresse à une étape partielle où seules les voitures situées sur la case d'indice ou à droite de cette case peuvent avancer normalement, les autres voitures ne se déplaçant pas.
Définir en Python la fonction avancer_fin qui réalise cette étape partielle de déplacement et renvoie le résultat dans une nouvelle liste sans modifier .
Q10 - Soient une liste, un booléen et l'indice d'une case inoccupée de cette liste. On considère une étape partielle où seules les voitures situées à gauche de la case d'indice se déplacent, les autres voitures ne se déplacent pas. Le booléen indique si une nouvelle voiture est introduite sur la case la plus à gauche.
nouvelle voiture n'est introduite.
Définir en Python la fonction avancer_debut qui réalise cette étape partielle de déplacement et renvoie le résultat dans une nouvelle liste sans modifier .
Q11 - On considère une liste dont la case d'indice est temporairement inaccessible et bloque l'avancée des voitures. Une voiture située immédiatement à gauche de la case d'indice ne peut pas avancer. Les voitures situées sur les cases plus à gauche peuvent avancer, à moins d'être bloquées par une case occupée, les autres voitures ne se déplacent pas. Un booléen indique si une nouvelle voiture est introduite lorsque cela est possible.
Par exemple, la file | | | | | | | | | | devient | | | | | | | | | nouvelle voiture n'est introduite.

Définir en Python la fonction avancer_debut_bloque qui réalise cette étape partielle de déplacement et renvoie le résultat dans une nouvelle liste.
On considère dorénavant deux files et de même longueur impaire se croisant en leur milieu ; on note l'indice de la case du milieu. La file est toujours prioritaire sur la file . Les voitures ne peuvent pas quitter leur file et la case de croisement ne peut être occupée que par une seule voiture. Les voitures de la file ne peuvent accéder au croisement que si une voiture de la file ne s'apprête pas à y accéder. Une étape de simulation à deux files se déroule en deux temps. Dans un premier temps, on déplace toutes les voitures situées sur le croisement ou après. Dans un second temps, les voitures situées avant le croisement sont déplacées en respectant la priorité. Par exemple, partant d'une configuration donnée par la Figure 3(a), les configurations successives sont données par les Figures 3(b), 3(c), 3(d), 3(e) et 3(f) en considérant qu'aucune nouvelle voiture n'est introduite.
Figure 3 - Étapes de simulation à deux files

Partie III. Une étape de simulation à deux files

L'objectif de cette partie est de définir en Python l'algorithme permettant d'effectuer une étape de simulation pour ce système à deux files.
Q12 - En utilisant le langage Python, définir la fonction avancer_files( ) qui renvoie le résultat d'une étape de simulation sous la forme d'une liste de deux éléments notée sans changer les listes et . Les booléens et indiquent respectivement si une nouvelle voiture est introduite dans les files et . Les listes et correspondent aux listes après déplacement.
Q13 - On considère les listes
Que renvoie l'appel avancer_files( , False, , False)?

Partie IV. Transitions

Q14 - En considérant que de nouvelles voitures peuvent être introduites sur les premières cases des files lors d'une étape de simulation, décrire une situation où une voiture de la file serait indéfiniment bloquée.
Figure 4 - Étude de configurations
Q15 - Étant données les configurations illustrées par la Figure 4, combien d'étapes sont nécessaires (on demande le nombre minimum) pour passer de la configuration 4(a) à la configuration 4(b) ? Justifier votre réponse.
Q16 - Peut-on passer de la configuration 4(a) à la configuration 4(c) ? Justifier votre réponse.

Partie V. Atteignabilité

Certaines configurations peuvent être néfastes pour la fluidité du trafic. Une fois ces configurations identifiées, il est intéressant de savoir si elles peuvent apparaître. Lorsque c'est le cas, on dit qu'une telle configuration est atteignable.
Pour savoir si une configuration est atteignable à partir d'une configuration initiale, on a écrit le code incomplet donné en annexe.
Le langage Python sait comparer deux listes de booléens à l'aide de l'opérateur usuel , on peut ainsi utiliser la méthode sort pour trier une liste de listes de booléens.
Q17 - Écrire en langage Python une fonction elim_double(L) non récursive, de complexité linéaire en la taille de , qui élimine les éléments apparaissant plusieurs fois dans une liste triée et renvoie la liste triée obtenue. Par exemple elim_double ( ) doit renvoyer la liste [ ].
On dispose de la fonction suivante :
def doublons(liste):
    if len(liste)>1:
        if liste[0] != liste[1]:
            return [liste[0]] + doublons(liste[1:])
        del liste[1]
        return doublons(liste)
    else:
        return liste
Q18 - Que retourne l'appel suivant?
doublons([1, 1, 2, 2, 3, 3, 3, 5])
Q19 - Cette fonction est-elle utilisable pour éliminer les éléments apparaissant plusieurs fois dans une liste non triée? Justifier.
Q20 - La fonction recherche donnée en annexe permet d'établir si la configuration correspondant à but est atteignable en partant de l'état init. Préciser le type de retour de la fonction recherche, le type des variables but et espace, ainsi que le type de retour de la fonction successeurs.
Q21 - Afin d'améliorer l'efficacité du test if but in espace, ligne 10 de l'annexe, on propose de le remplacer par if in1(but, espace) ou bien par if in2(but, espace), avec in1 et in2 deux fonctions définies ci-dessous. On considère que le paramètre liste est une liste triée par ordre croissant.
Quel est le meilleur choix? Justifier.
def in1(element,liste):
    a = 0
    b = len(liste)-1
    while a <= b and element >= liste[a]:
        if element == liste[a]:
            return True
        else:
            a = a + 1
    return False
def in2(element,liste):
    a = 0
    b = len(liste)-1
    while a < b:
        pivot = (a+b) // 2 # l'opérateur // est la division entière
        if liste[pivot] < element:
            a = pivot + 1
        else:
            b = pivot
    if element == liste[a]:
        return True
    else:
        return False
Q22 - Afin de comparer plus efficacement les files représentées par des listes de booléens on remarque que ces listes représentent un codage binaire où True correspond à 1 et False à 0 . Écrire la fonction versEntier(L) prenant une liste de booléens en paramètre et renvoyant l'entier correspondant. Par exemple, l'appel versEntier([True, False, False]) renverra 4.
Q23 - On veut écrire la fonction inverse de versEntier, transformant un entier en une liste de booléens. Que doit être au minimum la valeur de taille pour que le codage obtenu soit satisfaisant? On suppose que la valeur de taille est suffisante. Quelle condition booléenne faut-il écrire en ligne 4 du code ci-dessous?
def versFile(n, taille):
    res = taille * [False]
    i = taille - 1
    while ...:
        if (n % 2) != 0: # % est le reste de la division entière
            res[i] = True
        n = n // 2 # // est la division entière
        i = i - 1
    return res
Q24 - Montrer qu'un appel à la fonction recherche de l'annexe se termine toujours.
Q25 - Compléter la fonction recherche pour qu'elle indique le nombre minimum d'étapes à faire pour passer de init à but lorsque cela est possible. Justifier la réponse.

Partie VI. Base de données

On modélise ici un réseau routier par un ensemble de croisements et de voies reliant ces croisements. Les voies partent d'un croisement et arrivent à un autre croisement. Ainsi, pour modéliser une route à double sens, on utilise deux voies circulant en sens opposés.
La base de données du réseau routier est constituée des relations suivantes :
  • Croisement(id, longitude, latitude)
  • Voie(id, longueur, id_croisement_debut, id_croisement_fin)
Dans la suite on considère l'identifiant (id) d'un croisement donné.
Q26 - Écrire la requête SQL qui renvoie les identifiants des croisements atteignables en utilisant une seule voie à partir du croisement ayant l'identifiant .
Q27 - Écrire la requête SQL qui renvoie les longitudes et latitudes des croisements atteignables en utilisant une seule voie, à partir du croisement .
Q28 - Que renvoie la requête SQL suivante?
SELECT V2.id_croisement_fin
FROM Voie as V1
JOIN Voie as V2
ON V1.id_croisement_fin = V2.id_croisement_debut
WHERE V1.id_croisement_debut = c

Annexe

def recherche(but, init):
    espace = [init]
    stop = False
    while not stop:
        ancien = espace
        espace = espace + successeurs(espace)
        espace.sort() # permet de trier espace par ordre croissant
        espace = elim_double(espace)
        stop = egal(ancien,espace) # fonction définie à la question 5
        if but in espace:
            return True
    return False
def successeurs(L):
    res = []
    for x in L:
        L1 = x[0]
        L2 = x[1]
        res.append( avancer_files(L1, False, L2, False) )
        res.append( avancer_files(L1, False, L2, True) )
        res.append( avancer_files(L1, True, L2, False) )
        res.append( avancer_files(L1, True, L2, True) )
    return res
# dans une liste triée, elim_double enlève les éléments apparaissant plus d'une fois
# exemple : elim_double([1, 1, 2, 3, 3]) renvoie [1, 2, 3]
def elim_double(L):
    # code à compléter
# exemple d'utilisation
# debut et fin sont des listes composées de deux files de même longueur impaire,
# la première étant prioritaire par rapport à la seconde
debut = [5*[False], 5*[False]]
fin = [3*[False]+2*[True], 3*[False]+2*[True]]
print(recherche(fin,debut))

Fin de l'épreuve.

Mines Informatique Commune MP PC PSI 2017 - Version Web LaTeX | WikiPrépa | WikiPrépa