SUJETS D’EXAMENS

- SCIENCES -
Pour avoir accès au sommaire des fichiers, ouvrez les signets :

Cliquez sur
cette icône
Et naviguez dans les
signets
SEMESTRE 9
 Examen de Logique, îVI2 IîVID, 29 novembre 2022
Durée : 2h. Tous documents autorisés.
Toutes les réponses doivent être justifiées.
Le sujet est recto-verso.
Dans un exercice, on peut toujours admettre les résidtats des questions précédentes.

Exercice 1.
1. Démontrez f- (A ⇒ B) V (B ⇒ A) dans NK ou LK au choix.
2. L'énoncé suivant :

Pour toutes form1tles propositionnelles A et B,

on peut prouver A f--- B O'/.L B f--- A dans LK

est-il vrai?
3. Expliquez pourquoi on ne peut pas dériver f- (A ⇒ B) V (B ⇒ A) dans LJ en
général.

Exercice 2. Pour tout À-terme purs, on note r;(s) = /\x.sx ( en choisissant

x (j_ VL(s) : notez que r;(s) est défini de manière unique à a-équivalence près).
1
1. Montrez que sis est une abstraction alors r;(s)-+13s.
2. Montrez que r;(s) t-+13 st.
3. Montrez que r;(s1) =!3 r;(s2) ssi, pour tout terme t, on as 1 t =!3s2 t.
4. Montrez que sis est ,6-normal 2 et r;(s) ne l'est pas, alors s est une abstraction.
5. Trouvez un termes tel que s -=l, 13 r;(s).

On va maintenant considérer une version typée de ry, définie sur les termes
( ) := >.xA s
typés à la Church. Pour tout termes, on note T/As . x ( en choisissant
encore x (j_ VL(s)).
6. Montrez que sis:A-+B alors T/A(s):A-+B.
On considère maintenant une relation -+ 17 sur les termes simplement typés à la
Church, donnée par les règles suivantes :
s:A-+B s n'est pas une abstraction
---------------- ("ryü)
S --'t ry T/As
( )
s-+1/ s' t-+'1 t'
( 17 l) (172)
À x.s -----+ ry >.x.s' St U1 ···'/.ln --'t ry St' U1 · ·· Un

7. f\/Iontrez que sis: A, s est ,6-normal et s -+,1s' alorss' : A et s' est ,8-normal.
On définit inductivement le poids d'un type par a(X) = 0 et a(A -+ B) =
1 +a(A) +a(B) ( où X est un type de base): a(A) n'est rien d'autre que le nombre
de-+ dans A.
1. Une astuce : c'est très facile si on choisit bien la variable de l'abstraction...
2. C'est-à-dire irréductible pour ----'tfJ.
 AIX-MARSEILLE UNIVERSITÉ
Théorie Algorithmique des Nombres
https://www.i2m.univ-amu.fr/perso/david.kohel/tch/M2-TAN/

Examen maison

Les q,tatre exercices sont à rendre le lundi 28 novembre. À la base d'un des exercices 2 à
4, préparez un exposé de 10 minutes à présenter le 28 novembre. L'exposé peut focaliser
sûr 'une partie particul-ière de l'exercice qui illustre un Olt des éléments clefs du problème.

1. Comparer les complexités des algorithmes

pas de bébé, pas de géant,
- Pollarcl rho, et
- crible quadratique
pour la factorisation d'un entier n. Expliquer le rôle de ces algorithmes clans le choix
de n = pq du procole RSA pour chiffrement. En particulier, quel est leur rapport
avec la complexité des algorithmes pour multiplication des entiers, pour réduction
modulaire (mod n) et pour exponentiation, et la complexité pour factorisation?

2. On étudie le rôle des fonctions J(x) = x2 + 1 et g(x) = x2 + 7 dans l'algorithme

Pollare! rho pour la factorisation.
a. Décrire l'algorithme Pollare! rho pour factorisation d'un entier composé n en
utilisant une fonction de la forme x 2 + a.
b. Soit p = 17. Poser S0 = IF 17 et Si +t = /(Si ) pour tout i 2:: O. Décrire graphi­
quement la structure de cycles et queues dans IF 17 par rapport à la fonction
f(x) = x 2 + 1, et déterminer la suite (ISi l) des cardinaux.
c. Répéter l'exercice précédent pour la fonction g(x) = x2 + 7.
d. Soit n = 1173. Trouver la factorisation den avec l'algorithme de Pollare! rho, en
utilisant la fonction/, en détaillant la suite (ai, a 2i), à partir de (ao, ao ) = (1, 1).
e. Répéter l'exercice précédent avec la fonction g. Qu'est-ce qu'on peut en déduire
concernant le rôle de la fonction ( de la forme x 2 + a) ?

3. Soit p = 536871263, et remarquer que q = (p - 1)/2 est premier.

a. Décrire l'algorithm Pollare! rho pour resoudre le logarithme discret.
b. l\ Iontrer que 2, 3 et 7 sont des carrés dans IF;.
1

c. Utiliser l'algorithme pom résoudre les logarithmes discrets log2 (3) et log2 (7).
Pourquoi sont les résultats bien-définis clans 'Il/ q'll?
d. En notant que -1, 5 et 11 ne sont pas des carrés, quel est le résultat de l'algo­
rithme de Pollare! rho à la base 2?
e. Trouver une base de relations, dans 'll5, entre 2, 3, -5, 7 et -11 E IF';. Comment
démontrer que le groupe des relations connues est complet?
 Année universitaire 2022/2023

Site : IZI Luminy □ St-Charles □ St-Jérôme D Cht-Gombert □ Aix-Montperrin □ Aubagne-SATIS

Sujet de : IZI 1er semestre D 2 ème semestre D Session 2 Durée de l'épreuve : 3h
Examen de : M2 Nom du diplôme : IMD
Code du module : Libellé du module : Algorithmes et Complexité
Calculatrices autorisées : oui Documents autorisés : OUI, notes de cours/TD /TP

1 Prog. Dynamique Le plus grand PLUS d'une matrice 0-1 (4

pts)
Etant donné un tableau l'vl de dimension n x n dont les entrées sont des O ou des 1, un PLUS est un
ensemble des 1 de la forme d'un plus (croix). Formellement, on dit qu'on a un PLUS de taille k et d'origine
(i,j) si
l'vl(i,j - k) = · · · = i'l
v (i,j - 1) = lvl(i,j) = M(i,j + 1) = · · · = lvl(i,j + k) = 1
et
l\1/(i - k,j) = · · · = AI(i - l,j) = M(i,j) = M(i + l,j) = · · · = M(i + k,j) = 1.
l. Formuler les sous-problèmes et la formule recursive pour trouver un PLUS de taille maximum d'une
matrice 0-1 Men O(n2 ).
2. Ecrire le pseudo-code.

2 Prog. Dynamique : stable de poids maximum (5 pts)

Un stable dans un graphe C = (V, E) est un ensemble de sommets S Ç V, non-adjacents deux-à-cieux :
pour tous u E S et v E S, u et v ne sont pas adjacents (uv r/; E). Etant donné un fonction de poids
tu : V ➔ ]R + , le poids d'un ensemble independent S est w(S) = L xES w(x). Un stable de poids maximum
est un stable de G de poids maximum.
Le produit Cartésien G1 x G2 de deux graphes G 1 = (Vi, E1 ) et C2 = (V2 , E2 ) est le graphe ayant comme
sommets l'ensemble des paires (u 1 ,v2), u 1 E Vi,v2 E V2 et deux sommets (u1,u 2 ) et (u1, u2 ) sont adjacents
dans C 1 x G2 si et seulement si u 1 = u 1 et u2 u2 EE2 ou u1 u1 EE 1 et u2 = v2.
Considerons le problème du stable de poids maximum dans un graphe G = I<n x T ou I<n est une clique
avec n sommets et T est un arbre avec m sommets.
1. Combien des sommets et des aretes a le graphe G?
2. En vous inspirant de l'algorithme du stable de poids maximum d'un arbre (vue en cours) décrire
un algorithme et analyser sa complexité pour calculer le stable de poids maximum de G = I<,, x T.
Formuler les types de sous-problèmes et donner la formule récursive pour les résoudre.

3 Approximation : stables de poids maximum et k-dégénérescence

(5 pts)
Soit C = (V, E) un graphe et soit w : V ➔ ]R + un fonction de poids. Soit t:,. le degré maximum de G :
!:,. = max{deg(v): v EV}. Un graphe C est dit /.,;-dégénéré si il existe un ordre total u1, ... , Un des sommets
de C tel que pour tout i, le sommet u; a au plus /.,; voisins uj avec j < i. On appelera u 1, •.. , Un l'ordre
d'élimination de Cet on notera par G; = G[u 1, ... , u;] le sous-graphe induit par les sommets v 1, .... u;.
l. :-•Iontrer que tout arbre est 1-dégénéré.
2. Formuler l'algorithme glouton pour le problème du stable de poids maximum dans un graphe.
3. Montrer que l'algorithme glouton n'a pas de facteur d'appximation constant pour les arbres.
4. Montrer que l'algorithme glouton a un facteur d'approximation ½ pour tout graphe C de degré
maximum!:,..
 Faculté
