識別一個給定集合是否為求和集的問題,在計算上是NP完全問題,這意味著它不太可能存在一個有效的算法來解決這個問題。
本文探討如何在金融網絡中透過現金注入(即紓困)或策略性債務減免來最大化系統流動性,並分析了這些問題的計算複雜度以及貪婪演算法的近似比率。此外,文章還從賽局理論的角度出發,探討銀行在策略性減免債務以最大化自身利益的賽局中的均衡存在性、品質和計算複雜度。
本文證明了在標準高斯分佈下,針對凸性測試問題,在各種屬性測試模型(非自適應、自適應、單邊、雙邊和容錯)中,查詢複雜度都存在多項式下界,從而證明了任何測試演算法都需要依賴於環境維度 n。
本文探討了總體搜尋問題中不同查詢複雜度衡量指標之間的分離性,並提出兩種轉換技巧,分別將部分函數轉換為總體搜尋問題,以及將總體搜尋問題轉換回部分函數,藉此證明了量子查詢複雜度、近似度、錐形聯結度、信息成本和鬆弛分區界限等指標之間存在指數級分離。
本文探討了一種新型態的圖,稱為秩-拉姆齊圖,這些圖的團數和其補圖的秩都很小。作者探討了這類圖的建構,並論證了這些建構與證明其不存在性與通訊複雜性領域中著名的對數秩猜想之間的密切關係。
本文提出了一種基於拓撲和可測量熵的新方法,用於證明計算複雜性中的下界,並證明該方法可以統一現有文獻中的多個下界結果,包括代數決策樹、代數計算樹、實數情況下的 NC 與 Ptime 分離,以及「無位元運算的 pram」的下界。
本文提出了一種簡單的歸約方法,可以將自反圖的 H-重新著色問題簡化為無平方自反圖的 H-重新著色問題,並證明了在沒有誘導鑽石圖的自反圖中,H-重新著色問題可以在多項式時間內解決。
線上投票容易受到惡意影響者操控,他們可以透過阻止選民參與來左右選舉結果,即使在簡化條件下,例如只有兩位候選人或無限預算,這種操控行為在計算上仍然很困難。
測試一個給定的多項式是否等價於一個稀疏多項式(ETsparse 問題)在任何域上都是 NP 難的,即使輸入多項式以稀疏表示形式給出。
本文證明了判斷一個交互作用是否為不可約簡量化交互作用的問題是可判定的,這意味著我們可以通過有限步驟的計算來確定一個交互作用是否滿足該性質。