现给出670# 15棵12行整数解的结果
第一个初始数据
[[A, 0, 1, 0], [B, 1, -1, 1], [C, 2, -1, 1], [D, 1, 0, 0], [E, 2, -3, 1], [F, 1, 0, 1], [G, 1, -1, 0], [H, 1, -2, 0], [I, 0, 1, 1], [J, 3, -3, 1], [K, 0, 0, 1], [L, 0, 3, 1], [M, 1, -3, 1], [N, 2, 0, 1], [O, 4/3, -1, 1]]
[[A, D, G, H], [C, F, G, I], [B, E, H, I], [B, G, J, K], [C, H, J, L], [A, I, K, L], [A, B, F, M], [D, E, J, M], [A, C, E, N], [D, F, K, N], [B, C, D, O], [E, F, L, O]]
变换基点
[1, -1, 1, B]-->[0, sqrt(3)/3, 1],
[2, 0, 1, N]-->[-1/2, -sqrt(3)/6, 1],
[1, 0, 1, F]-->[1/2, -sqrt(3)/6, 1],
[1, -2, 0, H]-->[0, 0, 1]
变换矩阵
[[1/9, 1/18, -1/18], [2/27*sqrt(3), 1/27*sqrt(3), -5/54*sqrt(3)], [-4/9, 5/18, 5/9]]
变换后坐标
[1/5, (2*sqrt(3))/15, A], [0, sqrt(3)/3, B], [-2/11, -sqrt(3)/33, C], [-1/4, -sqrt(3)/6, D], [0, sqrt(3)/21, E], [1/2, -sqrt(3)/6, F], [-1/13, -(2*sqrt(3))/39, G], [0, 0, H], [0, -sqrt(3)/15, I], [-2/29, -sqrt(3)/87, J], [-1/10, -sqrt(3)/6, K], [2/25, sqrt(3)/75, L], [2/13, (7*sqrt(3))/39, M], [-1/2, -sqrt(3)/6, N], [-2/17, (5*sqrt(3))/51, O]
画图得到
第二个初始数据
[[A, 0, 0, 1], [B, 1, 0, 0], [C, 1, 1, 0], [D, 0, 1, 1], [E, 0, 1, 0], [F, 1, 0, 1], [G, 1, -1, 0], [H, -1, -1, 1], [I, 0, -1, 1], [J, -1, 1, 1], [K, -1, 0, 1], [L, 1, -1, 1], [M, 1/2, 1/2, 1], [N, 2, 1, 1], [O, 1, 2, 1]]
[[B, C, E, G], [A, D, E, I], [A, B, F, K], [E, H, J, K], [B, H, I, L], [A, G, J, L], [D, F, G, M], [A, C, H, M], [C, F, I, N], [B, D, J, N], [C, D, K, O], [E, F, L, O]]
变换基点
[-1, 0, 1, K]--> [0, 1/3*sqrt(3), 1],
[1/2, 1/2, 1, M]--> [-1/2, -1/6*sqrt(3), 1],
[1, 1, 0, C]--> [1/2, -1/6*sqrt(3), 1],
[1, -1, 0, G]-->[0, 0, 1]
变换矩阵
[[1/24, 1/24, 1/24], [-1/72*sqrt(3), -1/72*sqrt(3), 1/24*sqrt(3)], [-5/12, 7/12, -1/4]]
变换后坐标
[-1/6, -sqrt(3)/6, A], [-1/10, sqrt(3)/30, B], [1/2, -sqrt(3)/6, C], [1/4, sqrt(3)/12, D], [1/14, -sqrt(3)/42, E], [-1/8, -sqrt(3)/24, F], [0, 0, G], [1/10, -sqrt(3)/6, H], [0, -sqrt(3)/15, I], [1/18, sqrt(3)/18, J], [0, sqrt(3)/3, K], [-1/30, -sqrt(3)/30, L], [-1/2, -sqrt(3)/6, M], [-1/3, 0, N], [1/3, 0, O]
画图得到
第三个初始数据
[[A, 0, 1, 1], [B, 1, 0, 0], [C, 0, 1, 0], [D, -1, 1, 1], [E, 1, 1, 0], [F, 1, 0, 1], [G, 0, 0, 1], [H, 1, -1, 0], [I, 0, 2, 1], [J, 1, 2, 1], [K, -1, 0, 1], [L, -1/2, 3/2, 1], [M, 1, 1, 1], [N, -2, 2, 1], [O, -1, 5/3, 1]]
[[B, C, E, H], [A, C, G, I], [B, F, G, K], [A, E, J, K], [A, F, H, L], [D, E, I, L], [A, B, D, M], [C, F, J, M], [D, G, H, N], [B, I, J, N], [C, D, K, O], [L, M, N, O]]
变换基点
[0, 1, 0, C]-->[-1/4, sqrt(3)/6, 1],
[-1, 5/3, 1, O]-->[-1/2, 0, 1],
[1, 1, 0, E]-->[1/2, 0, 1],
[0, 2, 1, I]-->[1/4, sqrt(3)/6, 1]
变换矩阵
[[1/8, -3/8, 1/2], [-1/4*sqrt(3), 1/4*sqrt(3), -2/3*sqrt(3)], [-2, 3/2, -4]]
变换后坐标
[-1/20, sqrt(3)/6, A], [-1/16, sqrt(3)/8, B], [-1/4, sqrt(3)/6, C], [0, sqrt(3)/3, D], [1/2, 0, E], [-5/48, (11*sqrt(3))/72, F], [-1/8, sqrt(3)/6, G], [-1/7, sqrt(3)/7, H], [1/4, sqrt(3)/6, I], [1/24, (5*sqrt(3))/36, J], [-3/16, (5*sqrt(3))/24, K], [1/6, (2*sqrt(3))/9, L], [-1/18, (4*sqrt(3))/27, M], [-1/6, sqrt(3)/9, N], [-1/2, 0, O]
画图得到
第四个初始数据
[[A, 0, 1, 1], [B, 1, 0, 0], [C, 1/2, 1, 1], [D, 1, -1, 0], [E, 0, 1, 0], [F, 1, -2, 0], [G, 1, 0, 1], [H, 0, 2, 1], [I, 1/2, 0, 1], [J, 0, 0, 1], [K, -1/2, 2, 1], [L, -1, 2, 1], [M, -1, 1, 1], [N, 1/2, -1/2, 1], [O, -1, 5/2, 1]]
[[B, D, E, F], [C, F, G, H], [A, E, H, J], [B, G, I, J], [A, F, I, K], [A, D, G, L], [B, H, K, L], [A, B, C, M], [C, E, I, N], [D, J, M, N], [C, D, K, O], [E, L, M, O]]
变换基点
[1, -2, 0, F]-->[0, sqrt(3)/3, 1],
[0, 1, 0, E]-->[-1/2, -sqrt(3)/6, 1],
[1, 0, 1, G]-->[1/2, -sqrt(3)/6, 1],
[0, 1, 1, A]--> [0, 0, 1]
变换矩阵
[[-1/3, -1/6, 1/6], [0, -1/18*sqrt(3), 1/18*sqrt(3)], [1, 1/3, -4/3]]
变换后坐标
[0, 0, A], [-1/3, 0, B], [1/3, 0, C], [-1/4, sqrt(3)/12, D], [-1/2, -sqrt(3)/6, E], [0, sqrt(3)/3, F], [1/2, -sqrt(3)/6, G], [1/4, sqrt(3)/12, H], [0, -sqrt(3)/15, I], [-1/8, -sqrt(3)/24, J], [0, sqrt(3)/21, K], [-1/10, sqrt(3)/30, L], [-1/6, 0, M], [-1/12, -sqrt(3)/12, N], [-1/18, sqrt(3)/18, O]
画图得到
|