Ақырлы өлшенген графиктер бойынша есептеу - Calculus on finite weighted graphs

Жылы математика, ақырлы өлшенген графиктер бойынша есептеу Бұл дискретті есептеу функциялары үшін домен - а шыңының жиынтығы график ақырғы санымен төбелер мен байланысты салмақ шеттері. Бұл дискретті тұжырымдауды қамтиды операторлар дифференциалдық операторларға ұқсас графиктерде есептеу, сияқты Лаплациандар (немесе Лаплас дискретті операторлары ) дискретті нұсқалары ретінде Лаплациан, және тұжырымдау үшін осы операторларды қолдану дифференциалдық теңдеулер, айырымдық теңдеулер, немесе вариациялық модельдер дискретті нұсқалары ретінде түсіндіруге болатын графиктерде дербес дифференциалдық теңдеулер немесе үздіксіз вариациялық модельдер. Мұндай теңдеулер мен модельдер әртүрлі зерттеу салаларында дискретті ақпаратты математикалық модельдеу, талдау және өңдеудің маңызды құралдары болып табылады, мысалы. кескінді өңдеу, машиналық оқыту, және желілік талдау.

Қолданбаларда шектеулі салмақталған графиктер графиктің төбелері бойынша объектілердің ақырғы санын, осы нысандар арасындағы графикалық шеттер бойынша кез-келген жұптық қатынастарды және шеттік салмақ функциясымен байланыстың маңыздылығын білдіреді. Сияқты графиктер құрылымындағы дифференциалдық теңдеулерді немесе айырмашылық теңдеулерін графиктің құрылымын пайдалану үшін пайдалануға болады кескінді сегментациялау (мұнда шыңдар бейнеленеді пиксел және өлшенген шеттер пикселдердің ұқсастығын салыстыру негізінде кодтайды Мур аудандары немесе үлкенірек терезелер), деректер кластері, мәліметтерді жіктеу, немесе қоғамдастық а. анықтау әлеуметтік желі (мұнда шыңдар желінің пайдаланушыларын, шеттері пайдаланушылар арасындағы сілтемелерді, ал салмақ функциясы қолданушылар арасындағы өзара әрекеттесудің күшін көрсетеді).

Ақырлы салмақты графиктердің басты артықшылығы - дискретті сияқты өте тұрақты құрылымдармен шектелмеу тұрақты торлар, торлы графиктер, немесе торлар. Оларды дерексіз деректерді дұрыс емес өзара байланыстармен бейнелеу үшін қолдануға болады.

Егер шектеулі салмақты график Евклид кеңістігіне геометриялық түрде ендірілген болса, яғни графиктің төбелері осы кеңістіктің нүктелерін білдірсе, онда оны байланысты туындының дискретті жуықтауы деп түсіндіруге болады. жергілікті емес оператор үздіксіз параметрде.

Негізгі анықтамалар

A ақырлы өлшенген график үштік ретінде анықталады ол үшін

  • , деп белгіленген индекстердің шекті жиынтығы графикалық төбелер немесе түйіндер,
  • (бағытталған) шекті жиынтығы графикалық шеттер шыңдар жиынтығын қосу,
  • болып табылады жиек салмағы функциясы графиктің шеттерінде анықталған.

Ішінде бағытталған граф, әр шеті бар түйінді бастау және ан соңғы түйін . Жылы бағытталмаған граф әр шеті үшін шеті бар және салмақ функциясы симметриялы болуы қажет, яғни. .[1] Осы парақтың қалған бөлігінде, егер басқаша көрсетілмесе, графиктер бағытталмаған болып саналады. Осы бетте ұсынылған көптеген идеяларды бағытталған графиктерге жалпылауға болады.[1]

The жиек салмағы функциясы әр шетіне байланыстырады нақты құндылық . Математикалық және қолданбалы себептерге байланысты жиектердегі салмақ функциясы көбінесе қатаң оң болуын талап етеді және осы бетте егер басқаша көрсетілмесе, ол солай қабылданады. Осы бетте келтірілген көптеген идеяларды теріс салмақталған жиектерді жалпылау мүмкін. Кейде шеттік салмақ функциясының доменін кеңейту қарастырылады (алынған функция әлі де деп аталады жиек салмағы функциясы) орнату арқылы қашан болса да .