( des Sciences Année universitaire 2022/2023
AixiMarseille Université

Site: l8l Luminy □ St-Charles □ St-Jérôme □ Cht-Gombert □ Aix-Montperrin □ Aubagne-SATIS

Sujet de : l8l 1 er semestre D 2 ème semestre D Session 2 Durée de l'épreuve : 2h
Examen de: M2 Nom du diplôme: Master IJ\IID
Code du module : SMACUA4 Libellé du module: Modèles de calcul et systèmes dynamiques
Calculatrices autorisées : NON Documents autorisés : NON

Les exercices sont indépendants et peuvent donc être traités dans n'importe quel ordre. On attend des réponses
justifiées et aussi formelles que possible.
Définition. On dit qu'un système dynamique P sur un espace X est nilpotent s'il existe un temps t E lN tel que pt est une
fonction constante.
Exercice 1. (Réseaux d'automates et systèmes dynamiques finis)
1. Décrivez en une ou deux phrases à quoi ressemble le graphe de transition d'un système dynamique déterministe
nilpotent.
2. Soit f = Uo,!1, h} le réseau d'automates booléens de taille 3 tel que fo(x) = Xo V ,(x 1 EBx2), f i (x) = ,x0 /\ (x 1 V x2) et
h(x) = (xo EB xi)/\ ,(x1 /\ x2), où x est une configuration de {0, 1 }3 et EB est l'opérateur booléen du « ou exclusif» tel
que a œ b = (a/\ ,b) V (,a/\ b). Soit 7î" =( { 0, 1, 2}) le mode de mise à jour parallèle. Montrez que le système dynamique
(f, 7î") est nilpotent.
3. Montrez que si un réseau d'automate f : X" -+ x n a un graphe d'interaction GI acyclique, alors tout système
dynamique fondé sur lui et un mode de mise à jour « raisonnable»(exécutant la mise à jour de chaque automate un
nombre infini de fois) est nilpotent.
4. La question précédente induit que la présence d'un cycle clans le graphe d'interaction d'un réseau d'automates est
nécessaire pour que son système dynamique soit non-nilpotent lorsque que le réseau est soumis à un mode de mise à jour
« raisonnable ». Considérons ici les réseaux d'automates booléens évoluant selon le mode de mise à jour parallèle. On
distingue classiquement clans ces réseaux les cycles positifs (nombre pair d'arcs négatifs) et les cycles négatifs(nombre
impair d'arcs négatifs). Montrez que la présence d'un cycle positif(resp. d'un cycle négatif) n'est pas suffisante pour

(
la non-nilpotence.
Considérons à présent le réseau d'automates booléens f défini par :

fo(x) XJ )

f(x) =
fi(x) Xo
h(x) Xo V •X3
h(x) •X1 /\ X2

5. Dessinez le graphe d'interaction signé de f.

6. Soit 1r = ( {0, 1, 2, 3}) le mode de mise à jour parallèle associé à f. Dessinez le graphe de transition de (f, 7r). Le système
dynamique (f, 1r) est-il nilpotent?
7. Soit /t= ( { 2, 3}, { 0, 1}) une partition ordonnée définissant un mode de mise à jour bloc-séquentiel de f. Sans calculer
(f,1i), montrez que(!,µ)= (f,1r).
8. A quelle classe de complexité algorithmique appartient le problème suivant : étant donnés cieux réseaux d'automates
booléens J et g de taille n, existe-t-il un mode de mise à jour bloc-séquentiel /t tel que (f, ft) = (g, 1r)? avec 1r =
( {0, 1, ... , n - 1}) le mode de mise à jour parallèle de taille n.

Exercice 2. (Automates cellulaires et nilpotence)

On considère ici la définition de nilpotence donnée au début du sujet, plus faible que celle donnée en cours.
1. �Iontrer que si P est un automate cellulaire nilpotent cl 'indice t sur A71, , alors p t(x) est une configuration constante
pour tout x E A'l. C'est à dire qu'il existe a E A et t E lN tel que Vx E A71, , P1 (x) = a 71, .
2. On note a la translation par une lettre vers la gauche. Décrire une configuration x E A71, qui soit a-transitive, c'est à
dire telle que {ai (x)I i E �} = A 71, .
3. En déduire que si Pest un automate cellulaire tel que :la E A,Vx E A 71, ,:lt E il\,F 1 (x) = 0 71, , alors Fest nilpotent.
 Faculté
( des Sciences Année universitaire 2022/2023
Aix♦Marsellle Université

Site : C8J Luminy D St-Charles D St-Jérôme D Cht-Gombert D Aix-Montperrin D Aubagne-SATIS

Sujet de : C8J 1er semestre D 2 ème semestre D Session 2 Durée de l'épreuve : 2h
Examen de : M2 Nom du diplôme : Master Informatique - Parcours GIG
Code du module : SINCU78L Libellé du module : Géométrie Discrète
Calculatrices autorisées : NON Documents autorisés : OUI, notes de Cours/TD/TP

Exercice 1 Cercles de Ford (5 points)

On rappelle que les suites de Farey Fn d'ordre n sont les séries croissantes de fractions irréductibles entre O et 1,
f,
dont les dénominateurs n'excèdent pas n. Si�< sont 2 termes successifs d'une suite Fn, alors qp' -pq' = 1.
Soit � E Fn , on appelle cercle de Ford associé à � le cercle Cp,q de centre c = ( �, �) et de rayon r = �-

( · .a) À partir de F1 = { �, ½}, construire F5 .

1.b) Soit� E Fn. Le cercle de Ford Cp,q est-il tangent à Ox? Justifier.
l.c) Soit � < � des termes successifs de Fn , Montrer que les 2 cercles de Ford associés sont tangents
(comparer la distance des centres et la somme des rayons).
1.d) En vous servant des propriétés précédentes, dessiner les cercles de Ford associés aux termes de F4 (prendre
pour unité la hauteur de 10 lignes; on a : zx\2 = 0.5 , 2;22 = 0.125 , 2)32 � 0.0555 , 2x142 = 0.03125).

Exercice 2 Distances de chanfrein (5 points)

Soit M = { (x, y, w) : x, y E Z, w > 0} un masque de chanfrein central-symétrique, où w est le poids associé

au déplacement (x, y); on note le demi-masque associé M' = { (x, y, w) E M: y> 0 ou (y= 0 et x > O) }.
2.a) En vous servant de ces notations, donner en pseudo-code l'algorithme de transformation de distance
séquentiel de Rosenfeld pour M, qui prend en entrée une image I de taille L x H et calcule l'image des
distances DT.
2.b) Donner en pseudo-code un algorithme pour générer une image J contenant une boule de rayon R et de
centre C pour la distance de chanfrein induite par M.

