User:AnnGabrieli



Force-based ' կամ force-directed-ը ալգորիթմներ են ալգորիթմներ -ի դասի համար նկարելու գրաֆիկներ  գեղագիտական, հաճելի ձեւով. Նրանց նպատակը հանգույցների  տեղն է  մի գրաֆիկի երկու ծավալային կամ եռաչափ տարածության մեջ, այնպես   որ  բոլոր եզրերը   ավելի կամ պակաս հավասար երկարությամբ  լինեն,  եւ կան նաեւ մի քանի հատող եզրեր, որոնք հնարավոր են.

Գաղափարը ծագել է 1980-ականների գարնանը-   Eades և  Kamada-Kawai անձանց մոդելով; force-directed տերմինը  ծագել է Fruchterman & Reingold-ի  1990 Համալսարանում Illinois տեղնիկական հաշվետվությունից(UIUCDCS-R-90-1609).

Ուժով ուղղված ալգորթմները հասել են նրան, որ նշանակվում են ուժերի շրջանում փաթեթի եզրերին և փաթեթի հանգույցներին ;առավել պարզ եղանակ է ուժերը հատկացնելը, քանի որ եթե եզրերի աղբյուրներ է (տեսHooke- օրենքը) և  հանգույցները էլեկտրական լիցքավերման  մասնիկներով (տեսCoulomb-ի օրենքը).Ամբողջ ծրագիրը կեղծվել է, քանի որ եղել է ֆիզիկական համակարգ. Այն ուժերը, որոնք կիրառվում են հանգույցներում, մոտենում են միմյանց կամ հետագայում հրում իրար. Սա անընդհատ կրկնվում է, մինչև համակարգը գալիս է հավասարակշռության վիճակի; այսինքն ., դրանց համեմատական դիրքրորշումները չեն փովել մի կրկնությունից հաջորդը. Այդ պահին գրաֆիկը ձևավորվում է. Հավասարակշռության վիճակի ֆիզիկական մեկնաբանությունները բերում են նրան, որ բոլոր ուժերը մեխանիկական  հավասարակշռության են.

Այլընտրանքնաին մոդելը համարում է առաձգական ուժ յուրաքնչյուր զույգ հանույցների համար $$(i,j)$$,որտեղ իդեալական երկրությունը $$\delta_{ij}$$  յուրաքնչյուր առաձգականությանը  համամասնական է տեսաբանական հեռավորությունից մինչև հանգույցները  i  և  j. Այս մոդելում,առանձին բանող ուժի անհրաժեշտություն չկա. Նշենք, որ նվազագույնի հասցնելով տարբերությունը (սովորաբար քառակուսու տարբերությունը) միչև euclidean և  հանգույցների միջև իդեալական հեռավորությունը  համարժեք է  մի մետրի multidimensional scaling խնդրի. Stress majorization տալիս է շատ լավ վարք  (այսինքն, monotonically համեմատ) և  mathematically էլեգանտ ճանապարհն է նվազեցնելու այս տարբերությունները եւ, հետեւաբար, գտնել լավ դասավորություն գրաֆիկի համար.

force-directed գրաֆիկը կարող է ներգրավել ուժեր, որոնք մեխանիկական եւ էլեկտրական աղբյուրների արդյունք են; օրինակները ներառում են logarithmic-ի աղբյուրներ  (ի տարբերություն գծային աղբյուրների),ինչպես գրավիտացիոն ուժերի (որը համախառն կապված բաղադրիչներ են,որոնք մենակ կապված գրաֆիկներ չեն), մագնիսական ոլորտները (այսպես, ստանալու համար լավ դասավորություն ուղղված գրաֆիկների համար), և  էլեկտրական լիցքավորված զսպանակներ (խուսափելու համար  համընկնումը  կամ մոտ համընկնումը վերջնական խաղարկությանը). Այդ դեպքում,աղբյուրի և լիցքավորված մասնիկների գրաֆիկները եզրեր են հակված  միատեսակ երկարության (քանի որ առաձգական ուժեր են), եւ հանգույցները, որոնք կապված չեն  եզրից հակված են հետագայում տարվելու (էլեկտրական արդյունքի պատճառով).

Մինչ գրաֆիկը նկարելը  բարդ խնդիր է, force-directed ալգորթմները, լինելով ֆիզիկական սիմուլացիա, սովորաբար պահանջվում է  հատուկ գիտելիքներ ոչ միայն  գրաֆիկի տեսության, ինչպիսին է planarity.

Նաեւ հնարավոր է կիրառել մեխանիզմներ, որոնք որոնման համար ուղղակիորեն ավելի էներգետիկ minima, կամ փոխարենը համատեղ  ֆիզիկական մոդելավորում. Նման մեխանիզմները, որոնք օրինակ, ընդհանուր գլոբալ օպտիմալացման մեթոդներ  են, ներառում է կռվելու սիմուլյացիա և  գենետիկ ալգորիթմը.

