1
เซตย่อยปัญหาผลรวมที่มีเงื่อนไขการหารมากมาย
ให้SSSเป็นเซตของตัวเลขธรรมชาติ เราพิจารณาSSSภายใต้คำสั่งหารหารบางส่วนเช่นs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 2 ปล่อย antichain\}α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V}}\} หากเราพิจารณาปัญหาผลรวมย่อยของเซตของชุดตัวเลขในSSSเราจะพูดถึงอะไรเกี่ยวกับความซับซ้อนของปัญหาที่เกี่ยวข้องกับα(S)α(S)\alpha(S) ? มันง่ายที่จะดูว่าα(S)=1α(S)=1\alpha(S)=1แล้วปัญหาเป็นเรื่องง่าย หมายเหตุ: มันเป็นเรื่องง่ายแม้สำหรับปัญหาเป้หนักเมื่อ\ alpha (S) = 1 \α(S)=1α(S)=1\alpha(S)=1††\dagger ††\dagger แก้ปัญหาเป้หลังโดย M. Hartmann และ T. Olmstead (1993)