Күшті бағытталған графикалық сурет салу - Force-directed graph drawing

Күшті бағытталған графикалық сурет салу алгоритмін қолдана отырып әлеуметтік желіні визуализациялау.[1]
Викидегі парақтар арасындағы сілтемелерді мәжбүрлі түрде орналастыруды қолдану арқылы визуалдау.

Күшті бағытталған графикалық сурет салу алгоритмдері алгоритмдер үшін графиктерді салу эстетикалық жағымды түрде Олардың мақсаты а түйіндерін орналастыру график барлық өлшемдер аз немесе көп тең ұзындықта болатын және қиылысатын шеттер мүмкіндігінше аз болатындай етіп екі өлшемді немесе үш өлшемді кеңістікте, олардың орналасу жағдайлары негізінде жиектер мен түйіндер жиыны арасында күштер тағайындау арқылы , содан кейін бұл күштерді шеттер мен түйіндердің қозғалысын модельдеу немесе олардың энергиясын азайту үшін қолдану.[2]

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

Күштер

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

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

Күшке бағытталған графикке механикалық серіппелерден және электрлік итеруден басқа күштер де қатысуы мүмкін. Төбелерді сызу кеңістігінің бекітілген нүктесіне қарай тарту үшін ауырлық күшіне ұқсас күш қолданылуы мүмкін; бұл басқаша тарту үшін қолданылуы мүмкін қосылған компоненттер итергіш күштердің әсерінен бір-бірінен алшақ ұшуға және түйіндерді үлкен етіп салуға бейім ажыратылған графиктің орталықтылық сызбадағы неғұрлым орталық позицияларға;[3] ол сонымен қатар бір компонент ішіндегі төбелік аралыққа әсер етуі мүмкін. Магниттік өрістердің аналогтарын бағытталған графиктер үшін пайдалануға болады. Соңғы сызбада қабаттасып немесе қабаттасып кетпес үшін итергіш күштерді жиектерге де, түйіндерге де қоюға болады. Сияқты қисық шеттері бар сызбаларда дөңгелек доғалар немесе сплайн қисықтары, осы қисықтардың басқару нүктелерінде күштер де орналастырылуы мүмкін, мысалы, оларды жақсарту үшін бұрыштық рұқсат.[4]

Әдістер

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

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

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

Артықшылықтары

Төменде күшке бағытталған алгоритмдердің маңызды артықшылықтарының бірі келтірілген:

Жақсы нәтижелер
Кем дегенде орташа өлшемді графиктер үшін (50-500 шыңға дейін), алынған нәтижелер, әдетте, келесі критерийлерге негізделген өте жақсы нәтижелерге ие: жиектердің біркелкі ұзындығы, шыңдардың біркелкі таралуы және симметрияны көрсету. Бұл соңғы критерий маңыздылардың бірі болып табылады және оны кез-келген басқа алгоритммен орындау қиын.
Икемділік
Күшке бағытталған алгоритмдерді қосымша эстетикалық критерийлерді орындау үшін оңай бейімдеуге және кеңейтуге болады. Бұл оларды графиктік сурет салу алгоритмдерінің ең жан-жақты класы етеді. Қолданыстағы кеңейтулерге мысалдарға бағытталған графиктер, 3D графикалық сызбалар,[6] кластерлік графикалық сурет, шектеулі графикалық сурет және динамикалық графикалық сурет.
Интуитивті
Олар серіппелер сияқты жалпы нысандардың физикалық ұқсастықтарына негізделгендіктен, алгоритмдердің әрекетін болжау және түсіну салыстырмалы түрде оңай. Бұл графикті салу алгоритмінің басқа түрлерінде болмайды.
Қарапайымдылық
Әдеттегі күшке бағытталған алгоритмдер қарапайым және оларды бірнеше код жолында жүзеге асыруға болады. Графикалық сурет салу алгоритмдерінің басқа сыныптары, ортогоналды орналасуға арналған сияқты, әдетте әлдеқайда көп қатысады.
Интерактивтілік
Бұл алгоритм класының тағы бір артықшылығы - интерактивті аспект. Графиктің аралық кезеңдерін салу арқылы пайдаланушы графиканың қалай дамитынын қадағалай алады, оның шиеленіскен тәртіптен әдемі конфигурацияға айналғанын көреді. Графиктерді салудың кейбір интерактивті құралдарында пайдаланушы тепе-теңдік күйінен бір немесе бірнеше түйінді шығарып, олардың қайтадан өз орнына көшуін бақылай алады. Бұл оларды динамикалық және желіде графикалық сызу жүйелері.
Мықты теориялық негіздер
Қарапайым болса да осы жағдай үшін күшке бағытталған алгоритмдер әдебиеттерде және практикада жиі кездеседі (өйткені оларды түсіну салыстырмалы түрде оңай), дәлелді тәсілдер тартымды бола бастайды. Статистиктер осыған ұқсас мәселелерді шешіп келеді көпөлшемді масштабтау (MDS) 1930 ж.ж. бастап физиктер сонымен бірге туыстармен жұмыс жасаудың ұзақ тарихы бар n-дене проблемалар - сондықтан өте жетілген тәсілдер бар. Мысал ретінде стресстің үлкендеуі метрикалық MDS тәсілін жоғарыда сипатталғандай графикалық сызбаға қолдануға болады. Мұның монотонды түрде жинақталғаны дәлелденді.[5] Монотоникалық конвергенция, алгоритм әр итерация кезінде макеттің стрессті немесе құнын төмендететін қасиеті маңызды, себебі ол макеттің түпкілікті жергілікті минимумға жетіп, тоқтайтындығына кепілдік береді. Демпфинг кестелері алгоритмнің тоқтауына әкеледі, бірақ нақты минимумға қол жеткізуге кепілдік бере алмайды.

