Tổng quan về luận án

Quản lý dự án đầu tư Công nghệ thông tin (CNTT) là một lĩnh vực có tính đặc thù cao do mức độ phức tạp về công nghệ, tính bất định của các yêu cầu kỹ thuật và sự đan xen lợi ích giữa nhiều bên tham gia. Theo tài liệu chuẩn quốc tế PMBOK (Project Management Body of Knowledge), dự án là "một nỗ lực phức tạp, không thường xuyên, mang tính chất đơn nhất được thực hiện trong điều kiện ràng buộc nhất định về thời gian, ngân sách, nguồn lực và các tiêu chuẩn chất lượng để đáp ứng yêu cầu của khách hàng" [1]. Mặc dù quản lý dự án đóng vai trò sống còn trong nền kinh tế tri thức hiện đại, vấn đề xung đột lợi ích giữa các thực thể lại thường bị xem nhẹ hoặc xử lý mang tính cục bộ, cảm tính.

Thực trạng khoa học cho thấy thiệt hại do xung đột gây ra là đặc biệt nghiêm trọng. Các thống kê thực nghiệm chỉ ra rằng "60% thời gian của quản lý nhân sự chỉ để dành ra xử lý các xung đột, người lao động dành ra mỗi tuần 2,8 giờ để đối phó với xung đột. Con số này tương đương với thiệt hại quy đổi xấp xỉ 359 tỉ USD tiền lương (theo thống kê năm 2008 với tiền lương trung bình là 17,95 USD một giờ tại Mỹ), hoặc tương đương 385 triệu ngày làm việc" [2]. Tuy nhiên, trong các khung chuẩn như PMBOK 6, các giải pháp giải quyết xung đột mới dừng lại ở mức khuyến nghị định tính (né tránh, nhượng bộ, thỏa hiệp, áp đặt, hợp tác) mà thiếu vắng một công cụ định lượng có khả năng tự động hóa việc tìm kiếm điểm cân bằng tối ưu giữa các bên.

Khoảng trống nghiên cứu (Research Gap) cốt lõi nằm ở việc: (i) Chưa có một khung lý thuyết tổng quát mô hình hóa toàn diện các dạng thức xung đột trong quản lý dự án CNTT; (ii) Thiếu sự tích hợp giữa các ràng buộc kỹ thuật chuyên biệt (ràng buộc quan hệ nhiệm vụ FS, FF, SS, SF, ràng buộc tài nguyên, khung thời gian đấu thầu) vào không gian chiến lược của lý thuyết trò chơi; (iii) Chưa có cơ chế toán học thống nhất để kết nối vai trò khách quan của chủ đầu tư (Project Owner/Investor) vào các bài toán xung đột nội bộ.

Để giải quyết khoảng trống trên, luận án xác lập hệ thống câu hỏi và giả thuyết nghiên cứu:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để xây dựng một mô hình toán học tổng quát biểu diễn cấu trúc không gian chiến lược, hàm chi trả (payoff function) và tập ràng buộc phức tạp của mọi bài toán xung đột trong dự án CNTT?
  • Câu hỏi nghiên cứu 2 (RQ2): Làm thế nào để tìm kiếm chính xác điểm cân bằng Nash (Nash Equilibrium - NE) cho mô hình hợp nhất này thông qua các giải thuật tối ưu hóa tiến hóa đa mục tiêu (Multiobjective Evolutionary Algorithms - MOEA)?
  • Giả thuyết nghiên cứu 1 (H1): Mọi bài toán xung đột trong quản lý dự án CNTT đều có thể quy về bài toán trò chơi có tổng khác không (Non-Zero-Sum Game), thông tin không hoàn hảo (Imperfect Information) và trò chơi hợp tác (Cooperative/Hybrid Game).
  • Giả thuyết nghiên cứu 2 (H2): Việc kết hợp cấu trúc dữ liệu ràng buộc xung đột chuyên biệt với các thuật toán MOEA (như NSGA-II, ε-MOEA, SMPSO) sẽ tìm ra điểm cân bằng Nash có giá trị thích nghi (fitness) cao hơn và độ hội tụ nhanh hơn so với các phương pháp giải tích truyền thống.

Khung lý thuyết của luận án tích hợp sâu sắc Lý thuyết trò chơi (Game Theory của Von Neumann & Morgenstern, 1944; John Nash, 1950), Lý thuyết tối ưu hóa Pareto (Pareto Optimality) và Khung tri thức quản lý dự án PMBOK kết hợp mô hình xử lý xung đột Thomas-Kilmann. Luận án giới hạn phạm vi khảo sát trên các dự án đầu tư phần mềm và CNTT quy mô trung bình trở lên tại Việt Nam, thử nghiệm chi tiết trên 4 bài toán điển hình đại diện cho hai phân nhóm lớn: có chủ đầu tư (Đàm phán giá đấu thầu nhiều vòng, Xếp lịch thanh toán dự án) và không có chủ đầu tư trực tiếp (Xung đột phương pháp xử lý rủi ro, Cân bằng nguồn lực).

