20棵树最优解计算

mathe

target19文件

wayne

好不值啊 所有的target19文件都是0 KB

sheng_jianguo

请教mathe: 对于某个确定的“23行”排列(比如： ABCDAEFGAHIJAKLMANOPBEIPBFJQBHKOBNRSCEKSCFIMCGJPCHQRDEHNDFKRDGMSDILOELQTFOSTGIRTHMPTJKNTJMOR)用您的方法能能判定出是否有解，有解的话算出20个点的坐标吗？

mathe

见 http://bbs.emath.ac.cn/viewthrea ... fromuid=20#pid24310

sheng_jianguo

运行solver.exe程序时，如何输入数据？

sheng_jianguo

知道了，输入数据的方法和原来一样。 如果无解，程序会输出什么信息？

mathe

确定无解，程序将不输出。 可以通过 solver inputfile 1>output 2>stderr 将输出数据分离，output里面只包含方程,stderr里面包含可能存在解的数据。 我确定这个版本是什么版本，部分版本还会将一些比较好的数据输出到一个gc.txt文件

sheng_jianguo

计算结果： print(ABCDAEFGAHIJAKLMANOPBEIPBFJQBHKOBNRSCEKSCFIMCGJPCHQRDEHNDFKRDGMSDILOELQTFOSTGIRTHMPTJKNTJMOR); solve([+1-5/4*T_Y*T_Y,-1+1*T_X+1/2*T_Y,+1+1*S_Y-5/2*T_Y,+1/2+1*Q_X-5/4*T_Y,-3/2+1*R_X+5/4*T_Y,+1+1*L_Y,-1/2+1*M_X+5/4*T_Y,-1+1*S_X+5/2*T_Y,-1/2+1*M_Y-5/4*T_Y,-2+1*P_X,+1/2+1*O_Y-5/4*T_Y,-2+1*G_Y,+1/2+1*D_Y-5/4*T_Y,-1+1*H_X,-1/2+1*L_X+5/4*T_Y,+1/2+1*K_Y-5/4*T_Y,-2+1*O_X,-1+1*Q_Y,+1+1*R_Y-5/2*T_Y,-1+1*J_X,+1/2+1*H_Y-5/4*T_Y,-1+1*J_Y,-2+1*N_X,-1/2+1*K_X+5/4*T_Y,+1+1*N_Y-5/2*T_Y,+1+1*C_Y],[T_Y,T_X,S_Y,Q_X,R_X,L_Y,M_X,S_X,M_Y,P_X,O_Y,G_Y,D_Y,H_X,L_X,K_Y,O_X,Q_Y,R_Y,J_X,H_Y,J_Y,N_X,K_X,N_Y,C_Y]); print("A=(0,1,0) B=(1,0,0) C=(1,C_y,0) D=(1,D_y,0) E_x=0 E_y=0 F_x=0 F_y=1 G_x=0 I_x=1 I_y=0 P_y=0 "); 能帮我求出20个点的坐标吗？

mathe

这个直接可以手工解出，第一个是$5/4T_Y^2=1$,即$T_Y=2/{sqrt(5)}$,后面其它的表达式全部是线性的

mathe

你还可以看另外一个链接最后面的一个norm.exe程序，它可以将所有点线关系通过置换变化标准化到统一形式 比如你这个数据，输入以后，输出结果是： ABCDAEFGAHIJAKLMANOPBEIPBFJQBHKOBNRSCEKSCFIMCGJPCHQRDEHNDFKRDGMSDILOELQTFOSTGIRTHMPTJKNTJMOR ADGJBEIJCDHKAFIKCEGLBFHLCJMODINODLMPAHNPGKOPBGMQFJNQAEOQEHMRBKNRCFPRILQRABCSDEFSGHITJKLTMNST BHOKFRDKJHIABCDAJROMFCIMJKTNHDENHMTPBIEPOANPFOTSCKESBRNSRITGFAEGJCPGDMSGBFJQHRCQOIDLKAMLTEQL 第一行是输入，第二行是标准化结果，最后一行表示对应点在原来关系中的点。 然后查找那个链接第一页面中所有现在已经得出的20棵树23行结果，可以发现 ADGJBEIJCDHKAFIKCEGLBFHLCJMODINODLMPAHNPGKOPBGMQFJNQAEOQEHMRBKNRCFPRILQRABCSDEFSGHITJKLTMNST 已经是两个结果之一，也就是已经找到了