Кемшіліктері

Күшке бағытталған алгоритмдердің негізгі кемшіліктеріне мыналар жатады:

Жоғары жүгіру уақыты
Әдетте күшке бағытталған алгоритмдер жалпы болып табылады қарастырылды O (n3), мұндағы n - кіріс графигінің түйіндерінің саны. Себебі қайталану саны O (n) деп бағаланады және әр қайталануда барлық жұп түйіндерді аралап, олардың өзара итергіш күштерін есептеу керек. Бұл байланысты Дене проблемасы физикадан. Алайда, итергіш күштер табиғатта жергілікті болғандықтан, графикті тек көршілес шыңдар қарастырылатын етіп бөлуге болады. Үлкен графиктердің орналасуын анықтайтын алгоритмдер қолданатын кең тараған әдістерге жоғары өлшемді ендіру жатады,[7] байланысты көп қабатты сурет салу және басқа әдістер N-денені модельдеу. Мысалы, Barnes – Hut модельдеу FADE негізделген әдісі[8] қайталану кезінде жұмыс уақытын n * log (n) дейін жақсарта алады. Бірнеше секунд ішінде стандартты n-мен ең көп дегенде 1000 түйін салуға болады2 итерация техникасына және итерация техникасына n * log (n) 100,000.[8] Күшті бағытталған алгоритмдер көп деңгейлі тәсілмен үйлескенде миллиондаған түйіндердің графиктерін салуға болады.[9]
Нашар жергілікті минимумдар
Күшке бағытталған алгоритмдер минималды энергиямен, атап айтқанда жалпы энергиясы тек а болатын графикті шығаратынын байқау қиын емес жергілікті минимум. Табылған жергілікті минимум, көп жағдайда, сапасыз сурет салуға айналатын глобалды минимумнан едәуір нашар болуы мүмкін. Көптеген алгоритмдер үшін, әсіресе мүмкіндік беретін алгоритмдер үшін төбешік төбелердің қозғалысы, түпкілікті нәтижеге бастапқы орналасу қатты әсер етуі мүмкін, бұл көп жағдайда кездейсоқ түрде жасалады. Жергілікті емес минимум проблемасы графиктің төбелерінің саны өскен сайын маңызды бола бастайды. Бұл мәселені шешу үшін әр түрлі алгоритмдерді біріктірілген қолдану пайдалы.[10] Мысалы, Kamada-Kawai алгоритмін қолдану[11] ақылға қонымды бастапқы жоспарды, содан кейін Fruchterman-Reingold алгоритмін тез жасау үшін[12] көрші түйіндердің орналасуын жақсарту. Ғаламдық минимумға жетудің тағы бір әдісі - көп деңгейлі тәсілді қолдану.[13]

Тарих

Графикалық сызбадағы күшке бағытталған әдістер жұмысынан басталады Тутте (1963), кім көрсетті көпжақты графиктер жазықтықта барлық беткейлері дөңес болып графиктің планарлы енуінің сыртқы беткейлерін бекіту арқылы жүргізілуі мүмкін дөңес позиция, серіппеге ұқсас тартымды күштің әр шетіне орналастырып, жүйені тепе-теңдікке орналастырыңыз.[14] Бұл жағдайда күштердің табиғаты қарапайым болғандықтан, жүйе жергілікті минимумдарда тұрып қалмайды, керісінше бірегей жаһандық оңтайлы конфигурацияға ауысады. Осы жұмыстың арқасында кейде дөңес беттері бар жазық графиктердің ендірілуі деп аталады Tutte ендірмелері.

