logo
  1. Главная страница
  2. Рефераты
  3. Алгебра
  4. Daraxtlar Graf, uch, qirra, daraxt, о'rmon, asiklik graf

Daraxtlar Graf, uch, qirra, daraxt, о'rmon, asiklik graf

Загружено в:

20.09.2019

Скачано:

0

Размер:

47.5 KB
Скачать
Daraxtlar Graf, uch, qirra, daraxt, о &#39;rmon, asiklik graf, marshrut, sikl, zanjir, oddiy zanjir, ко &#39;prik, grafning sinch daraxti, grafning sinch o&#39;rmoni, grafning siklomatik soni. Daraxt va unga ekvivalent tushunchalar. Siklga ega bo&#39;lmagan oriyentirlanmagan bog&#39;lamli graf daraxt, deb ataladi 1 . Ta&#39;rifga ko&#39;ra, daraxt sirtmoqlar va karrali qirralarga ega emas. Siklga ega bo&#39;lmagan oriyentirlanmagan graf о &#39;rmon (asiklik graf), deb ataladi. 1-misol. 1-shaklda bog&#39;lamli komponentali soni beshga teng bo&#39;lgan graf tasvirlangan bo&#39;lib, u o&#39;rmondir. Bu grafdagi bog&#39;lamli komponentalarning har bin daraxtdir. ■ 2-misol 2-shaklda to&#39;rtta uchga ega bir-biriga izomorf bo&#39;lmagan barcha (ular bor-yog&#39;i ikkita) daraxtlarning geometrik ifodalanishi tasvirlangan. Beshta uchga ega birbiriga izomorf bo&#39;lmagan barcha daraxtlar uchta, oltita uchga ega bunday barcha daraxtlar esa oltita ekanligini ko&#39;rsatish qiyin emas. Daraxt tushunchasiga boshqacha ham ta&#39;rif berish mumkin. Umuman olganda, G(m,n)-gvaf uchun daraxtlar haqidagi asosiy teorema, deb ataluvchi quyidagi teorema o&#39;rinlidir. 1-teorema. Uchlari soni m va qirralari soni n bo &#39;Igan G graf uchun quyidagi tasdiqlar ekvivalentdir: 1) G daraxtdir; 2) G asiklikdir va n=m—l; 3) G bog&#39;lamlidir va n=m—\; 4) G bog&#39;lamlidir va undan istalgan qirrani olib tashlash amalini qo&#39;llash natijasida bog&#39;lamli bo&#39;lmagan graf hosil bo&#39;ladi, ya&#39;ni Gning har bir qirrasi ko&#39;prikdir; 5) G grafting o&#39;zaro ustma-ust tushmaydigan istalgan ikkita uchi faqat bitta oddiy zanjir bilan tutashtiriladi; 6) G asiklik bo &#39;lib, uning qo &#39;shni bo &#39;Imagan ikki uchini qirra bilan tutashtirish amalini qo &#39;Hash natijasida faqat bir siklga ega bo &#39;Igan graf hosil bo &#39;ladi. Isboti. Teoremaning 1) tasdig&#39;idan uning 2) tasdig&#39;i kelib chiqishini isbotlaymiz. G graf daraxt bo&#39;lsin.Daraxtning ta&#39;rifiga ko&#39;ra, u asiklik bo&#39;lishini ta&#39;kidlab, m bo&#39;yicha matematik induksiya usulini qo&#39;llaymiz. Matematik induksiya usulining bazasi: agar m=\ bo&#39;lsa, u holda G daraxt faqat bitta uchdan tashkil topgan bo&#39;ladi. Tabiiyki,agar bitta uchga ega bo&#39;lgan grafda sikl bo&#39;lmasa, u holda unda birorta ham qirra yo&#39;q, ya&#39;ni n=0. Demak, bu holda tasdiq to&#39;g&#39;ridir. Induksion o&#39;tish: G daraxt uchun k>2 va m=k bo&#39;lganda, 2) tasdiq o&#39;rinli bo&#39;lsin deb faraz qilamiz. Endi uchlari soni m=k+l va qirralari soni n bo&#39;lgan daraxtni qaraymiz. Bu daraxtning ixtiyoriy qirrasini (v p v 2 ) bilan belgilab, undan bu qirrani olib tashlasak, Vj uchdan v 2 uchgacha marshruti (aniqrog&#39;i, zanjiri) mavjud bo&#39;lmagan grafni hosil qilamiz, chunki agar hosil bo&#39;lgan grafda bunday zanjir bor bo&#39;lsa edi, u holda G daraxtda sikl topilar edi. Bunday bo&#39;lishi esa mumkin emas. Hosil bo&#39;lgan graf ikkita G l va G 2 bog&#39;lamli komponentalardan iborat bo&#39;lib, bu komponentalarning har biri daraxtdir. Yana shuni ham e&#39;tiborga olish kerakki, G l va G 2 daraxtlarning har biridagi uchlar soni к dan oshmaydi. Matematik induksiya usuliga ko&#39;ra, bu daraxtlarning har birida qirralar soni uning uchlari sonidan bitta kam bo&#39;lishini ta&#39;kidlaymiz, ya&#39;ni G x graf (m, «)-graf bo&#39;lsa, quyidagi tengliklar o&#39;rinlidir: n=n x +n 2 +\, k+l=m l +m 2 va. n=m — \ (/=1,2). Bu tengliklardan n=n l +n 2 +l=m ] — l+m 2 — 1+1= (m x +m 2 )—l= (k+l)—l bo&#39;lishi kelib chiqadi. Demak, m=k+l bo&#39;lganda ham n=m—\ tenglik o&#39;rinlidir. Bu esa, matematik induksiya usuliga ko&#39;ra, kerakli tasdiqning isbotlanganligini anglatadi. •Endi daraxtlar haqidagi asosiy teoremaning 2) tasdig&#39;idan uning 3) tasdig&#39;i kelib chiqishini isbotlaymiz. G graf asiklik, ya&#39;ni u siklga ega bo&#39;lmagan graf va n=m— 1 bo&#39;lsin. G grafning bog&#39;lamli bo&#39;lishini isbotlash kerak. Agar G graf bog&#39;lamli bo&#39;lmasa, u holda uni har bir bog&#39;lamli komponentasi siklsiz graf G. (ya&#39;ni daraxt) bo&#39;lgan qandaydir к kta (k>l) graflar dizyunktiv birlashmasi sifatida ^=U^ tenglik ___ /=] bilan ifodalash mumkin. Har bir i = l , k uchun G. t graf daraxt bo&#39;lgani uchun, yuqorida isbotlangan tasdiqqa ko&#39;ra, agar unda m j ta uch va «.ta qirra bo&#39;lsa, u holda G. asiklikdir va n=m— 1 tenglik к к o&#39;rinlidir. Tushunarliki, m=^m i van=^n r . Demak, ya&#39;ni G graf uchlarining umumiy soni undagi qirralar umumiy sonidan k ta ortiqdir. Bu esa, k> 1 bo&#39;lgani uchun, n=m~ 1 tenglikka ziddir. Zarur tasdiq isbotlandi. Teoremaning 3) tasdig&#39;idan uning 4) tasdig&#39;i kelib chiqishini isbotlaymiz. G — bog&#39;lamli graf va n=m— 1 bo&#39;lsin. Awalo, k ta bog&#39;lamlilik komponentalariga ega karrali qirralari bo&#39;lmagan sirtmoqsiz (m,n)-graf uchun munosabat o&#39;rinli bo&#39;lishini eslatamiz. n=m—l bo&#39;lgani sababli G bog&#39;lamli grafdan istalgan qirra olib tashlansa, natijada m ta uch va (m—2) ta qirralari bo&#39;lgan graf hosil bo&#39;ladiki, bunday graf m—k<n shartga binoan bog&#39;lamli bo&#39;la olmaydi. Kerakli tasdiq isbotlandi. Daraxtlar haqidagi asosiy teoremaning 4) tasdig&#39;idan uning 5) tasdig&#39;i kelib chiqishini isbotlaymiz. G bog&#39;lamli graf va uning har bir qirrasi ko&#39;prik bo&#39;lsin, deb faraz qilib, bu grafninng o&#39;zaro ustma-ust tushmaydigan istalgan ikkita uchi faqat bitta oddiy zanjir bilan tutashtirilishi mumkinligini ko&#39;rsatamiz. G bog&#39;lamli graf bo&#39;lgani uchun, uning istalgan ikki uchi hech bo&#39;lmasa, bitta oddiy zanjir vositasida tutashtiriladi. Agar qandaydir ikki uch bittadan ko&#39;p, masalan, ikkita turli oddiy zanjir vositasida tutashtirilishi imkoniyati bo&#39;lsa, u holda bu uchlarning biridan zanjirlarning birontasi bo&#39;ylab harakatlanib ikkinchi uchga, keyin bu uchdan ikkinchi zanjir bo&#39;ylab harakatlanib dastlabki uchga qaytish imkoniyati bor bo&#39;lar edi. Ya&#39;ni qaralayotgan graf da sikl topilar edi. Tabiiyki, tarkibida sikl mavjud bo&#39;lgan grafning siklga tegishli istalgan bitta qirrasini olib tashlash uning bog&#39;lamliligi xossasini o&#39;zgartirmaydi, ya&#39;ni bu holda grafning siklga tegishli istalgan qirrasi ko&#39;prik bo&#39;lmaydi. Bu esa qilingan farazga ziddir.Teoremaning 4) tasdig&#39;idan uning 5) tasdig&#39;i kelib chiqishi isbotlandi.

Похожие

Eng katta daraxt haqida, eng qisqa vaeng uzun yo’l haqida, tarmoqli rejalashtirish, kommunikatsiyalar turlari oqimi
Graflar nazariyasi
Graflarda turg’unlik to’plami. Grafning ichki va tashqi turg’unliklar soni
Eyler va Gamilton graflari
Graflar ustida sodda amallar