We now consider two disjunct cases

We now consider two disjunct cases for x = lcm(T1,...,Tn). Iff(x) < ∑j≤nx TjCj, we choose b = lcm(T1,...,Tn), andtherefore get b > f(b). Now the conditions for Lemma 15 hold, i.e. the function f(x) is defined and strictly non-decreasing in an interval [a,b] with f(a)> a and f(b)< b. Hence, there exists an x∈(min j≤n Cj 2 ,lcm(T1,...,Tn)) such that x = f(x). If f(x)=∑j≤ix TjCj, we found a (positive) solution and we are also done.
Appendix B.1 presents an example consisting of two tasks withU =1 and the least common multiple of the periods does not exist, where the level-n active period does not end.

Kết quả (Việt) 1:

Bây giờ chúng ta hãy xem xét hai trường hợp rời rạc x = lcm(T1,...,Tn). IFF(x) < ∑j≤n x Tj Cj, chúng tôi chọn b = lcm(T1,...,Tn), andtherefore nhận được b > f(b). Bây giờ điều kiện cho bổ đề 15 tổ chức, ví dụ hàm f (x) là defined và nghiêm ngặt không-giảm trong một khoảng thời gian [a, b] với f(a) > một và f(b) < sinh do đó, có tồn tại một x∈ (min j≤n Cj 2, lcm(T1,...,Tn)) như vậy rằng x = f (x). Nếu f (x) = ∑j≤i x Tj Cj, chúng tôi tìm thấy một giải pháp (tích cực) và chúng tôi cũng đã làm xong. Phụ lục B.1 trình bày một ví dụ bao gồm hai nhiệm vụ withU = 1 và bội chung nhỏ nhất trong những giai đoạn không tồn tại, nơi mà thời gian hoạt động cấp-n không kết thúc.

Kết quả (Việt) 2:

Bây giờ chúng ta xem xét hai trường hợp bậc hở cho x = lcm (T1, ..., Tn). Khi và chỉ khi (x) <Σj≤n? X Cj Tj?, Chúng ta chọn b = lcm (T1, ..., Tn), andtherefore được b> f (b). Bây giờ các điều kiện để bổ đề 15 giữ, tức là hàm f (x) là de fi ned và nghiêm chỉnh không giảm trong một khoảng [a, b] với f (a)> a và f (b) <b. Do đó, có tồn tại một x∈ (min j≤n Cj 2, lcm (T1, ..., Tn)) sao cho x = f (x). Nếu f (x) = Σj≤i? X Cj Tj?, Chúng tôi tìm thấy một (tích cực), giải pháp và chúng tôi cũng đã làm xong. ? B.1 Phụ lục trình bày một ví dụ bao gồm hai nhiệm vụ withU = 1 và bội số chung nhỏ nhất của các giai đoạn không tồn tại, đó giai đoạn cấp n hoạt động không chấm dứt.