将规划图扩展到ADL子集

我们考虑顶点覆盖的一个自然推广：子集顶点覆盖问题，它决定了一个图$\mathrm{<trans\; data-src="G">G公司</trans>}<trans\; data-src="=">=</trans><trans\; data-src="(">(</trans>\mathrm{<trans\; data-src="V">V（V）</trans>}<trans\; data-src=",">,</trans>\mathrm{<trans\; data-src="E">E类</trans>}<trans\; data-src=")">)</trans>$，一个子集$\mathrm{<trans\; data-src="T">T型</trans>}<trans\; data-src="\subseteq ">\subseteq </trans>\mathrm{<trans\; data-src="V">V（V）</trans>}$和整数k个，如果V（V）有一个子集S公司最大尺寸为k个，因此S公司每个…至少包含一个端点。。。$\mathrm{}{}_{\mathrm{}}$$\mathsf{}\mathsf{}$${}_{\mathrm{}}{}_{\mathrm{}}$${}_{\mathrm{}}{}_{\mathrm{}}{}_{\mathrm{}}$

让G公司是具有顶点集的图V（V）(G公司)和边缘集E类(G公司). 一套$\mathrm{<trans\; data-src="D">天</trans>}<trans\; data-src="\subseteq ">\subseteq </trans>\mathrm{<trans\; data-src="V">V（V）</trans>}<trans\; data-src="(">(</trans>\mathrm{<trans\; data-src="G">G公司</trans>}<trans\; data-src=")">)</trans>$是一个支配集G公司如果每个顶点不在天与的至少一个顶点相邻天.约束支配集G公司是支配集S公司这样每个顶点都不在S公司。。。$$$$${}_{\mathrm{}}$${}_{\mathrm{}}$$$${}_{\mathrm{}}$${}_{\mathrm{}}$${}_{\mathrm{}}{}_{}$${}_{\mathrm{}}{}_{}$${}_{\mathrm{}}{}_{}{}_{\mathrm{}}{}_{}{}_{}$${}_{}$