Định nghĩa 3.4.7 Chúng tôi kêu gọi (u, x, y) ∈ C k + n + k
imp
một giải pháp ban đầu để (3.13) với ban đầu
nhà nước x 0, nếu
1. có tồn tại một I ⊆
¯
k như vậy mà (u, x, y) thỏa mãn (3.14) với trạng thái ban đầu x 0 trong
ý thức phân phối; và
2. u, y ban đầu là không âm.
?
Cho một trạng thái x 0, xác định các tập S (x 0) bởi
S (x 0): = {J ⊆ ¯ k | có tồn tại một giải pháp ban đầu (u, x, y) đến (3.13) với
trạng thái ban đầu x 0 sao ui = 0, i ∈ J c và yi = 0, i ∈ J}. (3.19)
Các tập S (x 0) là tập tất cả các phương thức có thể có trong đó một giải pháp ban đầu tồn tại
với trạng thái ban đầu x 0
đang được dịch, vui lòng đợi..
