arXiv 1003.43912010-03-23cs.DM

6-立方体中Hamilton圈的计数

Enumeration of Hamiltonian Cycles in 6-cube

Michel Deza, Roman Shklyar

摘要：

求6-立方体中有向哈密尔顿圈的个数2 H6是高德纳的《计算机编程的艺术》第43节中的问题;下面对各种建议的估计进行了调查。7.2.1.1我们计算出精确值：H6= 14，754，666，508，334，433，250，560 =6*2^4* 217，199 * 1，085，989 * 5，429，923。计算出6-立方体自同构的圈数Aut 6为147，365，405，634，413，085

英文摘要：

Finding the number 2H6 of directed Hamiltonian cycles in 6-cube is problem 43 in Section 7.2.1.1 of Knuth's ' The Art of Computer Programming'; various proposed estimates are surveyed below. We computed exact value: H6=14,754,666,508,334,433,250,560=6*2^4*217,199*1,085,989*5,429,923. Also the number Aut6 of those cycles up to automorphisms of 6-cube was computed as 147,365,405,634,413,085

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

循环可定向图上无弦圈的多项式计数

Polynomial enumeration of chordless cycles on cyclically orientable graphs

在有限无向简单图中，一个无弦圈是一个诱导子图，它是一个圈。一个图称为循环可定向的，如果它允许一个定向，其中每个无弦圈都是循环定向的。我们提出了一个算法来枚举这样的图的所有无弦圈。与其他同类算法相比，该算法的优点是在输入尺寸下只需查找一次无弦环，时间复杂度为$\mathcal{O}(n^2)$，其中$n$为顶点数。

2015-05-11cs.DMcs.DS

与n-立方体方向相关的并行芯片发射博弈

Parallel Chip Firing Game associated with n-cube orientations

我们研究了与n-立方体方向相关的芯片发射游戏所产生的周期。我们证明了$H_n$（n >= 1）上从2到$2^n$的偶数长度的平行演化以及$H_n$（n >= 4）上从1到$2^{n-1}-1$的奇数长度的平行演化所产生的圈的存在性.

2010-07-01cs.DM

无弦圈的有效计数

Efficient Enumeration of Chordless Cycles

在有限无向简单图中，{ \it无弦圈}是一个诱导子图，它是一个圈。我们提出了两个算法来枚举所有的无弦圈这样的图。与其他同类算法相比，该算法的优点是每个无弦周期只找到一次。为了确保这一点，我们引入了顶点标记和初始有效顶点三元组的概念。为了保证一个给定的无弦路径的扩展将总是导致一个无弦循环，我们使用宽度优先搜索的子图中获得的许多顶点从原始图中消除。所得到的算法在输出大小方面具有时间复杂度$\mathcal{O}(n + m)$，其中$n$是顶点的数目，并且$m$是边的数目。

2014-11-27cs.DMcs.DS

无标号图类的计数与随机生成：圈指向与不对称定理的实用研究

Enumeration and Random Generation of Unlabeled Classes of Graphs: A Practical Study of Cycle Pointing and the Dissymmetry Theorem

本文研究了无根图的无标号组合类的计数和随机生成问题。虽然顶点指向的技术提供了一个简单的程序来分析一个标记类的无根图，首先研究它的根对应，非平凡对称性的存在，在无标记的情况下，导致这种技术崩溃。相反，技术，如不对称定理（水獭）和循环指向（Bodirsky等人）。在未标记的情况下出现，前者提供类的枚举，后者提供枚举和无偏采样器。在这项工作中，我们扩展了权力的不对称定理表明，它实际上提供了一个玻尔兹曼采样器的类的问题。然后，我们提出了一个循环指向技术的阐述，重点是枚举和随机生成的底层unpointed类。最后，我们应用圈指向枚举和实现的距离遗传图和三叶功率图类的采样器。

2015-11-19cs.DMcs.DSmath.CO

局部扭立方体中两个边不相交的Hamilton圈的构造

Constructing Two Edge-Disjoint Hamiltonian Cycles in Locally Twisted Cubes

$n$维超立方体网络$Q_n$由于结构简单、易于实现而成为最流行的互连网络之一。$n$维局部扭曲立方体，记作$LTQ_n$，是超立方体的一个重要变体，具有与$Q_n$相同的节点数和每个节点相同的连接数. $LTQ_n$的一个优点是直径仅为$Q_n$直径的大约一半。最近，人们研究了$LTQ_n$的一些有趣性质。本文对任意整数$n\geqslant 4$，构造了局部扭曲立方体$LTQ_n$中两个边不相交的Hamilton圈.当实现需要环结构的算法时，两个边不相交的汉密尔顿环的存在提供了一个优势，允许消息流量均匀地分布在本地扭曲立方体上。

2010-10-12cs.DCcs.DM

由路和圈的幂产生的广义Fibonacci和Lucas立方体

Generalized Fibonacci and Lucas cubes arising from powers of paths and cycles