Exercice 3 Morphologie mathématique (5 points)

3.a) Donnez la définition de la transformée en tout-ou-rien (0) avec des érosions ( 8) et une paire d'éléments
structurants.
3.b) En utilisant la transformée en tout-ou-rien (0), écrivez le pseudo-code de l'algorithme qui supprime toutes

=�--
les branches de l'objet discret de la Figure 1 (gauche) afin d'obtenir l'objet de la Figure 1 (centre).

■ - -- -
-- 1 1

., ----
- 11
■-- ■■_,_
■
,__H:.. �1--
•■ H--1- 1-�1- 1-

-
1 1 1 1 1
■
--
1 1 1
1
1 ■1 1 f--.1-
1
1
1
1 �

FIGURE 1 - Gauche : objet discret à élaguer. Centre : objet discret élagué. Droite : Voisinage.

Géométrie discrète 1 UE SINCU78L - CC BY-SA Édouard Thiel, Aldo Conzalcz-Lorenzo, Ricardo Uribc Lobcllo 1
 Faculté
( des Sciences Année universitaire 2020/2021
� Aix Marseille Université

Site : [81 Luminy D St-Charles D St-Jérôme D Cht-Gombert □ Aix-Montperrin D Aubagne-SATIS

Sujet de: [81 1er
semestre D2 ème
semestre □ Session 2 Durée de l'épreuve : 2h
Examen de: M2 Nom du diplôme: Master Informatique - Parcours GIG
Code du module: SINCU78L Libellé du module: Géométrie Discrète
Calculatrices autorisées : NON Documents autorisés : OUI, notes de Cours/TD/TP

Exercice 1 Cercles de Ford

On rappelle que les suites de Parey Fn d'ordre n sont les séries croissantes de fractions irréductibles entre O et 1,
dont les dénominateurs n'excèdent pas n. Si � < f, sont 2 termes successifs cl'une sui te Fn , alors q p' - p q' = 1.
Soit � E F,i, on appelle cercle de Ford associé à � le cercle Cp ,q de centre c = ( �, �) et de rayon r = �.
La) Construire F5 .
Lb) Soit � E F,1 • Le cercle de Ford Cp ,q est-il tangent à Ox? Justifier.
Le) Soit �: < � des termes successifs de Fn , Montrer que les 2 cercles de Ford associés sont tangents
(comparer la distance des centres et la somme des rayons).
Ld) En vous servant des propriétés précédentes, dessiner les cercles de Forci associés aux termes de F4 (prendre
pour unité la hauteur de 10 lignes; on a: 2;12 = 0.5 , 2;22 = 0.125 , 2 x\2 '.:'-'. 0.0555 , 2 x\2 = 0.03125).

Exercice 2 Distances de chanfrein

Soit lv/ = {(x,y,w): .rc,y E Z, w > O} un masque de chanfr ein central-symétrique, où w est le poids associé
au déplacement (x, y); on note le demi-masque associé Jvl' = { (x, y, w) E 111: y> 0 ou (y= 0 et x > 0) }.
2.a) En vous servant de ces notations, donner en pseudo-code l'algorithme de transformation de distance de
Rosenfeld pour Al/, qui prend en entrée une image Ide taille Lx H et calcule l'image des distances DT.
2.b) Quelle méthode employer pour générer une image J qui contiendrait une boule de rayon R et de centre
C pour la distance de chanfrein induite par M?

