Graafi kanooniline esitus
Graafi kanooniline esitus (inglise: graph canonization) on graafi esitus mingil kaudsel, mitmesuguseid invariante kasutaval viisil – soovitatavalt isomorfismi täpsusega. Graafi kanoonilist esitust võib nimetada ka graafi identifitseerimiseks. Kanoonilise esituse probleemi püstitas Lazlo Babai 1977. aastal. Frank Harary järgi on kanooniline esitus võimalik globaalinvariantide (polünoomid, spektrid jt) täieliku süsteemi baasil. A. Zõkov on arvamusel, et see on lahendatav graafi tihedust, tsükleid, klikke jne iseloomustavate lokaalsete invariantide baasil. S. Locke leiab, et isomorfismi testimiseks sobivad hästi kahendsüsteemis esitatud ülipikad 3-kuup-koodid. Kanooniliste vormide otsingud on jätkuvalt aktuaalsed . Paraku ei sisalda niisugused esitused teavet graafi struktuuri ega selle sümmeetriaomaduste kohta.