Literature Review và Positioning

Nghiên cứu về quản lý dự án và lý thuyết trò chơi đã phát triển qua nhiều giai đoạn lịch sử với các dòng nghiên cứu (major research streams) riêng biệt nhưng đang có xu hướng hội tụ:

                      ┌────────────────────────────────────────────────────────┐
                      │             TIẾN TRÌNH LÝ THUYẾT NỀN TẢNG              │
                      │                                                        │
                      │  Game Theory Foundation       Project Management &     │
                      │  - Von Neumann & Morgenstern  Conflict Origins         │
                      │    (1944)                     - Thamhain & Wilemon     │
                      │  - John Nash (1950): NE         (1975); Posner (1986)  │
                      │                               - Thomas-Kilmann (1974)  │
                      └───────────────────┬────────────────────────────────────┘
                                          │
                                          ▼
                      ┌────────────────────────────────────────────────────────┐
                      │           CÁC NHÁNH NGHIÊN CỨU QUỐC TẾ CỤC BỘ          │
                      │                                                        │
                      │  - Lập lịch đơn lẻ (Heydenreich et al., 2007;          │
                      │    Skowron & Rzadca, 2014)                             │
                      │  - Đấu thầu & Hợp đồng (Wu, 2018; Kembłowski, 2019)    │
                      │  - Xếp lịch thanh toán PSP (Deng Ze-min et al., 2007)   │
                      │  - Xử lý rủi ro bảo mật (Walid Saad et al., 2010)      │
                      └───────────────────┬────────────────────────────────────┘
                                          │
                                          ▼
                      ┌────────────────────────────────────────────────────────┐
                      │             KHOẢNG TRỐNG KHOA HỌC (GAP)                │
                      │                                                        │
                      │  - Thiếu mô hình biểu diễn thống nhất                  │
                      │  - Bỏ sót vai trò bao quát của Chủ đầu tư              │
                      │  - Chưa tích hợp tập ràng buộc kỹ thuật (FS/FF/SS/SF)  │
                      │  - Chưa kết nối công cụ MOEA Metaheuristic             │
                      └───────────────────┬────────────────────────────────────┘
                                          │
                                          ▼
                      ┌────────────────────────────────────────────────────────┐
                      │          ĐÓNG GÓP ĐỘT PHÁ CỦA LUẬN ÁN (2020)           │
                      │                                                        │
                      │       ★ UNIFIED GAME-BASED MODEL FOR IT PROJECTS ★     │
                      │  - Phân loại 2 nhóm: Có / Không có Chủ đầu tư          │
                      │  - Khung dữ liệu 2 thành phần: Dữ liệu chung &         │
                      │    Ràng buộc xung đột                                  │
                      │  - Giải thuật tìm Cân bằng Nash trên MOEA Framework    │
                      └────────────────────────────────────────────────────────┘

Dòng nghiên cứu về nguồn gốc xung đột dự án được khởi xướng bởi Thamhain & Wilemon (1975) và củng cố bởi Posner (1986), xác lập 7 nguồn gốc xung đột cơ bản theo mức độ ảnh hưởng: Sắp xếp kế hoạch, Độ ưu tiên tác vụ, Nguồn lực, Vấn đề kỹ thuật, Thủ tục hành chính, Vấn đề cá nhân và Chi phí. Song song đó, Thomas & Kilmann (1974) phát triển ma trận 5 phong cách ứng xử xung đột, trong đó chiến lược Hợp tác (Collaborating - Win-Win) được chứng minh là tối ưu nhất cho hiệu quả toàn cục nhưng có độ phức tạp thực thi cao nhất.

Dòng nghiên cứu ứng dụng Lý thuyết trò chơi vào quản lý dự án xuất hiện rải rác trong hai thập kỷ gần đây:

  1. Phân công nhiệm vụ và lập lịch: Brent Lagesse (2006) ứng dụng thuật toán ghép đôi Gale-Shapley Courtship [11]; Birgit Heydenreich, Rudolf Muller, Marc Uetz (2007) phân tích tương tác giữa các tác nhân (agents) trong cơ chế thiết kế lịch [12]; Piotr Skowron & Krzysztof Rzadca (2014) xem xét xung đột tài nguyên đa người dùng tương tự giao thức BitTorrent [13].
  2. Quản lý tài chính và hợp đồng: Deng Ze-min, Gao Chun-ping, Li Zhong-xue (2007) thiết lập mô hình cân bằng Nash cho bài toán xếp lịch thanh toán dự án (Payment Schedule Problem - PSP) dựa trên hàm mục tiêu $G = {S_0, S_0 \to S_c; u_0(S_0, S_c), u_c(S_0, S_c)}$ [14]. Guangdong Wu (2018) nghiên cứu mô hình ra quyết định xung đột hợp đồng xây dựng thông qua hàm $P_{max}$ [30]. Marian W. Kembłowski et al. (2019) phân tích trò chơi đấu thầu giá thành trong môi trường đa biến [31].
  3. Quản lý rủi ro và an ninh: Walid Saad, Tansu Alpcan, Tamer Basar, Are Hjørungnes (2010) mô hình hóa sự hợp tác xử lý rủi ro bảo mật qua đồ thị mạng $G_p(N, \varepsilon_p)$ [15].

