Tổng quan về luận án

Luận án tiến sĩ "Các phương pháp chiếu mở rộng giải một số lớp bài toán cân bằng hai cấp" của Hồ Phi Tứ là một công trình nghiên cứu tiên phong trong lĩnh vực Toán Ứng Dụng, đặc biệt tập trung vào Lý thuyết Tối ưu và Giải tích Phi tuyến. Nghiên cứu này ra đời trong bối cảnh các bài toán cân bằng hai cấp (Bilevel Equilibrium Problems - BEP) ngày càng trở nên quan trọng trong việc mô hình hóa các tình huống ra quyết định phân cấp phức tạp trong kinh tế, kỹ thuật và khoa học tự nhiên, nhưng lại đối mặt với những thách thức lớn về mặt lý thuyết và tính toán.

Bối cảnh khoa học và tính tiên phong của nghiên cứu Cân bằng là một trạng thái nền tảng trong nhiều lĩnh vực, từ vật lý đến sinh học và kinh tế. Trong toán học, mô hình cân bằng, đặc biệt là khái niệm điểm cân bằng Nash, đã chứng tỏ tính hữu ích vượt trội trong phân tích các tình huống cạnh tranh và giải quyết mâu thuẫn lợi ích giữa các chủ thể. Bài toán cân bằng (EP) cơ bản, được giới thiệu bởi H. Isoda vào năm 1955 và Ky Fan vào năm 1972, đã được chứng minh là mô hình tổng quát cho nhiều lớp bài toán quan trọng như bài toán tối ưu (OP), bài toán bù (CP), và bài toán bất đẳng thức biến phân (VIP) theo nghiên cứu của L. Oettli (1992) và E. Oettli (1994). Một trong những ứng dụng nổi bật là cân bằng kinh tế Nash-Cournot, mang lại giải Nobel kinh tế năm 1994.

Luận án này đẩy mạnh nghiên cứu về một dạng tổng quát hóa phức tạp hơn: bài toán cân bằng hai cấp (BEP). BEP, được phát biểu là "Tìm $\bar{x} \in \text{Sol}(C, g)$ sao cho $f(\bar{x}, y) \geq 0, \forall y \in \text{Sol}(C, g)$" (Mở đầu, trang 2), trong đó tập ràng buộc Sol(C, g) lại là tập nghiệm của một bài toán cân bằng khác. Đây là một thách thức lớn bởi tính phi tuyến và việc miền ràng buộc không được cho dưới dạng hiển.

Research gap SPECIFIC với citations từ literature Các nghiên cứu trước đây về BEP chủ yếu tập trung vào sự tồn tại và tính chất nghiệm, hoặc đề xuất các thuật toán giải. Tuy nhiên, các thuật toán hiện có còn tồn tại nhiều hạn chế đáng kể, tạo ra những khoảng trống nghiên cứu then chốt mà luận án này đã giải quyết:

  1. Vấn đề tìm nghiệm chính xác của bài toán phụ: Nhiều thuật toán lặp, như thuật toán điểm gần kề của B. Martinet (mở rộng bởi A. Konnov) hoặc của A. Moudafi năm 2010 (Mở đầu, trang 3 và 31), yêu cầu "tại mỗi bước lặp $k$, thuật toán cần giải chính xác nghiệm của bài toán cân bằng phụ". Điều này cực kỳ khó khăn hoặc không khả thi trong thực tế đối với các bài toán cân bằng hoặc bất đẳng thức biến phân phức tạp.
  2. Giả thiết hội tụ chặt chẽ: Sự hội tụ của các dãy lặp trong các thuật toán hiện hành thường đòi hỏi các giả thiết mạnh về song hàm, chẳng hạn như "giả thiết đơn điệu mạnh và liên tục kiểu Lipschitz" (Mở đầu, trang 5). Những giả thiết này thường quá hạn chế và không áp dụng được cho nhiều mô hình thực tế.
  3. Miền ràng buộc không hiển: Vấn đề cốt lõi của BEP là miền ràng buộc của bài toán cấp trên là tập nghiệm của bài toán cân bằng cấp dưới, một tập "không được cho dưới dạng hiện" (Mở đầu, trang 5). Điều này ngăn cản việc áp dụng trực tiếp các thuật toán giải bài toán tối ưu, bất đẳng thức biến phân và cân bằng truyền thống.
  4. Hạn chế của phương pháp chiếu: Mặc dù phương pháp chiếu là công cụ phổ biến và hiệu quả trong lý thuyết tối ưu, việc áp dụng chúng cho BEP vẫn là "một hướng nghiên cứu mở và có ý nghĩa tính toán trên máy tính với rất nhiều mô hình thực tế" (Mở đầu, trang 5), cho thấy sự thiếu vắng các phương pháp chiếu mở rộng hiệu quả.

Research questions và hypotheses (đánh số cụ thể) Luận án này được định hướng bởi các câu hỏi nghiên cứu và giả thuyết sau:

  1. RQ1: Làm thế nào để phát triển các thuật toán kiểu chiếu mới cho bài toán cân bằng hai cấp đơn điệu, đặc biệt là khi miền ràng buộc là tập nghiệm của bài toán cân bằng khác hoặc tập điểm bất động giao với tập nghiệm của bài toán cân bằng?
    • Hypothesis 1.1: Có thể xây dựng thuật toán chiếu dưới đạo hàm xấp xỉ và thuật toán chiếu tổng quát kết hợp kỹ thuật quán tính mà không yêu cầu giải chính xác bài toán phụ ở mỗi bước lặp, đồng thời đạt được hội tụ mạnh hoặc yếu dưới các điều kiện giảm nhẹ hơn so với các phương pháp hiện có.
  2. RQ2: Phương pháp đạo hàm tăng cường có thể được mở rộng và cải tiến để giải quyết các bài toán cân bằng trên tập nghiệm của bài toán cân bằng hỗn hợp hay không?
    • Hypothesis 2.1: Việc mở rộng thuật toán đạo hàm tăng cường có thể dẫn đến một phương pháp hiệu quả với khả năng hội tụ được chứng minh cho lớp bài toán cân bằng hỗn hợp phức tạp.
  3. RQ3: Liệu việc kết hợp kỹ thuật phân tích DC với phương pháp chiếu tổng quát có thể tạo ra một thuật toán mới, hiệu quả cho 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 affine?
    • Hypothesis 3.1: Một thuật toán nguyên lý bài toán phụ DC dạng hiển mới có thể được đề xuất, chỉ đòi hỏi giải một bài toán lồi mạnh và một bài toán quy hoạch toàn phương tại mỗi bước, giảm đáng kể chi phí tính toán.
  4. RQ4: Các thuật toán đề xuất có hiệu quả về mặt tính toán và có thể ứng dụng vào các mô hình kinh tế thực tiễn, cụ thể là mô hình cân bằng kinh tế Nash-Cournot hay không?
    • Hypothesis 4.1: Các tính toán số minh họa sẽ chứng minh hiệu quả vượt trội của các thuật toán mới so với các thuật toán đã có, đồng thời khẳng định khả năng ứng dụng thực tế của chúng.

Theoretical framework với tên theories cụ thể Luận án xây dựng khung lý thuyết dựa trên các nền tảng vững chắc của Giải tích hàm, Giải tích lồi, Giải tích đa trị và Giải tích phi tuyến. Các lý thuyết cốt lõi được sử dụng bao gồm:

  • Lý thuyết Bài toán Cân bằng (Equilibrium Problem Theory): Nghiên cứu sâu về các điều kiện tồn tại nghiệm và tính chất của tập nghiệm cho các song hàm như giả đơn điệu, para-đơn điệu. Các công trình của H. Isoda (1955), Ky Fan (1972), L. Oettli (1992), E. Oettli (1994) là nền tảng.
  • Lý thuyết Bất đẳng thức Biến phân (Variational Inequality Theory): Các khái niệm về toán tử đơn điệu, giả đơn điệu và ứng dụng của chúng trong các bài toán tối ưu.
  • Lý thuyết Phép Chiếu (Projection Theory): Khai thác tính chất của phép chiếu trong không gian Hilbert thực (P rC (x) = argmin{∥t − x∥ : t ∈ C}) để xây dựng các thuật toán lặp.
  • Lý thuyết Dưới Vi Phân (Subdifferential Theory): Sử dụng khái niệm dưới vi phân và dưới vi phân xấp xỉ (∂ϵg(x)) của các hàm lồi và song hàm để phát triển các phương pháp chiếu dưới đạo hàm.
  • Lý thuyết Hội tụ của Dãy Lặp (Convergence Theory for Iterative Sequences): Áp dụng các bổ đề hội tụ cổ điển như Bổ đề 1.2 [84] và Bổ đề 1.5 [93] của Maingé để chứng minh sự hội tụ của các thuật toán mới trong không gian Hilbert.
  • Lý thuyết Phân tích DC (DC Programming - Difference of Convex functions): Tích hợp kỹ thuật phân tích các hàm hiệu hai hàm lồi vào việc 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 affine.

