Tổng quan luận án
Luận án tiến sĩ toán học của tác giả Trần Thị Hoàng Anh với tiêu đề "Phương pháp giải một vài lớp bài toán cân bằng và bất đẳng thức biến phân hai cấp" được thực hiện tại Học viện Kỹ thuật Quân sự (Bộ Quốc phòng) dưới sự hướng dẫn khoa học của PGS. Phạm Ngọc Anh và GS. Phạm Thế Long, thuộc chuyên ngành Toán ứng dụng (mã số: 9 46 01 12), bảo vệ năm 2019.
Về bối cảnh và tính cấp thiết, bài toán bất đẳng thức biến phân $VI(F, C)$ do G. Stampacchia đưa ra năm 1966 và bài toán cân bằng $EP(f, C)$ do E. Blum và W. Oettli giới thiệu năm 1994 là những mô hình toán học tổng quát, bao hàm nhiều lớp bài toán tối ưu, bài toán bù, bài toán điểm bất động, bài toán điểm yên ngựa và mô hình cân bằng Nash trong trò chơi không hợp tác. Trong thực tế ứng dụng, nhiều vấn đề kỹ thuật và kinh tế đòi hỏi giải quyết các bài toán tối ưu phân cấp, trong đó miền ràng buộc không phải là một tập lồi đóng tường minh thông thường mà là tập nghiệm của một bài toán cân bằng hoặc bài toán bất đẳng thức biến phân khác.
Khoảng trống nghiên cứu được tác giả xác định xuất phát từ các hạn chế của những phương pháp giải bài toán hai cấp hiện hữu. Phương pháp hiệu chỉnh kiểu Tikhonov hoặc phương pháp hàm phạt đòi hỏi tại mỗi bước lặp phải giải chính xác một bài toán cân bằng đơn điệu phụ; tuy nhiên trên thực tế, các bài toán phụ phi tuyến chỉ có thể tính được nghiệm xấp xỉ, khiến dãy lặp có thể không hội tụ về nghiệm của bài toán hai cấp ban đầu. Mặt khác, các thuật toán đạo hàm tăng cường hai vòng lặp thường đòi hỏi chi phí tính toán lớn hoặc yêu cầu các điều kiện ngặt về tính đơn điệu của song hàm và toán tử giá. Do đó, việc nghiên cứu xây dựng các thuật toán mới có tốc độ hội tụ mạnh, giảm thiểu số lượng phép chiếu lên tập ràng buộc phức tạp và nới lỏng giả thiết đơn điệu là yêu cầu cấp thiết.
Mục tiêu nghiên cứu của luận án được xác định gồm 4 nội dung cụ thể:
- (i) Xây dựng thuật toán giải bài toán bất đẳng thức biến phân hai cấp.
- (ii) Nghiên cứu đề xuất thuật toán mới giải bài toán bất đẳng thức biến phân trên tập nghiệm của bài toán cân bằng.
- (iii) Nghiên cứu xây dựng thuật toán giải bài toán cân bằng trên tập nghiệm của bài toán bất đẳng thức biến phân.
- (iv) Xây dựng thuật toán kiểu chiếu giải bài toán cân bằng.
Đối tượng và phạm vi nghiên cứu của luận án:
- Đối tượng nghiên cứu: Các lớp bài toán hai cấp liên quan đến bất đẳng thức biến phân và cân bằng, bao gồm bài toán bất đẳng thức biến phân hai cấp $BVI(F, G, C)$, bài toán bất đẳng thức biến phân trên tập nghiệm của bài toán cân bằng $VIEP(F, f, C)$, bài toán cân bằng trên tập nghiệm của bài toán bất đẳng thức biến phân $EVIP(g, F, C)$, và bài toán cân bằng tổng quát $EP(f, C)$. Các toán tử giá và song hàm được khảo sát dưới các điều kiện đơn điệu mạnh, đơn điệu, giả đơn điệu, para-đơn điệu, đơn điệu mạnh ngược và liên tục kiểu Lipschitz.
- Không gian nghiên cứu: Không gian Hilbert thực $H$ và không gian Euclide thực $n$-chiều $\mathbb{R}^n$.
- Phạm vi tính toán thực nghiệm: Các thuật toán đề xuất được lập trình, kiểm thử và đo lường thời gian thực hiện ($CPU-times/s$) cùng số bước lặp ($Iter.(k)$) trên môi trường phần mềm Matlab R2013a, vận hành trên máy tính cá nhân cấu hình Intel Core i3-3110M CPU @ 2.40GHz, 4GB RAM.
Tổng quan tài liệu và vị trí của luận án
Trong phần tổng quan, tác giả hệ thống hóa các hướng nghiên cứu nền tảng và những công trình tiêu biểu liên quan trực tiếp đến đề tài:
| Hướng nghiên cứu / Thuật toán | Tác giả tiêu biểu và công trình trích dẫn | Đặc điểm và hạn chế mà luận án nhận diện |
|---|---|---|
| Khởi nguồn Bất đẳng thức biến phân | G. Stampacchia (1966) [44], W. Oettli (1994) [27] | Đặt nền móng cho $VI(F, C)$ trong điều khiển tối ưu và bài toán biên cho phương trình đạo hàm riêng. |
| Mở rộng bài toán cân bằng $EP(f, C)$ | E. Blum, W. Oettli (1994) [15], L. Oettli (1997) [64] | Tổng quát hóa bài toán tối ưu, bù, điểm bất động và cân bằng Nash về dạng $f(x^*, y) \ge 0$. |
| Phương pháp đạo hàm tăng cường (Extragradient) | G. Kopelevich (1976) [51], P. N. Anh (2012, 2013) [11, 12, 17], T. D. Quoc, L. D. Muu (2012) [67] | Sử dụng hai phép chiếu mỗi bước lặp; ban đầu áp dụng cho bài toán đơn cấp và tìm điểm chung với tập điểm bất động. |
| Phương pháp hiệu chỉnh kiểu Tikhonov | A. Moudafi (2010) [60] | Đưa $BEP(g, Sol(f, C))$ về chuỗi bài toán $EP(h_\epsilon, C)$; nhược điểm là đòi hỏi nghiệm chính xác ở bài toán phụ. |
| Thuật toán hai vòng lặp cho bài toán hai cấp | P. K. Anh, L. D. Muu (2014) [18], L. Q. Anh, P. Q. Khanh (2007) [10], Y. Yao et al. (2011) [89] | Sử dụng vòng lặp trong tính nghiệm xấp xỉ của bài toán cấp dưới, làm tăng khối lượng tính toán. |
| Phương pháp chiếu dưới đạo hàm và xấp xỉ gắn kết | P. E. Maingé (2008) [54], Wang et al. (2010) [81] | Kết hợp kỹ thuật xấp xỉ gắn kết với dưới đạo hàm, áp dụng cho song hàm đơn điệu có cấu trúc phân tách. |
| Ánh xạ nghiệm bài toán biến phân và cân bằng | K. Fukushima (1992) [38], P. L. Combettes, S. A. Hirstoaga (2005) [34] | Đưa việc tìm nghiệm về tìm điểm bất động của ánh xạ nghiệm $S_r(x)$ hoặc $S(x)$ có dạng cực tiểu hóa hàm khoảng cách. |
Vị trí của luận án: Kế thừa các kết quả nghiên cứu trong và ngoài nước, luận án tập trung giải quyết khoảng trống về thuật toán cho các lớp bài toán hai cấp bằng cách:
- Mở rộng khái niệm ánh xạ nghiệm của Fukushima cho bài toán cân bằng trong $\mathbb{R}^n$, thiết lập điều kiện để ánh xạ này đạt tính chất tựa co hoặc tựa không giãn.
- Đề xuất các thuật toán chỉ cần một phép chiếu hoặc áp dụng kỹ thuật dưới đạo hàm để thay thế việc giải chính xác bài toán phụ ở cấp dưới.
- Giảm nhẹ các giả thiết từ đơn điệu sang giả đơn điệu và para-đơn điệu trên song hàm và ánh xạ giá, đồng thời thiết lập định lý hội tụ mạnh trong không gian Hilbert.
Cơ sở lý thuyết và phương pháp nghiên cứu
Luận án xây dựng trên nền tảng giải tích lồi, giải tích phi tuyến và lý thuyết tối ưu:
-
Khung lý thuyết và khái niệm cốt lõi:
- Không gian Hilbert thực $H$ trang bị tích vô hướng $\langle \cdot, \cdot \rangle$, chuẩn $|\cdot|$, và tính chất Kadec-Klee ($|x^k| \to |x^|$ và $x^k \rightharpoonup x^ \implies x^k \to x^*$).
- Phép chiếu metric $Pr_C(x) = \operatorname{argmin}{|x - y| : y \in C}$ trên tập lồi đóng $C \subset H$.
- Nón pháp tuyến ngoài $N_C(x_0) = {\omega \in H : \langle \omega, x - x_0 \rangle \le 0, \forall x \in C}$ và dưới vi phân $\partial f(x)$ của hàm lồi chính thường.
- Dưới vi phân chéo xấp xỉ $\epsilon$-dưới vi phân theo biến thứ hai $\partial_2^\epsilon f(x, x) = {g \in \mathbb{R}^n : f(x, y) \ge \langle g, y - x \rangle - \epsilon, \forall y \in \mathbb{R}^n}$.
- Các lớp toán tử: Ánh xạ không giãn, tựa không giãn, tựa co, nửa co, đóng yếu, liên tục yếu; toán tử $\gamma$-đơn điệu mạnh, đơn điệu, giả đơn điệu, $\beta$-đơn điệu mạnh ngược, para-đơn điệu, para-đơn điệu chặt và $L$-liên tục Lipschitz.
- Các lớp song hàm cân bằng: $\gamma$-đơn điệu mạnh, đơn điệu chặt, đơn điệu, $\gamma$-giả đơn điệu mạnh, giả đơn điệu, tựa đơn điệu, para-đơn điệu chặt và điều kiện kiểu Lipschitz với hai hằng số $c_1 > 0, c_2 > 0$ thỏa mãn $f(x, y) + f(y, z) \ge f(x, z) - c_1|x - y|^2 - c_2|y - z|^2$.
- Bổ đề Moreau-Rockafellar và nguyên lý ánh xạ co Banach.
-
Phương pháp nghiên cứu thực tế:
- Phương pháp giải tích và ước lượng toán học: Sử dụng các bất đẳng thức giải tích lồi, kỹ thuật phân tích dãy hội tụ tựa-Fejér, bổ đề triệt tiêu dãy số không âm để chứng minh sự hội tụ mạnh của các dãy nghiệm lặp ${x^k}$.
- Kỹ thuật chiếu và xấp xỉ gắn kết: Kết hợp phép chiếu trên tập lồi đóng với toán tử co Banach để xử lý bài toán hai cấp không cần vòng lặp phụ bên trong.
- Kỹ thuật chiếu dưới đạo hàm (Subgradient projection): Thay thế việc tính nghiệm chính xác của bài toán cân bằng phụ bằng việc lấy một vector dưới đạo hàm chéo $\partial_2^\epsilon f(x, x)$ nhằm giảm tải chi phí giải phương trình phi tuyến.
- Kỹ thuật chiếu siêu phẳng phân tách và lai ghép (Separating hyperplane & hybrid projection): Mở rộng việc xây dựng nửa không gian chứa tập nghiệm để chiếu điểm lặp đối với bài toán cân bằng có song hàm para-đơn điệu.
- Phương pháp thực nghiệm số: Thiết lập các ví dụ số học, bài toán kiểm thử mẫu ($TestProb.$) trong $\mathbb{R}^n$, viết mã nguồn thực thi trên Matlab R2013a để thu thập số bước lặp và thời gian tính toán thực tế.
Nội dung chính theo từng chương
Chương 1. Một số kiến thức chuẩn bị
Chương 1 hệ thống hóa các khái niệm, bổ đề cơ bản và trình bày nghiên cứu lý thuyết của tác giả về ánh xạ nghiệm cho bài toán cân bằng:
- Trình bày định nghĩa bài toán $VI(F, C)$, bài toán cân bằng $EP(f, C)$, bài toán cân bằng Nash, bài toán tối ưu $OP(F, C)$, bài toán bù $CP(F, C)$, bài toán bất đẳng thức biến phân đa trị $MVI(T, C)$ và bài toán điểm bất động $FP(F, C)$.
- Thiết lập ánh xạ nghiệm mở rộng từ ý tưởng Fukushima cho bài toán cân bằng $EP(f, C)$ trong $\mathbb{R}^n$: $$S(x) = \operatorname{argmin}\left{ f(x, y) + \frac{1}{2}\langle y - x, G(y - x) \rangle : y \in C \right}$$ với $G$ là ma trận vuông xác định dương cấp $n$. Bổ đề 1.4 chứng minh $x^* \in Sol(f, C) \iff x^* = S(x^*)$.
- Nghiên cứu ánh xạ nghiệm $S(x) = \operatorname{argmin}{\lambda f(x, y) + \frac{1}{2}|y - x|^2 : y \in C}$. Định lý 1.5 chứng minh nếu $f$ là $\gamma$-giả đơn điệu mạnh, thỏa mãn điều kiện Lipschitz với $c_1, c_2$, khi $\lambda \in (0, \frac{1}{2c_1})$ và $\gamma > c_2$, thì $S(x)$ là ánh xạ tựa co với hệ số: $$\delta = \frac{1}{\sqrt{1 + 2\lambda(\gamma - c_2)}} < 1$$
- Định lý 1.6 thiết lập ánh xạ nghiệm hai bước: $$S(x) = \operatorname{argmin}\left{ \lambda f(z_x, y) + \frac{1}{2}|y - x|^2 : y \in C \right}, \quad z_x = \operatorname{argmin}\left{ \lambda f(x, y) + \frac{1}{2}|y - x|^2 : y \in C \right}$$ Chứng minh $S(x)$ là ánh xạ tựa không giãn trên $C$ khi $f$ giả đơn điệu, thỏa mãn điều kiện kiểu Lipschitz và $\lambda \in (\frac{1}{2c_1}, \frac{1}{2c_2})$ với $\gamma > c_2$.
- Nhắc lại các thuật toán cơ sở: Thuật toán đạo hàm tăng cường hai vòng lặp (Thuật toán 1.1), Thuật toán điểm gần kề (Thuật toán 1.2), và Thuật toán chiếu dưới đạo hàm kết hợp xấp xỉ gắn kết (Thuật toán 1.3).
Chương 2. Thuật toán chiếu giải bài toán bất đẳng thức biến phân hai cấp
Chương 2 tập trung giải bài toán $BVI(F, G, C)$: Tìm $x^* \in S(G, C)$ sao cho $\langle F(x^), x - x^ \rangle \ge 0, \forall x \in S(G, C)$, trong đó $S(G, C)$ là tập nghiệm của $VI(G, C)$ trong không gian Hilbert $H$:
- Thuật toán đề xuất (Thuật toán 2.1):
- Khởi tạo $x^0 \in C$, dãy tham số ${\alpha_k} \subset (0, 1]$ thỏa mãn $\lim_{k \to \infty} \alpha_k = 0$, $\sum_{k=0}^\infty \alpha_k = \infty$, $\lim_{k \to \infty} \frac{\alpha_k - \alpha_{k+1}}{\alpha_k \alpha_{k+1}} = 0$.
- Chọn $\mu \in (0, \frac{2\beta}{L^2})$, $\tau = 1 - \sqrt{1 - \mu(2\beta - \mu L^2)}$, và $0 < \alpha_k \le \min{1, \frac{1}{\tau}}$.
- Tại bước lặp thứ $k$: $$\begin{cases} y^k = Pr_C(x^k - \lambda G(x^k)) \ x^{k+1} = (1 - \alpha_k) y^k + \alpha_k (y^k - \lambda \mu F(y^k)) \end{cases}$$
- Định lý hội tụ (Mục 2.2):
- Giả thiết: $G$ là $\eta$-đơn điệu mạnh ngược trên $H$; $F$ là $\beta$-đơn điệu mạnh và $L$-liên tục Lipschitz trên $C$; tập nghiệm $\Omega$ khác rỗng.
- Chứng minh dãy lặp ${x^k}$ và ${y^k}$ hội tụ mạnh trong không gian Hilbert về nghiệm duy nhất $x^* \in \Omega$ của bài toán $BVI(F, G, C)$.
- Ưu điểm cấu trúc: Mỗi bước lặp chỉ sử dụng một phép chiếu lên tập $C$ và một lần tính giá trị toán tử $F, G$, loại bỏ vòng lặp phụ bên trong.
Chương 3. Thuật toán chiếu dưới đạo hàm giải bài toán bất đẳng thức biến phân trên tập nghiệm của bài toán cân bằng
Chương 3 khảo sát bài toán $VIEP(F, f, C)$: Tìm $x^* \in Sol(f, C)$ sao cho $\langle F(x^), x - x^ \rangle \ge 0, \forall x \in Sol(f, C)$:
- Thuật toán đề xuất:
- Dựa trên sự kết hợp giữa thuật toán đạo hàm tăng cường giải bài toán cân bằng và phương pháp chiếu dưới đạo hàm với xấp xỉ gắn kết.
- Sử dụng các vector dưới vi phân chéo $\partial_2^{\epsilon_k} f(x^k, x^k)$ để tạo hướng dịch chuyển mà không cần giải bài toán tối ưu lồi phụ tại từng bước.
- Phân tích định lý hội tụ (Mục 3.2):
- Thiết lập điều kiện hội tụ mạnh của dãy lặp về nghiệm $x^*$ duy nhất dưới giả thiết: song hàm $f$ giả đơn điệu trên $C$, thỏa mãn điều kiện kiểu Lipschitz với hai hằng số $c_1, c_2$; ánh xạ giá $F$ là $\beta$-đơn điệu mạnh và $L$-liên tục Lipschitz.
- Tính toán số thực nghiệm (Mục 3.3):
- Thiết lập các bài toán kiểm thử trong không gian hữu hạn chiều, so sánh số bước lặp ($Iter$) và thời gian chạy ($CPU-time$) trên Matlab R2013a để minh chứng tính thực thi của thuật toán.
Chương 4. Thuật toán chiếu dưới đạo hàm giải bài toán cân bằng trên tập nghiệm của bài toán bất đẳng thức biến phân
Chương 4 giải quyết bài toán đảo $EVIP(g, F, C)$: Tìm $x^* \in S(F, C)$ sao cho $g(x^*, x) \ge 0, \forall x \in S(F, C)$:
- Thuật toán đề xuất:
- Xây dựng thuật toán chiếu dưới đạo hàm kết hợp với toán tử điểm bất động của phép chiếu biến phân.
- Sử dụng thông tin dưới vi phân của song hàm $g$ và toán tử giá $F$ tại mỗi bước lặp.
- Định lý hội tụ (Mục 4.2):
- Chứng minh sự hội tụ mạnh của dãy lặp đến nghiệm của bài toán $EVIP(g, F, C)$ trong không gian Hilbert $H$.
- Giả thiết áp dụng: Song hàm $g$ đơn điệu mạnh; toán tử giá $F$ là $L$-liên tục Lipschitz, para-đơn điệu và đóng yếu trên $C$.
- Kết quả tính toán số (Mục 4.3):
- Cung cấp bảng dữ liệu thực nghiệm chạy trên Matlab R2013a, kiểm chứng sự thay đổi của sai số $|x^{k+1} - x^k|$ theo số vòng lặp với các điểm xuất phát khác nhau.
Chương 5. Một thuật toán kiểu chiếu giải bài toán cân bằng
Chương 5 nghiên cứu bài toán cân bằng đơn cấp $EP(f, C)$ trong không gian Euclide $\mathbb{R}^n$ dưới giả thiết nới lỏng:
- Thuật toán kiểu chiếu siêu phẳng:
- Mở rộng phương pháp chiếu siêu phẳng phân tách kết hợp kỹ thuật lai ghép.
- Tại mỗi bước lặp, thuật toán xây dựng một siêu phẳng phân tách nửa không gian chứa tập nghiệm $Sol(f, C)$ và chiếu điểm lặp hiện tại lên nửa không gian này để tạo điểm lặp tiếp theo.
- Định lý hội tụ (Mục 5.2):
- Chứng minh dãy lặp hội tụ về nghiệm của bài toán $EP(f, C)$ dưới điều kiện song hàm $f$ thỏa mãn tính chất para-đơn điệu (nới lỏng hơn so với giả thiết đơn điệu thông thường).
- Tính toán số (Mục 5.3):
- Thực hiện các tính toán thực nghiệm trên phần mềm Matlab R2013a; thống kê số bước lặp và thời gian thực thi của thuật toán đề xuất.
Kết quả và những đóng góp mới
Luận án đã đạt được 6 kết quả khoa học chính, được tổng hợp trong bảng dưới đây:
| STT | Đóng góp mới của luận án | Lớp bài toán & Không gian | Giả thiết toán học chính |
|---|---|---|---|
| 1 | Đề xuất phương pháp ánh xạ nghiệm và chứng minh tính tựa không giãn, tựa co của $S(x)$. | Bài toán cân bằng $EP(f, C)$ trong $\mathbb{R}^n$ | $f$ giả đơn điệu mạnh hoặc giả đơn điệu, thỏa mãn điều kiện kiểu Lipschitz ($c_1, c_2$). |
| 2 | Xây dựng thuật toán chiếu 1 bước giải bài toán biến phân hai cấp, chứng minh hội tụ mạnh. | Bài toán $BVI(F, G, C)$ trong không gian Hilbert $H$ | $F$ đơn điệu mạnh, liên tục Lipschitz; $G$ đơn điệu mạnh ngược. |
| 3 | Đề xuất thuật toán chiếu dưới đạo hàm giải bài toán biến phân trên nghiệm cân bằng. | Bài toán $VIEP(F, f, C)$ trong không gian Hilbert $H$ | $f$ giả đơn điệu, thỏa mãn điều kiện kiểu Lipschitz; $F$ liên tục Lipschitz, đơn điệu mạnh. |
| 4 | Xây dựng thuật toán chiếu dưới đạo hàm giải bài toán cân bằng trên nghiệm biến phân. | Bài toán $EVIP(g, F, C)$ trong không gian Hilbert $H$ | $g$ đơn điệu mạnh; $F$ liên tục Lipschitz, para-đơn điệu và đóng yếu. |
| 5 | Xây dựng thuật toán kiểu chiếu siêu phẳng giải bài toán cân bằng. | Bài toán $EP(f, C)$ trong không gian Euclide $\mathbb{R}^n$ | Song hàm $f$ thỏa mãn điều kiện para-đơn điệu. |
| 6 | Kiểm thử và tính toán số thực nghiệm cho toàn bộ các thuật toán đề xuất. | Các bài toán kiểm thử trong $\mathbb{R}^n$ | Chạy trên Matlab R2013a (Laptop Intel Core i3-3110M CPU @ 2.40GHz, 4GB RAM). |
Các công trình khoa học đã công bố: Toàn bộ các kết quả chính của luận án đã được công bố trong 05 bài báo khoa học trên các tạp chí quốc tế và báo cáo tại 8 hội nghị, hội thảo chuyên ngành trong nước và quốc tế (Hội nghị Toán học Miền Trung–Tây Nguyên 2015, Hội nghị Ứng dụng Toán học 2015, Hội thảo Việt Nam-Hàn Quốc 2017, VIAMC 2017, Hội nghị High Performance Scientific Computing 2018, Đại hội Toán học Việt Nam lần thứ IX 2018).
Kiến nghị và giải pháp đề xuất từ kết quả nghiên cứu:
- Các thuật toán đề xuất có thể áp dụng làm công cụ giải các bài toán cân bằng mạng giao thông, mô hình định tuyến tối ưu mạng truyền thông, bài toán biên tự do và bài toán cân bằng Nash trong trò chơi không hợp tác.
Hạn chế và hướng nghiên cứu tiếp
Theo nội dung trình bày trong văn bản luận án, các hạn chế và hướng phát triển tiếp theo được xác định như sau:
- Hạn chế:
- Các định lý hội tụ trong không gian Hilbert đòi hỏi một số tham số bước lặp phụ thuộc vào các hằng số đơn điệu mạnh ($\beta, \gamma$) hoặc hằng số Lipschitz ($L, c_1, c_2$), vốn có thể khó ước lượng chính xác trong các bài toán thực tế quy mô lớn.
- Các thử nghiệm số mới được tiến hành trên môi trường đơn máy cấu hình CPU Core i3, chưa khảo sát trên hệ thống tính toán phân tán hoặc song song quy mô lớn.
- Hướng nghiên cứu tiếp theo (trang 98):
- Tiếp tục nghiên cứu mở rộng các thuật toán cho các lớp bài toán hai cấp với các điều kiện suy rộng của tính đơn điệu như tựa đơn điệu, giả đơn điệu tổng quát.
- Nghiên cứu kỹ thuật chọn bước lặp thích nghi (adaptive step-size) không phụ thuộc vào hằng số Lipschitz đã biết trước để tăng tính thực thi cho thuật toán.
- Phát triển ứng dụng của các thuật toán giải bài toán cân bằng hai cấp vào các bài toán thực tiễn trong xử lý ảnh, truyền thông và kinh tế.
Giá trị tham khảo
Luận án là tài liệu tham khảo chuyên khảo trong lĩnh vực Toán ứng dụng và Tối ưu hóa:
- Đối tượng thụ hưởng:
- Nghiên cứu sinh, học viên cao học ngành Toán ứng dụng, Toán giải tích, Khoa học máy tính: Tham khảo phương pháp xây dựng thuật toán lặp, kỹ thuật xử lý toán tử phi tuyến và các bổ đề kỹ thuật chứng minh hội tụ mạnh trong không gian Hilbert vô hạn chiều.
- Giảng viên, nhà nghiên cứu về Tối ưu hóa và Giải tích phi tuyến: Tham khảo các kỹ thuật xây dựng ánh xạ nghiệm tựa co, tựa không giãn và cách kết hợp xấp xỉ gắn kết với chiếu dưới đạo hàm.
- Kỹ sư mô hình hóa và thuật toán trong giao thông, viễn thông: Tham khảo thuật toán và mã nguồn thực nghiệm số trên Matlab để áp dụng giải các bài toán cân bằng mạng lưới và tối ưu hóa phân cấp.
- Các phần có giá trị tham khảo chuyên sâu: Chương 1 (kỹ thuật chứng minh tính chất ánh xạ nghiệm), Chương 2 (kỹ thuật thuật toán chiếu đơn bước cho $BVI$), và các chương thực nghiệm số (Chương 3, 4, 5).
Câu hỏi thường gặp
1. Luận án giải quyết những lớp bài toán hai cấp cụ thể nào?
Luận án giải quyết 3 lớp bài toán hai cấp chính: (1) Bài toán bất đẳng thức biến phân hai cấp $BVI(F, G, C)$ với ràng buộc là tập nghiệm $S(G, C)$ của một bất đẳng thức biến phân khác; (2) Bài toán bất đẳng thức biến phân trên tập nghiệm của bài toán cân bằng $VIEP(F, f, C)$; và (3) Bài toán cân bằng trên tập nghiệm của bài toán bất đẳng thức biến phân $EVIP(g, F, C)$.
2. Ánh xạ nghiệm của bài toán cân bằng được tác giả xây dựng như thế nào và đạt tính chất tựa co khi nào?
Ánh xạ nghiệm được định nghĩa dạng cực tiểu hóa hàm khoảng cách điều chỉnh: $S(x) = \operatorname{argmin}{\lambda f(x, y) + \frac{1}{2}|y - x|^2 : y \in C}$. Định lý 1.5 chứng minh nếu $f$ là $\gamma$-giả đơn điệu mạnh, thỏa mãn điều kiện Lipschitz với $c_1, c_2$, khi chọn tham số $\lambda \in (0, \frac{1}{2c_1})$ và $\gamma > c_2$, thì $S(x)$ là ánh xạ tựa co trên $C$ với hệ số $\delta = \frac{1}{\sqrt{1 + 2\lambda(\gamma - c_2)}} \in (0, 1)$.
3. Cải tiến cấu trúc của Thuật toán 2.1 (Chương 2) so với các thuật toán hai vòng lặp trước đây là gì?
Thuật toán 2.1 kết hợp phép chiếu đạo hàm của toán tử $G$ và phép co Banach của toán tử $T_\lambda = I - \lambda\mu F$. Tại mỗi bước lặp, thuật toán chỉ thực hiện duy nhất một phép chiếu $y^k = Pr_C(x^k - \lambda G(x^k))$ và một lần tính giá trị $F(y^k), G(x^k)$, loại bỏ hoàn toàn vòng lặp phụ bên trong vốn dùng để giải xấp xỉ bài toán cấp dưới trong các công trình trước đó.
4. Sự khác biệt về điều kiện áp dụng giữa Chương 3 ($VIEP$) và Chương 4 ($EVIP$) là gì?
Trong Chương 3 ($VIEP(F, f, C)$), bài toán cấp trên là biến phân với $F$ đơn điệu mạnh, liên tục Lipschitz, còn bài toán cấp dưới là cân bằng với song hàm $f$ giả đơn điệu và thỏa mãn điều kiện Lipschitz. Trong Chương 4 ($EVIP(g, F, C)$), bài toán cấp trên là cân bằng với $g$ đơn điệu mạnh, còn bài toán cấp dưới là biến phân với toán tử giá $F$ liên tục Lipschitz, para-đơn điệu và đóng yếu trên $C$.
5. Môi trường tính toán và tiêu chí đánh giá thực nghiệm số trong luận án gồm những gì?
Các thuật toán được lập trình trên phần mềm Matlab R2013a, chạy trên máy tính xách tay trang bị vi xử lý Intel Core i3-3110M CPU @ 2.40GHz và bộ nhớ trong 4GB RAM. Tiêu chí đánh giá gồm số bước lặp cần thiết ($Iter.(k)$) và thời gian xử lý của CPU tính bằng giây ($CPU-times/s$) để đạt sai số dừng cho trước.
Kết luận
Luận án tiến sĩ của tác giả Trần Thị Hoàng Anh đã xây dựng hệ thống thuật toán lặp giải một số lớp bài toán cân bằng và bất đẳng thức biến phân hai cấp trong không gian Hilbert và không gian Euclide. Bằng việc phát triển lý thuyết ánh xạ nghiệm, kết hợp kỹ thuật chiếu dưới đạo hàm, xấp xỉ gắn kết và chiếu siêu phẳng, tác giả đã chứng minh chặt chẽ sự hội tụ mạnh của các thuật toán dưới các giả thiết nới lỏng về tính đơn điệu. Kết quả nghiên cứu gồm 05 bài báo quốc tế và các thử nghiệm số trên Matlab R2013a đã khẳng định tính đúng đắn và khả năng tính toán thực thi của các phương pháp được đề xuất.