本文讨论了Fibonacci序列和Lucas序列的一些推广，分别由路和圈的幂引起。在第一部分的工作中，我们提供了一个公式的边缘数的哈塞图的独立集的第h次幂的道路有序的列入。对于h=1，这样的图被称为斐波那契立方体，对于h>1，我们得到斐波那契立方体的推广。因此，我们得到了Fibonacci序列的一个广义概念，称为h-Fibonacci序列。然后，我们证明了广义Fibonacci立方体的边数是由h-Fibonacci序列与自身的卷积得到的。在第二部分中，我们考虑循环的情况。我们评估的边缘的数量的哈斯图的独立集的第h次幂的一个周期有序的包含。当h=1时，这样的图称为卢卡斯立方体，当h>1时，我们得到卢卡斯立方体的一个推广。然后，我们得到一个广义版本的卢卡斯序列，称为h-卢卡斯序列。最后，我们证明了广义Lucas立方体的边数是通过一个适当的卷积的h-Fibonacci序列的h-Lucas序列。

2015-09-11cs.DMmath.CO

更多相关论文收起更多论文

几乎定向有向图的优选扩张计数

Enumeration of Preferred Extensions in Almost Oriented Digraphs

在本文中，我们提出了枚举算法列出所有首选的扩展论证框架。这个任务等价于枚举有向图的所有极大半核。对于$n$顶点上的有向图，可以在$O^*(3^{n/3})$时间内枚举所有优选扩展，并且存在具有$Ω(3^{n/3})$优选扩展的有向图。对于最多有$0.8004\cdot n$顶点出现在$2$ -圈中的有向图，我们给出了更快的枚举算法.特别是，对于定向图（有向图，没有2-循环），我们的算法之一运行在时间$O(1.2321^n)$，我们表明，有定向图与$Ω(3^{n/6}) > Ω(1.2009^n)$首选的扩展。三个算法的组合导致最快的枚举时间为各种比例的顶点数在$2$ -周期。最具创新性的是一种新的2阶段采样算法，结合了一种新的参数化枚举算法，结合了最近的单调局部搜索技术（STOC 2016）及其扩展（ICALP 2017）进行了分析。

2019-07-01cs.DMcs.DSmath.CO

不存在围长大于6且最小次数至少为3的有限部分立方体

There are no finite partial cubes of girth more than 6 and minimum degree at least 3

部分立方体是可等距嵌入超立方体的图。我们分析了部分立方体中的等距循环的行为，并得出每个围长大于6的部分立方体的顶点的度必须小于3。作为一个直接推论，我们得到了每一个围长大于6的正则部分立方都是偶圈。一路上，我们证明了每个部分立方体$G$周长大于6是树区图，因此$2n(G)-m(G)-i(G)+ce(G)=2$成立，其中$i(G)$是等距维数的$G$和$ce(G)$其凸过剩。

2016-07-21cs.DMmath.CO

超细胞图：没有$Q_3^-$作为部分立方体子图的部分立方体

Hypercellular graphs: partial cubes without $Q_3^-$ as partial cube minor

我们研究了超立方体的等距子图的结构（即，部分立方体），其不包含可收缩到3-立方体减去一个顶点$Q^-_3$的有限凸子图（这里收缩意味着收缩对应于超立方体的相同坐标的边）。推广了中值图和细胞图的类似结果，证明了这种图的等距圈的凸包是门控的，并且同构于边和偶圈的笛卡儿积。此外，我们证明了我们的图正是部分立方体类，其中任何有限的凸子图都可以通过连续的门汞齐从边和甚至圈的笛卡儿积得到。这个分解结果使我们能够建立各种结果。特别是，它产生，我们的类图推广中位数和细胞图，这激发命名我们的图超细胞。此外，我们还证明了超胞图是定向拟阵的带蛋白石复形的拓扑图。最后，我们将超细胞图的特征描述为中值细胞-一个自然推广中值图概念的属性。

2019-08-23cs.DMmath.CO

平面中值图与立方平方图

Planar Median Graphs and Cubesquare-Graphs

中值图是连通图，其中对于所有三个顶点，存在唯一的顶点属于这三个顶点中的每对顶点之间的最短路径。本文给出了平面中值图的几个新的刻画。更具体地说，我们刻画了可平面图$G$是一个中位数图时，禁止子图和等距圈的结构在$G$，也在子图的$G$，包含内部和外部的4-圈关于任意平面嵌入的$G$。这些结果导致我们的一个新的特征的平面中位数图的立方方图，即，图形，可以通过开始与立方体和平方图，并迭代取代4圈边界（相对于一些嵌入）立方体或平方图。作为推论，我们还证明了一个图是平面中位数当且仅当它可以从立方体和平方图的序列的“平方边界”合并。这些考虑也导致了一个$\mathcal{O}(n\log n)$时间识别算法来计算分解的平面中值图与$n$顶点成立方体和正方形图。

2021-10-18cs.DMmath.CO

用于枚举电路、余电路和三角剖分直至对称的对称字典序对称子集反向搜索