Đóng góp đột phá với quantified impact Luận án mang lại bốn đóng góp đột phá chính, thể hiện qua các thành tựu khoa học có thể định lượng được:

  1. Phát triển Thuật toán Chiếu Dưới Đạo hàm và Quán tính Mới: Đề xuất hai thuật toán kiểu chiếu mới cho BEP đơn điệu. Một thuật toán giải bài toán đơn điệu mạnh với ràng buộc cân bằng đơn điệu, thuật toán thứ hai sử dụng kỹ thuật chiếu tổng quát và kỹ thuật quán tính cho BEP trên giao của tập điểm bất động và tập nghiệm của bài toán cân bằng khác. Điều này giải quyết hiệu quả vấn đề "miền ràng buộc không hiển" và "hạn chế của phương pháp chiếu".
  2. Mở rộng Thuật toán Đạo hàm Tăng cường: Đề xuất thuật toán đạo hàm tăng cường để giải bài toán cân bằng trên tập nghiệm của bài toán cân bằng hỗn hợp. Điều này mở rộng phạm vi ứng dụng của phương pháp đạo hàm tăng cường, vốn đã được Quốc và cộng sự [76] nghiên cứu, đến lớp bài toán phức tạp hơn.
  3. Thuật toán Nguyên lý Bài toán Phụ DC Dạng Hiển Độc đáo: Kết hợp phân tích DC và phương pháp chiếu tổng quát để đề xuất một thuật toán mới 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 affine. Điểm đặc biệt là "Tại mỗi bước lặp chúng tôi chỉ đòi hỏi giải một bài toán lồi mạnh và một bài toán quy hoạch toàn phương" (Mở đầu, trang 5), giúp giảm đáng kể chi phí tính toán so với việc giải chính xác các bài toán cân bằng phụ.
  4. Kiểm chứng Thực nghiệm và Ứng dụng: Thực hiện tính toán số minh họa, so sánh với các thuật toán đã có, và áp dụng thành công cho "mô hình cân bằng kinh tế Nash-Cournot" (Mở đầu, trang 6). Điều này khẳng định tính hiệu quả và khả năng ứng dụng thực tiễn của các phương pháp đề xuất. Các đóng góp này đã được công bố trên 04 bài báo khoa học, trong đó "01 được xuất bản trong tạp chí SCI Q1, 02 được xuất bản trong tạp chí SCIE Q1, Q2 và 01 bài đã gửi đăng trong tạp chí SCIE Q1" (Mở đầu, trang 7), cho thấy chất lượng nghiên cứu cao và ảnh hưởng tiềm năng trong cộng đồng học thuật quốc tế.

Scope (sample size, timeframe) và significance Phạm vi nghiên cứu của luận án tập trung vào "lớp các bài toán cân bằng hai cấp trong không gian Hilbert thực", bao gồm các bài toán cân bằng với ràng buộc là tập nghiệm của bài toán bất đẳng thức biến phân, bài toán cân bằng với ràng buộc là tập nghiệm của bài toán cân bằng khác, và bài toán cân bằng với ràng buộc là tập điểm bất động giao với tập nghiệm của bài toán cân bằng khác. Luận án cũng xem xét "Một số mô hình thực tế như mô hình cân bằng kinh tế Nash Cournot" (Mở đầu, trang 6). Mặc dù không có thông tin cụ thể về "sample size" theo nghĩa thống kê hay "timeframe" cho việc thu thập dữ liệu, nghiên cứu này được thực hiện trong không gian Hilbert tổng quát, bao hàm cả không gian Euclide hữu hạn chiều. Thời gian thực hiện luận án (2023) đặt nó trong bối cảnh các nghiên cứu hiện đại nhất về tối ưu tính toán. Tầm quan trọng của luận án nằm ở việc cung cấp các công cụ toán học hiệu quả hơn để giải quyết các bài toán ra quyết định phức tạp, đa cấp, có ý nghĩa lý thuyết sâu sắc trong Toán Ứng Dụng và ứng dụng thực tiễn trong kinh tế, kỹ thuật, đặc biệt là trong các lĩnh vực có tính cạnh tranh cao.

Literature Review và Positioning

Nghiên cứu về bài toán cân bằng hai cấp (BEP) có một lịch sử phong phú, bắt nguồn từ các khái niệm cân bằng cơ bản và bài toán tối ưu. Luận án này đã tổng hợp và định vị vị trí của mình một cách rõ ràng trong dòng chảy này.

Synthesis của major streams với TÊN TÁC GIẢ và NĂM cụ thể Các dòng nghiên cứu chính liên quan đến BEP có thể được phân loại như sau:

  1. Bài toán cân bằng cơ sở (Equilibrium Problem - EP): Được giới thiệu bởi H. Isoda (1955) trong "Note on non-cooperative convex game" và tiếp tục bởi Ky Fan (1972) dưới tên gọi bất đẳng thức Ky Fan [40]. Các công trình của L. Oettli (1992) [69] và E. Oettli (1994) [28] đã làm nổi bật vai trò tổng quát của EP, bao hàm các bài toán tối ưu (OP), bài toán bù (CP), bài toán bất đẳng thức biến phân (VIP) và điểm cân bằng Nash.
  2. Tổng quát hóa bài toán cân bằng: Các nhà nghiên cứu đã mở rộng EP theo nhiều hướng: cân bằng véc tơ [20, 27, 41], cân bằng đa trị [21], cân bằng trên tập nghiệm của bài toán tối ưu, tìm điểm chung của bài toán cân bằng và điểm bất động [8], bài toán cân bằng trên tập nghiệm bài toán bất đẳng thức biến phân [17], và bài toán bất đẳng thức biến phân trên tập nghiệm bài toán cân bằng [11].
  3. Bài toán cân bằng hai cấp (BEP): Đây là trọng tâm của luận án, được đề cập lần đầu bởi O. Chadli và cộng sự [33] vào năm 2000. BEP tổng quát hóa nhiều bài toán hai cấp trước đó như bài toán tối ưu hai cấp và bài toán bất đẳng thức biến phân hai cấp. Nghiên cứu về BEP phát triển theo hai hướng chính:
    • Sự tồn tại và tính chất của tập nghiệm: Các công trình của [38, 65, 77] đã đi sâu vào khía cạnh này.
    • Thuật toán giải và tính toán: Đây là hướng nghiên cứu mà luận án đóng góp chính, với các tác giả tiêu biểu như [10, 25, 35, 48, 52, 57, 66, 85].
  4. Phương pháp giải BEP và các vấn đề liên quan:
    • Thuật toán điểm gần kề (Proximal Point Algorithm - PPA): Ban đầu được B. Martinet [62] đề xuất cho VIP, mở rộng cho bài toán tìm không điểm của ánh xạ đơn điệu cực đại bởi R. Rockafellar và tiếp tục bởi A. Konnov [55] cho bài toán cân bằng. A. Moudafi [66] năm 2010 đã đề xuất PPA cho BEP, nhưng gặp hạn chế về yêu cầu giải chính xác bài toán phụ và giả thiết hội tụ chặt.
    • Nguyên lý bài toán phụ (Auxiliary Problem Principle): G. Cohen [36] giới thiệu cho bài toán tối ưu và mở rộng cho VIP [37]. Mastroeni đã mở rộng cho EP. T. Quốc và cộng sự [76] đề xuất thuật toán đạo hàm tăng cường (Augmented Lagrangian Method) để khắc phục giả thiết đơn điệu mạnh, hoạt động trong không gian hữu hạn chiều dưới giả thiết giả đơn điệu và Lipschitz liên tục.
    • Phương pháp chiếu dưới đạo hàm (Subgradient Projection Method): P. Santos và cộng sự [82] đã áp dụng thuật toán chiếu dưới đạo hàm xấp xỉ cho EP (C, f) năm 2011.

Contradictions/debates với ít nhất 2 opposing views Trong lĩnh vực giải các bài toán cân bằng hai cấp, có những tranh luận và thách thức đáng kể:

  1. Vấn đề độ chính xác của nghiệm bài toán phụ vs. chi phí tính toán:
    • Quan điểm 1 (Chính xác): Các thuật toán như điểm gần kề của A. Moudafi [66] yêu cầu "tại mỗi bước lặp, ta phải tìm một nghiệm chính xác của một bài toán cân bằng phụ" (Mở đầu, trang 31). Điều này đảm bảo tính đúng đắn về mặt lý thuyết nhưng lại tạo ra gánh nặng tính toán rất lớn, thậm chí không khả thi.
    • Quan điểm 2 (Xấp xỉ/Hiển): Luận án này, cùng với các phương pháp chiếu dưới đạo hàm xấp xỉ của P. Santos và cộng sự [82], tìm cách tránh yêu cầu này bằng cách "chỉ tính một phép chiếu và tính toán dưới đạo hàm xấp xỉ tại mỗi bước lặp" (Mở đầu, trang 4) hoặc đề xuất các thuật toán dạng hiển, giải "một bài toán lồi mạnh và một bài toán quy hoạch toàn phương" (Mở đầu, trang 5). Điều này giảm chi phí tính toán nhưng đòi hỏi các phân tích hội tụ phức tạp hơn.
  2. Giả thiết chặt chẽ vs. khả năng áp dụng rộng rãi:
    • Quan điểm 1 (Giả thiết mạnh): Nhiều kết quả hội tụ của thuật toán BEP đòi hỏi "giả thiết khá mạnh trên các song hàm như giả thiết đơn điệu mạnh và liên tục kiểu Lipschitz" (Mở đầu, trang 5). Giả thiết này, như ví dụ trong luận án về song hàm $f(x,y) = (2+x^2)(x-y)$ trên $C_2 = {x \in \mathbb{R} : x \leq 0}$, cho thấy $f$ đơn điệu chặt nhưng không đơn điệu mạnh trên $C_2$. Giả thiết chặt làm hạn chế đáng kể phạm vi ứng dụng của thuật toán.
    • Quan điểm 2 (Giả thiết yếu hơn): Luận án tìm cách làm yếu các giả thiết này. Ví dụ, nó nghiên cứu thuật toán đạo hàm tăng cường mở rộng trong điều kiện giả đơn điệu. Điều này tăng tính tổng quát và khả năng áp dụng của các thuật toán nhưng đòi hỏi các kỹ thuật chứng minh sự hội tụ tinh vi hơn, như việc sử dụng "kỹ thuật quán tính" để tăng tốc độ hội tụ và ổn định.

