Ngày tải lên :
15/03/2013, 10:20
... Estimates for the Schm¨udgen’s Positivstel-
lensatz, Journal of Complexity 12, (1996) 167-174.
8
ĐỘ PHỨC TẠP CỦA
ĐỊNH LÝ BIỂU DIỄN DƯƠNG SCHM
¨
UDGEN
Nguyễn Thị Thanh Bình - Trương Ngọc Hải
Tóm tắt nội ... σ
ν
∈
R[x]
2
và
deg(σ
ν
g
ν
) ≤ cd
2
1 +
d
2
n
d
f
f
∗
c
, ∀ν ∈ {0, 1}
m
.
Mục đích của bài viết này nhằm cải thiện đánh giá trên của Schweighofer.
Chúng tôi sẽ chứng minh định lý sau:
Định lý 3. Giả sử ... 1), ∀ y, y
∈ ∆.
Chứng minh. Do ∆ là bao lồi của các vector dạng
(2n, 0, . . . , 0), . . . , (0, . . . , 0, 2n) trong R
2n+m+1
, l(∆) là bao lồi của 2n vec-
tor ±(n, 0, . . . , 0), . . . ,±(0,...