A közvetlen terméke grafikonok 1
enged
és - a két egy időben-orientált vagy nem-orientált gráf diszjunkt a terméket vershin.Pryamymgrófok Ez az úgynevezett Count egy több csúcs, ahol egy ív (él) a vertex a lap tetejére létezik akkor és csak akkor létezik olyan ív (bordák) és ugyanabban az időben.Tekintsük a működését a közvetlen terméke grafikonok mátrix formában.
Teorema2.2.6. enged
és - a két egy időben-orientált vagy nem-orientált gráfot diszjunkt csúcsok, - szomszédsági mátrix a csúcsok rendre. Ezután a a gráf szomszédsági mátrix egy mátrix dimenzió, amelyben az elem , jelezve az élek számát (élek), hogy csatlakoztassa a felső a , Ez a következőképpen számítjuk ki:,
ahol
és - a mátrix elemei illetve , . MatritsyAravna dimenziója is. A definíció szerint egy gráf van egy ív (él) megy a vertex a lap tetejére , akkor és csak akkor, ha íves egyidejűleg (bordák) és . Elem szomszédsági mátrix grafaG határozza meg, az élek számát (éleket) a csúcsok a lap tetejére . Megkeresése ívek száma (éleket) a grafikonok és , amely egyúttal és , Ez megfelel a működését figyelembe a minimális elemeket és mátrixok volt.Következmény. Ha grafikonok
és nem több ívek (élek), és egy hurok egy irányítatlan gráf nem tekinthető egy dupla, akkor a számítás az elemek a szomszédsági mátrix csúcsok működését figyelembe a minimális elem megfelel egy hagyományos számítási vagy logikai termék: .Megjegyzés. Egyszerűsítése és meggyorsítása a folyamat számítási mátrix elemeinek szomszédossági vershinAgrafa
Használjuk a következő megjegyzést. azt feltételezzük, hogy az általánosság elvesztése nélkül. Rendelje meg a sorok és oszlopok matritsyAsleduyuschim módon: Akkor matritsuAmozhno osztva blokkokat tartalmazhat a mátrix elemeinek A1. dimenziószámcsökkentő . Az elem az egyes blokkok fiksirovannyeiiki kell kiszámítani , ráadásul - egy fix eleme a mátrix A1. Ha az elemek a mátrixok A1 és A2 szed csak az értéket 0 és 1, akkor - Közvetlen (tenzor) mátrix termék:ahol
szorozva a skalár mátrix A2. 0, ha , és egyenlő az A2. ha .Primer2.2.6. Egy művelet közvetlen terméke a grafikonok ábrán látható. 2.2.12.
Nyilvánvaló, hogy a levelezés a halmaz elemei
és Ez határozza meg a izomorfizmus grafikonok és , ami igaz az általános esetben.Forma a csúcsai a szomszédsági mátrix kezdeti számít, és.
, .Szerint a következménye Tétel 2.2.6 és Megjegyzés, a szomszédsági mátrix csúcsok
Ez a következő:Ez könnyen ellenőrizhető, hogy a szomszédsági mátrix megfelel csúcsok számát
, ábrán látható. 2.2.12.Működése a közvetlen terméke grafikonok a következő tulajdonságokkal rendelkezik, amelyek eredményeként a meghatározása, és tulajdonságait a Descartes-szorzat a készletek, és érvényes minden orientált vagy nem-orientált egyidejűleg grafikonok
A diszjunkt csúcsok:A művelet a közvetlen termék lehet terjeszteni indukciós bármely véges halmazát irányított vagy irányítatlan gráf diszjunkt csúcsok:
.