Қосымшаларда әрқайсысы график шыңы әдетте берілген деректердегі жеке тұлғаны білдіреді, мысалы, ақырғы деректер жиынтығының элементтері, суреттегі пиксельдер немесе әлеуметтік желідегі пайдаланушылар. A графиктің шеті екі субъект арасындағы қатынасты білдіреді, мысалы. геометриялық көршілестіктерді (мысалы, кескіндердегі пиксельдерді) немесе басқа белгіні салыстыруға негізделген жұптық өзара әрекеттесу немесе ұқсастық, осы қатынастың беріктігін кодтайтын шекті салмақпен. Көбіне қолданылатын салмақ функциялары 0 мен 1 арасындағы мәндерді салыстыру үшін қалыпқа келтірілген, яғни. .

Келесіде қарастырылған графиктер болып саналады байланысты жоқ өзіндік ілмектер немесе бірнеше шеттер төбелер арасында. Бұл болжамдар негізінен зиянсыз, өйткені көптеген қосымшаларда жалғанған компонент Ажыратылған графиктің өзіндік пайда болу графигі ретінде қарастыруға болады, әр түріне (бұл өзіндік цикл болғанда нөлге тең болмайтын) басқа фактордың қатысуымен пайда болады, ол жоғалады (қараңыз дифференциалды графикалық операторлар бөлімі Төменде), ал шеттік салмақтар ұқсас ақпаратты бірнеше шеттермен кодтай алады.

Көршілестік

Түйін Бұл көрші түйіннің егер шеті болса . Белгілеу тұрғысынан бұл қатынасты қысқартуға болады , «деп оқылуы керек көршісі болып табылады «Әйтпесе, егер көршісі емес бірі жазады мәтіндері Көршілестік шыңның жай көршілер жиынтығы мәтіндері дәрежесі шыңның оның маңайының өлшенген мөлшері:

Ерекше жағдайда қайда екенін ескеріңіз қосулы (яғни график салмақсыз) Бізде бар .

Нағыз шың функциясының кеңістігі

Келіңіздер болуы (нақты) шың функциясының кеңістігі. Бастап - бұл ақырлы жиын, кез-келген шың функциясы ретінде ұсынылуы мүмкін -өлшемді вектор (қайда ) демек, шың функциясының кеңістігі көмегімен анықтауға болады - өлшемді Гильберт кеңістігі: . Ішкі өнімі ретінде анықталады:

Сонымен қатар, кез-келген шың функциясы үшін The -norm және -норм ретінде анықталады:

The -норм ішкі өнімнің әсерінен туындайды.

Қосымшаларда шың функциялары түйіндердің шыңдарын белгілеуге пайдалы. Мысалы, графикалық деректерді кластерлеу кезінде әр түйін деректер нүктесін білдіреді және шың функциясы түйіндердің кластерлік мүшелігін анықтау үшін қолданылады.

Нақты жиек функциясының кеңістігі

Шынайы функцияларға ұқсас түрде, функциясын енгізуге болады нақты жиек функцияларының кеңістігі . Кез-келген функция ретінде шеттердің ақырлы жиынтығында анықталады , оны а түрінде ұсынуға болады -өлшемді вектор , қайда . Демек, жиек функцияларының кеңістігі ретінде анықтауға болады - өлшемді Гильберт кеңістігі, яғни .

Жиек функциясының бір ерекше жағдайы - бұл нормаланған жиек салмақ функциясы жоғарыда енгізілген негізгі анықтамалар туралы бөлім. Сол функцияға, кез келген жиек функциясына ұқсас дейін тривиальды түрде кеңейтуге болады орнату арқылы егер . Сол кеңейтілген функциялардың кеңістігі әлі де белгіленеді және анықтауға болады , қазір қайда .

Ішкі өнімі ретінде анықталады:

Сонымен қатар, кез-келген жиек функциясы үшін The -norm және -норм ретінде анықталады:

The -норм ішкі өнімнің әсерінен туындайды.

