1
automorfizm w gadżetach Cai-Furer-Immerman
W słynnym kontrprzykładzie dla izomorfizmu grafów metodą Weisfeiler-Lehman (WL) następujący gadżet został skonstruowany w tym artykule przez Cai, Furer i Immerman. Konstruują wykres podany przezXk= ( Vk, Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) V.k= Ak∪ B.k∪ M.k gdzie ZAk= { aja∣ 1 ≤ i ≤ k } ,bk= { bja∣ 1 ≤ …