Tuy nhiên, văn hiến học thuật tồn tại những tranh luận và mâu thuẫn lớn (debates):

  • Tranh luận 1: Tiếp cận Cứng (Hard Approach) đối đầu Tiếp cận Mềm (Soft Approach). Các quan điểm truyền thống thiên về áp đặt quyền lực (Forcing) để đảm bảo tiến độ gắt gao, trong khi các học giả hiện đại ủng hộ mô hình Hợp tác (Collaborating). Dẫu vậy, các nghiên cứu ủng hộ hợp tác thường thất bại trong việc lượng hóa điểm thỏa hiệp khi các bên có hàm lợi ích đối kháng sâu sắc.
  • Tranh luận 2: Tối ưu hóa bộ phận đối đầu Lợi ích tổng thể dự án. Các nghiên cứu của Deng Ze-min et al. (2007) hay Guangdong Wu (2018) chỉ tập trung vào quan hệ song phương (chủ đầu tư - nhà thầu) mà bỏ qua vai trò định hướng của chủ đầu tư trong các xung đột nội bộ giữa các đội ngũ phát triển. Ngược lại, Agnar Johansen (2013) và Houston Jr. (2008) chứng minh rằng lợi ích dự án (project benefit) không chỉ là chi phí trực tiếp mà bao gồm giá trị hiện tại thuần (NPV), danh tiếng, thị phần và sự gắn kết đối tác, đòi hỏi sự hiện diện của chủ đầu tư như một trọng tài lợi ích tối cao [24, 25].

So sánh với hai nghiên cứu quốc tế tiêu biểu:

  • So với mô hình PSP của Deng Ze-min et al. (2007): Nghiên cứu của Deng chỉ dừng lại ở dạng bài toán 2 người chơi tĩnh, không tích hợp được mạng lưới công việc có 4 loại liên kết tiền định phức tạp (FS, FF, SS, SF) và không đưa ra thuật toán tiến hóa tự động để giải không gian trạng thái lớn. Luận án này mở rộng không gian tìm kiếm đa chiều với các ràng buộc phụ thuộc logic chặt chẽ.
  • So với mô hình phân tích rủi ro của Walid Saad et al. (2010): Mô hình của Saad tập trung vào lý thuyết đồ thị cho an ninh mạng diện rộng nhưng không xử lý được bài toán triệt tiêu lẫn nhau giữa các phương án đối phó rủi ro (risk response strategies) có kinh phí hữu hạn trong khuôn khổ một dự án phần mềm.

Luận án định vị chính xác vào giao điểm còn trống: xây dựng Mô hình hợp nhất dựa trên lý thuyết trò chơi (Unified Game-Based Model), bao hàm cả hai lớp bài toán có và không có chủ đầu tư, đồng thời cung cấp giải pháp thuật toán hoàn chỉnh thông qua khung tiến hóa đa mục tiêu MOEA.

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

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

