Minh họa tập chuẩn, đối chuẩn và biên trên, biên dưới tương ứng của

Một phần của tài liệu (LUẬN văn THẠC sĩ) một số lớp bài TOÁN tối ưu KHÔNG lồi THUẬT TOÁN và ỨNG DỤNG (Trang 31)

Mệnh đề 1.3. (Xem [2, Mệnh đề 11.3, trang 393])

(i) Giả sử G ⊂ [a, b] là tập chuẩn compact với phần trong khác rỗng. Khi đó với mọi điểm z ∈

[a, b] \ {a}, đường thẳng đi qua a và z giao với ∂ + G tại một điểm duy nhất π G(z) xác định bởi công

thức

πG(z) = a + λ(z − a), λ = max{α | α > 0, a + α(z − a) ∈ G}. (1.2)

(ii) Giả sử H ⊂ [a, b] là tập đóng, đối chuẩn với b ∈ intH. Khi đó với mỗi điểm

z ∈ [a, b] \ H đường thẳng đi qua z và b cắt ∂− H tại một điểm duy nhất ρH (z) xác định bởi công thức

ρH (z) = b − λ(z − b), λ = max{β | β > 0, b − β(z − b) ∈ G}.

Bao chuẩn (t.ư., bao đối chuẩn) của tập A ⊂ [a, b] được xác định là tập chuẩn (t.ư., đối chuẩn) nhỏ nhất chứa A. 15

Giả sử P (t.ư., Q) là bao chuẩn (t.ư., đối chuẩn) của tập hữu hạn T ⊂ [a, b]. Khi đó P (t.ư.,

Q) được gọi là một đa khối (t.ư., đối đa khối) với tập đỉnh T. Từ Mệnh đề 1 trong [42] ta có đa

khối P = ∪ z∈T [a, z] (t.ư., đối đa khối Q = ∪ z∈T [z, b]). Đỉnh z ∈ T của đa khối P (t.ư., đối đa

khối Q) được gọi là đỉnh chính nếu không tồn tại một đỉnh z0 6= z, sao cho z0 ≥ z (t.ư., z 0 ≤ z).

Đỉnh không chính là đỉnh thuộc T và không phải đỉnh chính. Đương nhiên một đa khối (t.ư., đối

đa khối) được xác định hoàn toàn bởi tập đỉnh chính của nó; hay nói cách khác đa khối (t.ư., đối đa khối) chính là bao chuẩn (t.ư., bao đối chuẩn) của tập đỉnh chính của nó. Xem minh họa ở Hình 1.3, 1.4.

Trường hợp P 0 = [a, z) (t.ư., Q 0 = (z, b]) thì ta gọi P 0 (t.ư., Q0) là đa khối

zS∈T zS∈T

nửa mở (t.ư., đối đa khối nửa mở) với tập đỉnh T. Và tương tự, ta có các khái

niệm đỉnh chính và đỉnh không chính của đa khối nửa mở (t.ư., đối đa khối

nửa mở); một đa khối nửa mở (t.ư., đối đa khối nửa mở) cũng hoàn toàn được xác định nếu biết tập các đỉnh chính của nó.

Hình 1.3: Đa

{u1 , u2 , u3 , u4 },

là tập đỉnh chính, u 3 là đỉnh không chính

Mệnh đề 1.4. (Xem [2, Mệnh đề 11.6, trang 395])

(i) Giao của một số hữu hạn các đa khối cũng là một đa khối.

(ii) Giao của một số hữu hạn các đối đa khối cũng là một đối đa khối.

Chứng minh. Giả sử P1 = ∪y∈T1 [a, y], P2 = ∪z∈T2 [a, z]. Khi đó ta có P = P1 ∩ P2 = ∪y∈T1,z∈T2 [a, y ∧ z]. Như vậy P là đa khối với tập đỉnh {y ∧ z, y ∈ T1 , z ∈ T2}. Tương tự, nếu T1, T2 là các tập đỉnh của các đối đa khối Q1 , Q2 thì Q1 ∩ Q2 là một đối đa khối với tập đỉnh {y ∨ z, y ∈ T1 , z ∈ T2}.

