我对某些特定的图类(即弦图的子类)中的支配集问题(DSP)的复杂性感兴趣。
如果图是某些无向树中路径族的顶点相交图,则它是无向路径图。令UP为无向路径图的类。
如果图是某些无向树中路径族的边相交图,则该图为EPT图。EPT图可能不是和弦的,但让CEPT为和弦EPT图的类。
如果图是某个有根有向树(即,所有远离根指向的弧)中的有向路径族的顶点相交图,则它是(有根的)有向路径图。令RDP为(有根的)有向路径图的类。
我们有
众所周知,对于RDP中的图形,DSP是线性时间可解的,而对于UP的图形,DSP是NP完整的[ Booth and Johnson,1981 ]
我对特殊图感兴趣,这些图与最大度为3的毛毛虫状树中无向路径族的顶点相交图相对应。更准确地说,这些“类别”是从每个第二个顶点具有垂线度的路径构建的,附加一个顶点。让我们称此类为cat-UP。
此外,我的特殊图也可以构造为最大度数为3的特定树中某些无向路径族的边缘相交图。
所以我的问题是:
1)是否知道用于cat-UP图的DSP的复杂性?(请注意,[ Booth and Johnson,1981 ] 的减少产生了最大程度为3的宿主树,但与毛毛虫相距甚远)
2)CEPT图形的DSP的复杂性是什么?而对于CEPT的图则形成了最大度为3的宿主树?(ISGCI不知道)
3)在紧密相关的图形系列中,DSP是否有任何复杂性结果?