镀锡机

这个项目提供了11个高效的C++数据结构(n≤64）。带有n顶点 表示为n机器字，它可以被有效地操纵通过位转动。提供了一些例子。

极值图

• 在极端.cc，最大数量P_三一张图表n顶点可以作为诱导子图的确定。这里，aP_三是具有3个顶点的路径。结果发现 数字是

  0，0，1，4，9，18，30，48，70，100，135

  匹配OEIS序列A111384:⌊n/2⌋*⌈n/2⌉*(n-2） /2个.

检验猜想

• 文件P5编辑.cc检查关于P₅-自由编辑问题，即在一个图中添加和删除最少数量的边的问题P₅-免费，哪里P₅是具有5个顶点的路径的 诱导子图。推测是不在任何P₅可以省略，因为删除它们没有意义。程序会找到一个有8个顶点的 反例。

• 在ssge-约立方厘米研究了稀疏分裂图编辑的近似 算法的逼近因子。对于有6个顶点的图，最坏的情况是因子2.5，而顶点越多的图似乎有更好的因子。该算法的最佳证明界是因子3（F.Hüffner，C.Komusiewicz和 A.Nichterlein:将图编辑成几个集团：复杂性， 近似和核化方案。WADS 2015年）

默认最大顶点数为32。要更改此设置，请编辑字号.h.

同构图的枚举当前由恶心，附带有自己的 许可证（大致上，非商业用途是免费的）。