Luận án mở rộng Lý thuyết trò chơi cổ điển của John Nash (1950) và Khung quản lý tri thức PMBOK thông qua việc thiết lập cầu nối toán học hình thức giữa các khái niệm quản trị dự án trừu tượng và các cấu trúc giải tích tối ưu:

  1. Khái quát hóa không gian chiến lược và hàm chi trả: Luận án định nghĩa lại trò chơi xung đột quản lý dự án dưới dạng bộ dữ liệu hình thức: $$\langle N, (A_i){i \in N}, (u_i){i \in N}, C_{conflict} \rangle$$ Trong đó:
  • $N$ là tập hợp các thực thể tham gia xung đột (bao gồm chủ đầu tư, nhà thầu, quản lý dự án, trưởng nhóm kỹ thuật).
  • $A_i$ là không gian chiến lược khả thi của người chơi $i$.
  • $u_i: A \to \mathbb{R}$ là hàm chi trả biểu diễn lợi ích hoặc chi phí của người chơi $i$.
  • $C_{conflict}$ là tập hợp các ràng buộc xung đột mang tính tất định (logic phụ thuộc, ngân sách trần, thời hạn bàn giao).
  1. Chuyển đổi Paradigm quản trị xung đột: Luận án chứng minh trên cơ sở toán học rằng việc chuyển dịch từ mô hình "Tổng bằng không" (Zero-Sum / Win-Lose) sang mô hình "Tổng khác không - Hợp tác" (Non-Zero-Sum / Win-Win) thông qua điểm cân bằng Nash là điều kiện tiên quyết để tối đa hóa giá trị tổng thể của dự án đầu tư CNTT.
                      ┌────────────────────────────────────────────────────────┐
                      │              UNIFIED GAME-BASED MODEL                  │
                      ├───────────────────────────┬────────────────────────────┤
                      │   DỮ LIỆU CHUNG XUNG ĐỘT  │    RÀNG BUỘC XUNG ĐỘT      │
                      │                           │                            │
                      │ • Tập người chơi: N       │ • Quan hệ tác vụ:          │
                      │ • Không gian chiến lược:  │   FS, FF, SS, SF           │
                      │   A = (A1, A2, ..., An)   │ • Ràng buộc thời gian      │
                      │ • Hàm Payoff: ui(a)       │ • Ràng buộc ngân sách      │
                      │ • Trọng số thích nghi     │ • Ràng buộc loại trừ rủi ro│
                      └─────────────┬─────────────┴─────────────┬──────────────┘
                                    │                           │
                                    ▼                           ▼
                      ┌────────────────────────────────────────────────────────┐
                      │            CƠ CHẾ ĐÁNH GIÁ & TỐI ƯU HÓA                │
                      │                                                        │
                      │   Kiểm tra tính hợp lệ   ──►  Loại bỏ nghiệm vi phạm   │
                      │   Tính toán Hàm Thích    ──►  Xác lập Điểm Cân Bằng    │
                      │   nghi (Fitness)              Nash (Nash Equilibrium)  │
                      └───────────────────────────┬────────────────────────────┘
                                                  │
                                                  ▼
                      ┌────────────────────────────────────────────────────────┐
                      │      TÍCH HỢP KHUNG TIẾN HÓA ĐA MỤC TIÊU (MOEA)        │
                      │                                                        │
                      │       NSGA-II  │  ε-MOEA  │  SMPSO  │  GDE3  │  PESA2   │
                      └────────────────────────────────────────────────────────┘
  1. Hệ thống mệnh đề lý thuyết (Propositions):
  • Mệnh đề 1 (Proposition 1): Trong một dự án CNTT, một điểm cân bằng Nash $a^* = (a_1^, a_2^, \dots, a_N^)$ chỉ được coi là nghiệm hợp lệ của bài toán quản lý dự án khi và chỉ khi nó thỏa mãn đồng thời: $$u_i(a_i^, a_{-i}^) \ge u_i(a_i, a_{-i}^), \quad \forall a_i \in A_i, \forall i \in N \quad \text{và} \quad a^* \models C_{conflict}$$
  • Mệnh đề 2 (Proposition 2): Sự tham gia của chủ đầu tư với tư cách là tác nhân giám sát hàm mục tiêu toàn cục sẽ làm hội tụ không gian nghiệm của trò chơi không hợp tác về biên Pareto tối ưu của trò chơi hợp tác.

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

Khung phân tích của luận án tích hợp liên ngành giữa 3 lý thuyết: Lý thuyết trò chơi vi mô, Lý thuyết tối ưu hóa đa mục tiêu tiến hóa (EMO) và Khoa học quản lý dự án hiện đại.

Điểm độc đáo cốt lõi của khung phân tích nằm ở việc phân tách rạch ròi giữa hai thành phần:

  • Dữ liệu định lượng chung: Số lượng nhiệm vụ, thời gian ước tính, chi phí nhân sự, lãi suất chiết khấu ngân hàng để tính NPV, xác suất và mức độ thiệt hại của rủi ro.
  • Tập luật ràng buộc xung đột (Conflict Constraints Engine): Đóng vai trò bộ lọc (filter) loại bỏ các trạng thái không khả thi trước khi tiến hành tính toán giá trị thích nghi (fitness), triệt tiêu hoàn toàn hiện tượng nghiệm ảo vi phạm tính logic của dự án.

Điều kiện biên (Boundary Conditions): Mô hình áp dụng cho các dự án phần mềm có cấu trúc phân rã công việc (WBS) xác định, các bên tham gia hành xử duy lý (rational agents) và chấp nhận tuân thủ các cam kết hợp đồng khi đạt được điểm cân bằng.

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

Thiết kế nghiên cứu

Luận án tuân thủ thế giới quan thực chứng thực tế (Pragmatic Positivism) kết hợp chủ nghĩa hiện thực phê phán (Critical Realism), sử dụng phương pháp nghiên cứu hỗn hợp kết hợp chặt chẽ giữa mô hình hóa giải tích toán học hình thức và mô phỏng thực nghiệm tính toán số lớn (computational simulation experiment).

                      ┌────────────────────────────────────────────────────────┐
                      │              QUY TRÌNH NGHIÊN CỨU RIGOROUS             │
                      └───────────────────────────┬────────────────────────────┘
                                                  │
                                                  ▼
                      ┌────────────────────────────────────────────────────────┐
                      │ BƯỚC 1: HỆ THỐNG HÓA & PHÂN LOẠI XUNG ĐỘT              │
                      │ - Khảo sát 7 nguồn gốc xung đột (Thamhain & Wilemon)   │
                      │ - Phân tách 2 nhóm: Có / Không có Chủ đầu tư           │
                      └───────────────────────────┬────────────────────────────┘
                                                  │
                                                  ▼
                      ┌────────────────────────────────────────────────────────┐
                      │ BƯỚC 2: XÂY DỰNG MÔ HÌNH HÌNH THỨC TOÁN HỌC            │
                      │ - Thiết lập cấu trúc Unified Game-Based Model          │
                      │ - Định nghĩa hàm Payoff và Bộ ràng buộc C_conflict     │
                      └───────────────────────────┬────────────────────────────┘
                                                  │
                                                  ▼
                      ┌────────────────────────────────────────────────────────┐
                      │ BƯỚC 3: MÔ PHỎNG & TỐI ƯU HÓA TRÊN MOEA FRAMEWORK      │
                      │ - Cài đặt trên Java / MOEA Framework                   │
                      │ - 6 Thuật toán: NSGA-II, ε-MOEA, GDE3, PESA2,         │
                      │   ε-NSGA-II, SMPSO                                     │
                      │ - 3 Thuật toán giải tích: CFR, CFR+, Fictitious Play   │
                      └───────────────────────────┬────────────────────────────┘
                                                  │
                                                  ▼
                      ┌────────────────────────────────────────────────────────┐
                      │ BƯỚC 4: THỰC NGHIỆM TRÊN 4 BỘ DỮ LIỆU DỰ ÁN THỰC TẾ    │
                      │ - Chạy lặp 10 lần độc lập / cấu hình                   │
                      │ - Kiểm định độ hội tụ, thời gian chạy & giá trị Fitness│
                      └────────────────────────────────────────────────────────┘

Thiết kế đa cấp độ (Multi-level Design) được triển khai trên 2 tầng cấu trúc:

  • Tầng vĩ mô (Macro-level): Cân bằng lợi ích kinh tế giữa Chủ đầu tư và Nhà thầu/Đội ngũ phát triển (bài toán đấu thầu, bài toán dòng tiền PSP).
  • Tầng vi mô (Micro-level): Phân bổ tối ưu nguồn lực cá nhân và lựa chọn đối sách kỹ thuật giữa các nhóm chức năng trong nội bộ dự án (bài toán cân bằng nguồn lực, bài toán xử lý rủi ro).

Quy trình nghiên cứu và Thu thập dữ liệu

Dữ liệu thực nghiệm được thu thập trực tiếp từ các hồ sơ dự án phần mềm và công nghệ thông tin thực tế tại các doanh nghiệp Việt Nam, bao gồm:

  • Tập dữ liệu Dự án 1 & Dự án 2 (Bài toán xếp lịch thanh toán PSP): Cấu trúc mạng công việc phức tạp gồm hàng chục tác vụ với đầy đủ các mối liên hệ tiền định (FS, FF, SS, SF), dữ liệu chi phí nhân sự, tiến độ giải ngân và lãi suất thương mại.
  • Tập dữ liệu Đấu thầu nhiều vòng: Dữ liệu lịch sử từ các gói thầu phần mềm thực tế với các ràng buộc về giá sàn, giá trần, tiêu chuẩn kỹ thuật và hệ số quan hệ đối tác dài hạn.
  • Tập dữ liệu Quản lý rủi ro (Phụ lục B): Danh mục rủi ro công nghệ và 4 nhóm chiến lược phản ứng tương ứng với các ma trận xung đột tài nguyên đối kháng.
  • Tập dữ liệu Nhân sự (Bài toán cân bằng nguồn lực): Ma trận kỹ năng, định mức thời gian và chi phí lương của các kỹ sư phần mềm.

Độ tin cậy và giá trị khoa học (Validity & Reliability) được bảo đảm qua phương pháp tam giác đạc (Triangulation):

  • Tam giác đạc dữ liệu: Đối soát giữa số liệu dự toán thực tế và kết quả mô phỏng thuật toán.
  • Tam giác đạc thuật toán: So sánh chéo kết quả giữa 6 giải thuật di truyền đa mục tiêu (NSGA-II, ε-MOEA, GDE3, PESA2, ε-NSGA-II, SMPSO) và 3 giải thuật lý thuyết trò chơi chuyên biệt (Fictitious Play, Counterfactual Regret Minimization - CFR, CFR+).

Kỹ thuật phân tích dữ liệu và Kiểm định độ vững

Mô hình được hiện thực hóa trên nền tảng MOEA Framework (thư viện mã nguồn mở Java chuyên sâu cho tối ưu hóa đa mục tiêu).

Quy trình kiểm định độ vững (Robustness Checks):

  • Mỗi cấu hình thực nghiệm được thực thi lặp lại 10 lần độc lập để triệt tiêu sai số ngẫu nhiên của các giải thuật di truyền.
  • Ghi nhận và phân tích phương sai của 2 chỉ số then chốt: Thời gian thực thi (Execution Time tính bằng mili-giây) và Giá trị hàm thích nghi (Fitness Value của điểm cân bằng Nash).
  • Đánh giá khoảng tin cậy 95% và độ lệch chuẩn của các phép thử để khẳng định tính ổn định của giải thuật.

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

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

Quá trình thực nghiệm trên 4 lớp bài toán điển hình đã mang lại 4 phát hiện mang tính đột phá:

                      ┌────────────────────────────────────────────────────────┐
                      │              CÁC PHÁT HIỆN THỰC NGHIỆM THEN CHỐT       │
                      ├────────────────────────────────────────────────────────┤
                      │                                                        │
                      │  [Finding 1] Vượt trội của Thuật toán Tiến hóa:         │
                      │  • ε-MOEA & NSGA-II giảm 40-60% thời gian thực thi     │
                      │  • Hội tụ điểm cân bằng Nash chính xác tuyệt đối       │
                      │                                                        │
                      │  [Finding 2] Quy luật Dòng tiền trong Bài toán PSP:     │
                      │  • Điểm cân bằng Nash dung hòa kỳ vọng NPV đôi bên     │
                      │  • Giảm thiểu rủi ro đứt gãy dòng tiền thi công        │
                      │                                                        │
                      │  [Finding 3] Giải quyết Xung đột Rủi ro Đối kháng:     │
                      │  • Loại bỏ 100% các phương án triệt tiêu lẫn nhau      │
                      │  • Tối ưu hóa ngân sách dự phòng rủi ro hữu hạn        │
                      │                                                        │
                      │  [Finding 4] Tối ưu Đấu thầu & Nguồn lực Đa kỹ năng:   │
                      │  • CFR+ & SMPSO phân bổ tải nhân sự mượt mà            │
                      │  • Tránh tình trạng "cháy việc" hoặc nhân sự nhàn rỗi   │
                      └────────────────────────────────────────────────────────┘
  1. Hiệu năng vượt trội của các thuật toán MOEA hiện đại (Đặc biệt là $\varepsilon$-MOEA và NSGA-II): Trong bài toán xếp lịch thanh toán dự án (PSP) trên cả Dự án 1 và Dự án 2 sau 10 lần chạy thử nghiệm, $\varepsilon$-MOEA và NSGA-II thể hiện tốc độ hội tụ vượt bậc, giảm từ 40% đến 60% thời gian tính toán so với các thuật toán tiến hóa thế hệ cũ (như PESA2, GDE3), đồng thời duy trì giá trị thích nghi điểm Nash ổn định nhất.
  2. Xác lập trạng thái cân bằng dòng tiền tối ưu giữa Chủ đầu tư và Nhà thầu: Trong bài toán PSP, mâu thuẫn cố hữu là chủ đầu tư muốn thanh toán chậm nhất có thể nhằm tối ưu dòng tiền, còn nhà thầu muốn thu hồi vốn sớm nhất. Mô hình Unified Game-Based Model đã tìm ra lịch thanh toán cân bằng Nash, tại đó tổng giá trị hiện tại ròng (NPV) của cả hai bên đạt mức hài hòa cao nhất mà không làm gián đoạn tiến độ thực hiện các gói công việc.
  3. Triệt tiêu xung đột trong lựa chọn chiến lược xử lý rủi ro: Thực nghiệm trên bộ dữ liệu rủi ro CNTT (Bảng 1.13 - 1.15) chứng minh mô hình đã loại trừ hoàn toàn các phương án đối phó rủi ro có tính chất triệt tiêu hoặc mâu thuẫn tài nguyên, tìm ra điểm cân bằng Nash khả thi giúp tối đa hóa mức độ an toàn của hệ thống trong giới hạn ngân sách dự phòng định mức.
  4. Hiệu quả phân bổ nhân lực đa kỹ năng: Trong bài toán cân bằng nguồn lực, các thuật toán như CFR, CFR+ và SMPSO đã giải quyết triệt để tình trạng xung đột thời gian của các nhân sự kiêm nhiệm nhiều vai trò kỹ thuật, đảm bảo tải công việc đồng đều mà không làm phát sinh chi phí tăng ca đột biến.

Implications đa chiều

  • Về mặt lý thuyết: Chứng minh tính khả thi của việc mô hình hóa toán học các khái niệm quản trị dự án mềm; mở rộng phạm vi ứng dụng của Lý thuyết trò chơi sang miền kỹ thuật phần mềm phức tạp.
  • Về mặt phương pháp luận: Thiết lập quy trình chuẩn tích hợp thư viện tối ưu hóa tiến hóa (MOEA Framework) với các bài toán ra quyết định quản lý có ràng buộc phi tuyến.
  • Về mặt thực tiễn ứng dụng: Cung cấp cơ sở thuật toán để xây dựng Hệ thống thông minh trợ giúp ra quyết định (Decision Support System - DSS) cho các Giám đốc dự án (PM) và Chủ đầu tư tại các tập đoàn công nghệ.
  • Về mặt chính sách quản lý: Đề xuất khung tham chiếu khoa học cho các cơ quan quản lý nhà nước trong việc xây dựng quy chế đấu thầu mua sắm công nghệ thông tin và quy chuẩn hóa các điều khoản thanh toán theo mốc bàn giao dự án.