Іргелес шыңдардағы тартымды күштер мен барлық шыңдардағы итергіш күштердің тіркесімін алғаш қолданған Eades (1984);[15] күшке бағытталған орналасудың осы түрі бойынша қосымша ізашарлық жұмыс жасалды Fruchterman & Reingold (1991).[12] Төбелердің графикалық-теориялық қашықтығына идеал серіппелер ұзындығы бар барлық төбелер арасындағы серіппелі күштерді ғана қолдану идеясы Камада және Кавай (1989).[11]

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

  • Цитоскап, биологиялық желілерді визуализациялауға арналған бағдарламалық жасақтама. Базалық пакет кірістірілген әдістердің бірі ретінде күшке бағытталған макеттерді қамтиды.
  • Гефи, барлық типтегі желілер мен кешенді жүйелер, динамикалық және иерархиялық графиктер үшін интерактивті визуализация және іздеу платформасы.
  • Graphviz, өте үлкен графиктермен жұмыс істеуге қабілетті көп деңгейлі күшке бағытталған орналасу алгоритмін (басқалармен бірге) жүзеге асыратын бағдарламалық жасақтама.
  • Қызғалдақ, күштік бағытталған орналасу алгоритмдерінің көпшілігін (GEM, LGL, GRIP, FM³) жүзеге асыратын бағдарламалық жасақтама.
  • Бастапқы

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

  1. ^ Гранджен, Мартин (2015), «Кіріспе және көрнекіліктер, тарих және тарих туралы», Geschichte und Informatik 18/19 (PDF), 109–128 б
  2. ^ Кобуров, Стивен Г. (2012), Көктемгі ендірмелер және графикалық сурет салу алгоритмдері, arXiv:1201.3011, Бибкод:2012arXiv1201.3011K.
  3. ^ Баннистер, Дж .; Эппштейн, Д.; Гудрич, М.; Тротт, Л. (2012), «Әлеуметтік ауырлық пен масштабтауды қолдана отырып, күшпен бағытталған графикалық сурет» Proc. 20 Int. Симптом. Графикалық сурет, arXiv:1209.0748, Бибкод:2012arXiv1209.0748B.
  4. ^ Чернобельский, Р .; Каннингэм, К .; Гудрич, М.; Кобуров, С.Г .; Тротт, Л. (2011), «Ломбарди стиліндегі графикалық сызба», Proc. Графикалық сурет бойынша 19-ші симпозиум (PDF), 78-90 бб.
  5. ^ а б де Лиу, Ян (1988), «Көпөлшемді масштабтау үшін мажоризация әдісінің конвергенциясы», Жіктеу журналы, Springer, 5 (2): 163–180, дои:10.1007 / BF01897162.
  6. ^ Восе, Аарон. «3D филогенетикалық ағашты қарау құралы». Алынған 3 маусым 2012.[тұрақты өлі сілтеме ]
  7. ^ Харел, Дэвид; Корен, Йехуда (2002), «Үлкен ендіру арқылы графикалық сурет салу», Графикалық сурет салу бойынша 9-шы халықаралық симпозиум материалдары, 207-219 б., CiteSeerX  10.1.1.20.5390, ISBN  3-540-00158-1
  8. ^ а б Куигли, Аарон; Эадс, Петр (2001), «FADE: Графикалық сурет, кластерлеу және визуалды абстракция», Графикалық сурет салу бойынша 8-ші халықаралық симпозиум материалдары (PDF), 197-210 б., ISBN  3-540-41554-8, мұрағатталған түпнұсқа (PDF) 2006-05-21.
  9. ^ «Үлкен графиктер галереясы». Алынған 22 қазан 2017.
  10. ^ Коллберг, христиан; Кобуров, Стивен; Награ, Джасвир; Питтс, Джейкоб; Вамплер, Кевин (2003), «Бағдарламалық жасақтама эволюциясын графикалық бейнелеу жүйесі», Бағдарламалық жасақтаманы бейнелеу бойынша 2003 ACM симпозиумының материалдары (SoftVis '03), Нью-Йорк, Нью-Йорк, АҚШ: ACM, 77–86 б., Суреттер б. 212, дои:10.1145/774833.774844, ISBN  1-58113-642-0, Графиктің эстетикалық жағымды орналасуына қол жеткізу үшін өзгертілген Фрухтерман-Рейнгольд күштерін қолдану қажет, өйткені Камада-Кавай әдісі өздігінен қанағаттанарлық әдістерге қол жеткізбейді, керісінше Фрухтерман-Рингольд есептеулерін тез жүргізе алатындай етіп жақсы схема жасайды. макетін «жинастыру».
  11. ^ а б Камада, Томихиса; Кавай, Сатору (1989), «Жалпы бағытталмаған графиктерді салу алгоритмі», Ақпаратты өңдеу хаттары, Elsevier, 31 (1): 7–15, дои:10.1016/0020-0190(89)90102-6.
  12. ^ а б Фрухтерман, Томас М. Дж .; Рейнгольд, Эдвард М. (1991), «Күшпен бағыттау арқылы графикалық сурет салу», Бағдарламалық жасақтама - тәжірибе және тәжірибе, Вили, 21 (11): 1129–1164, дои:10.1002 / спек. 4380211102.
  13. ^ http://jgaa.info/accepted/2003/Walshaw2003.7.3.pdf Күшті бағытталған графиктік сурет салудың көп деңгейлі алгоритмі
  14. ^ Тутте, В. Т. (1963), «Графикті қалай салуға болады», Лондон математикалық қоғамының еңбектері, 13 (52): 743–768, дои:10.1112 / plms / s3-13.1.743.
  15. ^ Эадс, Петр (1984), «Графикалық сурет салуға эвристикалық», Congressus Numerantium, 42 (11): 149–160.

Әрі қарай оқу

Сыртқы сілтемелер