樹方法是一種功能很強的遞歸論構造方法.在遞歸論構造中的方法。
概念,計算,
概念
樹方法((tree method)一種功能很強的遞歸論構造方法.在遞歸論構造中，每個需求R，都需要某種策略來滿足，但最終怎樣滿足則不是固定的(如在有的情況下一個策略只作用有窮次，而在另一種情況下則要作用無窮次).滿足一個需求，策略的作用方式不同，對優先權較低需求的影響當然也不一樣.對一般的優先方法來說，較高優先權的需求，往往只能通過限制函式對優先權較低的需求產生影響，而樹方法則靈活得多:
計算
可以定義一個符號集八與樹n}}, n中的符號代表各個策略可能的輸出(這種輸出既可以是有窮或無窮，也可以是這個策略產生的限制函式或者是其他輸出)，一個需求R可以通過一系列a策略((aET)來滿足(這裡的a表示對R}a}R策略的輸出為a}}R})).這樣，a策略作用時，可隨R策略的不同輸出而改變.在具體的構造過程中，每一步都“猜測”各個策略的最終輸出(並記SET為這些猜測組成的串)，然後，按這些“猜測”決定哪些a策略作用及如何作用.在適當的構造下，最終可猜中正確的輸出，這些正確的輸出形成的串fE n}，稱為真路徑.而每個需求R將通過某個a策略:aC f來滿足.
對。，與Olr優先方法來說，R。一般是通過f卜n策略來滿足的;而對。nr優先方法，則在f上還有一個“有窮傷”,R，是通過一系列f }W ,f }nz}…來滿足.在有窮損傷情況下，f =limn }`.對無窮損傷方法，f = lim infs d.在前一種情況下，f蕊TOI，後一情況則f鎮7’O IIf<7，這也是。‘與。))方法名稱的由來.樹方法最早是由拉克倫(Lachlan,A. H.)在用0'"優先方法證明非分裂定理時使用的.但現在已被用在各種有窮與無窮損傷方法中.對無窮損傷方法，樹形構造還能自然地解決限制函式不一定能同時降低的問題.
對。，與Olr優先方法來說，R。一般是通過f卜n策略來滿足的;而對。nr優先方法，則在f上還有一個“有窮傷”,R，是通過一系列f }W ,f }nz}…來滿足.在有窮損傷情況下，f =limn }`.對無窮損傷方法，f = lim infs d.在前一種情況下，f蕊TOI，後一情況則f鎮7’O IIf<7，這也是。‘與。))方法名稱的由來.樹方法最早是由拉克倫(Lachlan,A. H.)在用0'"優先方法證明非分裂定理時使用的.但現在已被用在各種有窮與無窮損傷方法中.對無窮損傷方法，樹形構造還能自然地解決限制函式不一定能同時降低的問題.
