摘要或動機

We can prove 鬼腳圖 have an one-to-one characteristic; it is mean that you can not design a 鬼腳圖 which will make two starting point to the same end. We also can prove you can design any 鬼腳圖 you want; you can predict a result, and you can design a 鬼腳圖 which suit the result, no matter what the result it is. We can design any 鬼腳圖 we want, but it possibly becomes very big and complicated. We develop a method to make it become briefer. According to the method, we make a function that can design the 鬼腳圖 you want in a very short time. You predict a result in computer, and the\r
function will design a 鬼腳圖 which suit the result, and it will be the briefest. 吾人已經可以證明鬼腳圖具備一對一的性質，意思就是：不可能從兩個起點開始畫線，最後到同一個終點上。吾人亦證明：鬼腳圖的結果沒有限定：同一組初始條件可以轉換成任何一組結果。而同一組結果也有許多種不同的畫法，顯示鬼腳圖的畫法不具唯一性。即使如此，畫出來的鬼腳圖可能過於複雜，於是吾人又發展出簡化鬼腳圖的方法，可畫出較簡潔的鬼腳圖。吾人並根據這種化簡方式編出一套程式，只要將欲得的結果輸入，電腦就可以畫出最簡潔的鬼腳圖。