„Mycielski-konstrukció” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Ignion (vitalap | szerkesztései)
SamatBot (vitalap | szerkesztései)
a →‎Definíció: kisebb formai javítások
3. sor:
 
==Definíció==
A '''Mycielski-konstrukció''' a <math>V(G)=\{v_1,...,v_n\}</math> csúcshalmazú <math>G</math> [[gráf]]hoz egy olyan <math>M(G)</math>-vel jelölt gráfot rendel, melyben [[feszített részgráf]]ként szerepel a <math>G</math> gráf, továbbá még n+1 csúcs. Ezek a következő elrendezésben: Minden <math>G</math>-beli <math>v_i</math> csúcsnak van egy <math>u_i</math> párja, melynek szomszédsága megegyezik a <math>v_i</math> szomszédságával, vagyis azokkal és csak azokkal a csúcsokkal van összekötve, amelyekkel <math>v_i</math>. Az (n+1)-edik új csúcs (<math>w</math>) mindegyik <math>u_i</math> csúccsal össze van kötve, de egyetlen <math>v_i</math>-vel sincs.
Mycielski-gráfoknak azokat a gráfokat nevezzük, amelyek a két csúcsú [[teljes gráf]]ból, vagyis a két pontból és egyetlen élből álló gráfból előállíthatóak a fenti eljárás egymás után következő véges számú alkalmazásával.
 
[[Fájl:Groetzsch-as-Mycielski.png]]
 
 
Az ábrán a felső öt csúcs által feszített részgráf az <math>M_3</math>-mal izomorf, az ábrán jelölt többi csúccsal alkotja az <math>M_4</math>-et.