计算机科学>数据结构和算法
职务: 此起彼伏:通过撤销他人应用数据缩减规则
摘要: 数据简化规则是算法工具箱中用于处理具有计算挑战性的问题的既定方法。 数据约简规则是一种多项式时间算法,将问题实例作为输入,输出相同问题的等效实例,通常较小实例。 在问题实例的预处理过程中应用数据缩减规则,在许多情况下可以大大缩小问题实例的大小,甚至可以直接解决问题。 通常,这些数据约简规则以固定的顺序被穷尽地应用,以获得不可约简的实例。 人们经常观察到,通过改变规则的顺序,可以获得不同的不可约实例。 我们建议在不可约实例上“撤消”数据缩减规则,使其变得更大,然后再次应用数据缩减规则来缩小它们。 我们表明,这种有点反直觉的方法可以导致显著更小的不可约实例。 撤消数据约简规则的过程不限于“回滚”预处理期间应用于实例的数据约简。 相反,我们制定了所谓的反向规则,它基本上撤消了数据约简规则,但没有使用任何关于之前应用了哪些数据约简原则的信息。 特别是,基于顶点覆盖的例子,我们提出了两种应用反向规则进一步缩小实例的方法。 在我们的实验中,我们表明,通过这种方式,可以计算由SNAP和DIMACS数据集的真实世界图组成的较小的不可约实例。