果树种植问题

 

在这两个问题等价么问题中，0→∞提出了果树问题每行4颗树情况的问题。

通过网络搜索引擎可以知道好像大家对20棵树情况的对应植树问题特别感兴趣,通常称为20棵树植树问题.

果树种植问题是说给出n颗果树，将它们种成若干排，使得每排都正好t颗，那么最多可以种多少排？

比如下图给出了一个16颗树种成15行的例子（注意有4颗树在无穷远处，也就是4组平行线的交点，它们构成一条无穷远直线，根据射影几何，我们可以通过投影变换将无穷远直线变换回普通直线）

在链接101楼中，通过程序我给出了13～16颗树情况下每行4颗分别最多能够种出9,10,12,15行树，并且给出了相应的C++代码,如BBS后面讨论，这个程序如果能够进一步修改，应该还可以解决17颗树的问题。而现在wolfram网页仅仅解决了12颗树问题。同样，这个程序应该通过稍微修改就可以解决相应的每行3颗和5颗树问题，不过这个计算我没有继续下去了。 
最新得计算结果求出了17颗树的最优解为16行:

2008年11月25日计算机证明了18颗树最多种18行

 

最新结果是我的计算机程序经过大量时间的运算,找出了19棵树种20行和20棵树种23行的结果(见链接)
而找到的23行的结果同王兴君找到的结果在射影变换意义下完全等价(虽然图像看起来完全不同),

而 http://bbs.emath.ac.cn/viewthread.php?tid=2015&page=11&fromuid=20#pid24695 中wayne给出23行两个不同结果的另外一种将无穷远点消除以后的排法,不过这两个结果不怎么对称

2009年12月17日计算机证明了19棵树最多中20行。

而几乎同时，在数学星空，winxos,Frankenstein,无心人（yao), liangbch,sheng_jianguo等人的帮组下，一起用计算机花费了一个月左右时间证明在特征数为2147483629的有限域中20棵树不存在24行以上解，从而在实数域或复数域中存在解的概率微乎其微（应该小于5*10^(-7)）

2010年2月1日，经过一个半月的时间，计算机终于验证了在复数域内20棵树最多23行

更多具体数据，可以从https://emathgroup.github.io/blog/orchard-planting-problem#fulllist直接下载

2019年底我的代码还找到了一些漂亮的超级对称解，比如24棵树30行有对称解

以及

还有超级对称的22棵28行解: