登录
洞察 - 計算複雜度
雙邊配對下事後穩定性的複雜度與特徵分析
在雙邊配對問題中，當偏好或優先順序存在平局時，檢測事後穩定性是 NP 完全問題，即使偏好或優先順序是二分的也一樣。
計算 4k 間循環二部圖的永久多項式
這篇文章提出了一種計算 4k 間循環二部圖的永久多項式的新方法，透過將其表示為圖及其子圖的修正特徵多項式的組合，克服了傳統方法僅適用於特定二部圖類別的限制。
組裝理論及其與計算複雜度的關係
組裝理論，特別是其中的組裝指數，提供了一種新的、可測量的複雜性形式，它與基於數據壓縮和算法複雜度的計算複雜度方法有著根本的不同。
網格圖上無羨慕和交換穩定座位安排問題的計算複雜度
確定網格圖上是否存在無羨慕和交換穩定的座位安排是 NP 難題。
魏斯費勒-雷曼維數的計算複雜度
計算圖的魏斯費勒-雷曼維數是一個複雜的問題，本文探討了其計算複雜度，並針對特定圖類別提出了有效的算法。
變分不等式的計算複雜度及其在博弈論中的應用
本文探討了變分不等式（VI）、擬變分不等式（QVI）和廣義擬變分不等式（GQVI）的近似解的計算複雜度，證明了這些問題是 PPAD 完全的，並探討了其在博弈論中的應用，特別是在彈性納許均衡和多領導者-追隨者博弈中的應用。
論對數近似 CVP 和最大割問題的（經典與量子）精細複雜度
本文證明了最大割問題（Max-Cut）與所有有限 ℓp-範數（包括 p = 2）下的 γ-近似最近向量問題（γ-CVPp）之間存在線性大小的歸約關係，並藉此揭示了近似 CVP 問題的精細複雜度，以及基於強指數時間假設（SETH）證明 Max-Cut 問題精細複雜度的障礙。
代數元複雜度與表示論中的同構分量和最高權向量
在代數元複雜度框架中，可以有效地將元多項式分解為其同構分量，這意味著許多現有的代數複雜度下界證明可以通過最高權重元多項式有效地轉換為同構下界證明。
論約束條件在最小-最大優化問題複雜度中的作用
約束條件的結構顯著影響最小-最大優化問題的計算複雜度，即使在目標函數為非凸-凹的情況下，聯合凸約束也會導致 PPAD 難度。
可構造性、計算複雜度與 P 對 NP 問題：探討可驗證性限制下的建設性解
在必須證明演算法正確性的限制下，即使某些 NP 問題存在多項式時間可驗證的解，也可能不存在可被構造且驗證的有效率解法。
