formalisation
formalisation
conditions
well-known questions
combinatorical questions
combinatorical questions
usable tools
remarks on algorithm
bibliography