跳到内容
主人
转到文件
代码

最新提交

 

Git统计

文件夹

永磁
未能加载最新提交信息。
类型
姓名
最新提交消息
提交时间
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

自述文件

镀锡机

这个项目提供了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检查关于P5-自由编辑问题,即在一个图中添加和删除最少数量的边的问题P5-免费,哪里P5是具有5个顶点的路径的 诱导子图。推测是不在任何P5可以省略,因为删除它们没有意义。程序会找到一个有8个顶点的 反例。

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

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

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

关于

探索小图上的图猜想

资源

许可证

释放

未发布版本

包装

未发布包

语言文字

此时不能执行该操作。