这样的直线射影图，总是可以找到有理解的。给我一个可行的组合表，我或许能给出有理解来
这样的直线射影图，总是可以找到有理解的。给我一个可行的组合表，我或许能给出有理解来
hujunhua 发表于 2010-2-8 14:53 http://bbs.emath.ac.cn/images/common/back.gif
自己论坛里面找吧，反例很多很多
请教mathe：
1）是否已找到20棵树22行种法的具体坐标
2）是否有较简单的做法找到20棵树23行的所有种法（按您的分类法）
23行都已经找到了，找22行当然不在话下。但是我前面已经多次说过，现在限于计算能力，还无法找到所有23行解（也有可能只有两个，但是现在无法确认）
23行都已经找到了，找22行当然不在话下。
mathe 发表于 2010-3-2 15:19 http://bbs.emath.ac.cn/images/common/back.gif
有空的话能否在这里给出一些与已知23行种法无关的20棵树22行种法的具体坐标
这个没有尝试过，主要意义不大
@sheng_jianguo 在很早以前要求找出一些和23行无关的22行的结果，这个还是有难度的。
最近重新找了一下，分别各自给出两个20行，21行，22行的结果:
EHIJCGHLFIKLBCIMADJMBGJNDELNBEFOAHKOCJKPFHMPDGOPCDFQAINQACERBDKRABLSEGMSAFGTBHQTIRST
-1-2*t-3*t^2-1*t^3
Node 0 , 0 , 1
Node 1 , 0 , 1
Node 1 , 1 , 1
Node 0 , 1 , 1
Node 1 , 1 , 2+1*t
Node 0-1*t , 1 , 1
Node 0-1*t , 1 , 0-2*t-1*t^2
Node 0-1*t^2 , -1-1*t-1*t^2 , 0+1*t
Node -1-1*t-1*t^2 , 0+1*t , -1-1*t-1*t^2
Node 0 , -1 , 0+1*t+1*t^2
Node -1-1*t , 1 , 0-1*t
Node -1 , 0 , -1-1*t
Node 0 , 1 , 0
Node -1-1*t-1*t^2 , 0+1*t , 0+1*t+1*t^2
Node 0-1*t^2 , -1-1*t-1*t^2 , 0
Node 0-1*t , 2+2*t+1*t^2 , 1
Node 1+2*t+2*t^2 , 1+1*t+1*t^2 , 1+1*t+1*t^2
Node -1 , -1 , -2
Node -1 , 0 , -2-1*t
Node 0-1*t , 1 , 0-3*t-1*t^2
Edge -2-2*t-1*t^2 , 0+1*t+1*t^2 , 1
Edge -1-1*t , 0+1*t , 1
Edge 1+1*t , 1+1*t+1*t^2 , -1
Edge -1 , 0 , 1
Edge 1 , 0 , 0
Edge -1 , 0+1*t+1*t^2 , 1
Edge 1+1*t , 1 , -1
Edge -1 , -1-1*t , 1
Edge 1+1*t+1*t^2 , 0-1*t^2 , 0
Edge -1-1*t , -1 , 2+1*t
Edge 1 , 0 , 0+1*t
Edge -1-2*t-1*t^2 , 0-1*t , 0+1*t
Edge 0 , -1 , 1
Edge 0-1*t , -1-1*t-1*t^2 , 0
Edge 1 , -1 , 0
Edge -1 , -1 , 1
Edge 0 , -1 , 0
Edge -2-1*t , 0 , 1
Edge 1 , 0+1*t , 0
Edge 1+1*t+1*t^2 , 0-1*t-1*t^2 , -1-1*t-1*t^2
Edge 2+1*t , 0-1*t , -1
CEFIBFHKBEJLBDGMAIKMADFNCGHNGJKOAHLOCDLPFJMPBIOPAEGQDHIQACJREKNRLMNSBCQSDEOTFRST
-20-32*t-20*t^2-4*t^3
Node 0 , 0 , 1
Node 1 , 0 , 1
Node 2+2*t+1*t^2 , 3+3*t+1*t^2 , 4+3*t+1*t^2
Node 1 , 1 , 1
Node -1-2*t-1*t^2 , -3-3*t-1*t^2 , -2-2*t-1*t^2
Node -1 , -1 , -2
Node -1 , 2+1*t , -1
Node 0 , 1 , 1
Node 1+1*t , 2+1*t , 2+1*t
Node -6-6*t-2*t^2 , -4-6*t-2*t^2 , -14-14*t-4*t^2
Node -1-1*t , -2-1*t , -3-2*t
Node 0 , -1-1*t , -2-1*t
Node -1-1*t , -2-1*t , -1-1*t
Node -1 , -1 , -4-1*t
Node 0 , -2-1*t , -1
Node 3+3*t+1*t^2 , 4+4*t+1*t^2 , 5+4*t+1*t^2
Node 1+2*t+1*t^2 , 3+3*t+1*t^2 , 3+3*t+1*t^2
Node 12+12*t+4*t^2 , 8+12*t+4*t^2 , 32+40*t+12*t^2
Node 27/8+9/2*t+9/4*t^2 , -9/8-9/8*t , -9/8+9/8*t^2
Node 0+2*t+1*t^2 , 2+3*t+1*t^2 , 1+2*t+1*t^2
Edge 2+1*t , 0-1*t , -1
Edge -1 , -1 , 1
Edge 3+3*t+1*t^2 , 1 , -3-3*t-1*t^2
Edge -1 , 0 , 1
Edge -2-1*t , 1+1*t , 0
Edge 1 , -1 , 0
Edge 3+1*t , 1 , -1
Edge 4+2*t , 1 , -2-1*t
Edge 1 , 0 , 0
Edge 1 , -2-1*t , 1+1*t
Edge -3-1*t , 1+1*t , 1
Edge -2-1*t , -1 , 2+1*t
Edge 3+3*t+1*t^2 , -1-2*t-1*t^2 , 0
Edge 0 , -1 , 1
Edge 4+6*t+2*t^2 , -6-6*t-2*t^2 , 0
Edge -5-4*t-1*t^2 , 1+3*t+1*t^2 , 1
Edge -3-2*t , 2+3*t+1*t^2 , -1-2*t-1*t^2
Edge -3-3*t-1*t^2 , -2-1*t , 3+3*t+1*t^2
Edge 1+1*t , 1 , -2-1*t
Edge -16-16*t-4*t^2 , 8+16*t+4*t^2 , 4
ADGHBCGIBDJKFIKNDELNACMNBFHOCEJOAEFPCHLPDIOPAIJQBEMQABLRGJMRHKQRCDFSEGKSFGLTHMST
-1+1*t^2
Node 0 , 0 , 1
Node 1 , 0 , 1
Node 1 , 1 , 1
Node 0 , 1 , 1
Node 1 , 0+1*t , 0+2*t
Node -1 , 0-1*t , 0-1*t
Node 0 , 1 , 0
Node 0 , 1 , 1-1*t
Node 1 , 2-1*t , 1
Node 0+1*t , -1+2*t , -1+3*t
Node 0+1*t , 2-1*t , 2
Node 1 , 0 , 0+1*t
Node 0-1*t , 0-1*t , 1-3*t
Node 1 , 1 , 1+1*t
Node 1 , -1+2*t , -2+3*t
Node -1 , 0-1*t , 1-2*t
Node 0-1*t , 1-2*t , 4-6*t
Node -1 , 0 , -3+1*t
Node -1 , 0-2*t , 0-2*t
Node -1+1*t , 1-2*t , 1-1*t
Edge 1 , 0 , 0
Edge -1 , 0 , 1
Edge -1 , -1 , 1
Edge 1 , -1 , 1-1*t
Edge 0+1*t , 1 , -1
Edge 1 , -1 , 0
Edge -1 , -1+1*t , 1
Edge 0+1*t , 1-2*t , -1+1*t
Edge 0-1*t , 1 , 0
Edge 0+1*t , 1-1*t , -1
Edge -1+1*t , 1 , -1
Edge 2-1*t , -1 , 0
Edge 0-1*t , 1-2*t , 0+1*t
Edge 0 , -1 , 0
Edge 1-3*t , 0 , 0+1*t
Edge -3+1*t , -1+1*t , 1
Edge 0 , -1 , 1
Edge 0-2*t , 0 , 1
Edge 0-1*t , 0 , 1
Edge 0-2*t , 1-1*t , 0+1*t
ADIJEHILEFGMCDHMABKMEJKNAGHODFLODGKPAFNPBCOPBDEQCGIQCFJRBHNRALQRACESBFISBGJTCKLTMNST
Node 0 , 0 , 1
Node 1 , 0 , 1
Node 1 , 1 , 1
Node 0 , 1 , 1
Node -1 , -1 , -2
Node -1/2 , -1 , -2
Node 1/2 , -1/2 , -1
Node -1/2 , 1/2 , 1/2
Node 0 , 1 , 3/2
Node 0 , 1/2 , 3/2
Node 1/2 , 0 , -1/2
Node -1/4 , -3/4 , -5/4
Node -1 , 0 , 0
Node 1/4 , 1/2 , 5/4
Node 1/2 , -1/2 , 1/2
Node -1/2 , -1 , -1/2
Node 1/2 , 3/2 , 2
Node -1/4 , -3/4 , -7/4
Node -1 , -1 , -5/2
Node 1/4 , -1/2 , -5/4
Edge 1 , 0 , 0
Edge 1/2 , 3/2 , -1
Edge 0 , 2 , -1
Edge 0 , -1 , 1
Edge 0 , -1 , 0
Edge -1/4 , 3/4 , -1/4
Edge -1/2 , -1/2 , 0
Edge 1 , 1/2 , -1/2
Edge 1/2 , -1/2 , 1/2
Edge -1 , 1/2 , 0
Edge -1 , 0 , 1
Edge -1 , -1 , 1
Edge 1/2 , -3/2 , 1
Edge -1 , 3/2 , -1/2
Edge -1/2 , -1 , 1/2
Edge 3/2 , -1/2 , 0
Edge 1 , -1 , 0
Edge -1 , -3/2 , 1
Edge 1/2 , 3/2 , -1/2
Edge -1/2 , 1 , -1/2
Edge 0 , -5/2 , 1
ABGHAEJKCGILACDMEFGMHIJMFIKNDHKOBJLODGNPBDFQCEHQAIOQCFJRALNRBEPRBCKSDELSAFPSBMNTCOPTGQRT
Node 0 , 0 , 1
Node 1 , 0 , 1
Node 1 , 1 , 1
Node 1 , 1 , 0
Node 0 , 1 , 1
Node 1 , 2 , -1
Node 1 , 0 , -3
Node -1 , 0 , 0
Node -2 , -1 , 2
Node 0 , -1 , 2
Node 0 , 1 , 0
Node -3 , -2 , 1
Node -1 , -1 , 2
Node -3 , -2 , 3
Node 2 , 1 , 0
Node 1 , 2 , 3
Node 2 , 1 , 1
Node -3 , -2 , -5
Node 1 , 2 , 1
Node 5 , 2 , -1
Edge 0 , -1 , 0
Edge 1 , 0 , 0
Edge 3 , -4 , 1
Edge 1 , -1 , 0
Edge 3 , -1 , 1
Edge 0 , 2 , 1
Edge 1 , 0 , 1
Edge 0 , 0 , -1
Edge -1 , 2 , 1
Edge 3 , -3 , 1
Edge -1 , 1 , 1
Edge 0 , -1 , 1
Edge 1 , -2 , 0
Edge -3 , 2 , 1
Edge -2 , 3 , 0
Edge -1 , -1 , 1
Edge -1 , 0 , 1
Edge 1 , -1 , 1
Edge 2 , -1 , 0
Edge 1 , -3 , -1
Edge -1 , 2 , -1
Edge -3 , 7 , -1
ACHIAFJKDGILADEMBFIMHKLMBJLNEINOEHJPCGKPEFGQCDJQABOQBDKRAGNRCFORBCESDFHSALPSBGHTCMNTDOPT
Node 0 , 0 , 1
Node 1 , 0 , 1
Node 1 , 1 , 1
Node 0 , 1 , 1
Node 0 , 1 , 0
Node -1 , -1/2 , 0
Node -1/2 , -1 , 0
Node 1 , 1 , 1/2
Node 1/2 , 1/2 , -1/2
Node -1 , -1/2 , -1/2
Node -1 , -1/2 , -3/2
Node 1/2 , 3/4 , -1/4
Node 0 , 1/2 , -1
Node 1/4 , 1/2 , -1/4
Node -1/2 , 0 , 1/2
Node -1/2 , -3/4 , -1/4
Node -1 , 0 , 0
Node 1/2 , 1 , 3/2
Node -1 , -3/2 , -1
Node 3/4 , 1 , 1/4
Edge 1 , -1 , 0
Edge -1/2 , 1 , 0
Edge -1 , 1/2 , -1/2
Edge 1 , 0 , 0
Edge 1/2 , -1 , -1/2
Edge 5/4 , -1 , -1/2
Edge 1/2 , -1/2 , -1/2
Edge 1/2 , 0 , 1/2
Edge 1/2 , 0 , -1
Edge -1 , 1/2 , 1/2
Edge 0 , 0 , -1
Edge 0 , -1 , 1
Edge 0 , -1 , 0
Edge -1 , -1 , 1
Edge -1 , 1/2 , 0
Edge 1/2 , -1 , 1/2
Edge -1 , 0 , 1
Edge -1/2 , 1 , -1
Edge -3/4 , 1/2 , 0
Edge 1 , -1/2 , -1
Edge -3/2 , 1 , 1/2
Edge -1/2 , 1/2 , -1/2
再添加新找到的23行结果
print(BFHICDJKAEGLHJLMDGINAKMNFGKOCIMOEIKPBGMPBCLQFJNQADOQACHRBENRDLPRABJSEHOSCFPSDEFTGHQTIJRTKLST);
solve([+1-2*T_X+1*P_Y*T_X-2*T_X*T_X,+1*P_Y-1*T_X-1*T_X*T_X,+1*P_Y*P_Y+1*T_X-3*P_Y*T_X,+1*N_X-1*P_Y+1*T_X,-1+1*P_X+1*P_Y-1*T_X,-1+1*S_X+1*T_X,-1+1*S_Y-1*T_X,+1*Q_Y+1*T_X,-2+1*A_Y+1*P_Y-1*T_X,+1+1*L_Y-1*P_Y+1*T_X,+3+1*F_Y-1*P_Y+2*T_X,-1+1*N_Y+1*P_Y,-1+1*K_X+1*P_Y,+1*D_X-1*P_Y,-1+1*G_Y+1*P_Y,-1+1*E_X+1*T_X,-1+1*O_X+1*T_X,-1+1*B_Y+1*P_Y-1*T_X,-1+1*R_X,-1+1*A_X,-1+1*D_Y+1*P_Y,+1*G_X-1*T_X,+1*Q_X-1*T_X,-1+1*R_Y,-1+1*T_Y,+1*K_Y-1*P_Y,+1*E_Y-1*P_Y],);
print("B=(1,B_y,0) C_x=1 C_y=0 F=(1,F_y,0) H=(0,1,0) I=(1,0,0) J_x=0 J_y=1 L_x=0 M_x=0 M_y=0 O_y=0 ");
请问能能否将对应的图形贴出来下？
以前的很多数据代码我也没有备份，丢了也就没有了，现在还没弄好作图的部分代码
wayne在贴子https://bbs.emath.ac.cn/forum.php?mod=viewthread&tid=3953&highlight=%B9%FB%CA%F7 中做过一些23行图谱
他用mathematica做的图，还有源码