Graafi kanooniline esitus: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
Kanejuku (arutelu | kaastöö)
PResümee puudub
märgiparandus
13. rida:
Tipupaari klassid langevad kokku graafi <math>G</math> tipupaari [[orbiit]]idega (see on [[rühmateooria]] mõiste). Kontranäiteid ei ole tuvastatud. See fakt vajab tõestamist või ümberlükkamist. Tipuorbiidid tulevad ilmsiks korrutise <math>E^n</math> korrastamise käigus..
 
Identifikaatorite <math>e^n_{i,j}</math> väärtused on järjestatavad jadaks <math>S^n_p=e^n_{1}< e^n_{2}< </math> … <math> < e^n_{p}</math>. Saadud korrutise <math>E^n</math> igale reale <math>i</math> kinnistada vector <math>u^n_i</math> mis esitab tipupaari klasside arvu selles reas. Kõikide ridade <math>i</math> ja veergude <math>j</math> leksikograafiline ümberjärjestamine vektorite <math>u^n_i</math> põhjal korrutises <math>E^n</math> moodustab korrastatud korrutise <math>E^n_ord</math> mis esitab kõik tipupaaride- ja tippude orbiidid. See kujutab endast isomorfsete graafide printsipiaalset [[täielik invariant|täielikku invarianti ]]i<ref> John-Tagore Tevet. (2014). ''Semiotic modeling of the structure''. ISBN 9871503367456. Amazon Books </ref>..
 
Ka [[struktuurisemiootika|graafi semiootiline mudel]] on aga selline kanooniline esitis, mis kujutab endast [[isomorfismiprobleem|isomorfsete graafide]] täielikkuolulist [[invariant]]i ning esitab nii [[graafi struktuur]]i kui ka selle [[graafi sümmeetria|sümmeetriaomadusi]] <ref>J.-T. Tevet. ''Graafide identifitseerimine''. S.E.R.R., Tallinn, 2017 ISBN 9789949816514 </ref>.
 
== Vaata ka ==