克里斯托夫·布赫海姆;迈克尔·Jünger 模糊对称性检测的整数规划方法。 （英语） Zbl 1215.68172号 利奥塔，朱塞佩（编辑），图形绘制。第11届国际研讨会，2003年GD，意大利佩鲁贾，2003年9月21日至24日。修改后的文件。柏林：施普林格出版社（ISBN 3-540-20831-3/pbk）。莱克特。注释计算。科学。2912, 166-177 (2004). 摘要：一般图的精确对称性检测问题最近受到了广泛关注。尽管它具有NP特性，但已经提出了两种不同的算法，通常可以在实践中快速解决此问题。然而，由于大多数图根本不承认任何精确对称性，因此出现了更困难的模糊对称性检测问题：为了使图对称，应该允许对图进行最小数量的某些修改。我们提出了解决这个问题的一般方法：我们允许任意删除边和创建边；每个修改都可以赋予单独的权重。我们应用整数编程技术来精确或启发式地解决这个问题，并给出第一个实现的运行时结果。关于整个系列，请参见[Zbl 1029.00056号]. 引用于三文件 MSC公司： 68兰特 计算机科学中的图论（包括图形绘制） 05C85号 图形算法（图形理论方面） 52个B05 多面体和多面体的组合特性（面数、最短路径等） 90立方厘米 整数编程 PDF格式BibTeX公司 XML格式引用 \textit{C.Buchheim}和\textit{M.Jünger}，莱克特。注释计算。科学。2912、166--177（2004年；Zbl 1215.68172） 全文： 内政部