華容道遊戲裡四種自由空間的公理

 

 

　　這裡所說的華容道遊戲四種自由空間，算來只是屬於入門知識，然而近日發覺，在各種華容道遊戲問題的分析或證明上，卻是不可或缺的。因此，這裡特別重新審視一番，介紹跟它們相關的「公理」。

 

 

 

 

　　如上圖，

                自由空間一　一豎將和兩小兵在六個方格內（含二空格）可任意換位。（該大將另可替換上兩小兵）

                自由空間二　兩橫將和兩小兵在八個方格內（含二空格）可任意換位。（任一橫將另可替換上兩小兵）（這個自由空間可以豎放）

                自由空間三　三豎將和兩小兵在十個方格內（含二空格）可任意換位。（任一豎將另可替換上兩小兵）

                自由空間四　曹操（或兩員不分離的豎將）、一橫將和四小兵在十二個方格內（含二空格）可任意換位。

 

關於自由空間的公理：

                其一　自由空間三包含自由空間一

                其二　自由空間二、四不包含自由空間一

                其三　自由空間二、三、四互相干涉衝突，不可能同時並存，所以也不可能同時操作。換句話說，當自由空間甲在使用，自由空間乙的成員將被調散。