Cheklangan vaznli grafikalar bo'yicha hisoblash - Calculus on finite weighted graphs

Yilda matematika, cheklangan vaznli grafikalar bo'yicha hisoblash a diskret hisob funktsiyalari uchun domen a ning tepalik to'plami grafik sonli son bilan tepaliklar va bilan bog'liq og'irliklar qirralar. Bu diskretni shakllantirishni o'z ichiga oladi operatorlar differentsial operatorlarga o'xshash grafiklarda hisob-kitob, kabi laplaslar grafigi (yoki diskret Laplas operatorlari ) ning diskret versiyalari sifatida Laplasiya va formulalarni tuzish uchun ushbu operatorlardan foydalanish differentsial tenglamalar, farq tenglamalari, yoki variatsion modellar diskret versiyalari sifatida talqin qilinishi mumkin bo'lgan grafikalarda qisman differentsial tenglamalar yoki doimiy o'zgaruvchan modellar. Bunday tenglamalar va modellar turli xil tadqiqot sohalarida alohida ma'lumotlarni matematik modellashtirish, tahlil qilish va qayta ishlash uchun muhim vositadir, masalan. tasvirni qayta ishlash, mashinada o'rganish va tarmoq tahlili.

Ilovalarda cheklangan vaznli grafikalar grafika vertikalari bo'yicha sonli sonli mavjudotlarni, ushbu ob'ektlar orasidagi har qanday juftlik aloqalarini grafik qirralari va chekka vazn funktsiyasi bilan bog'liqlikning ahamiyatini aks ettiradi. Bunday grafikalar bo'yicha differentsial tenglamalar yoki farqli tenglamalardan foydalanish mumkin, masalan, grafik tuzilmasi kabi vazifalar uchun tasvir segmentatsiyasi (bu erda tepaliklar ifodalanadi piksel va tortilgan qirralarning taqqoslash asosida piksel o'xshashligi kodlanadi Mur mahallalari yoki kattaroq derazalar), ma'lumotlar klasteri, ma'lumotlar tasnifi, yoki jamiyat a-da aniqlash ijtimoiy tarmoq (bu erda tepaliklar tarmoq foydalanuvchilari, qirralar foydalanuvchilar o'rtasidagi bog'lanishni anglatadi va vazn funktsiyasi foydalanuvchilar o'rtasidagi o'zaro ta'sirning kuchini ko'rsatadi).

Cheklangan vaznli grafikalarning asosiy afzalligi shundaki, diskret kabi juda muntazam tuzilmalar bilan cheklanib qolmaslikdir muntazam kataklar, panjarali grafikalar, yoki meshlar. Ular mavhum ma'lumotlarni tartibsiz o'zaro bog'liqlik bilan ifodalash uchun qo'llanilishi mumkin.

Agar cheklangan og'irlikdagi grafika Evklid fazosiga geometrik tarzda joylashtirilgan bo'lsa, ya'ni grafika tepalari bu bo'shliqning nuqtalarini bildirsa, u holda uni bog'liq bo'lganning diskret yaqinlashuvi deb talqin qilish mumkin. mahalliy bo'lmagan operator doimiy sozlamada.

Asosiy ta'riflar

A cheklangan vaznli grafik uchlik sifatida aniqlanadi buning uchun

  • , deb belgilangan sonli indekslar to'plamidir grafik tepaliklar yoki tugunlar,
  • cheklangan (yo'naltirilgan) to'plamidir grafik qirralar tepaliklarning pastki qismini ulash,
  • bu chekka vazn funktsiyasi grafaning chekkalarida aniqlangan.

A yo'naltirilgan grafik, har bir chekka bor tugunni boshlash va an tugun tuguni . In yo'naltirilmagan grafik har bir chekka uchun chekka mavjud va vazn funktsiyasi nosimmetrik bo'lishi kerak, ya'ni. .[1] Ushbu sahifaning qolgan qismida, agar boshqacha ko'rsatma bo'lmasa, grafikalar yo'naltirilmagan deb hisoblanadi. Ushbu sahifada keltirilgan ko'plab g'oyalar yo'naltirilgan grafikalar bo'yicha umumlashtirilishi mumkin.[1]

The chekka vazn funktsiyasi har bir chekka bilan bog'lanadi haqiqiy qiymat . Ham matematik, ham amaliy sabablarga ko'ra qirralarning og'irlik funktsiyasi ko'pincha qat'iy ijobiy bo'lishi talab qilinadi va ushbu sahifada, agar boshqacha ko'rsatilmagan bo'lsa, shunday bo'ladi. Ushbu sahifada keltirilgan ko'plab g'oyalarni umumlashtirib, salbiy tortilgan chekkalarni kiritish mumkin. Ba'zan chekka vazn funktsiyasi domenining kengayishi ko'rib chiqiladi (natijada paydo bo'ladigan funktsiya hali ham chekka vazn funktsiyasi) sozlash orqali har doim .

Ilovalarda har biri grafik vertex odatda berilgan ma'lumotlarda bitta mavjudotni, masalan, cheklangan ma'lumotlar to'plamining elementlarini, rasmdagi piksellarni yoki ijtimoiy tarmoqdagi foydalanuvchilarni aks ettiradi. A grafik qirrasi ikki shaxs o'rtasidagi munosabatni ifodalaydi, masalan. geometrik mahallalarni taqqoslash asosida (masalan, rasmlardagi piksellar) yoki boshqa xususiyatlarni taqqoslash asosida juftlik bilan o'zaro ta'sir yoki o'xshashlik, bu munosabatlarning mustahkamligini chekka og'irligi bilan belgilash. Eng ko'p ishlatiladigan og'irlik funktsiyalari 0 dan 1 gacha bo'lgan qiymatlarni taqqoslash uchun normallashtirilgan, ya'ni. .

Quyida ko'rib chiqilgan grafikalar mavjud deb taxmin qilinadi ulangan holda o'z-o'zidan halqalar yoki bir nechta qirralar tepaliklar orasidagi. Ushbu taxminlar asosan zararsizdir, chunki har birida ko'plab ilovalar mavjud ulangan komponent O'chirilgan grafaning har bir ko'rinishini o'ziga xos ravishda grafik sifatida ko'rib chiqish mumkin (bu o'z-o'zidan halqalar mavjud bo'lganda nolga teng bo'ladi) boshqa omil paydo bo'lganda paydo bo'ladi (qarang differentsial grafik operatorlari bo'limi va chekka og'irliklar o'xshash ma'lumotlarni bir nechta qirralarning kodlashi mumkin.

Turar joy dahasi

Tugun a qo'shni tugunning agar chekka bo'lsa . Notatsiya nuqtai nazaridan ushbu munosabatlar qisqartirilishi mumkin , "deb o'qilishi kerak ning qo'shnisi "Aks holda, agar qo'shni emas bittasi yozadi .The Turar joy dahasi tepalikning shunchaki qo'shnilar to'plamidir .The daraja tepalikning uning mahallasining tortilgan kattaligi:

E'tibor bering, qaerda maxsus holatda kuni (ya'ni grafik vaznsiz) bizda ... bor .

Haqiqiy tepalik funktsiyalari maydoni

Ruxsat bering bo'lishi (haqiqiy) tepalik funktsiyalari maydoni. Beri cheklangan to'plam, har qanday tepalik funktsiyasi sifatida ifodalanishi mumkin o'lchovli vektor (qayerda ) va shuning uchun tepalik funktsiyalari maydoni bilan aniqlash mumkin - o'lchovli Hilbert maydoni: . Ning ichki mahsuloti quyidagicha aniqlanadi:

Bundan tashqari, har qanday vertex funktsiyasi uchun The -norm va -norm of quyidagicha aniqlanadi:

The -norm ichki mahsulot tomonidan chaqiriladi.

Ilovalarda vertex funktsiyalari tugunlarning tepalarini belgilash uchun foydalidir. Masalan, grafik asosidagi ma'lumotlar klasterida har bir tugun ma'lumotlar nuqtasini aks ettiradi va vertex funktsiyasi tugunlarning klaster a'zoligini aniqlash uchun ishlatiladi.

Haqiqiy chekka funktsiyalarining maydoni

Haqiqiy vertex funktsiyalariga o'xshash tarzda, ni kiritish mumkin haqiqiy chekka funktsiyalar maydoni . Har qanday chekka funktsiyasi sifatida cheklangan chekka to'plamida aniqlanadi , u a sifatida ifodalanishi mumkin o'lchovli vektor , qayerda . Demak, chekka funktsiyalarning maydoni deb aniqlash mumkin - o'lchovli Hilbert maydoni, ya'ni .

Kenar funktsiyasining alohida holatlaridan biri bu normallashtirilgan chekka vazn funktsiyasi da yuqorida keltirilgan asosiy ta'riflar bo'yicha bo'lim. Ushbu funktsiyaga o'xshash, har qanday chekka funktsiyasi ahamiyatsiz kengaytirilishi mumkin sozlash orqali agar . Ushbu kengaytirilgan chekka funktsiyalarning maydoni hali ham belgilanadi va bilan aniqlanishi mumkin , hozir qayerda .

Ning ichki mahsuloti quyidagicha aniqlanadi:

Bundan tashqari, har qanday chekka funktsiyasi uchun The -norm va -norm of quyidagicha aniqlanadi:

The -norm ichki mahsulot tomonidan chaqiriladi.

Agar chekka to'plamni kengaytirsa shunday qilib aniq ekan, aniq chunki . Demak, har bir chekka funktsiyani chiziqli matritsa operatori bilan aniqlash mumkin.

Differentsial grafik operatorlari

Cheklangan vaznli grafikalar bo'yicha hisob-kitoblarning muhim tarkibiy qismi bu cheklangan vaznli grafiklarning diskret sozlamalarida doimiylik parametrlaridan standart differentsial operatorlarni taqlid qilishdir, bu matematikadan yaxshi o'rganilgan vositalarni, masalan, qisman differentsial tenglamalar va variatsion usullarni tarjima qilishga imkon beradi. Va ularni eng yaxshi grafikada modellashtirish mumkin bo'lgan dasturlarda ishlatishga imkon bering. Ushbu tarjimani amalga oshiradigan asosiy tushuncha - bu grafikalar gradyenti, grafikalar bo'yicha birinchi darajali farq operatori. Bunga asosan yuqori darajadagi farq operatorlari, masalan, Laplasiya grafigi olinishi mumkin.

Birinchi darajali differentsial operatorlar

Vaznli farqlar

Ruxsat bering cheklangan vaznli grafika bo'lsin vertex funktsiyasi bo'lishi. Keyin vaznli farq (yoki o'lchovli grafik hosilasi) ning yo'naltirilgan chekka bo'ylab bu

Har qanday vaznli farq uchun quyidagi xususiyatlar mavjud:

O'lchangan gradient

Vaznli farqlar tushunchasiga asoslanib, quyidagilarni belgilaydi vaznli gradient operatori grafiklarda kabi

Bu chiziqli operator.

O'lchash uchun mahalliy o'zgarish tepalik funktsiyasi tepada gradientni cheklash mumkin ning dan boshlab barcha yo'naltirilgan qirralarga va yordamida - bu chekka funktsiyasining normasi, ya'ni,

Og'irlikdagi kelishmovchilik

The qo'shma operator tortilgan gradient operatorining tomonidan aniqlangan chiziqli operator

Nosimmetrik og'irlik funktsiyasi bilan yo'naltirilmagan grafikalar uchun qo'shma operator funktsiya tepada quyidagi shaklga ega:

Keyin birini belgilash mumkin divergentsiya bo'yicha operator kabi biriktirilgan operator orqali grafikalarda . Grafadagi divergentsiya grafaning har bir tepasida chekka funktsiyasining aniq chiqishini o'lchaydi.

Ikkinchi darajali differentsial operatorlar

Laplas grafigi operatori

The Laplasiya grafigi - grafik sozlamalarida yaxshi o'rganilgan operator. O'zaro munosabatlarni taqlid qilish Laplas operatorining uzluksiz sozlamalarida, har qanday vertex uchun tortilgan Laplasiya grafigi olinishi mumkin kabi:

E'tibor bering, grafika deb hisoblash kerak yo'naltirilmagan va nosimmetrik og'irlik funktsiyasiga ega ushbu vakillik uchun.

P-Laplas grafik operatorlari

Uzluksiz -Laplace operatori ikkinchi darajali differentsial operator bo'lib, uni cheklangan tortilgan grafikalarga yaxshi tarjima qilish mumkin. Bu turli xil qisman differentsial tenglamalarni, masalan, issiqlik tenglamasini grafik sozlamalariga tarjima qilishga imkon beradi.

Grafalardagi birinchi darajali qisman farq operatorlari asosida rasmiy ravishda oilasini hosil qilish mumkin vaznli grafik -Laplace operatorlari uchun diskretni minimallashtirish orqali -Dirichlet energetikasi

Energiya funktsiyasini minimallashtiruvchi uchun zarur bo'lgan maqbullik shartlari grafikning quyidagi ta'rifiga olib boring -Laplasiya:

Laplas grafigi operatori grafaning maxsus ishi ekanligini unutmang -Laplace operatori , ya'ni,

Ilovalar

Cheklangan vaznli grafikalar bo'yicha hisob-kitoblar turli xil sohalarda, masalan, tasvirni qayta ishlash, mashinani o'rganish va tarmoqni tahlil qilish kabi turli xil sohalarda qo'llaniladi, cheklangan vaznli grafikalar qo'llaniladigan vazifalarning to'liq bo'lmagan ro'yxati:

Shuningdek qarang

Izohlar

1.^ Ning biroz boshqacha ta'rifiga e'tibor bering yo'naltirilmagan grafik yo'naltirilmagan chekkasini a deb hisoblaydigan foydalanishda ham mavjud ikki to'plamli (ikkita aniq element bilan o'rnatilgan) jufti o'rniga buyurtma qilingan juftliklar va . Bu erda so'nggi tavsif kerak, chunki chekka funktsiyalarga ruxsat berish kerak (qarang chekka funktsiyalar maydoni haqida bo'lim ) har xil qiymatlarni qabul qilish va .

Adabiyotlar

  1. ^ Lyuksburg, Ulrike fon; Audibert, Jan-Iv; Hein, Mattias (2007). "Laplasiylar grafigi va ularning tasodifiy qo'shni grafikalar bo'yicha yaqinlashuvi". Mashinalarni o'rganish bo'yicha jurnal. 8 (Iyun): 1325–1368. ISSN  1533-7928.
  2. ^ a b Gilboa, Yigit; Osher, Stenli (2009). "Tasvirni qayta ishlashga mo'ljallangan dasturlari bo'lgan lokal bo'lmagan operatorlar". Ko'p o'lchovli modellashtirish va simulyatsiya. 7 (3): 1005–1028. doi:10.1137/070698592. ISSN  1540-3459. S2CID  7153727.
  3. ^ a b Elmoataz, A .; Lezoray, O .; Bougleux, S. (2008). "Og'irlikdagi grafikalar bo'yicha lokal bo'lmagan diskret regulyatsiya: rasm va ko'p qirrali ishlov berish uchun asos". Rasmni qayta ishlash bo'yicha IEEE operatsiyalari. 17 (7): 1047–1060. doi:10.1109 / TIP.2008.924284. ISSN  1057-7149. PMID  18586614.
  4. ^ Desknes, Xaver; Elmoataz, Abderrahim; Lézoray, Olivier (2013). "Og'irlikdagi grafikalar bo'yicha Eykonal tenglamani moslashtirish: mahalliy va mahalliy bo'lmagan rasm va ma'lumotlarni qayta ishlash uchun tez geometrik diffuziya jarayoni" (PDF). Matematik tasvirlash va ko'rish jurnali. 46 (2): 238–257. doi:10.1007 / s10851-012-0380-9. ISSN  0924-9907.
  5. ^ Elmoataz, Abderrahim; Touteyn, Matye; Tenbrinck, Daniel (2015). "Tasvir va ma'lumotlarni qayta ishlashda ilovalar bo'lgan grafikalar bo'yicha $ p $ -Laplacian va $ infty $ -Laplacian to'g'risida". Tasvirlash fanlari bo'yicha SIAM jurnali. 8 (4): 2412–2451. doi:10.1137 / 15M1022793. ISSN  1936-4954. S2CID  40848152.
  6. ^ Mahmud, Faysal; Shohid, Nauman; Skoglund, Ulf; Vandergheynst, Per (2018). "Tomografik rekonstruksiya qilish uchun grafika asosida adaptiv umumiy o'zgarish". IEEE signallarini qayta ishlash xatlari. 25 (5): 700–704. arXiv:1610.00893. doi:10.1109 / LSP.2018.2816582. ISSN  1070-9908.
  7. ^ Peyr, Gabriel; Bougleux, Sebastien; Koen, Loran (2008). Forsit, Dovud; Torr, Filipp; Zisserman, Endryu (tahrir). Teskari muammolarni mahalliy bo'lmagan tartibga solish. 5304. Berlin, Heidelberg: Springer Berlin Heidelberg. 57-68 betlar. doi:10.1007/978-3-540-88690-7_5. ISBN  9783540886891. S2CID  1044368.
  8. ^ Budler, Tomas; Hein, Mattias (2009). "P -Laplacian grafigi asosida spektral klasterlash". Mashinalarni o'rganish bo'yicha 26-yillik xalqaro konferentsiya materiallari - ICML '09. Monreal, Kvebek, Kanada: ACM Press: 1-8. doi:10.1145/1553374.1553385. ISBN  9781605585161.
  9. ^ Lozes, Fransua; Elmoataz, Abderrahim; Lezoray, Olivier (2014). "Sirt va nuqtali bulutlarda tasvirni qayta ishlash uchun vaznli grafikalar bo'yicha qisman farq operatorlari" (PDF). Rasmni qayta ishlash bo'yicha IEEE operatsiyalari. 23 (9): 3896–3909. doi:10.1109 / TIP.2014.2336548. ISSN  1057-7149. PMID  25020095.