P1
y-x-u
y-x-v-u
y-x-w-u
y-x-w-v-u
y-w-u
y-w-v-u
y-w-x-u
y-w-v-x-u
y-w-x-v-u
y-z-w-u
y-z-w-v-u
y-z-w-x-u
y-z-w-v-x-u
y-z-w-x-v-u
P2
x to z:
x-y-z
x-y-w-z
x-w-z
x-w-y-z
x-v-w-z
x-v-w-y-z
x-u-w-z
x-u-w-y-z
x-u-v-w-z
x-u-v-w-y-z
z to u:
z-w-u
z-w-v-u
z-w-x-u
z-w-v-x-u
z-w-x-v-u
z-w-y-x-u
z-w-y-x-v-u
z-y-x-u
z-y-x-v-u
z-y-x-w-u
z-y-x-w-y-u
z-y-x-v-w-u
z-y-w-v-u
z-y-w-x-u
z-y-w-v-x-u
z-y-w-x-v-u
z to w:
z-w
z-y-w
z-y-x-w
z-y-x-v-w
z-y-x-u-w
z-y-x-u-v-w
z-y-x-v-u-w
P3
步骤 | N ′ N' N′ | D ( t ) , p ( t ) D(t),p(t) D(t),p(t) | D ( u ) , p ( u ) D(u),p(u) D(u),p(u) | D ( v ) , p ( v ) D(v),p(v) D(v),p(v) | D ( w ) , p ( w ) D(w),p(w) D(w),p(w) | D ( y ) , p ( y ) D(y),p(y) D(y),p(y) | D ( z ) , p ( z ) D(z),p(z) D(z),p(z) |
---|---|---|---|---|---|---|---|
0 | x x x | 114514 | 114514 | 3 , x 3,x 3,x | 6 , x 6,x 6,x | 6 , x 6,x 6,x | 8 , x 8,x 8,x |
1 | x v xv xv | 7 , v 7,v 7,v | 6 , v 6,v 6,v | - | 6 , x 6,x 6,x | 6 , x 6,x 6,x | 8 , x 8,x 8,x |
2 | x v u xvu xvu | 7 , v 7,v 7,v | - | - | 6 , x 6,x 6,x | 6 , x 6,x 6,x | 8 , x 8,x 8,x |
3 | x v u w xvuw xvuw | 7 , v 7,v 7,v | - | - | - | 6 , x 6,x 6,x | 8 , x 8,x 8,x |
4 | x v u w y xvuwy xvuwy | 7 , v 7,v 7,v | - | - | - | - | 8 , x 8,x 8,x |
5 | x v u w y t xvuwyt xvuwyt | - | - | - | - | - | 8 , x 8,x 8,x |
6 | x v u w y t z xvuwytz xvuwytz | - | - | - | - | - | - |
P4
a)
步骤 | N ′ N' N′ | D ( u ) , p ( u ) D(u),p(u) D(u),p(u) | D ( v ) , p ( v ) D(v),p(v) D(v),p(v) | D ( w ) , p ( w ) D(w),p(w) D(w),p(w) | D ( x ) , p ( x ) D(x),p(x) D(x),p(x) | D ( y ) , p ( y ) D(y),p(y) D(y),p(y) | D ( z ) , p ( z ) D(z),p(z) D(z),p(z) |
---|---|---|---|---|---|---|---|
0 | t t t | 2 , t 2,t 2,t | 4 , t 4,t 4,t | 114514 114514 114514 | 114514 114514 114514 | 7 , t 7,t 7,t | 114514 114514 114514 |
1 | t u tu tu | - | 4 , t 4,t 4,t | 5 , u 5,u 5,u | 114514 114514 114514 | 7 , t 7,t 7,t | 114514 114514 114514 |
2 | t u v tuv tuv | - | - | 5 , u 5,u 5,u | 7 , v 7,v 7,v | 7 , t 7,t |