Mệnh đề 1.5. (Xem [42, Mệnh đề 3])

(i) Cực đại của hàm tăng f (x) trên một đa khối đạt được trên một đỉnh

chính của đa khối đó.

16

(ii) Cực tiểu của hàm tăng f (x) trên một đối đa khối đạt được trên một đỉnh chính của đối đa khối.

Mệnh đề sau tương tự như [42, Bổ đề 4].

Mệnh đề 1.6. (i) Giả sử a ≤ x ≤ b. Khi đó tập [a, b] \ (x, b] là một đa khối với các

đỉnh

ui = b + (x tức [a, b] \ (x, b] = ∪i=1n [a, ui ].

(ii) Nếu a ≤ x ≤ b khi đó tập [a, b] \ [a, x) là một đối đa khối với các đỉnh vi = a + (x

tức [a, b] \ [a, x) = ∪ni=1 [vi , b].

Chú ý 1.2. Các kết quả trong Mệnh đề 1.4 và 1.6 cũng đúng cho trường

hợp đa khối nửa mở và đối đa khối nửa mở.

Mệnh đề 1.7. Cho f(x) là một hàm tăng trên [a, b]. Khi đó

(i) Mỗi đỉnh chính của đa khối P trong [a, b] đều là nghiệm tối ưu địa phương của bài toán max{f (x)|x ∈ P }.

(ii) Mỗi đỉnh chính của đối đa khối Q trong [a, b] đều là nghiệm tối ưu địa phương của bài toán min{f (x)|x ∈ Q}.

Chứng minh. Ta chỉ cần chứng minh (i). Gọi z là một đỉnh chính bất kì của P . Do tập các đỉnh chính của P là hữu hạn nên tồn tại một quả cầu B(z, ε) tâm z, bán kính ε

không chứa bất kì đỉnh chính nào khác. Chú ý rằng, f(x) đạt cực đại trên [a, z] tại z

nên f (y) ≤ f(z) với mọi y ∈ B(z, ε) ∩ [a, z] = B(z, ε) ∩ P . Do đó z là cực đại địa phương của f(x) trên P .

Cho f, g, h là các hàm tăng trên [a, b] ⊂ Rn+ . Bài toán tối ưu đơn điệu chính tắc, kí hiệu là (MO), được phát biểu như sau

max{f(x) | g(x) ≤ 0 ≤ h(x), x ∈ [a, b]}. (MO)

Giả sử S ⊂ R s+ , với s ≤ n, là một tập rời rạc. Khi đó bài toán

max{f(x) | g(x) ≤ 0 ≤ h(x), x ∈ [a, b], (x 1, . . . , xs ) ∈ S} (DMO) được gọi là bài toán tối ưu đơn điệu rời rạc chính tắc.

17

Chú ý 1.3. (i) Bài toán cực tiểu đơn điệu

min{f(x) | g(x) ≤ 0 ≤ h(x), x ∈ [a, b]},

trong đó f, g, h là các hàm tăng trên [a, b] ⊂ Rn+ , có thể đưa về bài toán tối ưu đơn điệu chính tắc (MO) như sau. Đặt x = a

+ b − y,

˜ ˜

f(y) = −f(a + b − y),g˜(y) = −g(a + b − y), h(y) = −h(a + b − y).

Khi đó bài toán (1.6) tương đương với bài toán

˜ ˜

max{f(y) | h(y) ≤ 0 ≤g˜(y), y ∈ [a, b]},

có dạng giống như bài toán (MO). (ii) Bài toán tối ưu đơn điệu tổng quát

max{f(x) | g(x) ≤ 0 ≤ h(x), x ∈ [a, b]},

trong đó f(x) = f

cũng đưa được về

−(x) và f+ , f− , g, h : Rn+ → R là các hàm tăng dạng chính tắc (MO). Chi tiết, xem [2, trang 397].

(iii) Các ý (i) và (ii) cũng đúng cho bài toán tối ưu đơn điệu rời rạc.

Giả sử f(x), g(x) là các hàm nửa liên tục trên và h(x) là hàm nửa liên tục dưới. Khi đó tập G = {x ∈ [a, b] | g(x) ≤ 0} là tập chuẩn, compact còn H = {x ∈ [a, b] | h(x) ≥ 0} là tập đối chuẩn compact và bài toán (MO) tương đương với bài toán sau

max{f(x) | x ∈ G ∩ H}. (MO’)

Đặt S∗ = {x ∈ [a, b] | (x1, . . . , xs ) ∈ S}. Khi đó bài toán (DMO) trở thành max{f(x) | x ∈ G ∩ H ∩ S ∗}. 1.2.2 Thuật toán giải bài toán tối ưu đơn điệu

Thuật toán xấp xỉ ngoài đa khối giải bài toán tối ưu đơn điệu chính tắc

Theo [43, Mệnh đề 7], sự tồn tại nghiệm của bài toán tối ưu đơn điệu chính tắc (MO’) được mô tả trong kết quả sau

Mệnh đề 1.8. Nếu tập G ∩ H 6= ∅ thì bài toán (MO’) có ít nhất một nghiệm thuộc ∂+G∩H.

18

download by : skknchat@gmail.com

Tương tự như mối quan hệ giữa tập lồi compact và đa diện lồi, mối quan hệ giữa tập chuẩn compact và đa khối được mô tả bởi Mệnh đề 1.9 và Hệ quả 1.1 sau đây.

Mệnh đề 1.9. (Xem [2, Mệnh đề 11.12, trang 398]) Cho tập G ⊂ [a, b] là tập chuẩn, compact và z ∈ [a, b] \ G, y = πG (z). Khi đó đa khối P = ∪n i=1 [a, ui], với các đỉnh

ui = b + (y i − bi )ei , i = 1, . . . , n

tách chặt z và G, tức là P ⊃ G, z ∈ P \ G.

Hình 1.5: Minh họa Mệnh đề 1.9

Hình 1.5 minh họa hình học của Mệnh đề 1.9 trong R2.

Hệ quả 1.1. (Xem [2, Hệ quả 11.1, trang 398]) Mọi tập chuẩn compact là giao của

một họ các đa khối. Nói cách khác, mỗi tập chuẩn compact đều có thể được xấp xỉ bởi một đa khối với độ sai khác tùy ý.

Từ những kết quả trên ta thấy rằng bài toán (MO’) có thể được giải bằng cách xấp xỉ ngoài miền chấp nhận được bởi dãy các đa khối lồng nhau {Pk}k∈N thỏa mãn

[a, b] = P0 ⊃ P1 ⊃ · · · ⊃ G ∩ H,

max{f(x) | x ∈ P k } & max{f (x) | x ∈ G ∩ H} khi P

Nội dung của thuật toán xấp xỉ ngoài đa khối được mô tả chi tiết trong [43, 42]. Một trong những vấn đề mấu chốt của thuật toán đó

là cách xây dựng dãy {Pk }k∈N . Quy tr ình này được mô tả như sau. Đặt P0 = [a, b] ⊃ G. Giả sử tại bước lặp k ta đã có

P k⊃ G với tập đỉnh Tk. Đặt Tk0 = Tk ∩ H. Nếu Tk0 = ∅ thì bài toán không có nghiệm chấp nhận được và ta dừng thuật toán. Ngược lại, lấy zk ∈ argmax{f(x) | x ∈ T

k0}.

19

Vì f(x) là hàm tăng nên f (zk ) là giá trị cực đại của f(x) trên Pk ∩ H ⊃ G ∩ H. Nếu zk ∈ G thì dừng thuật toán vì z k ∈ G∩H

chính là nghiệm tối ưu của bài toán. Trường

hợp còn lại, zk ∈/ G thì ta tính xk = πG (zk ) và đặt Pk+1

Mệnh đề 1.6, [a, b] \ (x k , b] là một đa khối. Do đó P

k+1

mãn G ⊂ Pk+1 ⊂ Pk \ {zk}. Tiếp tục lặp lại quá trình trên ta sẽ thiết lập được dãy đa khối {Pk }k∈N thỏa mãn (1.7).

Cách làm trên khá giống với phương pháp xấp xỉ ngoài cho bài toán cực đại một hàm lồi trên một tập lồi. Vì vậy nó còn được gọi là Thuật toán xấp xỉ ngoài đa khối (xem [42, 43]). Dãy điểm {xk }k∈N được sinh ra trong quá trình xây dựng dãy đa khối {P k}k∈N ({P k }k∈N thỏa mãn (1.7)) sẽ hội tụ đến nghiệm của bài toán (MO’), tuynhiên sự hội tụ là khá chậm. Để tăng tốc thuật toán, các tác giả của bài báo [42] đề xuất phép cắt giảm hộp để thu gọn miền chấp nhận được và tính cận tốt hơn.

Ý tưởng của phép cắt giảm

Giả sử γ ∈ f(G ∩ H) là một giá tr ị chấp nhận được tốt nhất hiện tại. Ta cần kiểm tra xem liệu hộp [p, q] ⊂

[a, b] có khả năng chứa ít nhất một nghiệm tối ưu của bài toán (MO’) hay không, tức là tập

{x ∈ [p, q] | g(x) ≤ 0 ≤ h(x), f(x) ≥ γ}

có khác rỗng hay không. Nếu có thì tìm hộp nhỏ hơn [p0, q0] ⊂ [p, q] sao cho tập

{x ∈ [p0, q0] | g(x) ≤ 0 ≤ h(x), f (x) ≥ γ}

vẫn khác rỗng. Hộp [p0, q0] được gọi là γ−cắt giảm của hộp [p, q] và được kí hiệu là

redγ [p, q].

Chú ý rằng nếu g(q) ≥ 0 thì với mọi x ∈ [p, q] thỏa mãn (1.8) đường thẳng nối x và q giao với mặt g(.) = 0 tại điểm x 0 ∈ [p, q] thỏa mãn

g(x0) = 0 ≤ h(x 0

), f(x 0) ≥ f (x) ≥ γ.

Do đó hộp [p0, q0] sẽ chứa tất cả các điểm x ∈ [p, q] thỏa mãn g(x) = 0 ≤ h(x), f (x) ≥ γ, tức là thỏa mãn

g(x) ≤ 0 ≤ h γ (x) = min{g(x), h(x), f (x) − γ}.

Mệnh đề sau cho ta cách xác định [p0, q0] = red γ [p, q].

Mệnh đề 1.10. (Xem [2, Bổ đề 11.1, trang 400])

(i) Nếu g(p) > 0 hoặc hγ (q) < 0 thì không tồn tại x ∈ [p, q] thỏa mãn (1.9).

20

(ii) Nếu g(p) ≤ 0 thì hộp [p, q0] với q0 = p +

α i = sup{α | 0 ≤ α ≤ 1, g(p + α(q

vẫn chứa tất cả những nghiệm chấp nhận được trong hộp [p, q] thỏa (1.9). (iii) Nếu g(p) ≤ 0 ≤ h γ (q) thì hộp [p0, q0] với p0

βi = sup{β | 0 ≤ β ≤ 1, h γ (q0 − β(q i0 − p i )ei ) ≥ 0}, i = 1, . . . , n, vẫn chứa tất cả những nghiệm chấp nhận được trong hộp [p, q] thỏa (1.9).

Đối với bài toán tối ưu đơn điệu rời rạc (DMO), phép γ−cắt giảm có thể được điều chỉnh phù hợp với tập S. Để có thể cắt hộp [p, q] gọn hơn trường hợp bài toán tối ưu liên tục (MO), ta cần khái niệm S-hiệu chỉnh dưới đây.

Xét hộp [p, q] ⊂ [a, b], x ∈ [p, q]. Phép S-hiệu chỉnh dưới của x là điểm

bxcS ∗ = x,˜ với x˜

và phép S-hiệu chỉnh trên của x là điểm

dxeS ∗ = x,ˆ với xˆ

Dựa trên [42, Mệnh đề 13], đối với bài toán (DMO), hộp [p, q] sau khi được γ−cắt giảm và

S−hiệu chỉnh trở thành redSγ∗ [p, q] = [dp0eS ∗ , bq0cS ∗ ] (tất nhiên, trong trường hợp redγ [p, q] 6= ∅,

nghĩa là g(p) ≤ 0 ≤ hγ (q)). Do đó thuật toán xấp xỉ ngoài đa khối cho bài toán (MO) có thể được mở rộng cho bài toán (DMO) cùng với phép toán γ−cắt giảm và S−hiệu chỉnh. Chi tiết thuật toán cùng sự hội tụ của thuật toán (xem[42, Thuật toán 1 và Định lí 15]).

Bài toán tối ưu đơn điệu rời rạc tổng quát và thuật toán nhánh-

giảm-cận Xét bài toán tối ưu đơn điệu rời rạc tổng quát

max{f(x) | g(x) − h(x) ≤ 0, x ∈ [a, b] ∩ S ∗}, (DDM)

trong đó f(x) = f + (x) − f − (x) và f + , f − , g, h : R n

+ → R là các hàm tăng, S ∗ = {x ∈ [a, b] | (x 1, . . . , x s ) ∈ S} với S là một tập rời rạc trong R s

+ . Để áp dụng đượcThuật toán xấp xỉ ngoài đa khối cho bài toán (DDM) trước hết ta cần đưa nó về dạng chính tắc như bài toán (DMO). Việc này sẽ làm tăng số chiều của biến quyết định, không những vậy, sau mỗi bước lặp số đỉnh của đa khối tăng lên rất nhanh chóng. Lí

21

do là thuật toán xấp xỉ ngoài đa khối có thể xem như thuật toán nhánh cận với phép chia n (mỗi nút được chia thành n nút con, n là số chiều của biến quyết định). Vì vậy các tác giả của bài báo [42] đã đề xuất một thuật toán có thể giải trực tiếp cho bài toán tối ưu đơn điệu rời rạc tổng quát. Đó là thuật toán nhánh-giảm-cận. Ba kĩ thuật quan trọng trong thuật toán này là phép chia nhánh, phép cắt giảm và phép tính cận. Các kĩ thuật này được mô tả chi tiết như dưới đây.

CHIA NHÁNH: Một trong những cách chia hộp phổ biến thường được sử dụng trong các lược đồ nhánh cận là phép chia đôi. Giả sử M = [p, q], xác định

iM ∈ {1, ..., n} thỏa qiM −piM = maxi∈{1,...,n} (qi−pi ); đặt riM = (qiM +piM )/2 và chia M thành hai hộp con

M + = {x ∈ M|x

M− = {x ∈ M|x

iM

iM

CẮT GIẢM: Giống như phép cắt giảm cho thuật toán xấp xỉ ngoài đa khối, đối

với bài toán tối ưu đơn điệu rời rạc thủ tục cắt giảm có hai giai đoạn: γ−cắt giảm và S−hiệu chỉnh. Tức là nếu γ là giá trị chấp nhận được tốt nhất hiện tại thì tính [p0, q0] = red γ [p, q] và sau đó redSγ ∗ [p, q] = [dp0eS ∗ , bq0cS∗ ]. Việc tính p0, q0 cho bài toán tối ưu đơn điệu chính tắc đã được cụ thể hóa trong Mệnh đề1.10, đối với bài toán tối ưu đơn điệu rời rạc tổng quát (DDM) ta có thể tính trực tiếp p0, q0 thông qua mệnh đề dưới đây.

Mệnh đề 1.11. (Xem [42, Bổ đề 16]) Giả sử bài toán (DDM) có ít nhất một nghiệm chấp nhận được x ∈ [p, q] thỏa f (x) ≥ γ. Khi đó

h(q) − g(p) ≥ 0, f +

(q) − f − (p) ≥ γ.

Hơn nữa tất cả những điểm x như vậy phải nằm trong hộp [p 0, q0] với

p 0 = q −

trong đó

αi= sup{α|0 ≤ α ≤ 1,h(q − α(q

βi= sup{β|0 ≤ β ≤ 1,g(p

với mọi i = 1, . . . , n.

TÍNH CẬN: Với hộp M = [p, q] cho trước, tại mỗi bước lặp cần tính cận trên ω(M) thỏa

ω(M) ≥ γ(M) = max{f(x) | g(x) − h(x) ≤ 0, x ∈ M ∩ S ∗}.

Theo [42] để đảm bảo được tính hội tụ của thuật toán, với mọi dãy hộp {Mkν }ν∈N thắt dần2 về điểm x ∗, điều kiện sau cần

được thỏa mãn

lim ω(Mkν ) = f (x∗ ).

ν→+∞

Đối với bài toán (DDM), một cách lấy cận trên đơn giản nhất và đảm bảo tính hội tụ của thuật toán là ω(M) = f + (q) − f − (p). Tuy nhiên cách này chưa chắc đã hiệu quả. Tùy thuộc vào từng bài toán cụ thể ta có cách tính cận phù hợp sao cho thuật toán chạy nhanh nhất có thể. Sau đây là chi tiết thuật toán nhánh-giảm-cận cho bài toán (DDM) (xem [42, Thuật toán 2]).

Thuật toán nhánh-giảm-cận (BRB) cho bài toán (DDM)

Khởi tạo: Đặt P1 := {M1}, M1 = [a, b], R1 = ∅. Gọi CBV là giá trị hàm mục tiêu tốt nhất hiện tại. Gán k := 1. Bước 1. Với mỗi hộp [p, q] ∈ Pk , nếu h(q) − g(p) < 0 thì loại hộp [p, q] ra khỏi tập Pk , ngược lại gán [p, q] := redSγ∗

[p, q].

Bước 2. Nếu Pk 6= ∅, với mỗi hộp M ∈ Pk tính cận trên ω(M) thỏa mãn (1.18). Ngược lại, chuyển sang Bước 3.

Bước 3. Cập nhật CBV mới và đặt Rk+1 = {B ∈ Rk ∪ Pk |ω(B) ≥ CBV },

Bước 4. Nếu Rk+1 = ∅ thì dừng thuật toán: nếu CBV = −∞ thì bài toán không có nghiệm chấp nhận được nào, ngược

lại x¯ là nghiệm tối ưu của bài toán với

f(¯x) = CBV.

Bước 5. Nếu R 6= ∅ lấy M ∈ argmax{ω(M ) | M ∈ R

k+1 k

hai hộp Mk1 , Mk2 theo quy tắc đã trình bày ở trên.

Đặt P k+1 k := k + 1 và quay lại Bước 1.

k+1}. Chia Mk thành

= {Mk1 , Mk2 }. Gán

Định lí sau đảm bảo sự hội tụ của thuật toán BRB.

2Dãy hộp {Mkν }ν∈N được gọi là thắt dần về điểm x ∗ nếu Mk1 ⊃ Mk2 ⊃ · · · ⊃ {x∗ } và

lim d(Mkν ) = 0, trong đó d(M

ν→+∞

Định lí 1.4. (Xem [42, Định lí 17]) Thuật toán nhánh-giảm-cận (BRB) cho bài toán (DDM) dừng sau hữu hạn bước lặp và cho kết quả là: nghiệm tối ưu; hoặc tính không chấp nhận được của bài toán; hoặc (trong trường hợp s < n) thuật toán sinh ra một dãy vô hạn các nghiệm chấp nhận được hội tụ đến nghiệm tối ưu của bài toán.

Kết luận

Chương này đã tr ình bày một số kết quả cơ bản liên quan đến hai bài toán tiêu biểu của tối ưu không lồi là tối ưu DC và tối ưu đơn điệu. Cụ thể là:

• Với bài toán tối ưu DC, các khái niệm cơ bản quan trọng trong tối ưu nói chung và tối ưu DC nói riêng như: hàm lồi chính thường, hàm liên hợp và dưới vi phân đã được nhắc lại cùng một số kết quả liên quan đến điều kiện tối ưu của bài toán DC và thuật toán DCA.

• Với tối ưu đơn điệu, chúng tôi trình bày các khái niệm cơ bản như: tập chuẩn, đối chuẩn, đa khối, đối đa khối, đa khối nửa mở, đối đa khối nửa mở,... và một số kết quả liên quan. Một số dạng khác nhau của bài toán tối ưu đơn điệu cùng thuật toán xấp xỉ ngoài đa khối cho bài toán tối ưu đơn điệu chính tắc và thuật toán nhánh-giảm-cận cho bài toán tối ưu đơn điệu rời rạc tổng quát cũng được nhắc lại.

24

Chương 2

THUẬT TOÁN GIẢI MỘT SỐ BÀI TOÁN TỐI ƯU KHÔNG LỒI TRONG VIỄN THÔNG

Trải qua hơn một thế kỉ, ngành viễn thông đã mang lại cho con người rất nhiều lợi ích và ngày càng khẳng định được vai trò quan trọng của nó trong bối cảnh của cuộc cách mạng công nghệ 4.0. Có thể nói, sự phát triển của viễn thông có đóng góp đáng kể của toán học nói chung và lí thuyết tối ưu nói riêng. Trên thực tế, các bài toán tối ưu trong xây dựng và điều khiển mạng viễn thông thuộc vào lớp các bài toán tối ưu không lồi. Nhiều bài toán đã được giải quyết một cách trọn vẹn, tuy nhiên vẫn còn rất nhiều bài toán mở. Một thuật toán toàn cục hiệu quả hoặc một phương pháp tối ưu địa phương tốt luôn là đích đến của các nhà mạng. Trong chương này chúng tôi trình bày hai bài toán như vậy và đề xuất thuật toán toàn cục để giải chúng.

Trong Mục 2.1, chúng tôi xây dựng mô hình toán học cho bài toán phân bổ tài nguyên cho mạng không dây OFDMA/TDD và đề xuất thuật toán toàn cục nhánh cận kết hợp DCA giải bài toán này.

Mục 2.2 xét bài toán năng lượng phủ cảm biến cho mạng cảm biến vô tuyến. Xuất phát từ mô hình bài toán tối ưu không lồi xây dựng bởi Astorino và Miglionico [39], chúng tôi đưa bài toán này về dạng một bài toán tối ưu đơn điệu rời rạc và đề xuất thuật toán toàn cục nhánh-giảm-cận cải tiến và một thuật toán tìm nghiệm tối ưu địa phương cho bài toán.

Kết quả tính toán thử nghiệm cho thấy được sự hiệu quả của các thuật toán đề xuất. Nội dung chính của Mục 2.1 và Mục 2.2 là kết quả tương ứng trong các bài báo [1] và [3] trong Danh mục các công tr ình đã công bố của luận án. 2.1 Thuật toán giải bài toán phân bổ tài nguyên cho mạng không

dây OFDMA/TDD

Kĩ thuật truyền phát OFDMA/TDD (Orthogonal Frequency Division Multiple Access/ Time Division Duplexing) ngày nay được ưa chuộng và ứng dụng rộng rãi trong công nghệ mạng không dây băng thông rộng thế hệ thứ tư như: mạng Wimax (Worldwide Interoperability for Microwave Access) hay LTE (Long Term Evolution). OFDMA là tổ hợp của TDMA và FDMA (trong đó dữ liệu có thể được truyền đồng

25

thời trong một miền thời gian và miền tần). Với người khai thác mạng viễn thông, việc tận dụng các kênh truyền dữ liệu một cách hiệu quả rất quan trọng vì nguồn tài nguyên vô tuyến là hữu hạn, hơn nữa lại ảnh hưởng tới lợi nhuận thu được. Người sử dụng thì quan tâm tới chất lượng dịch vụ (Quality of Ser vice hoặc QoS) sao cho việc liên lạc không bị ngắt hoặc gián đoạn trong bất kì thời điểm nào. Bài toán đặt ra cho các nhà cung cấp mạng là làm sao cải tiến, tối đa hóa được thông lượng đường

Một phần của tài liệu (LUẬN văn THẠC sĩ) một số lớp bài TOÁN tối ưu KHÔNG lồi THUẬT TOÁN và ỨNG DỤNG (Trang 31)