Jabarkan Teori graf dari Bentuk kanonik

Dalam teori graf, cabang matematika yaitu kanonisasi graf adalah masalah menemukan bentuk kanonis dari graf tertentu G. Bentuk kanonis adalah label graf Canon(G) yaitu isomorfik menjadi G, sehingga setiap graf isomorfis terhadap G memiliki bentuk kanonis yang sama dengan G. Jadi, dari solusi untuk masalah kanonisasi graf, bisa menyelesaikan masalah isomorfisme graf: untuk menelaahnya apakah dua graf G dan H adalah isomorfik, dari hitung bentuk kanonisnya Canon(G) dan Canon(H), dan telaah apakah kedua bentuk kanonis ini identik.