低重み多項式倍数問題について

低重み多項式倍数問題（LWPM）は、最大充足可能性問題（MAX-SAT）に厳密に還元できることが示され、LWPM問題の困難性が示唆されています。