Егер біреу жиек жиынтығын кеңейтсе осылайша бұл анық болғаннан гөрі өйткені . Бұл дегеніміз, әрбір жиек функциясын сызықтық матрица операторымен анықтауға болады.

Дифференциалды графикалық операторлар

Ақырлы салмақты графиктерді есептеудің маңызды ингредиенті - ақырлы салмақталған графиктердің дискретті параметріндегі континуум параметрінен стандартты дифференциалдық операторларды имитациялау, бұл математикадан жартылай дифференциалдық теңдеулер мен вариациялық әдістер сияқты жақсы зерттелген құралдарды аударуға мүмкіндік береді. және оларды графикамен модельдеуге болатын қосымшаларда қолдануға болатындай етіп жасаңыз. Бұл аударманы жүзеге асыруға мүмкіндік беретін іргелі ұғым - графикалық градиент, графиктердегі бірінші ретті айырмашылық операторы. Осының негізінде жоғары ретті айырмашылық операторларын алуға болады, мысалы, Лаплациан графигі.

Бірінші ретті дифференциалдық операторлар

Салмақтық айырмашылықтар

Келіңіздер ақырлы өлшенген график бол және рұқсат ет функциясы болуы мүмкін. Содан кейін өлшенген айырмашылық (немесе өлшенген граф туындысы) of бағытталған жиек бойымен болып табылады

Кез келген салмақтық айырмашылық үшін келесі қасиеттер:

Салмақталған градиент

Салмақтық айырмашылықтар ұғымына негізделген өлшенген градиент операторы графиктер бойынша сияқты

Бұл сызықтық оператор.

Өлшеу үшін жергілікті вариация функциясының шыңы шыңында градиентті шектеуге болады туралы бастап басталатын барлық бағытталған шеттерге және - осы жиек функциясының нормасы, яғни,

Салмақтық алшақтық

The бірлескен оператор өлшенетін градиент операторының - деп анықталған сызықтық оператор

Салмағы симметриялы функциясы бар бағытталмаған графиктер үшін байланыстырылған оператор функцияның төбесінде келесі формасы бар:

Содан кейін біреуін анықтауға болады дивергенция операторы сияқты графиктерге байланысты оператор арқылы . Графиктегі алшақтық графиктің әр шыңындағы жиек функциясының таза шығуын өлшейді.

Екінші ретті дифференциалдық операторлар

Графикалық лаплас операторы

The лаплаций графигі график параметрінде жақсы зерттелген оператор болып табылады. Қатынастарды еліктеу Лаплас операторының континуум параметрінде Laplacian өлшенген графигін кез-келген шыңға шығаруға болады сияқты:

Графикалық деп ойлау керек екенін ескеріңіз бағытталмаған және салмақтың симметриялық функциясы бар осы өкілдік үшін.

P-Laplace графиктік операторлары

Үздіксіз -Laplace операторы - ақырлы салмақталған графиктерге жақсы аударуға болатын екінші ретті дифференциалдық оператор. Ол әр түрлі дербес дифференциалдық теңдеулерді, мысалы, жылу теңдеуін, график параметріне аударуға мүмкіндік береді.

Графиктердегі бірінші ретті ішінара айырым операторлары негізінде формальды түрде отбасын алуға болады өлшенген график -Операторлар үшін дискретті минимизациялау арқылы -Dirichlet энергиясы функционалды

Энергетикалық функционалды минимизатор үшін қажетті оңтайлы шарттар графиктің келесі анықтамасына әкеліңіз -Лаплаций:

Лаплас графигі операторы графиктің ерекше жағдайы екенін ескеріңіз -Лапас операторы , яғни,

Қолданбалар

Ақырлы салмақталған графиктерге арналған есептеу әр түрлі саладағы, мысалы, кескіндерді өңдеу, машиналық оқыту және желілік анализ сияқты көптеген қосымшаларда қолданылады. Ақырғы салмақты графиктер қолданылған тапсырмалардың толық тізімі:

Сондай-ақ қараңыз

Ескертулер

