免了
:lol
我算了
开16个
3分钟一个，速度不变
需要17年
况且更慢
根据现在的数据,19棵树可以找到20行的结果,但是没有找到21行的结果
其中20行的结果我已经找到两组确定的结果:
1:
ACDN AEFO AGHP BCEQ BDIR BGJS CKPR CLOS DFLP DHMS EIKS EJMP FHKN FMQR GKOQ GLNR HJOR IJLQ IMNO NPQS
A(0,0) B(1,1,0) C(0,1,0) D(0,2) E(1,0,0) F(-8,0) G(-2,-3/2) H(8/5,6/5) I(-1/2,3/2)
J(5/2,3) K(4,3/2) L(1,9/4) M(-2,3) N(0,1) O(1,0) P(4,3) Q(1,1/2,0) R(4,6) S(1,3/2)
2:
ACDO AEFP AGQS BCHQ BIJR BOPS CEIK CLRS DFMR DGLP DHKS EJMS ELNQ FINS FJLO GHOR GKMN HJNP IMOQ KPQR
t^2-3t+1=0
A(1,0,0) B(0,t) C(1,0) D(t-1,0) E(1,1-t,0) F(1,t-3,0) G(t-1,1) H((t-1)/2,1/2) I(1/2,(t-1)/2) J((t-1)/2,-(t-2)/2)
K(t-2,t-2) L(t-1,2-t) M((t-2)/2,1/2) N((t-1)/2,-(t-4)/2) O(0,0) P(0,1,0) Q(t-2,1) R(t-2,3-t) S(0,1)
这个情况t可以有两种取值,不知道对应的图是否在射影变换下等价
另外还有一组可能的解,maxima解不出来,有mathematica等软件的朋友可以试着让计算机求解一下看看:
solve([+1-1*S_X-3/10*R_X*S_X+2/5*S_Y-3/5*M_X*S_Y-3/5*R_X*S_Y,+1*H_X+1*I_Y*R_X-1*S_X+3/10*R_X*S_X+3/5*S_Y-2/5*M_X*S_Y-2/5*R_X*S_Y,+1*I_X-1*S_X+1*H_X*S_Y-1*I_X*S_Y,+1*I_Y-1*I_Y*R_X+2*S_X-3*R_X*S_X-1*S_Y-1*H_X*S_Y+1*R_X*S_Y,+1*M_X-3/2*M_X*R_X+1*Q_Y*S_X-1*S_Y,+1*I_Y*M_X-2*I_Y*R_X+1*S_X+1*Q_Y*S_X-9/10*R_X*S_X-9/5*S_Y+1/5*M_X*S_Y+1/5*R_X*S_Y,+1*N_X-1*N_X*Q_Y-1*N_X*R_X+4/3*N_Y*R_X-5/3*S_X+1/3*Q_Y*S_X+3/2*R_X*S_X+1*S_Y-1/3*M_X*S_Y-1/3*R_X*S_Y,+1*I_Y*N_X-1*I_X*N_Y+1*N_X*Q_Y-3*I_Y*R_X+1*N_X*R_X+2/3*N_Y*R_X+8/3*S_X-1/3*Q_Y*S_X-21/5*R_X*S_X-12/5*S_Y+1*H_X*S_Y-2*I_X*S_Y+14/15*M_X*S_Y+29/15*R_X*S_Y,+1*N_Y-1*N_X*Q_Y-1*S_X+1*Q_Y*S_X+3/2*R_X*S_X,+1*M_X*N_Y+2*N_X*R_X-2/3*N_Y*R_X-5/3*S_X+1/3*Q_Y*S_X+3/10*R_X*S_X+3/5*S_Y-11/15*M_X*S_Y-11/15*R_X*S_Y,+1*Q_Y+1*S_X-1*Q_Y*S_X-3/2*R_X*S_X,+1*I_X*Q_Y-1*I_Y*R_X+2*S_X-27/10*R_X*S_X-7/5*S_Y-1*I_X*S_Y+3/5*M_X*S_Y+8/5*R_X*S_Y,+1*M_X*Q_Y+1*S_X+1*Q_Y*S_X+3/10*R_X*S_X-7/5*S_Y+3/5*M_X*S_Y+3/5*R_X*S_Y,+1*R_X-1*S_X+3/10*R_X*S_X+3/5*S_Y-2/5*M_X*S_Y-2/5*R_X*S_Y,+1*I_X*R_X-2/3*S_X-1/3*Q_Y*S_X-1/10*R_X*S_X+7/15*S_Y+1/3*H_X*S_Y-1/3*I_X*S_Y-1/5*M_X*S_Y-1/5*R_X*S_Y,+1*Q_Y*R_X-1*Q_Y*S_X+1*S_Y,+1*R_X*R_X-1/3*S_X+1/3*Q_Y*S_X-3/10*R_X*S_X-4/15*S_Y-4/15*M_X*S_Y-4/15*R_X*S_Y,+1*I_Y*S_X-1*H_X*S_Y,+1*N_Y*S_X-1*N_X*S_Y,+1*M_Y+1*Q_Y+3*R_X,+1*L_X-1/2*M_X,-1/2+1*L_Y+1/2*Q_Y+3/2*R_X,-2+1*O_Y+1*Q_Y+3*R_X,+2+1*C_Y-3*Q_Y-3*R_X,-1+1*K_X+1*R_X,-2+1*J_X+2*R_X,+1*D_Y-1*Q_Y,-2+1*K_Y+1*Q_Y+3*R_X,-1+1*G_X,-1+1*Q_X,+1*H_Y-1*I_Y,+1*G_Y-1*I_Y,-2+1*J_Y+1*Q_Y+3*R_X],);
是否19的可以认为已经得到解决？？
上面的解还不够.
如果从17树时15和16边开始,还可以构造出3个解
解1:
ACDM AENO BCPQ BFGH BIMN CJKR CLOS DERS DFJP DGOQ EIKQ ELMP FIOR FKLN GKMS GNPR HIPS HJMO HLQR JNQS
t^3-t^2+2t-1=0
A(1,0,0) B((t-1)/t,(t^2-t+3)/t) C(1-t,0) D(0,0) E(1,t^2+1,0) F(t-t^2,t^2-t) G(0,1) H(1,-2t^2+t-4) I(t-t^2,2t^2-t+2)
J(1,-1) K(-t^2,t^2+1) L(1-t,-t^2+t-1) M(1,0) N(1,-t^2+t-3,0) O(0,1,0) P(t,-t) Q(0,t^2-t+2) R(t-t^2,t^2) S(1-t,t)
解2:
ACDM AENO BCPQ BFGR BHMS CIJR CKNS DFIP DHNR DOQS EFJS EHKP ELQR FLMN GHJO GINQ GLPS IKLO JKMQ MOPR
t^3+t^2+7t-1=0
A(1,0,0) B((2t^2+t+1)/(10t),-(t^2+13t-2)/(10t)) C(1,0) D((t^2-2t+1)/(4t),0) E(1,(3t^2+2t-1)/(4t),0)
F(0,(t^2-2t+1)/(4t)) G((t+1)/2,-(t^2+6t-1)/(2t)) H((t^2-2t+1)/(4t),-(3t^2+6t-1)/(4t))
I((t+1)/2,-(t^2+4t-1)/(4t)) J(-(6t^2-16t+2)/(8t^2),-(t-1)/2) K(1,(3t^2+2t-1)/(4t)) L(0,1) M(0,0)
N(0,1,0) O(1,(t-1)/2) P((t^2+2t+1)/(4t),-1) Q((t+1)/2,(t^2-6t+1)/(4t)) R((t^2-2t+1)/(4t),-(t+1)/2) S(1,t)
快的机器算到17000多了
慢的机器的显示器给别人了
所以看不到了
呵呵
还两天就快算完d5了
今天更新到18800之前的结果
d5运算结束
用Pari/GP对52#的图进行射影变换,可以得到如下两个等价的图
:)
还是不太美观