Առավելությունները
Հետևյալ են  force-directed ալգորիթմների կարեւորագույն առավելություններից:
 * Լավ որակի արդյունքներ: Գրաֆիկների միջին մեծության նվազագույնը (մինչեւ 50-100 vertices), իսկ ստացված արդյունքները սովորաբար շատ լավ արդյունքներ են հիմնված հետեւյալ պայմանների վրա: միասնական եզրի երկարությունը, միասնական vertex բաշխումը և ցուցադրման  համաչափությունը. Այս վերջին չափանիշը մեկն է առավել կարեւորներից և դժվար է հասնել ցանկացած այլ  տեսակի ալգորիթմի.
 * Ճկունություն: Force-directed ալգորիթմները կարող են հեշտությամբ հարմարվել եւ տարածված է կատարելու լրացուցիչ գեղագիտական չափանիշներ. Սա ստիպում է նրանց առավել բազմակողմանի գրաֆիկ նկարելու ալգորթմների դաս. Գոյության ընդարձակման օրինակները ներառում է  նոր գրաֆիկներ, 3D գրաֆիկ նկարել, կլաստերի գրաֆիկի նկարելը, լարված գրաֆիկի նկարելը, և  դինամիկ գրաֆիկի նկարելը.
 * Ինտուիտիվ: Քանի որ դրանք հիմնված են ընդհանուր օբյեկտների ֆիզիկական անալոգների վրա, ինչպիսիք են աղբյուրները, ալգորիթմների պահվածքը համեմատաբար հեշտ է կանխատեսել եւ հասկանալ. Սա այն դեպքն չէ, այլ տեսակի գրաֆիկի ալգորիթմների հետ.
 * Պարզություն: Տիպիկ force-directed ալգորիթմները պարզ են և կարող է իրականացնել մի քանի տող կոդը. Այլ դասընթացների գրաֆիկ-նկարելու ալգորիթմները, ինչպես orthogonal դասավորություն, սովորաբար շատ ավելի զբաղված են.
 * Interactivity: Այս դասի ալգորիթմի մի այլ առավելությունը ինտերակտիվ առումով է. Կազմելով միջանկյալ փուլերի գրաֆիկը, օգտվողը կարող է հետեւել, թե ինչպես է զարգանում գրաֆիկը, տեսնել այն tangled  քաոսի մի գեղեցիկ կազմաձեւումը. Որոշ ինտերակտիվ գրաֆիկի  գործիքներից, օգտվողը կարող է մեկ կամ մի քանի հանգույցներ  դուրս քաշել իրենց հավասարակշռության վիճակից և հետեւելու նրանց հետ վերաբնակելու դիրքորոշումը. Սա ստիպում է նրանց նախընտրելի դինամիկ ընտրությունը և online գրաֆիկի  համակարգերը.
 * Ուժեղ տեսական հիմքերի քանակը: Մինչ պարզ ad-hoc force-directed  ալգորիթմները (օրինակ, կեղծ սույն հոդվածով) հաճախ հայտնվում են գրականությում եւ գործնականում (քանի որ դրանք համեմատաբար հեշտ է հասկանալ), եւ առավել հիմնավորված մոտեցումներ են սկսում ձեռք բերել.  Վիճակագիրները լուծել են նմանատիպ խնդիրներ multidimensional scaling (MDS) սկսած  1930-ից, եւ ֆիզիկոսներ նույնպես ունեն  նմանատիպ խնդիրների հետ աշխատելու  երկար պատմություն  n-body  -Ֆորումում խնդիրները   շատ հասուն մոտեցումներ կան.  Որպես օրինակ,  stress majorization մոտեցումը MDS կարող է կիրառվել գրաֆիկի խաղարկությանը ինչպես նկարագրված է վերը. Սա ապացուցվել է զուգամիտելով  monotonically.  Monotonic կոնվերգենցիան, գույքը, որը ալգորիթմ կլինի յուրաքանչյուր բազմակրկնություն նվազեցնելով կամ  արժեքն դիրքով, կարևոր է, քանի որ այն երաշխավորում է, որ այն դիրքով, ի վերջո հասնելու տեղական  minimum-ի  և դադարի.  Խլացում ծրագրերը, ինչպիսիք են մեկ օգտագործվող  pseudo-code գրանշանները `առաջացնում է ալգորիթմի դադարեցշում,  բայց չի կարող երաշխավորել իսկական տեղական նվազագույնին  հասելը.

Թերությունները
force-directed ալգորիթմների գլխավոր թերությունները ներառում են հետևյալը:
 * High անընդմեջ ժամանակը: force-directed ալգորիթմներին բնորոշ է համարել ընդհանուր անընդմեջ ժամանակին համարժեք հաղորդագրություններ  O(n3),, որտեղ հանգույցների n թիվն մուտքագրման գրաֆիկն է. Սա պայմանավորված է թիվի կրկնությամբ ` գնահատվում է  O(n),և  բոլոր զույգ հանգույցների ամեն  կրկնություն, պետք է այցելել եւ նրանց փոխադարձ բանող ուժերը հաշվարկվում են. Սա կապված է ֆիզիկայի N-մարմնի խնդիրի հետ. Սակայն, քանի որ զզվելի ուժերը տեղական բնույթի են, գրաֆիկը կարող է բաժանվել այնպես, որ միայն հարեւան  vertices  համարվում. Ընդհանուր տեխնիկան օգտագործվում է ալգորիթմների դասավորությունը որոշելու համար, մեծ գրաֆիկներն ներառում են բարձր ծավալային ներկառուցում,  գծագրական  տրոհված շերտի  և այլ մեթոդների հետ կապված N- մարմին մոդելավորում. Օրինակ, Barnes–Hut simulation-հիմնված է  FADE  մեթոդի վրա  կարող է  բարելավել անընդմեջ ժամանակի n*log(n) յուրաքանչյուր բազմակրկնություն. Որպես  ուղեցույց, մի քանի վայրկյանում կարելի է ակնկալել առավելագույնը  1,000 հանգույցների ստանդարտ n հետ 2 տեխնիկայի բազմակրկնություն, և  100,000 n*log(n) բազմակրկնություն տեխնիկայով.


 * Վատ տեղական minima: Շատ հեշտ է տեսնել, որ  force-directed ալգորիթմները արտադրել են գրաֆիկ նվազագույն էներգետիկայով, մասնավորապես մեկում, որի ընդհանուր էներգիան միայն տեղական նվազագույնն է. Տեղական նվազագույն կարող է լինել, շատ դեպքերում, ավելի վատ, քան համաշխարհային նվազագույնը, որը թարգմանվել է ավելի ցածր որակի վիճակահանությամբ. Շատ ալգորիթմներ, հատկապես այն պայմանագրերը, որոնք թույլ են տալիս միայն down-hill vertices-ի շարժում, վերջնական արդյունքը կարող է մեծապես ազդել է մեկնարկային դիրքով, որ շատ դեպքերում պատահականորեն գեներացվել է. Վատ տեղական minima-յի  խնդիրը դառնում է ավելի կարեւոր, քան vertices  գրաֆիկը մեծանում է. Տարբեր ալգորիթմների  համակցված կիրառումը  օգտակար է լուծել այս խնդիրը. Օրինակ, օգտագործելով  Kamada-Kawai ալգորիթ ը արագ առաջացնում է ողջամիտ նախնական դասավորություն, ապա  Fruchterman-Reingold ալգորիթմը բարելավելու տեղաբաշխում հարեւան հանգույցների.

