果树问题讨论:这两个问题等价么？

wreck

@mathe 请问create_step函数中的参数step表示的什么含义呢？另外您那还能不能找到更新后的代码呢？

mathe

wreck 发表于 2020-8-19 10:02
@mathe 请问create_step函数中的参数step表示的什么含义呢？另外您那还能不能找到更新后的代码呢？

代码的算法是拿n-1棵树的结果构造n棵树的结果，
于是构造构成每一步给第n棵树添加一行（会经过另外3棵树），这个过程为一个step.

最新代码我现在的电脑里面没有，我得回家看看移动硬盘，里面应该有备份。但是代码结构会比较复杂，还会依赖于一些第三方库，构建环境会比较复杂

mathe

work.rar (619.83 KB, 下载次数: 54)

2020-8-19 19:24 上传

点击文件名下载附件

这个附件里面包含很多去年的代码，但是比较乱，我自己也弄不清楚该如何使用了，需要多试验一下

mathe

ocd.rar (50.62 KB, 下载次数: 3)

2020-8-22 10:08 上传

点击文件名下载附件

上面代码好像缺乏基本搜索算法，寻找了一下，好像没有找到最新的，但是又较旧的一些代码，估计算法差别不大，只是输出结果格式有些不同

wreck

新的代码我还没仔细看，不过能不能问下，比如假如我想找16点15条的所有可能组合，以下两种思路是否等价？ 1.依次运行16点时，create_step_one,create_step(2),create_step(3),...,create_step(16). 2.先运行完15点从1到11的结果，再在此结果的基础上运行16点12到16的结果。

mathe

wreck 发表于 2020-8-22 11:33
新的代码我还没仔细看，不过能不能问下，比如假如我想找16点15条的所有可能组合，以下两种思路是否等价？ 1 ...

代码应该有多份，不同代码稍微有些不同。
但是大部分搜索过程都是比如在得到15点的结果后，把它作为输入用于产生16点
而运行16行的过程会一次将参数从1运行到15（或16）。最后得到所有结果。
但是有部分代码不需要更少点的结果作为输入，那么第一步就是create_step_one自动生成所有解。但是这种方案应该无法突破16棵树。

hujunhua

@mathe 从三个透视三角形中发现了一个18树18行不含无穷远点的三阶旋转对称图，并且是轴对称图。两个大三角形边上好多黄金分割比。

mathe

检查了一下以前代码产生的数据，18棵树情况好像找不到hujunhua上面发现的这个解。
最近尝试找回以前部分代码并且重新产生的所有16棵树的结果和17棵树的结果，其中16棵树的结果还是和以前匹配，但是17棵树的结果发现以前的结果已经有所遗漏，
新的结果更新在 16棵树以及17棵树.
根据2#中介绍，首先有一个基本搜索代码，在102#，但是这个代码搜索到16棵树基本上就到极限了。
进一步搜索需要切换到259#中介绍的算法。
另外是对非法结果的淘汰算法，有51#和357#两种算法。由于后者远远快于前者，所以我们以前的搜索应该都基于后者。经过调试以后，发现后者代码中存在一个bug,导致部分合法解被遗漏。

mathe

18棵18行实数解:
ABGHBEJKAEILDHIMFGLMDEGNBFINACMNFHJOCGKOCEHPAFKPBDOPADJQBCLQCIJRDKLREFQR
si[1]=l3-l+1 (l=-1.3247179572447460259609088544780973407)
si[2]=k+l2+l-2 (k=1.5698402909980532659113999581195686489)
list nn1=0,1,0;
list nn2=0,0,1;
list nn3=-1+1k+1l,2-1k-1l,1;
list nn4=-1+1k,1,1;
list nn5=1,0,0;
list nn6=1,1l,1;
list nn7=0,1,1;
list nn8=0,2-1k-1l,1;
list nn9=1,1l,0;
list nn10=-1+1k,0,1;
list nn11=1,0,1;
list nn12=1,-1+1l,0;
list nn13=-1+1k+1l,3-1k-1l,1;
list nn14=-1+1k+1l,1,1;
list nn15=2/5k+1/5l,1-2/5k-1/5l,1;
list nn16=1,2-1k-1l,1;
list nn17=-1+1k,1l,1;
list nn18=k,l,1;
这个点度数5,4,3都有，和以前看到的都不等价，是18棵18行新解

mathe

