近似計算最大獨立集等同於#SAT

最大獨立集的近似計數問題與#SAT問題在AP-reduction下是等價的。