You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
86 lines
940 B
86 lines
940 B
p cnf 16 80
|
|
c premier chiffre = nbre dde variables ici de 1 a 16, deuxieme = nombre de lignes (clauses)
|
|
c ex 1 : lignes :
|
|
-1 -2 0
|
|
-1 -3 0
|
|
-1 -4 0
|
|
-2 -3 0
|
|
-2 -4 0
|
|
-3 -4 0
|
|
-5 -6 0
|
|
-5 -7 0
|
|
-5 -8 0
|
|
-6 -7 0
|
|
-6 -8 0
|
|
-7 -8 0
|
|
-9 -10 0
|
|
-9 -11 0
|
|
-9 -12 0
|
|
-10 -11 0
|
|
-10 -12 0
|
|
-11 -12 0
|
|
-13 -14 0
|
|
-13 -15 0
|
|
-13 -16 0
|
|
-14 -15 0
|
|
-14 -16 0
|
|
-15 -16 0
|
|
c ex 2 : colonnes :
|
|
-1 -5 0
|
|
-1 -9 0
|
|
-1 -13 0
|
|
-5 -9 0
|
|
-5 -13 0
|
|
-9 -13 0
|
|
-2 -6 0
|
|
-2 -10 0
|
|
-2 -14 0
|
|
-6 -10 0
|
|
-6 -14 0
|
|
-10 -14 0
|
|
-3 -7 0
|
|
-3 -11 0
|
|
-3 -15 0
|
|
-7 -11 0
|
|
-7 -15 0
|
|
-11 -15 0
|
|
-4 -8 0
|
|
-4 -12 0
|
|
-4 -16 0
|
|
-8 -12 0
|
|
-8 -16 0
|
|
-12 -16 0
|
|
c ex 3 : diagonales :
|
|
-9 -14 0
|
|
-5 -10 0
|
|
-5 -15 0
|
|
-10 -15 0
|
|
-1 -6 0
|
|
-1 -11 0
|
|
-1 -16 0
|
|
-6 -11 0
|
|
-6 -16 0
|
|
-11 -16 0
|
|
-2 -7 0
|
|
-2 -12 0
|
|
-7 -12 0
|
|
-3 -8 0
|
|
-2 -5 0
|
|
-3 -6 0
|
|
-3 -9 0
|
|
-6 -9 0
|
|
-4 -7 0
|
|
-4 -10 0
|
|
-4 -13 0
|
|
-7 -10 0
|
|
-7 -13 0
|
|
-10 -13 0
|
|
-8 -11 0
|
|
-8 -14 0
|
|
-11 -14 0
|
|
-12 -15 0
|
|
c ex 4 : doit contenir au moins une reine pare ligne :
|
|
1 2 3 4 0
|
|
5 6 7 8 0
|
|
9 10 11 12 0
|
|
13 14 15 16 0 |