BFGJAFHKABILDHJMEGLMDFINBEKNACMNEHIOCGKOAEJPCFLPBDOPADGQBCHQCIJRDKLREFQR
si[1]=m3-m2+1
si[2]=l+m-1
si[3]=k+m2-1
list nn1=1,1-1k-1m,0;
list nn2=0,0,1;
list nn3=0,1,1;
list nn4=1,1-1k,1;
list nn5=1k,1m,1;
list nn6=1,0,0;
list nn7=1-1k,0,1;
list nn8=0,1,0;
list nn9=1k,1-1k,1;
list nn10=1,0,1;
list nn11=1,-1+1m,0;
list nn12=-1m,1,1;
list nn13=1,2-1k-1m,1;
list nn14=1k+1m,1-1k,1;
list nn15=k,1+1m,1;
list nn16=l,1,1;
list nn17=0,1m,1;
list nn18=1-1m,m,1;
----------------------------
ABCFCDGHDFIJEFGKCEJLBGIMADKMAHJNBDLNBEHOAGLOFHMPCINPAEIQBJKQCKORDEPRFLQR
si[1]=k2-k-1
list nn1=1,-2+1k,0;
list nn2=1,-1,0;
list nn3=0,1,0;
list nn4=0,0,1;
list nn5=-1k,1,1;
list nn6=1,0,0;
list nn7=0,1,1;
list nn8=0,1-1k,1;
list nn9=1,0,1;
list nn10=-1k,0,1;
list nn11=-1-1k,1,1;
list nn12=-1k,1k,1;
list nn13=1k,1-1k,1;
list nn14=1,-1,1;
list nn15=-1-1k,2,1;
list nn16=1,1-1k,1;
list nn17=-2k,1k,1;
list nn18=-1-1k,k,1;
----------------------
BCDGCEFHADFJFGKMACLMEGJNABKNDIMNAGHOBELOBFIPDHLPCKOPAEIQBHJQCIJRDEKRFLQR
si[1]=k2-k-1
list nn1=1,0,1;
list nn2=1,-2+1k,0;
list nn3=0,1,0;
list nn4=1,0,0;
list nn5=0,1,1;
list nn6=0,0,1;
list nn7=1,1-1k,0;
list nn8=0,-1+1k,1;
list nn9=1k,1-1k,1;
list nn10=1k,0,1;
list nn11=-1k,1,1;
list nn12=1,-1+1k,1;
list nn13=1,1-1k,1;
list nn14=1+1k,1-1k,1;
list nn15=-1k,1k,1;
list nn16=-1k,-1+1k,1;
list nn17=-1+1k,2-1k,1;
list nn18=k,1,1;
------------------------------
BDFJACHJADGKAEFLABIMBEHOCFKOGINODILPGJMPCENPBCLQDEMQHKNQFGHRIJKRLMNROPQR
si[1]=k2+k-1
list nn1=0,0,1;
list nn2=1,1k,0;
list nn3=0,1,1;
list nn4=1,0,0;
list nn5=-1/2k,1k,1;
list nn6=1,-2,0;
list nn7=1,0,1;
list nn8=0,2,1;
list nn9=1/2,1/2k,1;
list nn10=0,1,0;
list nn11=1/2,0,1;
list nn12=-1/4k,1/2k,1;
list nn13=1,1k,1;
list nn14=2/5-1/10k,2/5+2/5k,1;
list nn15=-1/4k,1+1/2k,1;
list nn16=1,1/2k,1;
list nn17=1/2-1/4k,k,1;
list nn18=1/2,1,1;
----------------------------
BFHIDEGJCFGKADIKAEHLBCJLBEKMDFLMCEINAFJNACMOBDNPGHOPABGQCDHQIJORKLPREFQR (这个和胡氏解等价)
si[1]=k2+k-1
list nn1=1,0,1;
list nn2=1,-1,0;
list nn3=0,1+1k,1;
list nn4=2+1k,0,1;
list nn5=-1-1k,1+1k,1;
list nn6=0,1,0;
list nn7=0,1,1;
list nn8=1,-1k,0;
list nn9=1,0,0;
list nn10=1,1k,1;
list nn11=0,0,1;
list nn12=2+1k,-1,1;
list nn13=2+1k,-2-1k,1;
list nn14=1,1+1k,1;
list nn15=1k,1k,1;
list nn16=3+2k,-1-1k,1;
list nn17=-1-1k,2+1k,1;
list nn18=-1-1k,k,1;
P<6> （第5种变换代表A->D->E->A, B->F->C->B, G->L->I->G, H->K->J->H, M->N->Q->M, O->P->R->O)
        ABCDEF
        CEAFBD
        CDABFE
        AFCEDB
        DFBEAC  
        BEDFCA
        BADCFE
        ECFADB
        DCBAEF
        FAECBD
        FDEBCA
        EBFDAC
P<6>
        GHIJKL
        IJGHKL
        HGJILK
        JIHGLK
        LKGHJI
        KLHGIJ
        GHLKJI
        IJLKHG
        HGKLIJ
        JIKLGH
        LKIJHG
        KLJIGH
P<3>
        MNQ
        MQN
        MNQ
        MQN
        NQM
        NQM
        NMQ
        QMN
        NMQ
        QMN
        QNM
        QNM
P<3>
        OPR
        ORP
        OPR
        ORP
        PRO
        PRO
        POR
        ROP
        POR
        ROP
        RPO
        RPO

-------------------------------
CGHJFIJKBEFLDFGMBHKMCEINADKNDEJOAGLOBCDPAEHPILMPACFQBGNQHIOQABJRCKLRMNOR
si[1]=4l3+8l2-6l+1
si[2]=k-2l2-4l+1
list nn1=-1+2k+2l,1k,1;
list nn2=2l,1-2l,1;
list nn3=0,1k,1;
list nn4=1,1-2k-1l,0;
list nn5=-2+2k+4l,1-2l,1;
list nn6=1,0,0;
list nn7=0,1,0;
list nn8=0,1,1;
list nn9=2k,0,1;
list nn10=0,0,1;
list nn11=1,0,1;
list nn12=-1+2k+2l,1-2l,1;
list nn13=1,-1,0;
list nn14=2l,1k-1l,1;
list nn15=-1+2k+2l,1-1k-1l,1;
list nn16=2k-2l,2l,1;
list nn17=2l,k,1;
list nn18=1k,l,1;
18棵18行以及部分17行在 https://github.com/emathgroup/se ... ached/trees/d18.tgz
18棵18行实数解挺多的，但是没有整数解，这个结论还是保持和过去一样，整数解只有17行（同样17棵也没有区别）。