Ekstrem grafikler teorisi
Olarak grafik teorisi , bir uç değer grafik bir özelliği ile ilgili olarak herhangi bir kenar ilave özelliği doğrulamak için grafik neden olacağı şekilde bir grafiktir . Uç grafiklerin incelenmesi iki konuya ayrılabilir: özelliği sağlamak için gerekli olan kenar sayısında alt sınırların araştırılması (minimum derece gibi diğer parametrelerde bile) ve uç grafiklerin kendilerinin karakterizasyonu.
P{\ displaystyle P}
P{\ displaystyle P}![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
Uç grafiklerin incelenmesi , grafiklerin kombinatoryal çalışmasının bir dalıdır .
Titiz tanım
Izin vermek , grafikler üzerinde kenarlar ve rastgele bir grafik eklenerek korunan bir özellik olsun . Aşağıdaki durumlarda P özelliğine göre aşırı olduğu söylenir:
P{\ displaystyle P}
G=(V,E){\ displaystyle G = (V, E)}
G{\ displaystyle G}![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
-
G{\ displaystyle G}
kontrol etmeyin ;P{\ displaystyle P}![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
-
∀(x,y){\ displaystyle \ forall (x, y)}
bitişik değil , grafik kontrol eder .G{\ displaystyle G}
G′=(V,E∪(x,y)){\ displaystyle G '= (V, E \ fincan (x, y))}
P{\ displaystyle P}![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
Öte yandan, bir işlev daha düşük bağlanmış göre özelliğine olduğunu eğer olmasını sağlar olduğunu doğrular .
f{\ displaystyle f}
P{\ displaystyle P}
∀G=(V,E),|E|>f(|V|){\ displaystyle \ forall G = (V, E), | E |> f (| V |)}
G{\ displaystyle G}
P{\ displaystyle P}![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
Aşırı grafiklerin mutlaka en iyi alt sınırı karşılamadığını unutmayın.
Örnekler
"Üçgenleri bir alt grafik olarak kabul etmeyin" özelliği için bir alt sınırdır . Ekstrem grafikler tam olarak iki parçalı grafiklerdir ve .
P={\ displaystyle P =}
|E|=|V|24{\ displaystyle | E | = {\ frac {| V | ^ {2}} {4}}}
Kk,k{\ displaystyle K_ {k, k}}
Kk,k+1{\ displaystyle K_ {k, k + 1}}![K _ {{k, k + 1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f0b4ad38a305c16bfc82419e47cdf4cf7c12dc3)
Daha genel olarak, "l büyüklüğünde bir kliği bir alt grafik olarak kabul etmemek" için, uç grafikler tam grafiklerdir (l-1) -parçadır . Bu sonuç, Turán teoreminin bir sonucudur ve aynı zamanda bir alt sınır sağlar (buraya dahil edilemeyecek kadar uzun).
Pl={\ displaystyle P_ {l} =}
Kk,..,k,k+1,..,k+1{\ displaystyle K_ {k, .., k, k + 1, .., k + 1}}![K _ {{k, .., k, k + 1, .., k + 1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5131e5c4f16a3dc7a3ea5698a10afbbd089328c)
İlgili Makaleler
Referanslar
-
(in) JH van Lint ve RM Wilson , Kombinatorik A Kursu , Cambridge University Press, 2001, 2 inci ed. ( ISBN 0-521-80340-3 ) , özellikle bölüm 4: "Turan teoremi ve aşırı grafikler"
-
(in) Reinhard Diestel , Grafik Teorisi , Springer-Verlag, Heidelberg, New York, 1997, 2000, 2005 [ çevrimiçi okumak ] 3 inci ed.
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">