Cai-Furer-Immerman 가제트의 이형
WL (Weisfeiler-Lehman) 방법을 통한 그래프 동형화에 대한 유명한 카운터 예제에서 Cai, Furer 및 Immerman 이이 논문 에서 다음 가젯을 구성했습니다 . 그들은 에 의해 주어진 그래프를 구성합니다.Xk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}V_k = A_k \cup B_k \cup …