Bástyagráf
A matematika, azon belül a gráfelmélet területén egy bástyagráf (rook's graph) olyan gráf, ami a sakkjátékban szereplő bástya nevű figura lehetséges lépéseit jeleníti meg egy sakktáblán: a csúcsok a sakktábla egy-egy mezőjét jelképezik, az élek pedig a legális lépéseket köztük. A bástyagráfok erősen szimmetrikus, perfekt gráfok; jellemző rájuk, hogy éleik hány háromszöghöz tartoznak, valamint a nem szomszédos csúcspárokat összekötő 4-körök létezése. A bástyagráf a sakkfigurák gráfjai között (futógráf, huszárgráf, királygráf, vezérgráf) egyedülálló szimmetriákat és regularitást mutat.
| Bástyagráf | |
 | |
| 8×8-as bástyagráf | |
| Csúcsok száma | nm |
| Élek száma | nm(n + m)/2 − nm |
| Átmérő | 2 |
| Derékbőség | 3 (ha max(n, m) ≥ 3) |
| Kromatikus szám | max(n, m) |
| Egyéb | reguláris, csúcstranzitív, perfekt jól fedett |
Definíció és jellemzés szerkesztés
Egy n × m-es bástyagráf a bástya lépési lehetőségeit mutatja meg egy n × m-es sakktáblán. Csúcsaihoz (x, y) koordináták rendelhetők, ahol 1 ≤ x ≤ n és 1 ≤ y ≤ m egész számok. Az (x1, y1), illetve (x2,y2) csúcsok pontosan akkor szomszédosak, ha az x1 = x2 és az y1 = y2 állítások valamelyike igaz; tehát ha a sakktábla azonos oszlopában vagy sorában találhatóak.
Egy n × m-es bástyagráfnál a csúcsok száma nm, az n × n-es bástyagráfnál (amilyen a normál sakktábla is, n=8), a csúcsok száma n2, az élek száma pedig n3 − n2; ebben az esetben a gráf egy kétdimenziós Hamming-gráf vagy latin négyzet-gráf.
Minden bástyagráf 2-összefüggő és rendelkezik Hamilton-körrel az elfajult n=1 vagy m=1 eset kivételével. A bástyagráf speciális esete az 1×n-es sakktáblán a teljes gráf.
Egy n × m-es bástyagráf meghatározható úgy is, mint a Kn és Km teljes gráfok Descartes-szorzata, képlettel kifejezve Kn ◻ Km. A 2 × n-es bástyagráf komplementere egy koronagráf.
(Moon 1963) és (Hoffman 1964) jellemzése alapján az m × n-es bástyagráfok a következő egyedi, rájuk jellemző tulajdonságokkal bírnak:[1][2]
- mn csúccsal rendelkezik, melyek mindegyikéhez n + m − 2 él tartozik.
- Az élek közül pontosan mn(m − 1)/2 tartozik m − 2 háromszöghöz, a maradék mn(n − 1)/2 él pedig n − 2 háromszöghöz (a háromszögelés során a bástya megtartja vagy saját sorát, vagy saját oszlopát).
- Bármely két, nem szomszédos csúcs pontosan egy, rájuk jellemző 4-körhöz tartozik.
Ha n = m, a feltételek rövidebben úgy is megfogalmazhatók, hogy az n × n-es bástyagráf erősen reguláris gráf srg(n2, 2n − 2, n − 2, 2) paraméterekkel, és minden ezekkel a paraméterekkel rendelkező, erősen reguláris gráf egy n × n-es bástyagráf, kivéve, ha n ≠ 4. Az n = 4 esetben létezik még egy, az 4 × 4 bástyagráf paramétereivel megegyező erősen reguláris gráf, méghozzá a Shrikhande-gráf. A Shrikhande-gráf és a 4 × 4-bástyagráf könnyen megkülönböztethetők egymástól, mivel a bástyagráf bármely csúcsának szomszédságában két háromszög, a Shrikhande-gráf bármely csúcsának szomszédságában pedig egy 6-kör található.
Szimmetria szerkesztés
A bástyagráfok csúcstranzitív és (n + m − 2)-reguláris gráfok; ők az egyetlen, standard sakkfigurák mozgását leíró reguláris gráfok.[3] Ha m ≠ n, a bástyagráf szimmetriái a gráf sorainak, illetve oszlopainak külön-külön permutálásából adódnak. Ha n = m, a gráf további, a sorok és oszlopok felcseréléséből adódó szimmetriákkal is rendelkezik.
A bástyagráf bármely két csúcsa vagy 1 vagy 2 távolságra van egymástól. Bármely két, nem szomszédos csúcs transzformálható másik két nem szomszédos csúccsá a gráf egy szimmetriája segítségével. Ha a bástyagráf nem négyzetes, a szomszédos csúcspárok a szimmetriacsoport két pályájába esnek, attól függően, hogy vízszintesen vagy függőlegesen szomszédosak; ha viszont a gráf négyzetes, bármely két szomszédos csúcs átvihető egymásba egy szimmetria segítségével, ezáltal a gráf távolságtranzitív.
Ha m és n relatív prímek, a bástyagráf Sm × Sn szimmetriacsoportja alcsoportként magában foglalja a Cmn = Cm × Cn ciklikus csoportot, ami az mn csúcs ciklikus permutációjával hat; ebben az esetben tehát a bástyagráf egy cirkuláns gráf.
Perfektség szerkesztés
A bástyagráf úgy is tekinthető, mint a Kn,m teljes páros gráf élgráfja – tehát olyan gráf, ami a Kn,m minden éléhez egy csúcsot tartalmaz, és két csúcsa akkor szomszédosak, ha a teljes páros gráfban a megfelelő élek közös végpontból indulnak.[4] Így tekintve, a teljes páros gráf egy éle, ami a bipartíció egyik oldalának i-edik csúcsa és a bipartíció másik oldalának j-edik csúcsa között húzódik, egy sakktábla (i, j) koordinátájú mezőjének felel meg.
Bármely páros gráf egy teljes páros gráf részgráfja, ennek megfelelően bármely páros gráf élgráfja egy bástyagráf feszített részgráfja.[5] A páros gráfok élgráfjai perfektek: bennük, és bármely feszített részgráfjukban a színezésükhöz szükséges színek száma megegyezik legnagyobb teljes részgráfjuk (klikkjük) csúcsainak számával. A páros gráfok élgráfjai a perfekt gráfok fontos családját alkotják: egyikét alkotják a (Chudnovsky et al. 2006) által a perfekt gráfok karakterizációjához felhasznált kevés számú családnak, melyekkel megmutatták, hogy a páratlan lyukak és páratlan antilyukak nélküli gráfok perfektek.[6] Továbbá a bástyagráfok maguk is perfektek.
Mivel a bástyagráfok perfektek, a gráf színezéséhez annyi színre van szükség, mint a legnagyobb klikkjének a mérete. A bástyagráfok klikkjei sorainak és oszlopainak részhalmazai, ezek közül a legnagyobbaknak a mérete max(m, n), tehát ennyi a gráf kromatikus száma is. Egy n × n-es bástyagráf n-színezése latin négyzetként is értelmezhető: leírja, hogy lehet az n × n-es rács sorait és oszlopait úgy feltölteni n különböző értékkel, hogy ugyanaz az érték ne jelenjen meg egynél többször ugyanabban a sorban vagy oszlopban.[7]
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Nyolc, egymást nem támadó bástya a sakktáblán; a megfelelő bástyagráfban ezek maximális elemszámú független csúcshalmazt alkotnak | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Egy bástyagráf független csúcshalmaza olyan csúcsok halmaza, melyek közül semelyik sincs a gráf azonos oszlopában vagy sorában, azaz, sakk-terminológiával élve olyan, a sakktáblán elhelyezett bástyákról van szó, melyek közül semelyik sem áll ütésben a többiek által. A perfekt gráfok úgy is leírhatók, mint olyan gráfok, melyek minden feszített részgráfjában a legnagyobb független csúcshalmaz mérete megegyezik a lehető legkevesebb klikkbe particionálásban a klikkek számával. Egy bástyagráfban a sorok halmaza vagy az oszlopok halmaza (amelyik kisebb) ilyen optimális partíciót alkot. A gráf legnagyobb független csúcshalmazának mérete ezért min(m, n). A bástyagráf bármely optimális színezésének összes színosztálya maximális elemszámú független csúcshalmazt alkot.
Dominálás szerkesztés
Egy gráf dominálási száma a legkisebb domináló halmazának elemszámával egyezik meg. A bástyagráfban egy csúcshalmaz pontosan akkor domináló halmaz, ha az m × n-es sakktáblán nekik megfelelő mezők vagy megegyeznek, vagy egy bástyalépés távolságra vannak a többi mezőtől. Az m × n-es táblán a dominálási szám min(m, n).[8]
A bástyagráf egy k-domináló halmaza olyan csúcshalmaz, melyhez tartozó mezőkön álló bástyák minden más mezőt legalább k-szor támadnak. A bástyagráf k-tuple domináló halmaza olyan csúcshalmaz, melyhez tartozó mezőkön álló bástyák minden más mezőt legalább k-szor támadnak, és ők maguk is legalább k − 1-szer ütésben állnak. Ak-domináló és k-tuple domináló halmazok közül a legkisebb számosságúnak az elemszámát k-dominációs számnak, illetve k-tuple dominációs számnak nevezik. Négyzetes táblán, páros k-ra a k-dominációs szám nk/2, ha n ≥ (k2 − 2k)/4 és k < 2n. Hasonlóan, a k-tuple dominációs szám n(k + 1)/2, ha k páratlan és kisebb, mint 2n.[9]
Kapcsolódó szócikkek szerkesztés
Jegyzetek szerkesztés
- ↑ Moon, J. W. (1963), "On the line-graph of the complete bigraph", Annals of Mathematical Statistics 34 (2): 664–667, DOI 10.1214/aoms/1177704179.
- ↑ Hoffman, A. J. (1964), "On the line graph of the complete bipartite graph", Annals of Mathematical Statistics 35 (2): 883–885, DOI 10.1214/aoms/1177703593.
- ↑ Elkies, Noam, Graph theory glossary, <http://www.math.harvard.edu/~elkies/FS23j.05/glossary_graph.html>.
- ↑ A teljes gráfok Descartes-szorzata és a teljes páros gráfok élgráfja közötti ekvivalenciához lásd: de Werra, D. & Hertz, A. (1999), "On perfectness of sums of graphs", Discrete Mathematics 195 (1–3): 93–101, doi:10.1016/S0012-365X(98)00168-X, <http://www.gerad.ca/~alainh/Sum.pdf>.
- ↑ de Werra & Hertz (1999).
- ↑ Chudnovsky, Maria; Robertson, Neil & Seymour, Paul et al. (2006), "The strong perfect graph theorem", Annals of Mathematics 164 (1): 51–229, doi:10.4007/annals.2006.164.51, <https://web.math.princeton.edu/~pds/papers/perfect/perfect.pdf>.
- ↑ A teljes páros gráfok élszínezése és a latin négyzetek ekvivalenciája tárgyában lásd pl. LeSaulnier, Timothy D.; Stocker, Christopher & Wenger, Paul S. et al. (2010), "Rainbow matching in edge-colored graphs", Electronic Journal of Combinatorics 17 (1): Note 26, 5,, <http://www.combinatorics.org/Volume_17/Abstracts/v17i1n26.html>.
- ↑ Yaglom, A. M. & Yaglom, I. M. (1987), "Solution to problem 34b", Challenging Mathematical Problems with Elementary Solutions, Dover, p. 77, <https://books.google.com/books?id=VkHDAgAAQBAJ&pg=PA77>.
- ↑ Burchett, Paul; Lane, David & Lachniet, Jason (2009), "K-domination and k-tuple domination on the rook's graph and other results", Congressus Numerantium 199: 187–204.
További információk szerkesztés
- Weisstein, Eric W.: Lattice Graph (angol nyelven). Wolfram MathWorld