Autres techniques de recherche. Symétries et Contraintes

I
I
I
I
In n =
I
I
I
Q
Q
Q
Q
Q

Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
I
I
I
I

c D
IA c
D
IS c D S ⊆A
INorm :A→A
INorm Norm(Norm(x)) = Norm(x)
INorm−(x)
Ix∈S⇔Norm(x)∈S
Ix N x =N(x)
Iσ
I
I
Norm−
N
In X ,...,Xn
I
N(σ) = σ σ(X)≤n/
σ0:σ0(X) = n−σ(X)
IX≤n/
In C ,...,Cn
I
N(σ) = σ σ(C) =
σ σ(C)
IC=

I
Iσ(Ci)6∈ {σ(Cj)|j<i}
Iσ(Ci)> σ(Cj)i>j
I
I
I
Ic0
c c |=c0
Ic0
c
I
n
In×n n
I
I
In=−

−
−
I
I
I≤
I
X,<Xn,,Xn,<X,n,X,<Xn,n
I