Limitations và Future Research

Mặc dù đạt được những kết quả đột phá, luận án thẳng thắn thừa nhận 4 giới hạn nghiên cứu:

  1. Giả định về tính duy lý tuyệt đối (Bounded Rationality): Mô hình giả định các bên tham gia trò chơi đều duy lý và có đầy đủ khả năng tính toán lợi ích, chưa tích hợp các yếu tố tâm lý hành vi bất định hoặc cảm xúc cá nhân.
  2. Kích thước mẫu thực nghiệm: Mặc dù được kiểm chứng kỹ lưỡng trên 4 lớp bài toán với các tập dữ liệu dự án thực tế tại Việt Nam, số lượng dự án khảo sát quy mô đại dự án (Mega-projects) vẫn còn hạn chế.
  3. Môi trường tính toán tĩnh: Mô hình hiện tại giải quyết bài toán tối ưu tại các thời điểm lập kế hoạch hoặc đàm phán mốc, chưa xử lý triệt để các biến động động học thời gian thực (Dynamic Real-time Uncertainty) phát sinh giữa chu kỳ sprint.

Chương trình nghiên cứu 5-10 năm tới (Future Research Agenda):

  • Tích hợp Lý thuyết trò chơi tiến hóa động (Dynamic/Evolutionary Game Theory) kết hợp Học tăng cường sâu (Deep Reinforcement Learning) để tự động điều chỉnh chiến lược theo thời gian thực khi có biến cố dự án.
  • Mở rộng mô hình sang các phương pháp luận phát triển phần mềm linh hoạt (Agile/Scrum/DevOps) với các chu kỳ phát hành siêu ngắn.
  • Xây dựng plugin phần mềm thương mại tích hợp trực tiếp vào các công cụ quản lý dự án phổ biến như Jira, Microsoft Project.

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

Nghiên cứu mang lại những tác động sâu rộng trên nhiều bình diện:

  • Ảnh hưởng học thuật: Thiết lập cầu nối tiên phong tại Việt Nam giữa chuyên ngành Kỹ thuật phần mềm (Mã số: 9480103) và Lý thuyết trò chơi ứng dụng, tạo tiền đề trích dẫn cho các nghiên cứu về tối ưu hóa quản lý dự án thông minh.
  • Chuyển đổi ngành công nghiệp CNTT: Cung cấp công cụ giúp các doanh nghiệp phần mềm cắt giảm lãng phí thời gian đàm phán nội bộ, ước tính tiết kiệm từ 15-20% chi phí quản lý gián tiếp và giảm thiểu nguy cơ tranh chấp pháp lý hợp đồng.
  • Hiệu quả kinh tế - xã hội: Góp phần giảm thiểu sự lãng phí nguồn lực trong các dự án đầu tư công CNTT, hướng tới mục tiêu tối ưu hóa hàng tỷ USD chi phí nhân lực bị lãng phí do xung đột theo thống kê toàn cầu.

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

  • Nghiên cứu sinh và Giới học thuật: Tiếp cận một khung phân tích hình thức hoàn chỉnh, mở ra các hướng nghiên cứu kết hợp giữa toán học ứng dụng, trí tuệ nhân tạo và quản trị kỹ thuật.
  • Giám đốc dự án (PM) và Kỹ sư trưởng: Sở hữu công cụ DSS định lượng để giải quyết thấu đáo các xung đột hàng ngày về phân bổ nhân sự, lập lịch thi công và ứng phó rủi ro kỹ thuật.
  • Chủ đầu tư và Ban quản lý dự án: Nắm giữ cơ chế khoa học để đàm phán hợp đồng, phân kỳ giải ngân công bằng và kiểm soát toàn diện lợi ích dự án.
  • Cơ quan hoạch định chính sách đầu tư CNTT: Có căn cứ khoa học để hoàn thiện các văn bản quy phạm pháp luật về quản lý hợp đồng đấu thầu CNTT.

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

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?

Đóng góp lý thuyết độc đáo nhất là việc đề xuất Mô hình hợp nhất dựa trên lý thuyết trò chơi (Unified Game-Based Model), mở rộng trực tiếp Lý thuyết trò chơi cổ điển (John Nash, 1950) và Khung quản lý PMBOK. Luận án đã tích hợp thành công tập ràng buộc xung đột kỹ thuật ($C_{conflict}$) vào không gian chiến lược hình thức, đồng thời giải quyết triệt để bài toán đưa vai trò của Chủ đầu tư vào hàm mục tiêu tối ưu của các xung đột nội bộ.

2. Điểm cải tiến phương pháp luận so với các nghiên cứu tiền nhiệm quốc tế?

So với nghiên cứu của Deng Ze-min et al. (2007) và Guangdong Wu (2018), luận án không chỉ dừng lại ở các phương trình giải tích 2 người chơi tĩnh mà đã thiết lập một khung tối ưu hóa đa mục tiêu hoàn chỉnh trên nền tảng MOEA Framework. Phương pháp luận này cho phép tìm kiếm cân bằng Nash trên không gian trạng thái đa chiều, xử lý đồng thời 4 loại liên kết tác vụ (FS, FF, SS, SF) và kiểm định chéo trên 6 giải thuật tiến hóa hiện đại.

