Insertion

0 1 i i# (i+1)# (i+2)#
V xi+1 xi+2 …
1 …
W xi+1 xi+2
0 1 i i+1 i+2

Substitution
0 1 i (i+1)# (i+2)#
V xi+2 …
2 …
W xi+1 xi+2
0 1 i i+1 i+2

0 1 Deletion i (i+2)#
V xi+2 …
3
W xi+1 xi+2 …
0 1 i i+1 i+2
 {i+1}
{i+1} {n}
xi+1 xi+1 xn
pr(xi+1,xi+2) = (12)
xi+2 pr(xi+1,xi+2) = (11)
i i n-1 n {n#}
{i#,(i+1)#,(i+2)#}

{i#,(i+1)#} {(n-1)#,n#}
{i#,(i+1)#}

0 ≤ i ≤ n-2 0 ≤ i ≤ n-2 i = n-1 i=n

xi+1 {(i+1)#}

i# 0 ≤ i ≤ n-1 n# ∅

∅
 x2 x3 x4 x5
1# 2# 3# 4# 5#
x2 x3 x4 x5
x1

(012)# (123)# (234)# (345)# (45)#

(01)# (12)# (23)# (34)#

x2 x3 x4 x5
0 x1 1 x2 2 x3 3 x4 4 x5 5

x2 x2 x3 x4
1# 2# 3# 4# 5#
x2 x3 x4
x1
x2

x2
(012)# (234)# (345)# (45)#
(01)# (23)# (34)#
x2
(12)#

x2 x3 x4
0 x1 1 x2 2 x2 3 x3 4 x4 5
 {i+1} {i+1} {i+1} {i+1}
xi+1 xi+1 xi+1 xi+1
xi+2 {#: i,i+1,i+2}
xi+3 {#: i,i+1 xi+2 xi+2
i xi+3 i i {#: i,i+1,i+2} i {#: i,i+1,i+2}
{#: i,i+1 ##: i+3}
##: i+3}
{#: i,i+1} {#: i,i+1} {#: i,i+1} {#: i,i+1}

0 ≤ i ≤ n-3 0 ≤ i ≤ n-3 0 ≤ i ≤ n-3 0 ≤ i ≤ n-3

pr(xi+1,xi+2,xi+3) = (1,2,3) pr(xi+1,xi+2,xi+3) = (1,1,2) pr(xi+1,xi+2,xi+3) = (1,2,2) pr(xi+1,xi+2,xi+3) = (1,2,1)

xi+1 {i+1} {n-1} xn {n}

xn-1 {n-1}
i xn-1
n-1
{#: i,i+1} xn
n-2 {#: n-2,n-1,n} n-2 {#: n-1,n}
{#: n-2,n-1} i = n-1
0 ≤ i ≤ n-3
{#: n-2,n-1}
pr(xi+1,xi+2,xi+3) = (1,1,1)
i = n-2 i = n-2 n {#: n}
pr(xn-1,xn) = (1,2) pr(xn-1,xn) = (1,1) i=n
 Ins(¬x3) before x3
Subst(x3,¬x3)
x2 x3 x4 x5

x2 x4 x5 Ins(¬x5) before x5
x3
x1 x2 x3 x4 x5
Subst(x5,¬x5)
x2 x3 x4 x5
¬x1 ¬x2 ¬x3 ¬x4 ¬x5

x1 x2 x3 x4 x5 ?
Del(x3)
Ins(?) after x5
Del(x5)

x3 x4 x5
x2 x3 x3 x4 x4 x5 x5
x3 x4 x5
¬x2 ¬x3 ¬x4 ¬x5

x2 x3 x4 x5 ?
x1 x2 x2 x3 x3 x4 x4 x5 x5
x2 x3 x4 x5
¬x1 ¬x2 ¬x3 ¬x4 ¬x5

x1 x2 x3 x4 x5 ?
 x3 x4 x5
x3 x4 x5 deletion-deletion-transitions
x2 x3 x4 x5

x3 x4 x5 deletion of x3 followed by
¬x2 ¬x5 deletion of x4
x3 x4 x5
x2 x3 x4 x5 ?
x1 x2 x2 x3 x3 x4 x4 x5 x5
x5
¬x1 x2 ¬x2 x3 ¬x3 x4 ¬x4 ¬x5

x1 x2 x3 x4 x5 ?
deletion of x4 followed by deletion of x5

x3 x4 x5
x3 x4 x5 deletion-substitution-transitions
x2 x3 x4 x5
x3 x4 x5
deletion of x4 followed by
¬x2 ¬x3 ¬x4 ¬x5 substitution of x5
¬x2 ¬x3 ¬x4 ¬x5
x2 x3 x4 x5 ?
x1 x2 x2 x3 x3 x4 x4 x5 x5
x2 x3 x4 x5
¬x1 ¬x2 ¬x3 ¬x4 ¬x5

x1 x2 x3 x4 x5 ?

x3 x4 x5
x4 x5 substitution-deletion-transitions
x2 x3 x3 x4 x5
x3 x4 x5 substitution of x3 followed by
¬x2 ¬x3 ¬x4 ¬x5 deletion of x4
x3 x4 x5
x2 x3 x4 x5 ?
x1 x2 x3 x4 x5 x5
x2 x3 x4
x2 x3 x4 x5 substitution of x4 followed by
¬x1 ¬x2 ¬x3 ¬x4 ¬x5 deletion of x5

x1 x2 x3 x4 x5 ?
 x3 x4 x5
x3 x4 x5 substitution-substitution-transitions
x2 x3 x4 x5
x3 x4 x5
substitution of x4 followed by
¬x2 ¬x3 ¬x4 ¬x5 substitution of x5
¬x2 ¬x3 ¬x4 ¬x5
x2 x3 x4 x5 ?
x1 x2 x2 x3 x3 x4 x4 x5 x5

x2 x3 x5
x4
¬x1 ¬x2 ¬x3 ¬x4 ¬x5

x1 x2 x3 x4 x5 ?

x1 x2 x3 x4 x5
x2 x3 x4 x5 x5 insertion-insertion-transitions
x3 x4
x3 x4 x5
¬x1 ¬x2 ¬x3 ¬x4 ¬x5 two insertions before x5
¬x2 ¬x3 ¬x4 ¬x5
x2 x3 x4 x5 ?
x1 x2 x2 x3 x3 x4 x4 x5 x5
x2 x3 x4 x5 two insertions after x5
¬x1 ¬x2 ¬x3 ¬x4 ¬x5

x1 x2 x3 x4 x5 ? ?

x2 x3 x4 x5
x3 x4 x5 insertion-substitution-transitions
x2 x3 x4 x5
insertion before x5 followed by
¬x2 x3 ¬x3 x4 ¬x4 x5 ¬x5 substitution of x5
¬x1 ¬x2 ¬x3 ¬x4 ¬x5
x2 x3 x4 x5 ?
x1 x2 x3 x4 x5
x2 x3 x4 x5
x2 x3 x4 x5
¬x1 ¬x2 ¬x3 ¬x4 ¬x5

x1 x2 x3 x4 x5 ?

x2 x3 x4 x5
x3 x4 x5 substitution-insertion-transitions
x2 x3 x4 x5

¬x4 substitution of x4 followed by

¬x2 ¬x3 ¬x5
x3 x4 x5 insertion before x5
¬x2 ¬x3 ¬x4 ¬x5 ?

x2 x3 x4 x5 ?
x1 x2 x3 x4 x5
x2 x3 x4 x5

¬x1 x2 ¬x2 x3 ¬x3 x4 ¬x4 x5 ¬x5

x1 x2 x3 x4 x5 ?
 x4 x5
x3 x4 x4 x5 x5
x4 x5
¬x3 ¬x4 ¬x5

x3 x4 x5 ?
x2 x3 x3 x4 x4 x5 x5
x3 x4 x5
¬x2 ¬x3 ¬x4 ¬x5

x2 x3 x4 x5 ?
x1 x2 x2 x3 x3 x4 x4 x5 x5
x2 x3 x4 x5
¬x1 ¬x2 ¬x3 ¬x4 ¬x5

x1 x2 x3 x4 x5 ?
 x2 x3 x4 x5
x2 x3 x4 x5
¬x1 ¬x2 ¬x3 ¬x4 ¬x5
x1 x2 x3 x4 x5
Split(x5,¬x5¬x5)
x2 x3 x4 x5
¬x1 ¬x2 ¬x3 ¬x4 ¬x5

x1 x2 x3 x4 x5 ?

x2 x3 x4 x5
x2 x3 x4 x5
x1 x2 x3 x4 x5
x2 x3 x4 x5 Merge(x4x5,¬x4&¬x5)
¬x1&¬x2 ¬x2&¬x3 ¬x3&¬x4 ¬x4&¬x5
¬x1 ¬x2 ¬x3 ¬x4 ¬x5

x1 x2 x3 x4 x5 ?

x2 x3 x4 x5
x2 x3 x4 x5
x1 x2 x3 x4 x5
x2 x3 x4 x5 Transpose(x4x5)

x2x1 x3x2 x4x3 x5x4

¬x1 ¬x2 ¬x3 ¬x4 ¬x5

x1 x2 x3 x4 x5 ?