Positioning trong literature với specific gap identified Nghiên cứu này định vị mình là một bước tiến quan trọng trong việc khắc phục những hạn chế hiện có trong giải BEP. Luận án trực tiếp giải quyết vấn đề miền ràng buộc không hiển và yêu cầu giả thiết mạnh bằng cách:

  • Mở rộng "phương pháp chiếu dưới đạo hàm xấp xỉ" của P. Santos và cộng sự [82] cho BEP. Điều này lấp đầy khoảng trống nghiên cứu về việc áp dụng hiệu quả phương pháp chiếu cho các bài toán hai cấp.
  • Tích hợp "kỹ thuật quán tính" (inertial technique), một kỹ thuật "đã giúp cải thiện đáng kể hiệu quả tính toán của các thuật toán kiểu quán tính" (Chương 2, trang 33), vào các thuật toán chiếu mới.
  • Phát triển các thuật toán đạo hàm tăng cường cho các bài toán cân bằng trên tập nghiệm của bài toán cân bằng hỗn hợp, một lớp bài toán phức tạp hơn so với những gì T. Quốc và cộng sự [76] đã nghiên cứu trước đây.
  • Đề xuất một phương pháp tiếp cận mới dựa trên "kỹ thuật phân tích DC" và nguyên lý bài toán phụ để tạo ra thuật toán dạng hiển cho 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 affine, một đóng góp độc đáo giúp giảm thiểu vấn đề giải bài toán phụ khó.

How this advances field với concrete contributions Luận án này tiến bộ đáng kể trong lĩnh vực tối ưu tính toán bằng cách:

  • Cung cấp các thuật toán hiệu quả hơn, đòi hỏi ít điều kiện chặt chẽ hơn và chi phí tính toán thấp hơn so với các phương pháp trước đây.
  • Mở rộng khả năng ứng dụng của các kỹ thuật tối ưu hóa hiện đại (như chiếu dưới đạo hàm, đạo hàm tăng cường, phân tích DC, quán tính) cho lớp bài toán BEP phức tạp.
  • Cụ thể, khả năng giải quyết các BEP với miền ràng buộc không hiển một cách hiệu quả là một đóng góp lớn cho Toán Ứng Dụng và các lĩnh vực ứng dụng khác.

So sánh với ÍT NHẤT 2 international studies

  1. So sánh với A. Moudafi (2010) [66]: Thuật toán điểm gần kề của Moudafi cho BEP yêu cầu giải chính xác một bài toán cân bằng phụ tại mỗi bước lặp và giả thiết "$|x_{k+1} - x_k| < o(\epsilon_k)$" để hội tụ yếu (Định lý 1.3, trang 31). Luận án này, thông qua "Thuật toán chiếu dưới đạo hàm xấp xỉ" (Chương 2) và các thuật toán dạng hiển mới, vượt qua hạn chế này bằng cách chỉ đòi hỏi tính toán dưới đạo hàm xấp xỉ và một phép chiếu duy nhất (Chương 2, trang 33), hoặc giải các bài toán phụ đơn giản hơn (một bài toán lồi mạnh và một bài toán quy hoạch toàn phương). Điều này giảm đáng kể gánh nặng tính toán và tăng tính thực tiễn.
  2. So sánh với T. Quốc và cộng sự (2007) [76]: Nghiên cứu của Quốc và cộng sự đã đề xuất thuật toán đạo hàm tăng cường cho bài toán cân bằng (EP) và chứng minh hội tụ trong không gian hữu hạn chiều dưới giả thiết giả đơn điệu và Lipschitz liên tục. Luận án này "nghiên cứu mở rộng thuật toán đạo hàm tăng cường cho bài toán cân bằng trên tập nghiệm của bài toán cân bằng hỗn hợp" (Mở đầu, trang 6), một lớp bài toán phức tạp hơn nhiều. Việc này không chỉ mở rộng phạm vi ứng dụng mà còn giải quyết thách thức của cấu trúc hai cấp trong không gian Hilbert thực tổng quát, vượt qua giới hạn hữu hạn chiều.
  3. So sánh với P. Santos và cộng sự (2011) [82]: Santos và cộng sự đã áp dụng phương pháp chiếu dưới đạo hàm xấp xỉ cho bài toán cân bằng (EP) cơ bản. Luận án này "phát triển, mở rộng phương pháp chiếu dưới đạo hàm xấp xỉ cho bài toán cân bằng hai cấp BEP (C, g, f)" (Chương 2, trang 33). Sự mở rộng này là một đóng góp quan trọng vì BEP có cấu trúc phức tạp hơn nhiều với miền ràng buộc không hiển, đòi hỏi các phân tích và kỹ thuật chứng minh hội tụ hoàn toàn mới.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Các đóng góp lý thuyết của luận án là cốt lõi, mở rộng và thách thức các lý thuyết hiện có trong tối ưu hóa và giải tích phi tuyến.

  • Extend/challenge WHICH specific theories (name theorists)
    • Lý thuyết Bài toán Cân bằng (EP) và Bài toán Bất đẳng thức Biến phân (VIP): Luận án mở rộng sâu sắc các lý thuyết này từ các bài toán một cấp sang cấu trúc hai cấp, đặc biệt là khi miền ràng buộc là tập nghiệm của một bài toán khác. Nó thách thức các giới hạn của việc áp dụng trực tiếp các thuật toán truyền thống và đề xuất các phương pháp mới phù hợp với cấu trúc phân cấp.
    • Lý thuyết Hội tụ của Thuật toán Lặp: Luận án mở rộng các điều kiện hội tụ cho các thuật toán lặp trong không gian Hilbert thực. Cụ thể, nó làm yếu các giả thiết chặt chẽ như đơn điệu mạnh hoặc Lipschitz liên tục cho các song hàm, cho phép các thuật toán hội tụ mạnh hoặc yếu trong các điều kiện tổng quát hơn. Điều này xây dựng trên các công trình về hội tụ của dãy lặp trong không gian Hilbert, ví dụ như Bổ đề 1.2 của Maingé [84].
    • Lý thuyết Dưới Vi Phân: Mở rộng ứng dụng của dưới vi phân xấp xỉ (∂ϵg(x)) trong việc xây dựng các thuật toán chiếu, cho phép giải quyết các hàm không khả vi mịn hoặc các bài toán với thông tin không hoàn hảo.
  • Conceptual framework với components và relationships Khung phân tích khái niệm của luận án xoay quanh việc giải quyết BEP thông qua các thuật toán lặp, nơi mỗi bước lặp sử dụng thông tin từ các dưới đạo hàm (hoặc dưới đạo hàm xấp xỉ) của các song hàm và các phép chiếu lên tập lồi.
    • Components:
      • Bài toán Cân bằng Hai Cấp (BEP): Cấu trúc chính với song hàm cấp trên $f$ và song hàm cấp dưới $g$, ràng buộc là tập nghiệm $Sol(C, g)$.
      • Không gian Hilbert thực (H): Môi trường toán học tổng quát nơi các bài toán được xét.
      • Song hàm ($f, g$): Hàm hai biến mô tả điều kiện cân bằng. Các tính chất như đơn điệu, giả đơn điệu, Lipschitz liên tục là trọng tâm.
      • Phép chiếu (PC): Công cụ cơ bản để đưa các điểm vào miền ràng buộc.
      • Dưới đạo hàm/Dưới vi phân xấp xỉ (∂ϵg(x)): Cung cấp thông tin gradient khái quát cho các hàm không khả vi.
      • Kỹ thuật quán tính: Sử dụng tổ hợp tuyến tính của các điểm lặp trước đó để tăng tốc hội tụ.
      • Kỹ thuật phân tích DC: Phân tích các hàm dưới dạng hiệu của hai hàm lồi.
    • Relationships:
      • Song hàm $g$ xác định tập ràng buộc $Sol(C, g)$.
      • Song hàm $f$ được tối ưu hóa trên $Sol(C, g)$.
      • Dưới đạo hàm xấp xỉ của $f$ và $g$ được sử dụng để xây dựng hướng dịch chuyển cho phép lặp.
      • Phép chiếu đảm bảo các điểm lặp luôn thuộc miền lồi $C$.
      • Kỹ thuật quán tính và phân tích DC được tích hợp vào các thuật toán chiếu để cải thiện hiệu quả và mở rộng phạm vi áp dụng.
  • Theoretical model với propositions/hypotheses numbered Luận án phát triển một số mô hình lý thuyết cụ thể, được thể hiện qua các thuật toán mới với các mệnh đề và giả thuyết hội tụ được chứng minh:
    • Model 1: Thuật toán chiếu dưới đạo hàm xấp xỉ cho BEP đơn điệu (Chương 2).
      • Proposition 1: Nếu các song hàm $g$ và $f$ thỏa mãn điều kiện đơn điệu mạnh và các điều kiện (A1)-(A5) (Chương 2, trang 34-35), cùng với các tham số điều chỉnh (2.4) thỏa mãn $\sum_{k=0}^{\infty} \eta_k = \infty$, $\sum_{k=0}^{\infty} \eta_k^2 < \infty$, $\sum_{k=0}^{\infty} \alpha_k \epsilon_k < \infty$, thì các dãy lặp ${x_k}$ và ${y_k}$ hội tụ mạnh về nghiệm duy nhất của bài toán BEP(C, g, f) (Định lý 2.1, trang 38).
    • Model 2: Thuật toán đạo hàm tăng cường mở rộng cho BEP hỗn hợp (Chương 3).
      • Proposition 2: Các thuật toán mở rộng này có thể hội tụ trong không gian Hilbert thực dưới các giả thiết yếu hơn về tính đơn điệu của song hàm, so với các phương pháp trước đây.
    • Model 3: Thuật toán nguyên lý bài toán phụ DC dạng hiển (Chương 4).
      • Proposition 3: Việc giải một bài toán lồi mạnh và một bài toán quy hoạch toàn phương tại mỗi bước lặp là đủ để đảm bảo hội tụ cho 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 affine.
  • Paradigm shift với EVIDENCE từ findings Luận án góp phần vào một sự chuyển dịch mô hình nhỏ trong lĩnh vực giải BEP, từ các phương pháp đòi hỏi tính toán chính xác và giả thiết chặt chẽ sang các phương pháp xấp xỉ, hiển và linh hoạt hơn. Bằng chứng là:
    • Giảm yêu cầu tính toán: "Vấn đề thứ nhất, tìm nghiệm chính xác của các bài toán phụ trong các thuật toán lặp đã có. Điều này không phải dễ... Luận án đã nghiên cứu mở rộng thuật toán chiếu dưới đạo hàm xấp xỉ giải bài toán cân bằng hai cấp" (Mở đầu, trang 5). Thuật toán này "chỉ tính một phép chiếu và tính toán dưới đạo hàm xấp xỉ tại mỗi bước lặp" (Mở đầu, trang 4), loại bỏ nhu cầu giải bài toán phụ phức tạp.
    • Làm yếu các giả thiết: "Vấn đề thứ 2, sự hội tụ của các dãy lặp trong các thuật toán giải bài toán cân bằng hai cấp đòi hỏi giả thiết khá mạnh... Luận án đã giải quyết" (Mở đầu, trang 5). Điều này được thể hiện qua các điều kiện hội tụ của các thuật toán mới, cho phép áp dụng rộng rãi hơn.

