|
Eng kata daraxt,eng qisqa va eng uzun yo’l Reja
|
| bet | 1/5 | | Sana | 29.05.2023 | | Hajmi | 0.8 Mb. | | #66430 |
Bog'liq Karimova Gavhar diskret tuzilmalar tarmoqXavfszligi, Operatison Tizim(MI), Operatsion Tizim(MI), Firdavs(komp tarmoq), Fast Scan 18-09-2021 0710, OperatsionTizim(2)
Mustaqil ish mavzusi:Eng kata daraxt,eng qisqa va eng uzun yo’l
Reja:
1.Daraxt va unga ekvivalent tushunchalar
2.O’rmon . Asiklik graf
3.Daraxtlar haqidagi asosiy teoremalar
4.Grafning sinch daraxti,sinch o’rmoni ,siklomatik soni
5.Xulosa
Daraxt va unga ekvivalent tushunchalar.
Siklga ega bo‘lmagan orientirlanmagan bog'lamli graf daraxt deb ataladi . Ta’rifga ko‘ra daraxt sirt-moqlar va karrali qirralarga ega emas. Siklga ega bo‘lmagan orientirlanmagan graf o‘rmon (asiklik graf) deb ataladi. 1- m i s о 1. 1- shaklda bogiamli kompo-nentli soni beshga teng boigan graf tasvirlangan bo‘lib, u o‘rmondir.Bu graf-
dagi bog‘lamli komponentlar-
n ing har biri daraxtdir. 2- misol. 2- shaklda to‘rtta uchga ega bir-biriga izomorf bo‘lmagan barcha (ular bor-yog‘i ikkita) daraxtlarning geometrik ifodalanishi tasvirlangan.
Beshta uchga ega bir-biriga izomorf bo‘lmagan barcha daraxtlar uchta, oltita uchga ega bunday barcha daraxtlar esa oltita ekanligini ko‘rsatish qiyin emas.
Daraxt tushunchasiga boshqacha ham ta’rif berish mumkin. Umuman olganda, G (m ,n) - graf uchun daraxtlar haqidagi asosiy teorema deb ataluvchi quyidagi teorema o ‘rinlidir.
1-teorema. Uchlari soni m va qirralari soni n bo'lgan G graf uchun quyidagi tasdiqlar ekvivalentdir:
1) G daraxtdir;
2) G asiklikdir va n = m — \;
3) G bog 'lamlidir va n = m — \ ;
4) G bog'lamlidir va undan istalgan qirrani olib tashlash amalini qo'llash natijasida bog'lamli bo lmagan graf hosil bo'ladi, y a ’ni G ning har bir qirrasi ко 'prikdir;
5) G grafninng o'zaro ustma-ust tushmaydigan istalgan ikkita uchi faqat bitta oddiy zanjir bilan tutahtiriladi;
6) G asiklik bo 'lib, uning qo ‘shni bo ‘Imagan ikkita uchini qirra bilan tutashtirish amalini qo ‘Hash natijasida faqat bitta siklga ega bo ‘Igan graf hosil bo 'ladi.
Isboti.
Teoremaning 1) tasdig‘idan uning 2) tasdig‘i kelib chiqishini isbotlaymiz. G graf daraxt bo‘lsin. Daraxtning ta’rifiga ko'ra, u asiklik bo‘lishini ta’kidlab, m bo‘yicha matematik induksiya usulini qo‘llaymiz.
Matematik induksiya usulining bazasi: agar m = 1 bo‘lsa, u holda G daraxt faqat bitta uchdan tashkil topgan bo‘ladi. Tabiiyki, agar bitta uchga ega bo‘lgan grafda sikl bo‘lmasa, u holda unda birorta ham qirra yo‘q, ya’ni n = 0 . Demak, bu holda tasdiq to‘g‘ridir.
Induksion o‘tish: G daraxt uchun k > 2 va m = k bo‘lganda 2) tasdiq o ‘rinli bo‘lsin deb faraz qilamiz. Endi uchlari soni m = k + 1 va qirralari soni n bo‘lgan daraxtni qaraymiz. Bu daraxtning ixtiyoriy qirrasini (v,,v2) bilan belgilab, undan bu qirrani olib tashlasak, v, uchdan v2 uchgacha marshruti (aniqrog‘i, zanjiri) mavjud bo‘lmagan grafni hosil qilamiz, chunki agar hosil bo‘lgan grafda bunday zanjir bor bo‘lsa edi, u holda G1 daraxtda sikl topilar edi. Bunday bo‘lishi esa mumkin emas.
Hosil bo‘lgan graf ikkita G1, va G2 bog‘lamli komponentlardan iborat bo‘lib, bu komponentlarning har biri daraxtdir. Yana shuni ham e’tiborga olish kerakki, G1, va G2 daraxtlaming har biridagi uchlar soni к dan oshmaydi.
Matematik induksiya usuliga ko‘ra, bu daraxtlaming har birida qirralar soni uning uchlari sonidan bitta kam bo‘lishini ta’kidlaymiz, ya’ni Gi graf (mi,ni) -graf bo‘lsa, quyidagi tengliklar o‘rinlidir:
n = n1 + n 2 + 1, к +1 = mi + m1 va nt = mt. — 1 (i= 1 , 2 ).
Bu tengliklardan n = n1+ n2 +1 = m1- 1 + m2 - 1 +1 = (m1, + m2) -1 = (k + 1) -1 boiishi kelib chiqadi. Demak, m = k + 1 bo‘lganda ham n =m — 1 tenglik o ‘rinlidir.
Bu esa, matematik induksiya usuliga ko‘ra, kerakli tasdiqning isbotlanganligini anglatadi.
|
| |
