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