b'\n_START_ARTICLE_\nGraafi kanooniline esitus\n_START_PARAGRAPH_\nGraafi kanooniline esitus (inglise: graph canonization) on graafi esitus mingil kaudsel, mitmesuguseid invariante kasutaval viisil \xe2\x80\x93 soovitatavalt isomorfismi t\xc3\xa4psusega. Graafi kanoonilist esitust v\xc3\xb5ib nimetada ka graafi identifitseerimiseks._NEWLINE_Kanoonilise esituse probleemi p\xc3\xbcstitas Lazlo Babai  1977. aastal._NEWLINE_Frank Harary  j\xc3\xa4rgi on kanooniline esitus v\xc3\xb5imalik globaalinvariantide (pol\xc3\xbcnoomid, spektrid jt) t\xc3\xa4ieliku s\xc3\xbcsteemi baasil. A. Z\xc3\xb5kov  on arvamusel, et see on lahendatav graafi tihedust, ts\xc3\xbckleid, klikke jne iseloomustavate lokaalsete invariantide baasil. S. Locke  leiab, et isomorfismi testimiseks sobivad h\xc3\xa4sti kahends\xc3\xbcsteemis esitatud \xc3\xbclipikad 3-kuup-koodid. Kanooniliste vormide otsingud on j\xc3\xa4tkuvalt aktuaalsed . Paraku ei sisalda niisugused esitused teavet graafi struktuuri ega selle s\xc3\xbcmmeetriaomaduste kohta.\n_START_SECTION_\nGraafi kanooniline esitus graafi seosmaatriksi astendamise baasil\n_START_PARAGRAPH_\nTipupaarid graafi l\xc3\xa4hte seosmaatriksis  moodustavad vaid kaks klassi: servade ja mitteservade klassi. Seosmaatriksi korrutamisel iseendaga,  suureneb klasside arv  ja see j\xc3\xa4tkub teatud astmeni  ning l\xc3\xb5ppeb siis. Klassi identifikaatoriteks on \xc3\xbchesuguste v\xc3\xa4\xc3\xa4rtustega elemendid  korrutises . Oluline on, et maksimaalse arvu  korral identifitseeritakse k\xc3\xb5ik tipupaari klassid. _NEWLINE_Tipupaari klassid langevad kokku graafi  tipupaari orbiitidega (see on r\xc3\xbchmateooria m\xc3\xb5iste). Kontran\xc3\xa4iteid ei ole tuvastatud. See fakt vajab t\xc3\xb5estamist v\xc3\xb5i \xc3\xbcmberl\xc3\xbckkamist. Tipuorbiidid tulevad ilmsiks korrutise   korrastamise k\xc3\xa4igus.._NEWLINE_Identifikaatorite  v\xc3\xa4\xc3\xa4rtused on j\xc3\xa4rjestatavad jadaks  \xe2\x80\xa6 . Saadud korrutise  igale reale  kinnistada vector  mis esitab tipupaari klasside arvu selles reas. K\xc3\xb5ikide ridade   ja veergude  leksikograafiline \xc3\xbcmberj\xc3\xa4rjestamine vektorite   p\xc3\xb5hjal korrutises  moodustab korrastatud korrutise  mis esitab k\xc3\xb5ik tipupaaride- ja tippude orbiidid. See kujutab endast isomorfsete graafide printsipiaalset invarianti.._NEWLINE_Ka graafi semiootiline mudel on aga selline kanooniline esitis, mis kujutab endast isomorfsete graafide olulist invarianti ning esitab nii graafi struktuuri kui ka selle s\xc3\xbcmmeetriaomadusi .'