MPRI 1-17: Complexité avancée
Feuilles d'exercices:
TD1
TD2
TD3
TD4
TD5
TD6
TD7
TD8
TD9 Ref:
Goldreich -
Zero knowledge
Goldreich -
ZK2
Transparent proofs (section 3.4.2)
Probabilistic proof
systems
MPRI 1-18: Automates d'arbres
Feuilles d'exercices:
TD1
TD2
TD3
TD4
TD5
TD6
TD7
TD8
TD9
TD10