Exercice 3 Morphologie mathématique

Nous rappelons les définitions des opérations d'érosion et de dilatation pour le cas avec des niveaux de gris,
avec f une fonction représentant une structure (forme, image... ), b un élément structurant et E un ensemble,

c(J)(x) = inf[f(y) - b(y - x)] (1)

yEE
'5(J)(x) = sup[f(y) + b(y - x)] (2)
yEE

3.a) Quelles sont les propriétés de bases des opérateurs d'érosion et de dilatation?
3.b) Donner la définition de l'ouverture et la fermeture. Quelles sont leurs propriétés?
3.c) Quelles combinaisons d'opérateurs permettent de construire des gradients? À quoi peuvent-ils servir?

Géon"lét,rie discrète, UE SINCU78L - CC IJY-SA Édouard Thicl 1 F'rançois-Xavicr Dupé, llicardo Urîbc Lobello 1
 Master GIG 2ème année - Année universitaire 2022 / 2023 - Jeudi 5 janvier 2023
Modèles géométriques : représentations et traitement - Contrôle de connaissances
Durée : 1 h30 - Documents, calculatrices et téléphones portables non autorisés

Questions en lien avec le cours de Ricardo Uribe Lobello (à rendre sur une copie à part) :

1. Qu'est-ce que le Laplacien d'une fonction et comment est-ce que nous pouvons le discrétiser sur un maillage ?
Expliquez de manière détaillée la méthode de discrétisation présentée en cours.

