舞蹈链

✍ dations ◷ 2025-10-04 12:53:53 #搜寻算法,数独

在计算机科学中, 舞蹈链(Dancing Links), 也叫 DLX, 是由 Donald Knuth 提出的数据结构,目的是快速实现他提出的的 X算法. X算法是一种递归算法,时间复杂度不确定, 深度优先, 通过回溯寻找精确覆盖问题所有可能的解。有一些著名的精确覆盖问题,包括铺砖块,八皇后问题,数独问题。

名字来自于这个算法的工作方式,算法中的迭代让链接与同伴链接"跳舞",很像“精心编排的舞蹈”。 Knuth 归功于 Hiroshi Hitotsumatsu 与 Kōhei Noshita 在1979的研究 , 但是Knuth的论文让舞蹈链流行。

文章的剩余部分讨论这种算法在Algorithm X中的应用,强烈建议读者先阅读 X算法 。

舞蹈链的主要思想来自于 双向链表

x.left.right ← x.right;x.right.left ← x.left;

以上代码会从链表中移除x元素

x.left.right ← x;x.right.left ← x;

以上代码会恢复x元素在链表中的位置(如果x的左侧元素和右侧元素没有变的话)。不管链表中有多少个元素,就算只有一个,算法也可以工作。

Knuth 发现用朴素算法实现Algorithm X会花费大量的时间来搜索1。当要选择一列的时候,要搜索整个矩阵来找到1。当选择一行的时候,需要在整列中搜索1。为了把搜索时间从 complexity O(n) 降到 O(1), Knuth 使用了一个 稀疏矩阵 ,只存放所有1 的位置。

无论何时,矩阵中的每个节点都会与左边和右边的节点(原始矩阵中的1的位置)、上面和下面(原始矩阵中同一列的1),以及列头连接。每一行和每一列都会形成一个双向链表。

每一列都会有特殊的,叫做“列头”的节点,作为列表中的一部分。列头形成了特殊的一行,(“控制行”)包括了原始矩阵中还存在的每一列。

最后,每一列的头会记录这一列中节点的个数,我们可以用这些信息来定位节点最少的一列,只花费complexity O() 的时间复杂度。 (而不是O(×)),这里的n指的是列的个数,m指的是行的个数。选择节点最少的一列来进行搜索在一些情况下可以提高性能,但不是每个问题中都需要这么做。

在 Algorithm X中,行与列是按照规则生成的,存储着原始矩阵。每次移除一列以及那列中的一行。如果选中的列没有包括任何行,当前的矩阵是无解的,必须回溯。当移除元素时,每一列中与那一行有交叉点的(原始矩阵中的1)都会被移除。列被移除了,因为他们已经被填满,行被移除是因为他们与指定的列有冲突。要移除某一列,要先移除那列的头,接着,遍历所有与这一列有交集的行,把那行与其他行的交点都去掉(这样阻止了这些列与当前列的冲突)。对包含1的列重复这样的列移除操作。这样的做法保证每个节点只被移除一次,并且按照顺序,这样就可以正确地回溯了。如果代入过程的矩阵没有任何的行,那么这已经被填满,选中的列就是一个解。

要回溯,之前的操作需要反过来做一遍,使用刚才提到的第二个算法。Knuth 的论文给了一个清晰的这两个操作的关系以及移除、恢复操作的具体方式,并放宽了要求。

算法也可以解决一个特定的约束是可选的覆盖问题,但是可以满足最多一次。 舞蹈链接可容纳这些必须填充的主要列,次要列是可选的。 这将算法的解决方案测试从没有列的矩阵改变为没有主列的矩阵,并且如果正在使用列中1最少的启发式搜索,那么只需在主列中检查。 Knuth讨论了应用于n皇后问题的可选约束。 棋盘对角线表示可选的约束,因为一些对角线可能不被占用。 如果一个对角线被占用,它只能被占用一次。

相关

  • 癌症治疗癌症免疫疗法(英语:cancer immunotherapy或immuno-oncology)是一类通过激活免疫系统来治疗癌症的方法。此类疗法采用了癌症免疫学(英语:Cancer immunology)研究的成果,这是肿瘤学中
  • Oxford Dictionary of National Biography牛津国家人物传记大辞典(Oxford Dictionary of National Biography),牛津大学出版社出版, 收录记载了58,000多位英国历史名人传记,是重要的英国人物传记参考工具书。原称“国家人
  • 氧离子氧化物,是负价氧和另外一个化学元素组成的二元化合物,例如氧化铁(Fe2O3)或氧化铝(Al2O3),通常经由氧化反应产生。氧化物在地球的地壳极度普遍,而在宇宙的固体中也是如此。氧离子(O2−
  • 电话拨号拨号连线,或称拨接上网、拨号上网,是指通过本地电话线经由调制解调器连接互联网,于1990年代网络刚兴起时比较普及,但因收费昂贵、速度慢,渐被宽带连线取代。根据国际通信联盟(Int
  • 严打严厉打击刑事犯罪活动,简称严打,为中华人民共和国多次实施的以打击刑事犯罪活动为目标的运动。第一次严打自1983年7月开始席卷中国大陆。迄今为止共出现过四次“严打”,分别为1
  • 科特迪瓦革命战争科特迪瓦革命战争是一场从2002年9月19日开始、位于科特迪瓦的内战。尽管这场战争在2004年尾时已差不多结束,但国家依然分成两部分,当中北部为叛军所控制,而南部则为政府所控制
  • 抑制控制试验异常心理学 行为遗传学 生物心理学 心理药物学 认知心理学 比较心理学 跨文化心理学 文化心理学 差异心理学(英语:Differential psychology) 发展心理学 演化心理学 实验心理学
  • 泡菜锅汤饭馔泡菜锅 (谚文:김치찌개)是一道来自韩国,带辣味的火锅。以韩国泡菜为原料,加入葱、洋葱、豆腐,海鲜或猪肉两者其中之一。佐以配菜和米饭。此菜用的泡菜以较老者为佳,取其因完
  • 乌甸尼乌迪内(意大利语:Udine)是位于意大利东北部弗留利-威尼斯朱利亚大区的一个城市。乌迪内省的首府所在地。距斯洛文尼亚边境不到40公里。2012年,有人口100,514人。地处的里雅斯特
  • 阿尔瓦·古尔斯特兰德阿尔瓦·古尔斯特兰德(Allvar Gullstrand,1862年6月5日-1930年7月28日),出生于兰斯克鲁纳,逝世于斯德哥尔摩。是一位瑞典眼科医师。1894年到1927年间,古尔斯特兰德在乌普萨拉大学担