本文探討了非對稱旅行商問題 (ATSP) 的參數化整數規劃公式,特別是對 Miller-Tucker-Zemlin (MTZ)、Desrochers-Laporte (DL) 和單一商品流 (SCF) 三種經典公式進行參數化推廣,並分析其特性,包括對 x 變數空間的投影、不同參數下公式的比較以及各個參數化公式族的閉包特性。
對於每個連通分支都是路徑或最多三個葉子的樹的圖 H,都可以在擬多項式時間內解決無 H 圖的最大權重獨立集問題。
本文證明了 Wilber 上下界在序列組合操作下具有良好的性質,並利用此性質構造了能更優地分離這兩個上下界的序列,從而證明了 Tango 樹在基於 Wilber 下界的所有二元搜尋樹演算法中具有最優性。
本文探討了快速行進演算法(一種常用於路徑計算的演算法)在工業應用中的數值精度問題,並使用動態分析和靜態分析工具評估了其實作的準確性和穩健性。
本文旨在探討如何將 Erdős-Rényi 隨機圖上的獨立集問題的 Sum-of-Squares 下界結果轉移到隨機 d-正則圖上,並為此發展了分析隨機正則圖上圖矩陣譜範數界限的新技術。
本文提出了一種名為 VD-STAR 的動態結構分群演算法,該演算法能夠有效地處理圖形更新,並支援多種相似性度量方法,同時適用於所有分群參數。
隨機捨入技術能有效解決線上隨機優化問題,通過將線性規劃解轉換為線上策略,在滿足預期約束的同時,實現近似最佳的效能。
本文提出一個將子模優化演算法轉換為採購拍賣機制的框架,並探討其在線上和離線環境下的應用,以及與遞減拍賣的關係。
本文提出了一種在擁塞型團集模型中,於次線性時間內近似均勻採樣生成樹的演算法,並探討了其在 Erdös–Rényi 圖和規則擴展圖等圖結構中的應用。
本文提出了一種計算分配博弈中公平核心分配的新方法,特別是 leximin 和 leximax 核心分配,並設計了基於原始對偶框架的組合強多項式時間演算法。