mathe
发表于 2010-2-1 14:37:56
target19文件
wayne
发表于 2010-2-1 15:38:07
好不值啊
所有的target19文件都是0 KB
:lol
sheng_jianguo
发表于 2010-2-2 08:45:09
请教mathe:
对于某个确定的“23行”排列(比如:
ABCDAEFGAHIJAKLMANOPBEIPBFJQBHKOBNRSCEKSCFIMCGJPCHQRDEHNDFKRDGMSDILOELQTFOSTGIRTHMPTJKNTJMOR)用您的方法能能判定出是否有解,有解的话算出20个点的坐标吗?
mathe
发表于 2010-2-2 09:43:44
见
http://bbs.emath.ac.cn/viewthread.php?tid=703&page=64&fromuid=20#pid24310
sheng_jianguo
发表于 2010-2-2 10:56:08
运行solver.exe程序时,如何输入数据?
sheng_jianguo
发表于 2010-2-2 11:56:11
知道了,输入数据的方法和原来一样。
如果无解,程序会输出什么信息?
mathe
发表于 2010-2-2 13:25:00
确定无解,程序将不输出。
可以通过
solver inputfile 1>output 2>stderr
将输出数据分离,output里面只包含方程,stderr里面包含可能存在解的数据。
我确定这个版本是什么版本,部分版本还会将一些比较好的数据输出到一个gc.txt文件
sheng_jianguo
发表于 2010-2-5 08:46:54
计算结果:
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],);
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
发表于 2010-2-5 08:49:26
这个直接可以手工解出,第一个是$5/4T_Y^2=1$,即$T_Y=2/{sqrt(5)}$,后面其它的表达式全部是线性的
mathe
发表于 2010-2-5 09:00:54
你还可以看另外一个链接最后面的一个norm.exe程序,它可以将所有点线关系通过置换变化标准化到统一形式
比如你这个数据,输入以后,输出结果是:
ABCDAEFGAHIJAKLMANOPBEIPBFJQBHKOBNRSCEKSCFIMCGJPCHQRDEHNDFKRDGMSDILOELQTFOSTGIRTHMPTJKNTJMOR
ADGJBEIJCDHKAFIKCEGLBFHLCJMODINODLMPAHNPGKOPBGMQFJNQAEOQEHMRBKNRCFPRILQRABCSDEFSGHITJKLTMNST
BHOKFRDKJHIABCDAJROMFCIMJKTNHDENHMTPBIEPOANPFOTSCKESBRNSRITGFAEGJCPGDMSGBFJQHRCQOIDLKAMLTEQL
第一行是输入,第二行是标准化结果,最后一行表示对应点在原来关系中的点。
然后查找那个链接第一页面中所有现在已经得出的20棵树23行结果,可以发现
ADGJBEIJCDHKAFIKCEGLBFHLCJMODINODLMPAHNPGKOPBGMQFJNQAEOQEHMRBKNRCFPRILQRABCSDEFSGHITJKLTMNST
已经是两个结果之一,也就是已经找到了
页:
1
2
3
4
5
6
7
8
9
10
[11]
12
13
14