|
|
评论
|
两个圆要么不相交，要么相交于两点。不允许切向接触。一个点正好属于一个或两个圆。三个圆可能不会在一点上相交。这些圆的半径可能不同。
这是仿射平面，而不是射影平面。
如果在保持所有圆为圆形（尽管半径可能会不断改变）的同时，一个连续改变为另一个，且不改变交点的多重性，且没有圆通过交点，则认为两种布置是相同的。允许翻转整个配置。
有几种可能的变化：
-允许圆相切但没有多个交点（从1、5…开始）；还需要更多的术语。
-再次使用圆，但允许多个交点（也从1、5…开始）；需要更多的条件。
-使用省略号而不是圆圈。
-Walter D.Wallis提出的一个问题：如果所有圆的半径都必须相同怎么办？
a250001.jpg中的图表表示（按相同顺序）：
a（1）=1:{{2}}；
a（2）=3:｛｛2，3｝，｛2，4｝，｛4，6｝｝；
a（3）=14:{{2,4,8}，{2,3,6}，}2,3,4}，2,3,5}，
{4, 6, 15}, {2, 6, 9}, {4, 6, 12}, {2, 8, 12}, {30, 42, 70},
{?, ?, ?}, {?, ?, ?}, {15, 21, 35}, {?, ?, ?}}.
按字典顺序：
a（3）=14:{{2,3,4}，{2,35}，}2,3,6}，[2,4,8}，[2]，6,9}，
{2, 8, 12}, {4, 6, 5}, {4, 6, 12}, {4, 6, 15}, {15, 21, 35},
{30, 42, 70}, {?, ?, ?}, {?, ?, ?}, {?, ?, ?}}.
大于1的最小整数用于表示：
（p_1）^（a_1）**（p_m）^（a_m），其中
0<=a_i<=n，对于1<=i<=m；
（a_1）++（a_m）>0。
维恩图解释（每个子集中k个数的公约数的k-wise，1<=k<=n）能揭示一个模式吗？
这种表示法适用于更复杂的图吗？（结束）
来自的评论乔恩·怀尔德2016年8月25日。一旦达到n=5，几何问题意味着并非所有拓扑上可以想象的排列都是可以画圆的。我的程序列举了16977个可以想象的5个伪圆的排列，克里斯托弗·琼斯和我一起想出了如何证明其中26个排列实际上不是可画圆的。所以看起来a（5）=16951。这一条目将很快更新，并且将有一个新的拓扑排列顺序。[本评论中的计数由乔恩·怀尔德2016年8月30日。我很抱歉花了这么长时间在这里进行更正-N.J.A.斯隆2017年6月11日]
a（n）<=7*13^（二项（n，3）+二项（n，2）+3n-1）是一个（松散的）上界，请参阅Reddit链接。我相信XkF21WNJ的回复将所有n>1的界限减少了13^3的因子-莱纳斯·汉密尔顿2019年4月14日
|
