圖式方法來(lái)展示約束滿足問(wèn)題

將問(wèn)題分解為各個(gè)獨(dú)立的子問(wèn)題

對(duì)于樹(shù)結(jié)構(gòu)的約束滿足問(wèn)題，可以挑選任一變量為樹(shù)的根，通過(guò)拓?fù)渥兓瘉?lái)進(jìn)行排列

樹(shù)結(jié)構(gòu)的約束滿足問(wèn)題CSP的算法邏輯

移除一個(gè)SA，得到一個(gè)連續(xù)的樹(shù)結(jié)構(gòu)

將復(fù)雜的樹(shù)結(jié)構(gòu)，分解為一個(gè)個(gè)子問(wèn)題，子問(wèn)題是某一個(gè)節(jié)點(diǎn)和相鄰節(jié)點(diǎn)所組合的單獨(dú)問(wèn)題