再来两个 16 线，13x13 点阵的。
构造思路与 25# 相同，但更优美。
最少16线
因为必有四个不同的中心正方形。这下问题应该解决了，至少大部分看上像是那么回事了。当然部分还是包含一些无用边。 mathe 发表于 2024-7-18 07:17
这下问题应该解决了，至少大部分看上像是那么回事了。当然部分还是包含一些无用边。 ...
不錯，已經幾乎窮舉了。
不過仍存在很多端點懸空的線。
一條線段的端點是否懸空，我感覺應該是很好判斷的吧？
mathe 发表于 2024-7-18 07:17
这下问题应该解决了，至少大部分看上像是那么回事了。当然部分还是包含一些无用边。 ...
可以分哈类，然后分几贴展示。可以考虑的分类维度：
1、中心正方形的方向分配：A-4正，B-3正1斜，C-2正2斜，（D-1正3斜）
2、线数
3、自由度
4、最小点阵
A16A18A20A22A24
B16B18B20B22B24
C16C18C20C22C24
D16D18D20 D22D24
为了减少人工审核、分类的工作量，程序生成时可以先分几个大类。
这个满足吗？
精简过的结果 mathe 发表于 2024-7-18 14:00
精简过的结果
此結果非常強大！可能六乘六方、八乘八方已經窮舉完了。
如果要往十乘十、十二乘十二，可能需要加上兩種判斷：
一是哈希排重，就是每種圖跟某值異或，得到一個哈希值，把圖保存在一個map中，key就是那個哈希值。當生成新的圖時，就察看是否之前已經生成過。
二是自由度判定，就是某些圖，它的外圍可以自由拉伸，這種是否能夠判定為跟之前的是同一張圖？
如果結果沒有很多，那不排重或許也可以。
搜索到了26边以内，并且按胡的要求做了部分分类(类型，边数，顶点数）
自由度计算起来比较麻烦（需要判断矩阵的秩），就没有提供了 mathe 发表于 2024-7-19 08:57
搜索到了26边以内，并且按胡的要求做了部分分类(类型，边数，顶点数）
自由度计算起来比较麻烦（需要判断 ...
不知該cpp程式在未來是否有可能把這張圖也算出來？