Symmetric lexicographic symmetric-subset reverse search for the enumeration of circuits, cocircuits, and triangulations up to symmetry

University of Bayreuth（拜罗伊特大学）

研究利用对称字典序对称子集反向搜索框架枚举有限集对称可行子集，针对余电路、电路和三角剖分应用提出新方法，经C++实现后大幅提速，还计算出多个新数量并发现相关实例问题。

2026-08-06cs.DMmath.CO

使用Mathematica研究图的独立子集

Investigating independent subsets of graphs, with Mathematica

通过这项工作，我们的目标是展示Mathematica如何成为一个有用的工具来研究组合结构的性质。具体来说，我们将面临枚举问题的独立子集的权力的道路和循环，试图突出的对应关系与其他组合对象具有相同的基数。然后，我们将研究通过对适当独立的路和圈的子集进行排序而得到的结构。我们将处理由此产生的偏序集上的一些枚举问题，证明与Fibonacci和Lucas立方体结构的对应关系。

2013-07-04cs.DMcs.MSmath.CO

关于路与圈的幂的独立子集

On the independent subsets of powers of paths and cycles

在这项工作的第一部分中，我们提供了一个公式的边缘数的Hasse图的独立子集的h次幂的路径有序的包含。对于h=1，这样的值是斐波那契立方体的边数。我们表明，在一般情况下，图的边缘数是通过卷积的Fibonacci序列本身。在第二部分中，我们考虑循环的情况。我们评估的边缘的哈斯图的独立子集的第h次幂的一个周期有序包含的数量。当h=1，且n>1时，这个值就是卢卡斯立方体的边数。

2012-10-19cs.DMmath.CO

遗传双团-Helly图的识别与最大双团计数

Hereditary biclique-Helly graphs: recognition and maximal biclique enumeration

一个二部图是一组顶点的集合，这些顶点导出一个二部完全图。当图G的极大二分图族满足Helly性质时，称G为二分图-Helly图.若G的每个导出子图也是双连通-Helly图，则G是遗传双连通-Helly图.一个图是C_4-控制的，当每个长度为4的圈都包含一个顶点，而这个顶点被不与它相邻的圈的顶点控制时.本文证明了遗传双叉-Helly图类是由不含三角形和不含长度为5或6的诱导圈的C_4-控制图精确构成的.利用这一特征，我们给出了一个在O（n^2+αm）时间和O（m）空间内识别遗传双曲-Helly图的算法. (Here n，m和α= O（m^{1/2}）分别是图的顶点数和边数以及荫度。作为子过程，我们给出了如何在O（αm）时间和O（m）空间中识别不含三角形的C_4-控制图。最后，我们给出了在O（n^2 + αm）时间和O（αm）空间中如何计算不含三角形的C_4-支配图的所有极大biclies，并讨论了在O（αm）时间和O（n+m）空间中如何求解某些biclies问题.

2011-03-09cs.DMcs.DS

让行走计数：从沉默圈到哈密顿圈

Making Walks Count: From Silent Circles to Hamiltonian Cycles

本文展示矩阵转移方法在沉默圈游戏、反棱柱图哈密顿圈及任意图固定长度路径与圈计数问题中的应用。

2017-08-25cs.DMmath.CO

具有故障边的超立方体中的Hamilton圈

Hamiltonian cycles in hypercubes with faulty edges

Szepietowski [A. Szepietowski，Hamiltonian cycles in hypercubes with $2n-4$ faulty edges，Information Sciences，215（2012）75- 82]观察到，如果超立方体$Q_n$包含中途断开的陷阱，则超立方体不是哈密尔顿的。一个真子图$T$如果至少有一半的结点具有奇偶校验0（或1），则它是半断开的。以及连接奇偶校验为0（或1，分别）的所有节点的边。具有$T$外部节点的$T$中的节点是有故障的。这种陷阱的最简单的例子是：（1）具有$n-1$事件故障边的顶点，或（2）循环$(u,v,w,x)$，其中从$u$和$w$出循环的所有边都是故障的。本文描述了大小为$|T|\le8$的半断开$T$的所有陷阱，并讨论了是否存在排除Hamilton圈且不基于半断开集的小故障边集的问题.我们描述的启发式检测集的故障边缘，排除HC也是那些集，不基于子图断开中途。我们描述了所有的$Q_4$立方体，而不是汉密尔顿，和所有的$Q_5$立方体与8或9个故障的边缘，而不是汉密尔顿。

2018-02-28cs.DMmath.CO

Smirnov词与完全多部图中哈密顿圈的双射

Bijections Between Smirnov Words and Hamiltonian Cycles in Complete Multipartite Graphs

Mines Saint-Etienne（圣艾蒂安国立高等矿业学院）

建立平衡字母重数的Smirnov词与完全m部图K_{n,n,...,n}中哈密顿路径的双射，导出哈密顿圈数的闭式容斥公式，并推广到非均匀情形K_{n1,n2,...,nm}，给出渐近分析。

2026-06-23cs.DMmath.CO