PC* Carnot Dijon

L= [7,2,5,8,4,6,2,3,6]
L1= [1,3,5,7,9,12]
L2= [9,7,6,4,2,1]
a
i

n
p
p/2
∀a∈A, ∀b∈B, a ≤b
L= [3,1,6,7, D, 9,5,8,10, R, V, 2,4]
a[i]a[j]
a g, d
0≤g < d ≤len(a)a[g]
[a[g], . . . , a[d]]
[a[g]], a[g],[a[g]]

C(n)n
C(n) = n−1 + C(n−1)
C(n) = n−1+2C(n/2)
C(n)∼nln(n)

L= [x0, . . . , xn−1]n L′= [x′
0, . . . , x′ n−1]
L
n n = 2p+ 1 L
α=x′
pp L α p
L α
n
x′
p−1x′ p
n O(nln(n))
O(n)
n