给定图G和两个独立的集合i和大小为K的I T,独立集合构造问题询问是否存在一系列独立集(k)i s = i 0,i 1,i 2,。。。,iℓ= i t,使每个独立集都使用所谓的重新配置步骤从上一个独立集获得。将每个独立的集合视为放置在图G的顶点上的K代币集合,研究的两个重新配置步骤是令牌跳跃和令牌滑动。在问题的令牌跳跃变体中,一个步骤允许令牌从一个顶点跳到图中的任何其他顶点。在令牌滑动变体中,令牌只能从顶点滑到其一个邻居之一。像独立集问题一样,上述两个问题均为w [1] - hard在一般图上(对于参数k)。非常富有成果的研究线[5,14,27,25]表明,当仅限于稀疏的图形类别(例如平面,有界的树宽,无处浓度,并且一直到无biclique for biclique for biclique for biclique for biclique for biclique for biclique tograph,opertion set问题都可成为固定参数。在一系列论文中,也证明了这一论文可以解决令牌跳跃问题[17、22、26、8]。至于令牌滑动问题(在大多数这些论文中都提到,除了该问题是在树上可以解决的多项式时间[11]和间隔图[6]之外,几乎没有什么知道的。我们通过引入一个新的模型来重新配置独立集,我们称之为银河系重新配置。使用此新模型,我们表明(标准)令牌滑动是固定参数可以在有界集团数字的有界度,平面图和弦图的图表上进行操作。我们认为,银河重新配置模型具有独立的兴趣,并且有可能有助于解决有关令牌滑动的(参数化)复杂性的剩余开放问题。
主要关键词