Основные понятия
本文證明了尋找給定多項式的低權重倍式問題 (LWPM) 可以簡化為最大可滿足性問題 (MAX-SAT),並提出任何 MAX-SAT 解決方案都可以用於解決 LWPM 問題,進一步證實了 LWPM 問題的難度。
標題:關於低權重多項式倍式問題
作者:Ferucio Laurent¸iu T¸iplea, Simona-Maria L˘az˘arescu
本研究旨在探討低權重多項式倍式問題 (LWPM) 與最大可滿足性問題 (MAX-SAT) 之間的關係,並嘗試利用此關係解決 LWPM 問題。