Khung phân tích độc đáo

Khung phân tích của luận án được đánh giá là độc đáo thông qua sự tích hợp sáng tạo các lý thuyết và phương pháp tiên tiến.

  • Integration của theories (name 3+ specific theories)
    • Lý thuyết Phép Chiếu và Lý thuyết Dưới Vi Phân Xấp xỉ: Sự kết hợp này là nền tảng của các "phương pháp chiếu dưới đạo hàm" (Chương 2), một cách tiếp cận hiệu quả để xử lý các bài toán cân bằng phi trơn và phi hiển.
    • Lý thuyết Đạo hàm Tăng cường và Lý thuyết Bài toán Cân bằng Hỗn hợp: Luận án đã mở rộng "thuật toán đạo hàm tăng cường" (Mở đầu, trang 4) để giải quyết các bài toán cân bằng phức tạp hơn, nơi có sự tích hợp của các hàm $\phi$ và $\psi$ trong định nghĩa của Bài toán Cân bằng Hai Cấp Hỗn hợp (BM EP) (Chương 1, trang 29).
    • Lý thuyết Phân tích DC và Lý thuyết Phép Chiếu Tổng quát: Sự tích hợp này dẫn đến "một thuật toán nguyên lý bài toán phụ DC dạng hiển mới" (Mở đầu, trang 5), đặc biệt hiệu quả cho bài toán cân bằng trên tập nghiệm của VIP affine.
  • Novel analytical approach với justification
    • Phương pháp chiếu dưới đạo hàm xấp xỉ kết hợp quán tính: Luận án là một trong những nghiên cứu tiên phong mở rộng phương pháp này cho cấu trúc hai cấp. Sự biện minh nằm ở khả năng "chỉ tính một phép chiếu và tính toán dưới đạo hàm xấp xỉ tại mỗi bước lặp" (Mở đầu, trang 4), cùng với việc "kỹ thuật quán tính đã được sử dụng khá phổ biến... để tăng tốc độ hội tụ của các thuật toán" (Chương 2, trang 33), làm cho thuật toán hiệu quả hơn cả về tính toán lẫn tốc độ hội tụ.
    • Nguyên lý bài toán phụ DC dạng hiển: Đây là một cách tiếp cận mới để giải quyết BEP bằng cách biến đổi các bài toán phụ phức tạp thành các bài toán dễ giải hơn ("một bài toán lồi mạnh và một bài toán quy hoạch toàn phương"). Sự biện minh là "Thuật toán được tính toán một cách hữu hiệu với các ví dụ số thực hiện trên phần mềm MATLAB" (Mở đầu, trang 5), cho thấy tính khả thi và hiệu quả thực tế.
  • Conceptual contributions với definitions Luận án đã đóng góp các định nghĩa và khái niệm mới hoặc mở rộng ý nghĩa của các khái niệm hiện có trong bối cảnh BEP:
    • Song hàm đơn điệu mạnh ngược: "F được gọi là đơn điệu mạnh ngược trên C với hằng số α, nếu tồn tại số α > 0 sao cho ⟨u − v, F (u) − F (v )⟩ ≥ α∥F (u) − F (v )∥2" (Định nghĩa 1.10, trang 15), đây là một tính chất quan trọng được sử dụng trong các chứng minh hội tụ.
    • Điều kiện para-đơn điệu: "với mỗi $x^* \in Sol(C,g)$, $\bar{x} \in C : g(\bar{x}, x^) = g(x^, \bar{x}) = 0 \Rightarrow \bar{x} \in Sol(C,g)$" (Giả thiết A2, Chương 2, trang 34). Điều kiện này đóng vai trò quan trọng trong việc đảm bảo tập nghiệm lồi và khác rỗng.
    • Bài toán cân bằng hai cấp hỗn hợp (BM EP): Luận án định nghĩa một lớp bài toán cân bằng phức tạp hơn với các song hàm $\psi, \phi$ tích hợp vào cấu trúc hai cấp, mở rộng khung nghiên cứu hiện có.
  • Boundary conditions explicitly stated Các điều kiện biên được nêu rõ, đảm bảo tính chặt chẽ của các kết quả lý thuyết và hướng dẫn phạm vi áp dụng thực tế:
    • Tính chất của song hàm: Các giả thiết như (A1) đến (A5) (Chương 2, trang 34-35) quy định các tính chất của song hàm $g$ và $f$ (khả dưới vi phân, lồi, nửa liên tục dưới/trên, giả đơn điệu, para-đơn điệu, đơn điệu mạnh).
    • Điều kiện về tham số: Các dãy tham số như ${\epsilon_k}, {\beta_k}, {\xi_k}, {\eta_k}, {\rho_k}, {\tau_k}$ phải thỏa mãn các điều kiện cụ thể (2.4) để đảm bảo hội tụ, ví dụ: "$\sum_{k=0}^{\infty} \eta_k = \infty$, $\sum_{k=0}^{\infty} \eta_k^2 < \infty$" (Chương 2, trang 38).
    • Không gian Hilbert thực: Toàn bộ nghiên cứu được thực hiện trong không gian Hilbert thực H, bao gồm cả các trường hợp hữu hạn và vô hạn chiều.
    • Tính compact và lồi của tập nghiệm: Điều kiện "K lồi thì tập nghiệm Sol(C, g) được xác định bởi (1.2) là một tập lồi đóng khác rỗng trong C" (Định lý 1.15, trang 29) là cần thiết cho sự tồn tại và duy nhất nghiệm.

Phương pháp nghiên cứu tiên tiến

Luận án áp dụng một phương pháp nghiên cứu tiên tiến, kết hợp chặt chẽ giữa phát triển lý thuyết, thiết kế thuật toán sáng tạo và kiểm chứng bằng tính toán số.

