The "affaire de logique" Contest
From March to November 2017, Elisabeth Busser, Gilles Cohen and Jean-Louis Legrand organised a mathematical contest via the site Affaire de Logique, composed of 26 problems (1 per week), and numbered from 1001 to 1026. 25 of these problems have been evaluated on 40 points, for 1000 points in total.This section gathers some problems which I have modeled with a program. I add some comments about the modelisation or the complexity, as well as the correct answer.
For all these problems, the simplest approach, which is a naive enumeration, often has too large a complexity to terminate. Writing a program which solves the problem thus requires to reduce the space exploration. Without requiring to solve the problems manually, one often has to notice some properties on the form of the solutions, and the programs often lie on the segment between a full enumeration and a manual resolution. The space exploration reduction can also be consecutive to solving the problem with a full enumerative approach, but on smaller sizes, on which we can notice some properties.
- Problem 1001
- Problem 1002
- Problem 1003
- Problem 1004
- Problem 1005
- Problem 1006
- Problem 1007
- Problem 1008
- Problem 1009
- Problem 1010
- Problem 1011
- Problem 1012
- Problem 1013
- Problem 1014
- Problem 1015
- Problem 1016
- Problem 1017
- Problem 1018
- Problem 1019
- Problem 1020
- Problem 1021
- Problem 1022
- Problem 1023
- Problem 1024
- Problem 1025
- Problem 1026