万维百科

藤村幸三郎的三角形问题

此问题使用三条、四条与五条笔直线段之解。

藤村幸三郎的三角形问题(Kobon triangle problem)是一个离散几何上未解决的问题,该问题首先由藤村幸三郎(Kobon Fujimura)提出。这个问题问说“对k条线进行排列,则在此直线排列(Arrangement of lines)中,以这k条线为边且彼此不重叠的三角形最多有多少个?”。一些此问题的变体问的是在射影平面上的状况,且要求其中的三角形不能为该直线排列中的各线给穿过。

田村三郎证明说此问题的最大整数解之值不超过,这为“对k条线进行排列,则在此直线排列(Arrangement of lines)中,以这k条线为边且彼此不重叠的三角形的数量的最大值”解提供了一个上界。

在2007年,约翰尼斯‧巴德(Johannes Bader)和吉莱‧克雷蒙(Gilles Clément)发现了一个较小的上界,他们证明说当k除以6的余数为0或2时,该k值对此问题答案的上界会比田村氏所给出的上界要来得小。在这些k值中,其上界值会为田村氏给出的上界值减一。

此问题的“完美解”(与理论最大值相合的已知最佳解)在k = 3, 4, 5, 6, 7, 8, 9, 13, 15 和 17的状况下是已求出的 ;在k = 10, 11 和 12的状况下,目前已知的最佳解比其理论上界要小一个值。

借由使用佛吉(D. Forge)和罗米瑞兹─阿尔丰森(J. L. Ramirez Alfonsin)两氏提供的方法,在已知k0条线状况下的完美解的状况下,亦可知此问题对形如的各数字ki的(完美)解,像例如当k0 = 3时,在k = 3,5,9,17,33,65,...等的状况下,“对k条线进行排列,则在此直线排列(Arrangement of lines)中,以这k条线为边且彼此不重叠的三角形的数量的最大值”亦可求出。

k 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 OEIS
田村氏的上界 1 2 5 8 11 16 21 26 33 40 47 56 65 74 85 96 107 120 133 A032765
克雷蒙与巴德二氏的上界 1 2 5 7 11 15 21 26 33 39 47 55 65 74 85 95 107 119 133 -
已知的最佳解 1 2 5 7 11 15 21 25 32 38 47 53 65 72 85 93 104 115 130 A006066

范例

参照

  1. ^ 1.0 1.1 Forge, D.; Ramírez Alfonsín, J. L., Straight line arrangements in the real projective plane, Discrete and Computational Geometry, 1998, 20 (2): 155–161, doi:10.1007/PL00009373.
  2. ^ 埃里克·韦斯坦因. Kobon Triangle. MathWorld.
  3. ^ G. Clément and J. Bader. Tighter Upper Bound for the Number of Kobon Triangles. Draft Version, 2007. (PDF). [2013-05-23]. (原始内容 (PDF)存档于2017-11-11).
  4. ^ Ed Pegg Jr. on Math Games. [2013-05-23]. (原始内容存档于2013-06-02).
  5. ^ "Matlab code illustrating the procedure of D. Forge and J. L. Ramirez Alfonsin", Retrieved on 9 May 2012.. [2013-05-23]. (原始内容存档于2021-03-08).

外部链接


本页面最后更新于2021-06-07 00:06,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器