Thiết kế nghiên cứu

  • Research philosophy: Triết lý nghiên cứu chính là Positivism (Chủ nghĩa thực chứng). Luận án tìm cách phát triển các mô hình toán học (thuật toán) và chứng minh các tính chất khách quan của chúng (sự hội tụ, sai số) dưới các điều kiện định lượng rõ ràng. Các kết quả được đưa ra dưới dạng các định lý và bổ đề được chứng minh chặt chẽ.
  • Mixed methods với SPECIFIC combination rationale: Mặc dù cốt lõi là nghiên cứu định lượng/toán học, luận án kết hợp các yếu tố của phương pháp hỗn hợp theo nghĩa rộng.
    • Phát triển lý thuyết/thuật toán (Quantitative/Analytical): Đây là phần chính, tập trung vào việc thiết kế các thuật toán mới và chứng minh sự hội tụ của chúng bằng các công cụ giải tích toán học.
    • Tính toán số minh họa (Empirical/Computational): Sau khi phát triển lý thuyết, luận án sử dụng các "tính toán số minh họa cho các thuật toán đề xuất, so sánh với các thuật toán đã có" (Mở đầu, trang 6) và "ứng dụng cho mô hình cân bằng kinh tế Nash-Cournot" (Mở đầu, trang 6). Phần này cung cấp bằng chứng thực nghiệm về hiệu quả và tính khả thi của các thuật toán trong môi trường mô phỏng. Sự kết hợp này nhằm mục đích không chỉ đưa ra các công cụ toán học vững chắc mà còn chứng minh tính ứng dụng và hiệu quả thực tế của chúng.
  • Multi-level design với levels clearly defined: Luận án có cấu trúc multi-level rõ ràng trong việc giải quyết các bài toán:
    • Cấp 1: Bài toán cân bằng hai cấp (Bilevel Equilibrium Problem - BEP): Bài toán cấp trên.
    • Cấp 2: Bài toán cân bằng (Equilibrium Problem - EP) hoặc Bất đẳng thức Biến phân (VIP): Bài toán cấp dưới, mà tập nghiệm của nó tạo thành miền ràng buộc cho bài toán cấp trên. Thiết kế multi-level này là tự thân của bài toán BEP, và luận án tập trung phát triển các phương pháp giải hiệu quả cho cấu trúc phân cấp này.
  • Sample size và selection criteria EXACT: Trong bối cảnh toán học lý thuyết, khái niệm "sample size" không áp dụng trực tiếp như trong nghiên cứu xã hội hay y học. Thay vào đó, "sample" ở đây có thể hiểu là các lớp bài toán và các ví dụ số được chọn để minh họa.
    • Lớp bài toán: Luận án tập trung vào "lớp các bài toán cân bằng hai cấp trong không gian Hilbert thực" (Mở đầu, trang 6). Các tiêu chí lựa chọn bao gồm: bài toán cân bằng với ràng buộc là tập nghiệm của VIP, bài toán cân bằng với ràng buộc là tập nghiệm của EP khác, bài toán cân bằng với ràng buộc là tập điểm bất động giao với tập nghiệm của EP khác.
    • Ví dụ số: Các "tính toán số minh họa" (Mở đầu, trang 6) được thực hiện để kiểm tra thuật toán. Mặc dù không có số lượng cụ thể các ví dụ được cung cấp trong phần tóm tắt, chúng đóng vai trò minh họa tính hiệu quả của thuật toán trên các trường hợp cụ thể, bao gồm "mô hình cân bằng kinh tế Nash-Cournot".

Quy trình nghiên cứu rigorous

  • Sampling strategy với inclusion/exclusion criteria:
    • Inclusion: Các bài toán cân bằng hai cấp với các song hàm thỏa mãn các điều kiện như giả đơn điệu, đơn điệu mạnh, para-đơn điệu, Lipschitz liên tục, và khả dưới vi phân (Điều kiện (A1)-(A5) trong Chương 2, trang 34-35).
    • Exclusion: Các bài toán không nằm trong lớp BEP hoặc không thỏa mãn các điều kiện lý thuyết cần thiết cho việc chứng minh hội tụ của các thuật toán đề xuất.
  • Data collection protocols với instruments described:
    • "Data" ở đây là các kết quả lý thuyết và các tính toán số.
    • Lý thuyết: "sử dụng các kỹ thuật cơ bản trong giải tích, giải tích lồi, giải tích đa trị và giải tích phi tuyến" (Mở đầu, trang 7). Các "instruments" là các định lý, bổ đề, và các bất đẳng thức toán học đã biết (như Bổ đề 1.2 [84], Bổ đề 1.5 [93], Định lý 1.10 [22], Định lý 1.14 [14], Định lý 1.15 [15]) được áp dụng để xây dựng và chứng minh thuật toán.
    • Tính toán số: Để minh họa hiệu quả của thuật toán, các thí nghiệm số được thiết kế và thực hiện. Các "instruments" là các môi trường tính toán số học, ví dụ "phần mềm MATLAB" (Mở đầu, trang 5), nơi các thuật toán được lập trình và chạy trên các ví dụ cụ thể.
  • Triangulation (data/method/investigator/theory): Luận án không áp dụng triangulation theo nghĩa thông thường của nghiên cứu định tính, nhưng có một hình thức kiểm chứng chéo:
    • Lý thuyết-Thực nghiệm: Các kết quả lý thuyết về hội tụ và hiệu quả của thuật toán được kiểm chứng và minh họa thông qua các tính toán số. Điều này giúp tăng cường độ tin cậy của các phát hiện.
    • So sánh thuật toán: Các thuật toán mới được so sánh với "các thuật toán đã có" (Mở đầu, trang 6) để đánh giá ưu điểm vượt trội của chúng.
  • Validity (construct/internal/external) và reliability (α values):
    • Validity:
      • Construct Validity: Các định nghĩa và khái niệm toán học được sử dụng (ví dụ: dưới đạo hàm, đơn điệu mạnh, giả đơn điệu, phép chiếu) được thiết lập vững chắc trong toán học và được áp dụng một cách nhất quán.
      • Internal Validity: Các chứng minh toán học tuân thủ logic chặt chẽ, đảm bảo rằng các kết luận (về hội tụ, tính duy nhất) là hệ quả trực tiếp từ các giả thiết và các tiên đề toán học.
      • External Validity: Các thuật toán được phát triển trong không gian Hilbert thực tổng quát, cho phép kết quả có thể tổng quát hóa cho một phạm vi rộng các bài toán BEP trong nhiều không gian cụ thể (ví dụ: không gian Euclide hữu hạn chiều) và các ứng dụng thực tế (ví dụ: Nash-Cournot).
    • Reliability: Trong toán học lý thuyết, độ tin cậy được đảm bảo bởi tính lặp lại của các chứng minh. Bất kỳ nhà toán học nào kiểm tra các chứng minh trong luận án đều phải đi đến cùng một kết luận. Các thí nghiệm số, nếu được mô tả đầy đủ, cũng có thể được tái tạo. "α values" (hệ số Cronbach Alpha) là chỉ số độ tin cậy thường dùng trong thống kê cho khảo sát, không áp dụng trong nghiên cứu toán học lý thuyết này. Thay vào đó, các chỉ số như "p-values, effect sizes" sẽ được sử dụng trong các phân tích số.

Data và phân tích

  • Sample characteristics với demographics/statistics:
    • Trong các tính toán số, "sample" là các ví dụ cụ thể của BEP. Các đặc điểm của "sample" bao gồm các loại song hàm $f, g$ được chọn (ví dụ: $f(x, y) = \langle G(x) + Qy + q, y-x \rangle$ như ví dụ trong Chương 2, trang 34), kích thước của không gian ($n$-chiều cho không gian Euclide), và các tham số cụ thể của hàm (ma trận $Q$, vector $q$, hằng số Lipschitz $L$, hằng số đơn điệu $\eta$, v.v.). "Demographics" không áp dụng.
    • Statistics: Kết quả tính toán số thường bao gồm số bước lặp ("Dim. số bước lặp trong thuật toán" - Danh mục các chữ viết tắt, trang vi), thời gian thực hiện ("CPU-times/s" - Danh mục các chữ viết tắt, trang vi) và độ chính xác của nghiệm.
  • Advanced techniques (SEM/multilevel/QCA etc.) với software:
    • Các kỹ thuật phân tích chính là toán học giải tích (analysis of sequences, inequalities, fixed point theory).
    • Computational techniques: Các kỹ thuật như phương pháp chiếu (Projection methods), đạo hàm tăng cường (Augmented Lagrangian methods), và kỹ thuật phân tích DC (DC programming) là trọng tâm.
    • Software: "phần mềm MATLAB" (Mở đầu, trang 5) được sử dụng để thực hiện các tính toán số minh họa, so sánh hiệu quả của các thuật toán với các phương pháp hiện có.
  • Robustness checks với alternative specifications: Luận án ngụ ý việc kiểm tra độ vững chắc thông qua "so sánh với các thuật toán đã có" (Mở đầu, trang 6). Điều này có nghĩa là hiệu suất của các thuật toán mới được đánh giá trong mối tương quan với các phương pháp tiêu chuẩn khác dưới các điều kiện khác nhau (ví dụ: các loại hàm, các bộ tham số khác nhau) để đảm bảo rằng ưu điểm của chúng không chỉ là ngẫu nhiên hoặc phụ thuộc vào một cấu hình cụ thể. "alternative specifications" có thể bao gồm việc thử nghiệm các dãy tham số khác nhau (như {$\epsilon_k$}, {$\beta_k$}, {$\eta_k$}) để đảm bảo sự ổn định và hiệu quả của thuật toán.
  • Effect sizes và confidence intervals reported: Trong bối cảnh nghiên cứu toán học lý thuyết và tính toán số, "effect sizes" có thể được hiểu là mức độ cải thiện về số bước lặp hoặc thời gian tính toán so với các thuật toán hiện có. "Confidence intervals" thường không được báo cáo trực tiếp trong các nghiên cứu lý thuyết như vậy, nhưng tính ổn định và độ chính xác của các thuật toán được suy ra từ các chứng minh hội tụ và các kết quả tính toán số nhất quán.

Phát hiện đột phá và implications

Luận án này đã đạt được những phát hiện then chốt, mang lại nhiều ý nghĩa lý thuyết, phương pháp luận, thực tiễn và chính sách.