1.^ -Ның сәл өзгеше анықтамасына назар аударыңыз бағытталмаған граф бағытталмаған шетін а деп санайтын қолданыста да бар екі жиынтық (екі бөлек элементтермен орнатылған) жұптың орнына жұптарға тапсырыс берді және . Мұнда соңғы сипаттама қажет, өйткені ол шеткі функцияларға рұқсат беруі керек (қараңыз шет функциясының кеңістігі туралы бөлім ) әр түрлі мәндерді қабылдау және .

Әдебиеттер тізімі

  1. ^ Люксбург, Улрике фон; Аудиберт, Жан-Ив; Хейн, Матиас (2007). «Графикалық лаплацийлер және олардың кездейсоқ графикаға жақындауы». Машиналық оқытуды зерттеу журналы. 8 (Маусым): 1325-1368. ISSN  1533-7928.
  2. ^ а б Гилбоа, Гай; Osher, Stanley (2009). «Суреттерді өңдеуге арналған қосымшалары бар жергілікті емес операторлар». Көпөлшемді модельдеу және модельдеу. 7 (3): 1005–1028. дои:10.1137/070698592. ISSN  1540-3459. S2CID  7153727.
  3. ^ а б Эльмоатаз, А .; Лезорай, О .; Bougleux, S. (2008). «Салмағы бар графиктер бойынша локальды емес дискретті регуляризация: кескіндер мен манифолдты өңдеу негіздері». IEEE кескінді өңдеу бойынша транзакциялар. 17 (7): 1047–1060. дои:10.1109 / TIP.2008.924284. ISSN  1057-7149. PMID  18586614.
  4. ^ Дескнес, Ксавье; Эльмоатаз, Абдеррахим; Лезорай, Оливье (2013). «Салмағы бар графиктер бойынша эйкональдық теңдеуді бейімдеу: кескіндер мен деректерді өңдеу үшін жергілікті және жергілікті емес жылдам геометриялық диффузиялық процесс» (PDF). Математикалық бейнелеу және пайымдау журналы. 46 (2): 238–257. дои:10.1007 / s10851-012-0380-9. ISSN  0924-9907.
  5. ^ Эльмоатаз, Абдеррахим; Тотаин, Матье; Tenbrinck, Daniel (2015). «$ P $ -Laplacian және $ infty $ -Laplacian туралы суреттер мен мәліметтерді өңдеудегі қосымшалары бар графиктерде». SIAM бейнелеу ғылымдары журналы. 8 (4): 2412–2451. дои:10.1137 / 15M1022793. ISSN  1936-4954. S2CID  40848152.
  6. ^ Махмуд, Фейсал; Шахид, Науман; Скоглунд, Ульф; Вандергейнст, Пьер (2018). «Томографиялық қайта құруға арналған адаптивті графикалық негізделген жалпы өзгеріс». IEEE сигналдарды өңдеу хаттары. 25 (5): 700–704. arXiv:1610.00893. дои:10.1109 / LSP.2018.2816582. ISSN  1070-9908.
  7. ^ Пейре, Габриэл; Бугле, Себастиан; Коэн, Лоран (2008). Форсит, Дэвид; Торр, Филипп; Циссерман, Эндрю (ред.) Кері мәселелердің жергілікті емес регуляризациясы. 5304. Берлин, Гайдельберг: Springer Berlin Гейдельберг. 57-68 бет. дои:10.1007/978-3-540-88690-7_5. ISBN  9783540886891. S2CID  1044368.
  8. ^ Бюлер, Томас; Хейн, Матиас (2009). «P -Laplacian графигіне негізделген спектрлік кластерлеу». Машиналық оқыту бойынша 26-шы Халықаралық конференцияның материалдары - ICML '09. Монреаль, Квебек, Канада: ACM Press: 1–8. дои:10.1145/1553374.1553385. ISBN  9781605585161.
  9. ^ Лозес, Франсуа; Эльмоатаз, Абдеррахим; Лезорай, Оливье (2014). «Беттік және нүктелік бұлттағы кескінді өңдеуге арналған салмақты графиктер бойынша ішінара айырмашылық операторлары» (PDF). IEEE кескінді өңдеу бойынша транзакциялар. 23 (9): 3896–3909. дои:10.1109 / TIP.2014.2336548. ISSN  1057-7149. PMID  25020095.