Կեղծ կոդը
Յուրաքանչյուր առանցք ունի x,y պաշտոնը և  dx,dy  արագություն  և  m զանգվածը. Սովորաբար կա անընդհատ առաձգականություն, և խլացում: 0 < damping < 1. Ուժը դեպի ու հեռու հանգույցներ հաշվարկվում է ըստ Hooke-ի օրենքի և Coulomb-ի օրենքը կամ  նման քննարկումը  վերեւից. Օրինակ կարող է ընդլայնվել trivially  ներառելով a z պաշտոնը  3D ներկայացուցչության համար.

Տես նաև

 * Թուլիփ, ծրագիր, որը իրականցնում է force directed կառուցվածքի մասին (GEM, LGL, GRIP, FM³)
 * Cytoscape, ծրագրային ապահովման համար visualizing կենսաբանական ցանցեր. Բազային փաթեթը ներառում է force-directed դասավորություն որպես ներկառուցված մեթոդներ.
 * Gephi, որը ինտերակտիվ visualization է և հետախուզական հարթակ բոլոր տեսակի ցանցերի եւ բարդ համակարգերի, դինամիկ եւ հիերարխիկ գրաֆիկներ.

Արտաքին հղումներ

 * aiSee's force-directed layout
 * Video of Spring Algorithm
 * Live visualisation in flash + source code and description
 * Short explanation of the Kamada-Kawai spring-based graph layout algorithm featuring a picture
 * Short explanation of Fruchterman-Reingold algorithm. The algorithm implements a variable step width (“temperature”) to guarantee that the system reaches equilibrium state
 * Daniel Tunkelang's dissertation (with source code and demonstration applet) on force-directed graph layout
 * Hyperassociative Map Algorithm
 * Implementation of a Force Directed Graph with C# including video demonstration
 * Interactive and real-time force directed graphing algorithms used in an online database modeling tool

Category:Graph algorithms Category:Graph drawing Category:Articles with example pseudocode

Force-based layout 力学モデル (グラフ描画アルゴリズム)