損傷方法

損傷方法(injury method)一種遞歸論構造方法.在遞歸論的優先方法中，有時會發生這樣的情況:在構造過程中，某個需求有機會通過放一些元進人構造的集合中而被滿足，但這可能破壞一些已暫時被滿足了的需求.在這種情況下，往往按這些需求的優先權高低來決定是否要將這些元放入被構造的集合.如果將這些元放人集合會破壞(也稱損傷)優先權較高的需求，則不允許這些元放入，否則允許放人.在後一情況下，優先權較低的需求可能被損傷，因此需要重新滿足.在某些情況下(如每個需求至多只被損傷有窮次)，就能夠解決這些衝突，而使這些需求被滿足.這種在構造過程中可能產生損傷的方法稱為損傷方法.按每個需求可能被損傷的最多次數，損傷方法又分為有窮損傷與無窮損傷等方法.