Bằng chứng. Kể từ khi hệ số ma trận hàng và ma trận hệ số cột là Pmatrices,
địa phương nổi posedness sau từ Định lý 3.6.3. Hơn nữa, Định lý
3.6.8 bang mà u
-2 D u
-3 D:: D u
-n D 0. Bởi vì chúng tôi bắt đầu từ một khả thi
x0 nhà nước, nó sau đó cũng u
-1 D 0. Thật vậy, người đầu tiên có liên quan LCP trong LDCPn.x0 /
(như trong chứng minh của định lý 3.6.7) được cho bởi
y
đang được dịch, vui lòng đợi..
