1
Twardość obliczeń etykiet Weisfeiler-Lehman
1-wym algorytm Weisfeiler-Lehman (WL) jest powszechnie znany jako kanonicznej oznakowania lub algorytmu kolor rafinacji. Działa w następujący sposób: Początkowe zabarwienie jest jednolite, C 0 ( v ) = 1 dla wszystkich wierzchołków v ∈ V ( G ) ∪ V ( H ) .do0do0C_0do0( v ) = 1do0(v)=1C_0(v) = 1v …