16 众所周知,三个一般类拟阵的交点是NP-hard(源),这是通过减少汉密尔顿周期来实现的。减少使用一个图形拟阵和两个连接拟阵。 我正在处理的问题的特例可以通过使多个图形拟阵相交来解决,但是我无法找到此问题是否在P中。 问题:已知吗?有人可以请我介绍论文或其他内容吗? (注意:我已经在计算机科学上问过这个问题,在此已被提及。) reference-request np-hardness reductions — 马特·科内西尼(Matej Konecny) source
11 我认为它仍然是NP完全的,这是因为二部图中的汉密尔顿路径具有两个1度顶点,而所有其他顶点具有3度顶点。(这与在立方二分图中找到通过指定边的哈密顿环数相同-用两片叶子代替指定边。) 要减少从汉密尔顿路径到图形拟阵的交点,请使用一个图形拟阵将您选择的子图强制为生成树(每条路径均正确),并使用另外两个图形拟阵(在二分法的每一侧上强制一个)将子图强制为在每个度数三个顶点处具有度2,并且在每个度数顶点处具有边缘。这些是图的图形,其中每个度三顶点的和每个度一顶点的具有不相交的副本。ķ3ķ3ķ2ķ2 — 大卫·埃普斯坦 source
8 如何使用3-d匹配是NP完全这一事实来显示此问题的NP完整性。我们可以很容易地将3维匹配作为3个分区拟阵的交集来编写,而分区拟阵是图形拟阵的特例(考虑具有平行边的图)。 — 萨希尔·辛格拉(Sahil Singla) source 3 分区拟阵始终是图形拟阵是不正确的,但是在您的情况下,您想从每个零件中精确选择一个元素,而拟阵是图形。 — Sasho Nikolov