P 中图形拟阵的交集是?


16

众所周知,三个一般类拟阵的交点是NP-hard(),这是通过减少汉密尔顿周期来实现的。减少使用一个图形拟阵和两个连接拟阵。

我正在处理的问题的特例可以通过使多个图形拟阵相交来解决,但是我无法找到此问题是否在P中。

问题:已知吗?有人可以请我介绍论文或其他内容吗?

注意:我已经在计算机科学上问过这个问题,在此已被提及。)

Answers:


11

我认为它仍然是NP完全的,这是因为二部图中的汉密尔顿路径具有两个1度顶点,而所有其他顶点具有3度顶点。(这与在立方二分图中找到通过指定边的哈密顿环数相同-用两片叶子代替指定边。)

要减少从汉密尔顿路径到图形拟阵的交点,请使用一个图形拟阵将您选择的子图强制为生成树(每条路径均正确),并使用另外两个图形拟阵(在二分法的每一侧上强制一个)将子图强制为在每个度数三个顶点处具有度2,并且在每个度数顶点处具有边缘。这些是图的图形,其中每个度三顶点的和每个度一顶点的具有不相交的副本。ķ3ķ2


8

如何使用3-d匹配是NP完全这一事实来显示此问题的NP完整性。我们可以很容易地将3维匹配作为3个分区拟阵的交集来编写,而分区拟阵是图形拟阵的特例(考虑具有平行边的图)。


3
分区拟阵始终是图形拟阵是不正确的,但是在您的情况下,您想从每个零件中精确选择一个元素,而拟阵是图形。
Sasho Nikolov
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.