回溯算法的形式模型.doc

计 算 机 研 究 与 发 展 JOU RN A L O F COM PU T ER R E SEA R CH D EV EL O PM EN T 第 38 卷 第 9 期 2001 年 9 月 V o l138, N o 19 Sep. 2001 回溯算法的形式模型 王岩冰① 郑明春② 弘② 刘 ① ( 山东科技大学电子工程系 济南 250031) ② ( 山东师范大学计算机科学系 济南 250014) (zhm c@ jn2p ub lic. sd. cn info. ne t) 摘 要 讨论了回溯算法的形式模型, 提出了刻画回溯的一些数学概念, 以隐式搜索为背景提出了状态空间概念, 给出了分别以邻接方阵和邻接表形式表示的有向图所对应的状态空间, 从而说明显式搜索是隐式搜索的特例, 通 过展开空间概念揭示了问题求解的不同要求所对应的不同数据结构, 提出了通用回溯算法, 并以N 皇后问题、稳定 婚姻问题、点着色问题、子集和数问题、跳马问题、最长路径问题和强连通分支问题等多种算法设计问题为例讨论 了通用回溯算法的应用. 该文结果有助于扩大回溯算法的使用范围, 提高回溯算法实现的正确性和效率. 关键词 问题求解, 状态空间, 展开空间, 通用回溯算法 中图法分类号 T P 30116; T P 18 FO RM AL M OD EL O F BACKTRACK ING AL GO R ITHM S W A N G Y an 2B in g①, ZH EN G M in g2C h u n ②, an d L IU H o n g② ① (D ep a r tm en t of E lectron ic E ng ineer ing , S h and ong U n iv ersity of S cience T ech nology , J inan 250031) ② (D ep a r tm en t of C om p u ter S cience, S h and ong N orm a l U n iv ersity , J inan 250014) A bstra c t In th is p ap e r th e fo rm a l m o de l o f a b ack t rack in g a lgo r ithm is d iscu ssed, an d th e m a th em a t ica l co n cep t s fo r de sc r ib in g b ack t rack in g a re p re sen ted. T h e co n cep t o f sta te sp ace is g iven to de sc r ib e im p lic it sea rch in g, an d th e co r re spo n d in g sta te sp ace s o f d irec ted g rap h rep re sen ted b y ad jacen cy tab le an d co n t iguo u s list re sp ec t ive ly a re g iven to ge t th e re su lt th a t exp lic it sea rch in g a re sp ec ia l ca se s o f im p lic it sea rch in g. T h e co n cep t o f exp an sive sp ace is p re sen ted to dep ic t d iffe ren t da ta st ru c tu re s co r re spo n d in g to d iffe ren t o b jec t s o f p ro b lem so lv in g. Seve ra l gen e ra l b ack t rack in g a lgo r ithm s a re de sign p ro b lem s su ch a s N qu een s p ro b lem , g iven an d th e ir app lica t io n s in va r io u s a lgo r ithm stab le m a r r iage p ro b lem , no de co lo r in g p ro b lem , su b se t2w ith