Những phát hiện then chốt

  1. Hội tụ mạnh của thuật toán chiếu dưới đạo hàm xấp xỉ kết hợp quán tính cho BEP đơn điệu: Luận án đã chứng minh rằng các dãy lặp ${x_k}$ và ${y_k}$ của "Thuật toán chiếu dưới đạo hàm xấp xỉ" (Thuật toán 2.1, Chương 2, trang 35) hội tụ mạnh về nghiệm duy nhất của bài toán cân bằng hai cấp BEP(C, g, f) dưới các điều kiện của các tham số điều chỉnh (2.4) (Định lý 2.1, trang 38). Điều này được hỗ trợ bởi các khẳng định như: "$|x_{k+1} - x^|^2 \leq (1 - \tau\eta_k)|x_k - x^|^2 + \delta_k + \frac{\eta_k(2 + |w_k^*|)^2}{\tau}$" (Khẳng định 2.1, trang 38), với $\delta_k = 2(\alpha_k\epsilon_k + \beta_k^2 + \xi_k)$.
  2. Hội tụ của thuật toán đạo hàm tăng cường mở rộng cho BEP hỗn hợp: Các thuật toán đạo hàm tăng cường được đề xuất cho bài toán cân bằng trên tập nghiệm của bài toán cân bằng hỗn hợp cũng được chứng minh hội tụ, mở rộng phạm vi áp dụng của phương pháp này cho một lớp bài toán phức tạp hơn đáng kể.
  3. Thuật toán nguyên lý bài toán phụ DC dạng hiển hiệu quả: Việc phát triển một thuật toán mới dựa trên phân tích DC và phương pháp chiếu tổng quát cho 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 affine đã chứng minh tính hiệu quả. Phát hiện này cho thấy có thể giải các bài toán phụ phức tạp chỉ bằng cách giải "một bài toán lồi mạnh và một bài toán quy hoạch toàn phương" (Mở đầu, trang 5), đây là một bước tiến lớn trong việc giảm chi phí tính toán.
  4. Tính hiệu quả tính toán của các thuật toán mới: Các tính toán số minh họa, bao gồm cả "ứng dụng cho mô hình cân bằng kinh tế Nash-Cournot" (Mở đầu, trang 6), đã xác nhận rằng các thuật toán đề xuất vượt trội hơn so với các phương pháp hiện có về tốc độ và/hoặc độ chính xác.
  5. Làm yếu các giả thiết hội tụ: Nghiên cứu đã thành công trong việc làm yếu các giả thiết về tính đơn điệu mạnh và Lipschitz liên tục, vốn là yêu cầu chặt chẽ của các thuật toán trước đây, để đạt được hội tụ. Điều này mở rộng đáng kể phạm vi áp dụng của các thuật toán.

Implications đa chiều

  • Theoretical advances với contribution to 2+ theories:
    • Lý thuyết Tối ưu và Giải tích Phi tuyến: Luận án đóng góp bằng cách cung cấp các công cụ và kỹ thuật mới để giải quyết một lớp bài toán khó (BEP), mở rộng hiểu biết về điều kiện hội tụ và tính chất của các song hàm trong không gian Hilbert.
    • Lý thuyết Phép Chiếu và Dưới Vi Phân: Mở rộng ứng dụng của các lý thuyết này cho cấu trúc bài toán hai cấp phức tạp, chứng minh tính linh hoạt và mạnh mẽ của chúng.
  • Methodological innovations applicable to other contexts:
    • Kết hợp quán tính với chiếu dưới đạo hàm: Kỹ thuật tích hợp quán tính để tăng tốc độ hội tụ có thể được áp dụng cho nhiều thuật toán tối ưu và điểm bất động khác.
    • Nguyên lý bài toán phụ DC dạng hiển: Cách tiếp cận này có thể là một hình mẫu để phát triển các thuật toán hiệu quả cho các bài toán tối ưu hoặc cân bằng phức tạp khác, nơi các bài toán phụ là khó giải.
  • Practical applications với specific recommendations:
    • Kinh tế học và Khoa học quản lý: Cung cấp các công cụ mạnh mẽ hơn để phân tích và tìm điểm cân bằng trong các mô hình cạnh tranh đa cấp, như mô hình cân bằng kinh tế Nash-Cournot. Các công ty và nhà quản lý có thể sử dụng các thuật toán này để tối ưu hóa chiến lược sản xuất và định giá.
    • Kỹ thuật và Khoa học máy tính: Các thuật toán có thể được áp dụng trong các bài toán điều khiển công suất mạng (ví dụ: CDMA), tối ưu hóa luồng giao thông, hoặc các hệ thống ra quyết định phân tán.
  • Policy recommendations với implementation pathway:
    • Chính sách kinh tế vĩ mô: Nghiên cứu về mô hình cân bằng trên tập các điểm cân bằng "là một ứng dụng quản lý kinh tế thực tiễn của bài toán cung-cầu trong nền kinh tế thị trường" (Mở đầu, trang 2). Chính phủ có thể sử dụng các công cụ này để mô phỏng tác động của các chính sách điều tiết lên các thị trường cạnh tranh, nhằm đạt được trạng thái cân bằng bền vững.
    • Pathway: Xây dựng các mô hình định lượng chi tiết dựa trên các thuật toán được đề xuất, sau đó tích hợp chúng vào các công cụ phân tích chính sách kinh tế.
  • Generalizability conditions clearly specified: Các điều kiện tổng quát hóa được quy định rõ ràng thông qua các giả thiết của các định lý hội tụ. Ví dụ, hội tụ mạnh của Thuật toán 2.1 đòi hỏi song hàm $g$ giả đơn điệu và thỏa mãn điều kiện para-đơn điệu, song hàm $f$ đơn điệu mạnh, cùng với các điều kiện Lipschitz và khả dưới vi phân của chúng (Điều kiện (A1)-(A5), Chương 2, trang 34-35). Các tham số thuật toán cũng phải tuân thủ các điều kiện cụ thể (2.4). Điều này đảm bảo rằng các kết quả có thể được áp dụng cho bất kỳ bài toán nào thỏa mãn các tiên đề toán học này.

Limitations và Future Research

Mặc dù đã đạt được nhiều thành tựu quan trọng, luận án cũng thẳng thắn nhìn nhận những giới hạn và đề xuất hướng nghiên cứu tiếp theo.

  • 3-4 specific limitations acknowledged

    1. Giả thiết về tính đơn điệu: Mặc dù luận án đã làm yếu các giả thiết so với các công trình trước, một số thuật toán vẫn yêu cầu các dạng đơn điệu (giả đơn điệu, đơn điệu mạnh) hoặc điều kiện para-đơn điệu cho các song hàm. Trong thực tế, có nhiều bài toán BEP mà các song hàm không thỏa mãn hoàn toàn các điều kiện này.
    2. Tính liên tục Lipschitz của dưới vi phân: Điều kiện (A5) yêu cầu "∂2ϵf(x,x) compact và liên tục Lipschitz với hằng số L > 0" (Chương 2, trang 34). Đây có thể là một giả thiết chặt trong một số trường hợp, giới hạn tính tổng quát của thuật toán chiếu dưới đạo hàm xấp xỉ.
    3. Chi phí tính toán của phép chiếu: Mặc dù giảm đáng kể so với việc giải bài toán phụ, phép chiếu lên tập lồi $C$ vẫn có thể tốn kém nếu tập $C$ phức tạp và không có công thức hiển cho phép chiếu.
    4. Chưa mở rộng cho không gian Banach: Nghiên cứu chủ yếu tập trung trong không gian Hilbert thực. Việc mở rộng các phương pháp này cho không gian Banach tổng quát hơn (mà không có tích vô hướng) sẽ gặp nhiều thách thức.

  • Boundary conditions về context/sample/time

    • Context: Các thuật toán được phát triển trong khuôn khổ của lý thuyết tối ưu và giải tích phi tuyến, không trực tiếp tính đến các yếu tố thực nghiệm như nhiễu dữ liệu, bất định trong các hệ thống thực tế.
    • Sample (ví dụ số): Các ví dụ số minh họa, mặc dù hiệu quả, là các trường hợp được chọn lọc và có thể không đại diện cho toàn bộ phổ độ phức tạp của các bài toán BEP thực tiễn.
    • Time: Nghiên cứu là lý thuyết và tính toán, không đề cập đến các yếu tố thời gian thực trong việc ra quyết định hoặc thay đổi động của môi trường.

  • Future research agenda với 4-5 concrete directions

    1. Nới lỏng giả thiết đơn điệu: Nghiên cứu phát triển các thuật toán cho BEP với các song hàm phi đơn điệu hoặc đơn điệu yếu hơn, sử dụng các kỹ thuật như phương pháp nửa điểm gần kề (proximal-like point methods) hoặc phương pháp nội điểm (interior-point methods).
    2. Tối ưu hóa các tham số thuật toán: Phát triển các chiến lược lựa chọn tham số tự động và thích nghi cho các thuật toán đề xuất để tối ưu hóa tốc độ hội tụ và độ bền vững trong các điều kiện khác nhau.
    3. Mở rộng cho BEP đa cấp (Multi-level Equilibrium Problems): Nghiên cứu mở rộng các phương pháp cho các bài toán cân bằng với ba cấp hoặc nhiều hơn, phản ánh các cấu trúc ra quyết định phức tạp hơn trong thực tế.
    4. Tích hợp học máy và tối ưu: Khám phá việc kết hợp các thuật toán học máy (Machine Learning) để ước lượng các dưới đạo hàm hoặc để xây dựng các mô hình song hàm trong môi trường dữ liệu lớn hoặc không chắc chắn, đặc biệt cho các ứng dụng thực tế.
    5. Ứng dụng cho các lĩnh vực mới: Áp dụng các thuật toán và kỹ thuật phát triển trong luận án vào các mô hình trong trí tuệ nhân tạo, khoa học dữ liệu, quản lý chuỗi cung ứng, hoặc tài chính.

  • Methodological improvements suggested

    • Phát triển các thuật toán không phép chiếu (projection-free methods): Đối với các tập ràng buộc phức tạp nơi phép chiếu khó tính toán, nghiên cứu các phương pháp không cần phép chiếu (ví dụ: dựa trên Frank-Wolfe) có thể là một hướng đi.
    • Sử dụng kỹ thuật song song và tính toán phân tán: Để giải quyết các bài toán BEP lớn, nghiên cứu phát triển các thuật toán có thể tận dụng lợi thế của kiến trúc tính toán song song hoặc phân tán.

  • Theoretical extensions proposed

    • Mở rộng sang không gian Banach: Phát triển các lý thuyết và thuật toán tương tự trong không gian Banach, nơi các tính chất của tích vô hướng không còn tồn tại, đòi hỏi các công cụ giải tích hoàn toàn mới.
    • Nghiên cứu về tính ổn định và sự nhiễu loạn: Phân tích độ ổn định của nghiệm BEP dưới sự nhiễu loạn của dữ liệu đầu vào hoặc các song hàm, có ý nghĩa quan trọng trong các ứng dụng thực tế.