3. Phát hiện thực nghiệm đáng ngạc nhiên nhất được hỗ trợ bởi dữ liệu?

Phát hiện rằng các giải thuật tiến hóa tiên tiến như $\varepsilon$-MOEA và NSGA-II có khả năng tìm ra điểm cân bằng Nash trong các bài toán xếp lịch phức tạp với thời gian thực thi nhanh hơn từ 40% đến 60% so với các phương pháp giải tích truyền thống và các thuật toán di truyền cổ điển, đồng thời triệt tiêu 100% các nghiệm vi phạm ràng buộc phụ thuộc logic.

4. Giao thức tái lập nghiên cứu (Replication Protocol) có được cung cấp không?

Luận án cung cấp chi tiết toàn bộ cấu trúc tham số thực nghiệm, ma trận quan hệ tác vụ (Bảng 1.5 - 1.8), danh mục rủi ro kỹ thuật (Phụ lục B), thông tin gói thầu (Phụ lục A) và mô tả tường minh cách thức cài đặt trên MOEA Framework, đảm bảo tính tái lập khoa học hoàn toàn.

5. Định hướng chương trình nghiên cứu 10 năm tới được phác thảo ra sao?

Chương trình nghiên cứu 10 năm tới tập trung vào việc chuyển đổi mô hình từ trạng thái tĩnh sang Hệ thống trợ giúp quyết định thích nghi thời gian thực (Real-time Adaptive DSS), tích hợp Học tăng cường sâu (Deep RL) và triển khai trên các nền tảng điện toán đám mây phục vụ quản lý dự án Agile quy mô lớn.

Kết luận

Công trình nghiên cứu của NCS. Trịnh Bảo Ngọc dưới sự hướng dẫn của PGS. Huỳnh Quyết Thắng tại Trường Đại học Bách khoa Hà Nội đã tạo nên một dấu ấn khoa học vững chắc với 5 đóng góp cốt lõi:

                      ┌────────────────────────────────────────────────────────┐
                      │              5 ĐÓNG GÓP KHOA HỌC CỐT LÕI               │
                      ├────────────────────────────────────────────────────────┤
                      │                                                        │
                      │ 1. Hệ thống hóa & phân loại toàn diện xung đột dự án   │
                      │    CNTT theo 2 nhóm: Có và Không có Chủ đầu tư.        │
                      │                                                        │
                      │ 2. Xây dựng thành công Mô hình Hợp nhất                │
                      │    (Unified Game-Based Model) tích hợp ràng buộc logic.│
                      │                                                        │
                      │ 3. Chứng minh toán học & hiện thực hóa giải thuật      │
                      │    tìm Cân bằng Nash trên nền tảng MOEA Framework.     │
                      │                                                        │
                      │ 4. Kiểm chứng thực nghiệm xuất sắc trên 4 bài toán:     │
                      │    Đấu thầu, Lập lịch PSP, Rủi ro, Cân bằng nguồn lực. │
                      │                                                        │
                      │ 5. Đặt nền móng kỹ thuật phát triển Hệ thống Thông     │
                      │    min Trợ giúp Ra Quyết định (DSS) cho Quản lý Dự án. │
                      └────────────────────────────────────────────────────────┘
  1. Hệ thống hóa toàn diện cơ sở lý luận: Phân loại và cấu trúc hóa toàn bộ các dạng thức xung đột trong dự án đầu tư CNTT dựa trên mối liên hệ trực tiếp với chủ đầu tư và 7 nguồn gốc phát sinh theo chuẩn PMBOK.
  2. Thiết lập Mô hình hợp nhất (Unified Game-Based Model): Đề xuất thành công mô hình toán học tổng quát biểu diễn trọn vẹn dữ liệu chiến lược, hàm chi trả và tập ràng buộc xung đột nghiệp vụ.
  3. Hiện thực hóa giải pháp thuật toán tiên tiến: Chứng minh tính khả thi và hiệu năng vượt trội của việc tìm kiếm điểm cân bằng Nash thông qua các thuật toán tối ưu hóa tiến hóa đa mục tiêu trên MOEA Framework.
  4. Kiểm chứng thực nghiệm nghiêm ngặt: Ứng dụng và đánh giá thành công mô hình trên 4 bài toán thực tế điển hình (đàm phán giá đấu thầu nhiều vòng, xếp lịch thanh toán dự án PSP, xung đột phương pháp xử lý rủi ro và cân bằng nguồn lực).
  5. Mở ra hướng ứng dụng thực tiễn giá trị cao: Cung cấp giải pháp nền tảng cho việc xây dựng các Hệ trợ giúp quyết định thông minh (DSS), nâng cao năng lực cạnh tranh và hiệu quả quản trị cho ngành công nghiệp phần mềm và quản lý đầu tư CNTT.