見やすくするため、コメントを記入しました。(2000.08.21 *** pazul started : Sun Aug 13 01:19:37 2000 *** maybe congratulation !!! tc=1 **** <> *** 1 (1,3) 9 4 4 80000000 9:1+a *** 2 (2,2) 5 5 9 80000002 5:1+b *** 3 (3,1) 4 9 5 80000000 4:1+a *** 4 (1,3) 9 4 5 1 *** 5 (3,1) 4 9 4 1 ==== Equations ==== a b 1 -1 0 -->a=b 0 0 0 0 0 0 ∴(4,5,9)x(1+a)                          & a >= 0   *** maybe congratulation !!! tc=2 **** <> *** 1 (1,4) 7 1 6 80000001 7:1+a *** 2 (2,3) 6 4 1 80000000 6:1+b *** 3 (3,2) 4 6 7 80000002 4:1+b *** 4 (4,1) 1 7 4 80000000 1:1+a *** 5 (2,3) 6 4 2 2 *** 6 (4,1) 1 7 3 1 ==== Equations ==== a b 1 0 0 --> a=0 0 1 0 b=0 0 0 0 0 0 0 ∴(1,4,6,7)x1  0 0 0 0 0 0 *** maybe congratulation !!! tc=3 **** <> *** 1 (1,5) 7 1 6 80000001 7:1+a *** 2 (2,4) 6 3 3 80000002 6:2+b+c *** 3 (2,3) 6 4 1 80000000 *** 4 (3,2) 4 6 7 80000004 4:1+c *** 5 (4,2) 3 6 6 80000002 3:1+b *** 6 (5,1) 1 7 4 80000000 1:1+a *** 7 (2,3) 6 4 2 4 *** 8 (5,1) 1 7 3 1 ==== Equations ==== a b c 1 0 0 0 --> a=0 0 0 1 0 c=0 0 0 0 0 0 0 0 0 ∴(1,4,6,7) x 1 0 0 0 0 +(3,6) x (1+b) 0 0 0 0 & b >= 0 *** maybe congratulation !!! tc=4 **** <> *** 1 (1,8) 9 0 9 80000001 9:1+a *** 2 (2,7) 8 1 7 80000002 8:1+b *** 3 (3,6) 7 2 5 80000004 7:1+c *** 4 (4,5) 5 4 0 80000000 5:1+d *** 5 (5,4) 4 5 8 80000008 4:1+d *** 6 (6,3) 2 7 4 80000004 2:1+c *** 7 (7,2) 1 8 2 80000002 1:1+b *** 8 (8,1) 0 9 1 80000000 0:1+a *** 9 (4,5) 5 4 1 8 *** 10 (8,1) 0 9 0 1 ==== Equations ==== a b c d 0 1 0 -1 0 --> b=d 0 0 1 -1 0 c=d 0 0 0 0 0 0 0 0 0 0 ∴(1,2,4,5,7,8) x (1+d) 0 0 0 0 0 +(0,9) x (1+a) 0 0 0 0 0 & a>=0, d>=0 0 0 0 0 0 0 0 0 0 0 *** maybe congratulation !!! tc=5 **** <> *** 1 (1,9) 9 1 8 80000001 9:2+a+b m+2n+1 *** 2 (1,8) 9 2 7 80000002 *** 3 (2,8) 8 2 6 80000004 8:1+c m+1 *** 4 (3,8) 7 2 5 80000008 7:3+d+e+f m+3n+1 *** 5 (3,7) 7 3 4 80000010 *** 6 (3,6) 7 4 3 80000020 *** 7 (4,6) 6 4 1 80000000 6:1+g m+n+1 *** 8 (5,5) 5 5 9 80000080 5:1+h m+2n+1 *** 9 (6,4) 4 6 7 80000040 4:2+f+g m+2n+1 *** 10 (6,3) 4 7 6 80000020 *** 11 (7,3) 3 7 5 80000010 3:1+e m+n+1 *** 12 (8,3) 2 7 4 80000008 2:3+b+c+d m+3n+1 *** 13 (8,2) 2 8 3 80000004 *** 14 (8,1) 2 9 2 80000002 *** 15 (9,1) 1 9 2 80000000 1:1+a m+1 *** 16 (4,6) 6 4 2 40 *** 17 (9,1) 1 9 1 1 ==== Equations ====  さらに、m=2g-h, a b c d e f g h      n=-g+hとおくと 1 0 0 0 0 0 -2 1 0 --> a=2g-h m 0 -1 0 0 0 0 -2 2 -1 b=-2g+2h-1 2n-1 0 0 1 0 0 0 -2 1 0 c=2g-h m 0 0 0 -1 0 0 -1 1 -1 d=-g+h-1 n-1 0 0 0 0 1 0 -1 0 0 e=g m+n 0 0 0 0 0 -1 -1 1 -1 f=-g+h-1 n-1 0 0 0 0 0 0 0 0 0 g=m+n 0 0 0 0 0 0 0 0 0 h=m+2n 0 0 0 0 0 0 0 0 0 ∴(1,2,3,4,5,6,7,8,9) x (1+m) +(222,3,44,55,6,777,99) x n & m>=0, n>=1 *** maybe congratulation !!! tc=6 **** <> *** 1 (1,9) 9 1 8 80000001 9:1+a *** 2 (2,8) 8 2 6 80000002 8:1+b *** 3 (3,7) 7 3 4 80000004 7:1+c *** 4 (4,7) 6 3 3 80000008 6:2+d+e *** 5 (4,6) 6 4 1 80000000 *** 6 (5,5) 5 5 9 80000020 5:1+f *** 7 (6,4) 4 6 7 80000010 4:1+e *** 8 (7,4) 3 6 6 80000008 3:2+c+d *** 9 (7,3) 3 7 5 80000004 *** 10 (8,2) 2 8 3 80000002 2:1+b *** 11 (9,1) 1 9 2 80000000 1:1+a *** 12 (4,6) 6 4 2 10 *** 13 (9,1) 1 9 1 1 ==== Equations ==== a b c d e f 1 0 0 0 0 -1 0 --> a=f 0 1 0 0 0 -1 0 b=f 0 0 1 0 0 -1 0 c=f 0 0 0 0 1 -1 0 e=f 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ∴(1,2,3,4,5,6,7,8,9) x (1+f) 0 0 0 0 0 0 0 +(3,6) x (1+d) 0 0 0 0 0 0 0 & f>=0, d>=0 *** maybe congratulation !!! tc=7 **** <> *** 1 (1,9) 9 1 8 80000001 9:1+a *** 2 (2,8) 8 2 6 80000002 8:1+b *** 3 (3,7) 7 3 4 80000004 7:1+c *** 4 (4,6) 6 4 1 80000000 6:1+d *** 5 (5,5) 5 5 9 80000010 5:1+e *** 6 (6,4) 4 6 7 80000008 4:1+d *** 7 (7,3) 3 7 5 80000004 3:1+c *** 8 (8,2) 2 8 3 80000002 2:1+b *** 9 (9,1) 1 9 2 80000000 1:1+a *** 10 (4,6) 6 4 2 8 *** 11 (9,1) 1 9 1 1 ==== Equations ==== a b c d e 1 0 0 0 -1 0 --> a=e 0 1 0 0 -1 0 b=e 0 0 1 0 -1 0 c=e 0 0 0 1 -1 0 d=e 0 0 0 0 0 0 0 0 0 0 0 0 ∴(1,2,3,4,5,6,7,8,9) x (1+e) 0 0 0 0 0 0 & e>=0 0 0 0 0 0 0 0 0 0 0 0 0 *** maybe congratulation !!! tc=8 **** <> *** 1 (1,a) 9 0 9 80000001 9:2+a+b *** 2 (1,9) 9 1 8 80000002 *** 3 (2,9) 8 1 7 80000004 8:2+c+d *** 4 (2,8) 8 2 6 80000008 *** 5 (3,8) 7 2 5 80000010 7:2+e+f *** 6 (3,7) 7 3 4 80000020 *** 7 (4,7) 6 3 3 80000040 6:2+g+h *** 8 (4,6) 6 4 2 80000080 *** 9 (5,6) 5 4 0 80000000 5:2+i+j *** 10 (5,5) 5 5 9 80000200 *** 11 (6,5) 4 5 8 80000100 4:2+h+i *** 12 (6,4) 4 6 7 80000080 *** 13 (7,4) 3 6 6 80000040 3:2+f+g *** 14 (7,3) 3 7 5 80000020 *** 15 (8,3) 2 7 4 80000010 2:2+d+e *** 16 (8,2) 2 8 3 80000008 *** 17 (9,2) 1 8 2 80000004 1:2+b+c *** 18 (9,1) 1 9 1 80000002 *** 19 (a,1) 0 9 1 80000000 0:1+a *** 20 (5,6) 5 4 1 100 *** 21 (a,1) 0 9 0 1 ==== Equations ==== a b c d e f g h i j 0 1 0 0 0 0 0 0 0 -1 0 --> b=j 0 0 1 0 0 0 0 0 -1 0 0 c=i 0 0 0 1 0 0 0 0 0 -1 0 d=j 0 0 0 0 1 0 0 0 -1 0 0 e=i 0 0 0 0 0 1 0 0 0 -1 0 f=j 0 0 0 0 0 0 0 1 0 -1 0 h=j 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ∴(1,2,3,4,5,6,7,8,9) x (1+j) 0 0 0 0 0 0 0 0 0 0 0 +(1,2,4,5,7,8) x (1+i) 0 0 0 0 0 0 0 0 0 0 0 +(0,9) x (1+a) +(3,6) x (1+g) & j>=0, i>=0, a>=0, g>=0 *** maybe congratulation !!! tc=9 **** <> *** 1 (1,a) 9 0 9 80000001 9:2+a+b *** 2 (1,9) 9 1 8 80000002 *** 3 (2,9) 8 1 7 80000004 8:2+c+d *** 4 (2,8) 8 2 6 80000008 *** 5 (3,8) 7 2 5 80000010 7:2+e+f *** 6 (3,7) 7 3 4 80000020 *** 7 (4,6) 6 4 2 80000040 6:1+g *** 8 (5,6) 5 4 0 80000000 5:2+h+i *** 9 (5,5) 5 5 9 80000100 *** 10 (6,5) 4 5 8 80000080 4:2+g+h *** 11 (6,4) 4 6 7 80000040 *** 12 (7,3) 3 7 5 80000020 3:1+f *** 13 (8,3) 2 7 4 80000010 2:2+d+e *** 14 (8,2) 2 8 3 80000008 *** 15 (9,2) 1 8 2 80000004 1:2+b+c *** 16 (9,1) 1 9 1 80000002 *** 17 (a,1) 0 9 1 80000000 0:1+a *** 18 (5,6) 5 4 1 80 *** 19 (a,1) 0 9 0 1 ==== Equations ==== a b c d e f g h i 0 1 0 0 0 0 0 0 -1 0 --> b=i 0 0 1 0 0 0 0 -1 0 0 c=h 0 0 0 1 0 0 0 0 -1 0 d=i 0 0 0 0 1 0 0 -1 0 0 e=h 0 0 0 0 0 1 0 0 -1 0 f=i 0 0 0 0 0 0 1 0 -1 0 g=i 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ∴(1,2,3,4,5,6,7,8,9) x (1+i) 0 0 0 0 0 0 0 0 0 0 +(1,2,4,5,7,8) x (1+h) 0 0 0 0 0 0 0 0 0 0 +(0,9) x (1+a) & i>=0, h>=0, a>=0 *** maybe congratulation !!! tc=10 **** <> *** 1 (1,a) 9 0 9 80000001 9:1+a *** 2 (2,9) 8 1 7 80000002 8:1+b *** 3 (3,8) 7 2 5 80000004 7:1+c *** 4 (4,7) 6 3 3 80000008 6:1+d *** 5 (5,6) 5 4 0 80000000 5:1+e *** 6 (6,5) 4 5 8 80000010 4:1+e *** 7 (7,4) 3 6 6 80000008 3:1+d *** 8 (8,3) 2 7 4 80000004 2:1+c *** 9 (9,2) 1 8 2 80000002 1:1+b *** 10 (a,1) 0 9 1 80000000 0:1+a *** 11 (5,6) 5 4 1 10 *** 12 (a,1) 0 9 0 1 ==== Equations ==== a b c d e 0 1 0 0 -1 0 --> b=e 0 0 1 0 -1 0 c=e 0 0 0 0 0 0 0 0 0 0 0 0 ∴(1,2,4,5,7,8) x (1+e) 0 0 0 0 0 0 +(0,9) x (1+a) 0 0 0 0 0 0 +(3,6) x (1+d) 0 0 0 0 0 0 & e>=0, a>=0, d>=0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 *** pazul ended time = 3034 ms : Sun Aug 13 01:19:40 2000