Ariadne的毛線團 虞和芳 24.1.21.發佈

Ariadne的毛線團               虞和芳           24.1.21.發佈 這是以希臘神話，Ariadne告訴Theseus如何透過一團毛線團，找到迷宮的出路。 德文稱之為Der Ariadnefaden，英文稱之為Ariadne's thread。 根據希臘神話，Ariadne線是克里特島國王Minos的女兒Ariadne公主送給Theseus的禮物。 在線索的幫助下找到了穿過牛頭怪所在的迷宮的路。 Theseus殺死牛頭怪之後，他得以沿著此毛線再次找到出口，離開迷宮。 Daidadlos設計了迷宮，告訴Ariadne如何使用線的提示。進入迷宮並從頭開始展開線程，標記所經過的路線，則始終可以簡單地向後追溯線程，從而始終可以輕鬆找到返回入口的路線。 實際上，這用於洞穴勘探，尤其是洞穴潛水。 著火時防止消防員後退的保護，也是基於此原則。 Ariadne的線程以Ariadne的傳說而得名，它通過以邏輯詳盡地應用到所有可用的路徑上，以多種方式解決問題，例如物理迷宮，邏輯難題或道德困境。 使用的特定方法能夠完全跟踪，以跟踪步驟，或在到達最終位置的偶然有序搜索中逐點採取一系列發現的真相。 這個過程可以採取心理記錄，物理標記甚至哲學辯論的形式。  Ariadne線程應用於問題的關鍵要素是始終創建和維護問題的可用和窮盡選項的記錄（無論是物理記錄還是其他記錄）。不論其實際介質如何，此記錄都稱為“線程”。記錄的目的是允許回溯，即撤銷先前的決定並嘗試其他選擇。給定記錄，應用算法很簡單： 在任何時候都可以選擇，從那些尚未標記為失敗的對像中任意選擇一個，並在邏輯上盡可能地遵循它。 如果出現矛盾，可備份到最後做出的決定，將其標記為失敗，然後在同一點嘗試另一個決定。如果那裡沒有其他選項，備份到該記錄中的最後一位，在該級別標記失敗，然後繼續。 此算法在找到解決方案或將所有初始選擇標記為失敗後終止；在後一種情況下，沒有解決方案。如果即使找到了解決方案也需要進行徹底檢查，則可以還原到先前的決定，標記成功，然後繼續進行，好像從未找到解決方案一樣；此算法將耗盡所有決策並找到所有解決方案。