2. Expliquez la méthode de lissage par diffusion et quelle est sa relation avec les méthodes d'optimisation
utilisées pour fermer des trous dans des maillages.

3. Expliquez la méthode de Voronoï Centroidaf pour obtenir des maillages réguliers et avec des triangles de
meilleure qualité (plus équilatéraux).

Article : Fernando de Goes, Andrew Butts and Mathieu Desbrun. 2020. Discrete Differential Operators on Polygonal
Meshes. ACM Trans. Graph. 39, 4, Article 110, July 2020.

Répondez aux questions dans l'ordre.

Question 1
Quel est le thème général de cet article? De quoi traite cet article?

Question 2
Sur quels types d'objets les méthodes présentées peuvent-elles s'appliquer?
Quelle sont les sorties des méthodes présentées?

Question 3
Quelles sont les approches existantes qui permettent de traiter le problème présenté? Quelles sont leurs limites ?

Question 4
Quelles sont les contributions que les auteurs développent dans cet article?
Qu'apporte cet article par rapport à l'existant ?
Quel est l'atout principal des méthodes développées, comparées aux autres approches?

Question 5
Qu'est-ce qu'une 1-forme différentielle ?

')uestion 6
Qu'est-ce que le DEC (Discrete Exterior Ca/eu/us)? En quoi est-ce utile?