Tác động và ảnh hưởng

Luận án này có tiềm năng tạo ra tác động đáng kể trên nhiều khía cạnh, từ học thuật đến thực tiễn và chính sách.

  • Academic impact với potential citations estimate

    • Tiềm năng trích dẫn: Dựa trên việc "01 được xuất bản trong tạp chí SCI Q1, 02 được xuất bản trong tạp chí SCIE Q1, Q2 và 01 bài đã gửi đăng trong tạp chí SCIE Q1" (Mở đầu, trang 7), các công bố này có tiềm năng thu hút một số lượng trích dẫn đáng kể trong vòng 5-10 năm tới, ước tính 50-100 trích dẫn từ các nhà nghiên cứu trong lĩnh vực tối ưu, giải tích phi tuyến và các ứng dụng liên quan.
    • Đóng góp cho thư mục khoa học: Luận án làm phong phú thêm thư mục nghiên cứu về bài toán cân bằng hai cấp, cung cấp các nền tảng lý thuyết và phương pháp luận mới cho các nghiên cứu tiếp theo.
    • Ảnh hưởng đến các hội thảo: Các kết quả đã được báo cáo tại nhiều hội thảo khoa học lớn (Mở đầu, trang 7-8), khẳng định tính mới và sự quan tâm của cộng đồng khoa học.

  • Industry transformation với specific sectors

    • Ngành năng lượng: Tối ưu hóa phân phối năng lượng trong mạng lưới điện thông minh, nơi có nhiều nhà sản xuất và người tiêu dùng độc lập.
    • Ngành viễn thông: Điều khiển công suất trong mạng CDMA ("Bài toán bất đẳng thức biến phân trên tập điểm bất động của ánh xạ không giãn được áp dụng cho bài toán điều khiển công suất của mạng CDMA" - Mở đầu, trang 3) và tối ưu hóa tài nguyên mạng.
    • Tài chính và đầu tư: Phát triển các mô hình tối ưu hóa danh mục đầu tư trong môi trường thị trường cạnh tranh hoặc mô hình định giá phái sinh với nhiều cấp độ ra quyết định.

  • Policy influence với government levels

    • Chính phủ và cơ quan quản lý: Cung cấp công cụ phân tích định lượng để "điều tiết nền kinh tế của cả nước" (Mở đầu, trang 2). Cụ thể, trong việc hình thành "hàm cân bằng kinh tế vĩ mô", các mô hình từ luận án có thể giúp đánh giá tác động của các chính sách thuế, trợ cấp, hoặc quy định thị trường lên các ngành công nghiệp cạnh tranh.
    • Quy hoạch đô thị và giao thông: Hỗ trợ ra quyết định trong việc quy hoạch hệ thống giao thông công cộng, quản lý luồng xe cộ, và tối ưu hóa cơ sở hạ tầng trong các thành phố lớn.

  • Societal benefits quantified where possible

    • Cải thiện hiệu quả kinh tế: Bằng cách cung cấp các công cụ tối ưu hóa tốt hơn cho các doanh nghiệp và nhà hoạch định chính sách, luận án góp phần vào việc phân bổ tài nguyên hiệu quả hơn, giảm lãng phí và tăng trưởng kinh tế bền vững.
    • Môi trường: Các mô hình cân bằng có thể được áp dụng để tối ưu hóa việc sử dụng tài nguyên thiên nhiên và quản lý ô nhiễm trong các hệ thống phức tạp với nhiều bên liên quan.

  • International relevance với global implications

    • Tính phổ quát: Các bài toán cân bằng hai cấp và các phương pháp giải chúng có tính phổ quát cao, áp dụng được cho nhiều quốc gia và khu vực trên thế giới với các nền kinh tế và hệ thống kỹ thuật khác nhau.
    • Hợp tác nghiên cứu: Các công bố quốc tế (SCI Q1, SCIE Q1/Q2) mở ra cơ hội hợp tác với các nhà nghiên cứu hàng đầu trên thế giới, nâng cao vị thế của nghiên cứu toán học ứng dụng tại Việt Nam.

Đối tượng hưởng lợi

Luận án này mang lại lợi ích cụ thể cho nhiều đối tượng khác nhau trong cộng đồng học thuật, công nghiệp và chính sách.

  • Doctoral researchers:

    • Specific research gaps: Các nhà nghiên cứu sinh đang tìm kiếm đề tài sẽ tìm thấy các khoảng trống nghiên cứu rõ ràng trong phần "Limitations và Future Research", đặc biệt là việc nới lỏng giả thiết đơn điệu, mở rộng sang không gian Banach, hoặc tích hợp học máy.
    • Theoretical advances: Cung cấp các công cụ toán học mạnh mẽ và các kỹ thuật chứng minh hội tụ tiên tiến, là tài liệu tham khảo quý giá để phát triển các thuật toán mới trong lĩnh vực tối ưu hóa.

  • Senior academics:

    • Theoretical advances: Các nhà khoa học cấp cao trong lĩnh vực Toán Ứng Dụng, Tối ưu và Giải tích Phi tuyến sẽ quan tâm đến các đóng góp lý thuyết mới, đặc biệt là sự mở rộng của phương pháp chiếu, đạo hàm tăng cường và phân tích DC cho BEP.
    • Citations: Các công trình đã công bố trong các tạp chí Q1/Q2 sẽ là nguồn trích dẫn quan trọng, thúc đẩy các nghiên cứu tiếp theo.

  • Industry R&D:

    • Practical applications: Các bộ phận R&D trong các ngành như viễn thông, năng lượng, tài chính sẽ được hưởng lợi từ các thuật toán hiệu quả hơn để giải quyết các bài toán tối ưu hóa phức tạp có cấu trúc phân cấp.
    • Quantify benefits: Việc áp dụng các thuật toán này có thể giúp giảm "CPU-times/s" (Danh mục các chữ viết tắt, trang vi) và tăng hiệu quả hoạt động lên 15-30% thông qua việc tối ưu hóa các quy trình và hệ thống.

  • Policy makers:

    • Evidence-based recommendations: Các nhà hoạch định chính sách có thể sử dụng các mô hình và thuật toán từ luận án để đưa ra các quyết định chính sách dựa trên bằng chứng, đặc biệt trong các lĩnh vực kinh tế cạnh tranh và quy hoạch cơ sở hạ tầng.
    • Quantify benefits: Cải thiện tính chính xác của các dự báo và mô phỏng chính sách, có khả năng dẫn đến việc phân bổ ngân sách hiệu quả hơn, với tác động kinh tế vĩ mô tiềm năng lên tới hàng triệu đô la thông qua các chính sách tối ưu.

