有窮損傷優先方法(finite injury priority met-hod)是一種損傷優先方法。其基本思想是保證在構造過程中每個需求至多被損傷有窮次,這樣,任何需求在某一步驟之後不再被損傷。因此,只要每個需求有無窮次滿足機會,該需求就能被最終滿足。
在有窮損傷方法中,每個需求的限制函式(即該需求所要保護的長度)一般都是有極限的(即對限制函式r(e,s),lim,.r(e,s)<二),因此能保證優先權較低的需求有足夠多的滿足機會.
最早使用有窮損傷方法的是弗里德貝格(Friedberg,R. M.)和穆切尼克(Mucnik, A. A. ) ,他們使用這一方法解決了波斯特問題.
最早使用有窮損傷方法的是弗里德貝格(Friedberg,R. M.)和穆切尼克(Mucnik, A. A. ) ,他們使用這一方法解決了波斯特問題.