arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1708.09141math.CO
收藏

圈分解与构造性刻画

Cycle Decompositions and Constructive Characterizations

Irene Heinrich, Manuel Streicher

摘要:

将一个欧拉图分解为最小和最大数目的边不相交圈是一个NP完全问题。我们证明了一个欧拉图分解成一个唯一的圈数当且仅当它不包含两个边不相交的圈共享三个或更多的顶点。为此,我们讨论了三个二元图算子的相互作用,导致新的建设性特征的两个子类的欧拉图。这使我们能够提出一个多项式时间算法,它决定是否在一个给定的欧拉图的圈分解的圈数是唯一的。

英文摘要:

Decomposing an Eulerian graph into a minimum respectively maximum number of edge disjoint cycles is an NP-complete problem. We prove that an Eulerian graph decomposes into a unique number of cycles if and only if it does not contain two edge disjoint cycles sharing three or more vertices. To this end, we discuss the interplay of three binary graph operators leading to novel constructive characterizations of two subclasses of Eulerian graphs. This enables us to present a polynomial-time algorithm which decides whether the number of cycles in a cycle decomposition of a given Eulerian graph is unique.

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

↑