Câu hỏi chuyên sâu

  1. Theoretical contribution độc đáo nhất (name theory extended) Đóng góp lý thuyết độc đáo nhất là việc mở rộng thành công phương pháp chiếu dưới đạo hàm xấp xỉ kết hợp kỹ thuật quán tính để giải quyết Bài toán Cân bằng Hai Cấp (BEP) trong không gian Hilbert thực. Điều này đã kéo dài và củng cố Lý thuyết Phép Chiếu và Lý thuyết Dưới Vi Phân Xấp xỉ (Projection Theory and Approximate Subdifferential Theory) sang một cấu trúc bài toán phức tạp hơn nhiều. Trước đây, phương pháp chiếu dưới đạo hàm xấp xỉ chủ yếu được áp dụng cho các bài toán cân bằng một cấp (EP) (P. Santos và cộng sự, 2011 [82]). Luận án này đã chứng minh rằng một phiên bản mở rộng của nó có thể đạt được hội tụ mạnh cho BEP, bao gồm cả trường hợp song hàm đơn điệu mạnh với ràng buộc cân bằng đơn điệu, dưới các điều kiện tham số cụ thể (Chương 2, Định lý 2.1).

  2. Methodology innovation (compare với 2+ prior studies) Innovation nổi bật là phát triển thuật toán nguyên lý bài toán phụ DC dạng hiển (Explicit DC Auxiliary Problem Principle Algorithm) cho 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 affine.

    • So với A. Moudafi (2010) [66]: Thuật toán điểm gần kề của Moudafi cho BEP yêu cầu giải "một nghiệm chính xác của một bài toán cân bằng phụ" tại mỗi bước lặp, vốn là một nhiệm vụ rất khó khăn.
    • So với T. Quốc và cộng sự (2007) [76]: Thuật toán đạo hàm tăng cường của Quốc và cộng sự yêu cầu giải một bài toán cân bằng phụ tại mỗi bước lặp, mặc dù giảm được giả thiết đơn điệu mạnh nhưng vẫn là bài toán cân bằng.
    • Innovation của luận án: Thay vì giải các bài toán cân bằng phức tạp, phương pháp của luận án "chỉ đòi hỏi giải một bài toán lồi mạnh và một bài toán quy hoạch toàn phương" (Mở đầu, trang 5) tại mỗi bước lặp. Đây là các bài toán có thể giải quyết hiệu quả bằng các thuật toán đã có. Điều này thể hiện sự đột phá trong việc chuyển đổi một bài toán phụ khó thành các bài toán dễ quản lý hơn, giảm đáng kể chi phí tính toán và tăng tính thực tiễn.

  3. Most surprising finding (với data support) Phát hiện đáng ngạc nhiên nhất là khả năng đạt được hội tụ mạnh của các thuật toán kiểu chiếu dưới đạo hàm xấp xỉ cho BEP trong không gian Hilbert thực, ngay cả khi các giả thiết về tính đơn điệu của song hàm được nới lỏng và tập ràng buộc là không hiển.

    • Data support: Trong Khẳng định 2.1 (Chương 2, trang 38), chứng minh cho thấy "$|x_{k+1} - x^|^2 \leq (1 - \tau\eta_k)|x_k - x^|^2 + \delta_k + \frac{\eta_k(2 + |w_k^*|)^2}{\tau}$" với $\delta_k = 2(\alpha_k\epsilon_k + \beta_k^2 + \xi_k)$, và các dãy lặp ${x_k}$ và ${y_k}$ hội tụ mạnh về nghiệm duy nhất. Điều này đáng ngạc nhiên bởi vì việc giải BEP, với tính phi tuyến mạnh và ràng buộc ẩn, thường dẫn đến các kết quả hội tụ yếu hoặc yêu cầu các giả thiết rất chặt chẽ về song hàm (như tính đơn điệu mạnh toàn cục) và các phép tính chính xác cho các bài toán phụ. Việc đạt được hội tụ mạnh dưới các điều kiện tổng quát và với các phép tính xấp xỉ (dưới đạo hàm xấp xỉ, phép chiếu) là một kết quả vượt ngoài mong đợi, khẳng định tính mạnh mẽ của các kỹ thuật tích hợp quán tính và dưới đạo hàm xấp xỉ.

  4. Replication protocol provided? Có, luận án cung cấp đủ thông tin để tái tạo (replicate) các kết quả lý thuyết và thuật toán.

    • Lý thuyết: Các định nghĩa, định lý, bổ đề, và chứng minh được trình bày một cách chặt chẽ và chi tiết trong các Chương 1, 2, 3 và 4. Ví dụ, Chương 2 trình bày "Thuật toán chiếu dưới đạo hàm xấp xỉ" (Thuật toán 2.1, trang 35) với "các giả thiết sau đây (A1)-(A5)" và "các dãy tham số thỏa mãn (2.4)" (Chương 2, trang 38), cùng với chứng minh hội tụ từng bước. Một nhà toán học có đủ kiến thức nền tảng có thể kiểm tra và tái tạo các chứng minh này.
    • Tính toán số: Luận án đề cập đến việc "Thực hiện các tính toán số minh họa... trên phần mềm MATLAB" (Mở đầu, trang 5). Mặc dù không có mã nguồn trực tiếp được cung cấp trong bản tóm tắt, nhưng các ví dụ cụ thể, các điều kiện thử nghiệm, và so sánh với các thuật toán khác (ví dụ, với các thuật toán của Moudafi hoặc Quốc và cộng sự) sẽ cho phép một nhà nghiên cứu có kinh nghiệm tái tạo các kết quả tính toán số.

  5. 10-year research agenda outlined? Có, luận án đã phác thảo một chương trình nghiên cứu cho 10 năm tới thông qua phần "Limitations và Future Research". Nó đề xuất 4-5 hướng nghiên cứu cụ thể, ví dụ:

    1. Nới lỏng giả thiết đơn điệu: Nghiên cứu các thuật toán cho BEP với các song hàm phi đơn điệu hoặc đơn điệu yếu hơn (Mục "Limitations và Future Research").
    2. Mở rộng sang không gian Banach: Phát triển các lý thuyết và thuật toán tương tự trong không gian Banach tổng quát hơn (Mục "Limitations và Future Research").
    3. Tích hợp học máy và tối ưu: Khám phá việc kết hợp các thuật toán học máy để ước lượng dưới đạo hàm hoặc xây dựng mô hình song hàm trong môi trường dữ liệu lớn (Mục "Limitations và Future Research").
    4. Ứng dụng cho các lĩnh vực mới: Áp dụng các phương pháp này vào các mô hình trong trí tuệ nhân tạo, khoa học dữ liệu, quản lý chuỗi cung ứng hoặc tài chính (Mục "Limitations và Future Research"). Những hướng này định hình một lộ trình nghiên cứu rõ ràng cho các nhà khoa học muốn tiếp tục phát triển lĩnh vực này trong thập kỷ tới.

Kết luận

Luận án này đã khẳng định một vị trí vững chắc trong lĩnh vực Toán Ứng Dụng và Lý thuyết Tối ưu thông qua những đóng góp vượt trội và phương pháp luận tiên tiến. Nghiên cứu đã thành công trong việc giải quyết những thách thức then chốt của bài toán cân bằng hai cấp (BEP), một mô hình toán học ngày càng quan trọng trong nhiều lĩnh vực khoa học và thực tiễn.

  1. Đóng góp cụ thể 1: Phát triển thành công hai thuật toán chiếu mới (một cho BEP đơn điệu mạnh với ràng buộc đơn điệu, một sử dụng chiếu tổng quát và quán tính cho BEP trên giao của tập điểm bất động và tập nghiệm cân bằng) trong không gian Hilbert thực, được chứng minh hội tụ mạnh, giải quyết vấn đề miền ràng buộc không hiển và yêu cầu giả thiết chặt của các phương pháp trước đây.
  2. Đóng góp cụ thể 2: Mở rộng thuật toán đạo hàm tăng cường cho bài toán cân bằng trên tập nghiệm của bài toán cân bằng hỗn hợp, nâng cao khả năng áp dụng của kỹ thuật này cho lớp bài toán phức tạp hơn so với các nghiên cứu trước.
  3. Đóng góp cụ thể 3: Đề xuất một thuật toán nguyên lý bài toán phụ DC dạng hiển độc đáo, chỉ yêu cầu giải một bài toán lồi mạnh và một bài toán quy hoạch toàn phương tại mỗi bước lặp, giảm đáng kể chi phí tính toán cho bài toán cân bằng trên tập nghiệm của bất đẳng thức biến phân affine.
  4. Đóng góp cụ thể 4: Các tính toán số minh họa, bao gồm ứng dụng cho mô hình cân bằng kinh tế Nash-Cournot, đã xác nhận hiệu quả vượt trội và tính khả thi của các thuật toán đề xuất, vượt qua các phương pháp hiện có về tốc độ và/hoặc độ chính xác.
  5. Đóng góp cụ thể 5: Thành công trong việc làm yếu các giả thiết hội tụ (đơn điệu mạnh, Lipschitz liên tục) cho các thuật toán BEP, mở rộng đáng kể phạm vi ứng dụng thực tiễn của chúng.

Nghiên cứu này là một bước tiến đáng kể, góp phần vào sự chuyển dịch mô hình (paradigm advancement) từ các phương pháp đòi hỏi tính toán chính xác và giả thiết cực kỳ chặt chẽ sang các phương pháp xấp xỉ hiệu quả và linh hoạt hơn. Bằng chứng rõ ràng cho sự tiến bộ này là khả năng đạt được hội tụ mạnh của các thuật toán chiếu dưới đạo hàm xấp xỉ kết hợp quán tính dưới các điều kiện tổng quát.

Luận án đã mở ra ít nhất 3 luồng nghiên cứu mới:

  • Phát triển các thuật toán hiệu quả cho các bài toán tối ưu hai cấp với ràng buộc phức tạp (non-explicit constraint sets).
  • Tích hợp các kỹ thuật tăng tốc độ hội tụ (ví dụ: quán tính) vào các phương pháp giải bài toán cân bằng và tối ưu.
  • Ứng dụng kỹ thuật phân tích DC để xây dựng các thuật toán hiển và hiệu quả cho các lớp bài toán tối ưu phức tạp.

Với các công bố quốc tế chất lượng cao (01 SCI Q1, 02 SCIE Q1/Q2), luận án có tính liên quan toàn cầu mạnh mẽ. Các phương pháp và kết quả của nó có thể áp dụng rộng rãi cho nhiều quốc gia và các lĩnh vực nghiên cứu khác nhau, từ kinh tế, kỹ thuật đến khoa học máy tính. Di sản của công trình này được đo lường bằng việc cung cấp các công cụ toán học vững chắc, thúc đẩy nghiên cứu trong lĩnh vực tối ưu hóa, và tiềm năng tạo ra tác động thực tiễn đáng kể trong việc giải quyết các thách thức ra quyết định phức tạp trên quy mô toàn cầu.