Question 7
Qu'est-ce que l'opérateur « gradient » ? Comment est-il calculé?

Question 8
Quels sont les différents opérateurs développés dans cet article? Citez-les.

Question 8
Qu'est-ce que le « discrete fiat operator » ? A quoi sert-il ?

Question 9
Qu'est-ce que le « discrete sharp operator » ? A quoi sert-il ?

Question 9
Quelles sont les différentes applications possibles des méthodes proposées dans cet article?

Question 10
Quelles sont les limites de l'approche proposée?

Question 11
Quelles sont les pistes proposées par les auteurs pour des travaux futurs ?
Page 1 sur 1
M2 Informatique FSI - Luminy - Sujet d'examen SA2 - Année 2020/2021

M2 FSI - Examen SA2

1) Modélisation des menaces - 8 points
Vous êtes sollicité-e pour aider une société à identifier d'éventuels problèmes de sécurité sur un projet de
site web de vente en ligne. Ce projet est développé en interne avec l'aide d'une équipe de consultants. On
vous demande de réaliser une analyse de menaces, en apportant une attention particulière sur le premier
composant en cours d'architecture: L'authentification des utilisateurs.

Une collègues a préparé un diagramme de modélisation des menaces (fig. 1) comprenant les zones de
confiance et les interactions entre les différents éléments du système. Ainsi qu'un tableau d'analyse de
surface d'attaque (fig. 2). Elle a pris comme entrée: les documents d'architecture, les spécifications
techniques, fonctionnelles et les entretiens avec les équipes de développement.
r --�--�-------�------------�------��--�----�---�
Environnement g'execution (Machine physique GNU/Linux)

Fichier Configuration Configuration

/etc/shadow · Serveur Web application

Serveur Serveur
Application
SSH Web
(C++)
(OpenSSH) (apache)

'--------------------- �--------------�-------�--
------- ----------�--- ------------------------�
Internet

Administrateurs
et Développeurs Utilisateurs
Base de Donnees
(Client SSH) (navigateur web)
(Amazon ROS).

Fig. 1 - Diagramme de modélisation des menace

Page 1
Génie logiciel 2 Aix Marseille
Examen 2022/2023 u r11\1ersi té

Les documents ne sont pas admis pour cet examen. La durée est de 2 heures (sauf cas particulier) à
partir du moment où les copies sont distribuées. Le sujet comporte 10 exercices pour un total de 20
points.

Exercice 1 UML (1 point)

Quel type de relation représentent ces liaisons ? Quelles sont les différences entre les liaisons ci­
dessous? Que représentent-elles?

X >
X

>
Exercice 2 : UML (1 point)

1. Représentez un classeur de classe nommée User.

2. Ajoutez-y un attribut privé id de type int, un public name de type string et un protected
birthdate de type date.
3. Ajoutez-y une fonction publique getAge qui retourne un int et une méthode privée yearsAgo
qui prend en paramètre une date et retourne un int .
4. Créez une classe Admin qui hérite de User.

Page 1 sur 4