세트 포인트는 이전 m의 \ (V_. 1 ... m}는 {\) , 단 구성 설정 m 점의 집합 \합니다 (U- = \ {{V_. 1 ... m} \} \) , 첫 번째에 각 세트에 대해 \ (S \는 U-을 \ SUBSETEQ) 추구 \ (S를 \) 의 모든 포인트 및 세트의 크기를 설정.
수 (\) F (S) \ 것은 나타낸다 \ (S \) 의 모든 포인트 설정하고 설정된 크기 \ (G (S) \) 대표 \ (S \) , 포인트들의 세트의 모든 크기의 교차점을 포함 및 배제에 따른 원칙적있다
\ [F (S) = \ sum_ {T \의 SUBSETEQ의 S} (-1) ^ {| T | -1} g (T) \]
모든 결정 \ (\ g (S)) 접두사 후에 높은 치수로한다.
찾는 방법에 대한 \ (G (S) \) , 각 포인트에 대해 고려 될 수있다 \ (X \) 모두, (\ S) \ ( \ (S \) 를 포함 CCCC 모든 지점 세트 \을 (X \) 모든 점을 포함하는 경우)에 기여하고 찾을 수 \을 (X \) 로 이루어진 세트 포인트 세트 '\) \ (S 모든 다음, \) \ (T \의 SUBSETEQ의 S' , 점 (\ X는 \) 상의 것 \ (T \) , 기부 생성되도록 직접 배열에서 \ (g [S '] \ ) 을 더한 후 높은 차원의 확장에 관한 것이다.