Graafi kanooniline esitus: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
täiendav teave |
Näitefaili uuendamine |
||
7. rida:
==Graafi kanooniline esitus [[graafi seosmaatriks]]i [[astendamine|astendamise]] baasil==
[[File:
Tipupaarid graafi lähte seosmaatriksis <math>E^1</math> moodustavad vaid kaks klassi: servade ja mitteservade klassi. Seosmaatriksi korrutamisel iseendaga, <math>E^1\cdot E^1=E^2</math> suureneb klasside arv <math>p</math> ja see jätkub teatud astmeni <math>E^n</math> ning lõppeb siis. Klassi identifikaatoriteks on ühesuguste väärtustega elemendid <math>e^n_{i,j}</math> korrutises <math>E^n</math>. Oluline on, et maksimaalse arvu <math>p</math> korral identifitseeritakse kõik tipupaari klassid. ▼
▲Tipupaarid graafi lähte seosmaatriksis <math>E^1</math> moodustavad vaid kaks klassi: servade ja mitteservade klassi. Seosmaatriksi korrutamisel iseendaga, <math>E^1\cdot E^1=E^2</math> suureneb klasside arv <math>p</math> ja see jätkub teatud astmeni <math>E^n</math> ning lõppeb siis. Klassi identifikaatoriteks on ühesuguste väärtustega elemendid <math>e^n_{i,j}</math> korrutises <math>E^n</math>. Oluline on, et maksimaalse arvu <math>p</math> korral identifitseeritakse kõik tipupaari klassid.
▲[[File:STRUSKAN.jpg|pisi|Graph canonization by exponentation the adjacency matrix]]
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..
|