Գրաֆների տեսությունում գրաֆների ներկումը գրաֆների պիտակման հատուկ դեպք է․ այն, ըստ որոշակի սահմանափակումների, գրաֆի տարրերին պիտակների նշանակում է, որոնք ավանդաբար կոչվում են «գույներ»։ Ամենապարզ տեսքով այն գրաֆի գագաթների ներկում է այնպես, որ երկու հարևան գագաթներ նույն գույնը չունենան (կոչվում է գագաթային ներկում)։ Նմանապես կողային ներկումը գրաֆի յուրաքանչյուր կողին գույնի նշանակում է այնպես, որ երկու հարևան կողեր չունենան նույն գույնը[1]։ Հարթ գրաֆների նիստային ներկման դեպքում գրաֆի յուրաքանչյուր նիստ ներկվում է այնպես, որ ընդհանուր կող ունեցող նիստերը տարբեր գույն ունենան։

Գրաֆի գագաթների գունավորում գույների նվազագույն քանակով (երեք գույն)

Գրաֆի ներկման խնդիրները սովորաբար ձևակերպվում են գագաթային ներկման խնդրի տեսքով, քանի որ ներկման այլ խնդիրները կարելի է վերաձևակերպել գագաթային ներկման տեսքով։ Օրինակ՝ գրաֆի կողային ներկումը համապատասխանում է գրաֆի կողային գրաֆի գագաթային ներկմանը, հարթ գրաֆի նիստային ներկումը համապատասխանում է նույն գրաֆի երկակի գրաֆի գագաթային ներկմանը[1]։ Սակայն, ոչգագաթային ներկման խնդիրները հաճախ ուսումնասիրվում են հենց այդպես։ Սա մասամբ մանկավարժական ընտրության պատճառով է, բացի դա, որոշ խնդիրներ ավելի հեշտ է ուսումնասիրել իրենց «ոչգագաթային» տեսքով։

Գույներով պիտակելու ավանդույթը կապված քարտեզում երկրների ներկման հետ։ Սրա ընդհանրացումը հարթության վրա պատկերված գրաֆների նիստերի ներկումն է։ Հարթ երկակիության միջոցով այն հնարավոր է ներկայանցել գագաթային ներկման միջոցով, ինչը հնարավորություն է տվել խնդիրը ընդհանրացնել բոլոր տեսակի գրաֆների համար։ Մաթեմատիկական և համակարգչային ներկայացումներում ընդունված է «գույները» ներկայանցել առաջին դրական կամ բացասական ամբողջ թվերի միջոցով։ Ընդհանուր առմամբ, կամայական վերջավոր բազմություն կարելի է օգտագործել որպես «գույների բազմություն»։

Գրաֆների ներկումը ունի ինչպես բազմաթիվ պրակտիկ կիրառություններ, այնպես էլ տեսական մարտահրավերներ։ Խնդիրների դասական տեսակներից բացի հնարավոր է տարբեր սահմանափակումներ դնել գրաֆների, գույների նշանակման կամ առհասարակ գույների վրա։ Գրաֆների ներկումը այժմ ակտիվ հետազոտությունների առարկա է։

Պատմություն խմբագրել

Առաջին արդյունքները ստացվել են քարտեզների գունավորման խնդրի հարթ գրաֆների գունավորման համար։ Փորձելով գունավորել Անգլիայի գավառների քարտեզը՝ Ֆրանցիս Գուտրին ձևակերպել է չորս գույների թեորեմը՝ նշելով, որ չորս գույները բավարար են քարտեզը գունավորելու համար այնպես, որ հարակից ցանկացած երկու շրջաններ ունենան տարբեր գույներ։ Նրա եղբայրը հարցը փոխանցել է մաթեմատիկայի իր ուսուցչին՝ Օգաստես դե Մորգանին, որն այդ մասին նշել է 1852 թվականին Ուիլյամ Համիլտոնին ուղղված նամակում։ Արթուր Քելին այս հարցը բարձրացրել է 1878 թվականին Լոնդոնի մաթեմատիկական ընկերության ժողովում։ Նույն թվականին Թեյթն առաջարկել է այս խնդրի առաջին լուծումը։ Սկզբնական գրաֆի գագաթների գունավորումը նա հանգեցրել է երկակի գրաֆի կողերի գունավորմանը և ենթադրել, որ այս խնդիրը միշտ լուծում կունենա[2]: 1880 թվականին Ալֆրեդ Քեմպեն հրապարակել է մի հոդված, որում ասվում է, որ նրան հաջողվել է գտնել խնդրի լուծումը, և մել տասնամյակի ընթացքում չորս գույների խնդիրը համարվել է լուծված։ Այս նվաճման համար Քեմպեն ընտրվել է Լոնդոնի թագավորական ընկերության անդամ, իսկ ավելի ուշ՝ Լոնդոնի մաթեմատիկական ընկերության նախագահ[3]։

1890 թվականին Հիվուդը սխալ է գտել Քեմպեի ապացույցում։ Նույն հոդվածում նա ապացուցել է հինգ գույների թեորեմը՝ ցույց տալով, որ ցանկացած հարթ քարտեզ կարելի է ներկել ոչ ավելի, քան հինգ գույներով։ Միևնույն ժամանակ, նա հենվել է Քեմպեի գաղափարների վր։ Հաջորդ դարում մշակվել են մեծ թվով թեորեմներ` փորձելով նվազեցնել գույների քանակը։ Չորս գույների թեորեմը վերջապես ապացուցվել է 1977 թվականին՝ Քենեթ Ապելի և Վոլֆգանգ Հակենի կողմից՝ օգտագործելով համակարգչային ընտրություն։ Ապացույցի գաղափարը մեծապես հիմնվել է Հիվուդի և Քեմպեի գաղափարների վրա և անտեսել միջանկյալ ուսումնասիրությունների մեծ մասը[4]: Չորս գույների թեորեմի ապացույցն առաջին ապացույցներից մեկն է, որում օգտագործվել է համակարգիչ։

1912 թվականին Ջորջ Դեյվիդ Բիրքհոֆն առաջարկել է գունավորման խնդրի լուծման համար օգտագործել քրոմատիկ բազմանդամ, որը կարևոր մաս է գրաֆների հանրահաշվական տեսության մեջ։ Քրոմատիկ բազմանդամը հետագայում ընդհանրացվել է Ուիլյամ Թաթթի կողմից (Թաթթի բազմանդամ)։ 1879 թվականին Քեմպեն ուշադրություն է հրավիրել այն ընդհանուր դեպքի վրա, երբ գրաֆը հարթ չէ[5]: Ավելի բարձր կարգի մակերեսների վրա հարթ գրաֆների ներկման ընդհանրացումների բազմաթիվ արդյունքներ հայտնվել են XX դարի սկզբին։

1960 թվականին Կլոդ Բերջը ձևակերպել է կատարյալ գրաֆների վարկածը, որը հիմնավորված էր ինֆորմացիայի տեսության գաղափարից, մասնավորապես Շենոնի ներկայացրած գրաֆի տարողության զրոյական սխալից[6]: Պնդումը մնացել է չհաստատված 40 տարի, մինչև հաստատվել է որպես կատարյալ գրաֆների մասին հայտնի կոշտ թեորեմ մաթեմատիկոսներ Չուդնովսկայա, Ռոբերտսոնի, Սեյմուրի և Թոմասի կողմից 2002 թվականին։

Գրաֆների գունավորումը՝ որպես ալգորիթմական խնդիր, սկսել է ուսումնասիրվել 1970 թվականներից։ Քրոմատիկ համարի որոշումը ներառվում է Կարպի 21 NP-ամբողջական խնդիրների թվում (1972 թվական)։ Եվ մոտավորապես նույն ժամանակ մշակվել են տարբեր ալգորիթմներ այդ հետադարձ որոնման և Զիկովի հետադարձման հեռացման և հետ կանչման հիման վրա[7]։ 1981 թվականից գրաֆների գունավորումն օգտագործվում է կոմպիլյատորներում ռեգիստրերի բաշխման համար[8]:

Սահմանում և տերմինաբանություն խմբագրել

Գագաթների ներկում խմբագրել

 
Այս գրաֆը 3 գույներով կարող է գունավորվել12 եղանակով

Գրաֆները ներկելու մասին խոսելիս գրեթե միշտ նկատի է առնվում նրանց գագաթների ներկումը, այսինքն՝ գրաֆի գագաթներին այնպիսի գույներ տալը, որպեսզի ընդհանուր կող ունեցող երկու գագաթներն ունենան տարբեր գույներ։ Քանի որ հանգույցներով գրաֆները չեն կարող ներկվել այս կերպ, դրանք քննարկման առարկա չեն։

Տերմինաբանությունը, որում պիտակները կոչվում են գույներ, գալիս է քաղաքական քարտեզների գունավորումից։ Կարմիր կամ կապույտ գույներն օգտագործվում են միայն այն դեպքում, երբ գույների քանակը փոքր է, սովորաբար ենթադրվում է, որ գույները ամբողջ թվեր են  ։

  գւյների օգտագործմամբ ներկումը կոչվում է  -ներկում։ Գրաֆը ներկելու համար անհրաժեշտ գույների նվազագույն քանակը՝  , կոչվում է նրա քրոմատիկ թիվ և հաճախ գրանցվում է որպես  ։ Երբեմն օգտագործվում է  , քանի որ   նշում է Էյլերի բնութագիրը։ Մի գույնով նշված գագաթների ենթաբազմությունը կոչվում է գունային դաս, յուրաքանչյուր այդպիսի դաս կազմում է անկախ հավաքակազմ։ Այսպիսով,  -ներկումը նույնն է, ինչ գագաթների բաժանումը   անկախ հավաքածուների[1]։

Քրոմատիկ թիվը Գրոմով-Հաուսդորֆի հեռավորության տերմիններում խմբագրել

Դիցուք G-ն կամայական գրաֆ է գագաթների V  բազմությամբ։ Վերցնենք երկու դրական իրական թվեր   , և դիտարկենք   որպես մետրային տարածք, որտեղ հարակից գագաթների միջև հեռավորությունը հավասար է  , իսկ մյուս ոչ զրոյական բոլոր հեռավորությունները հավասար են  ։ Նշանակենք   մետրական տարածությունը, որը բաղկացած միմյանցից   հեռավորության վրա գտնվող   կետերից։ Վերջապես,   և   ցանկացած երկու մետրային տարածքների համար,   միջոցով նշանակեք Գրոմով-Հաուսդորֆի հեռավորությունը   և   միջև։ Այնուհետև կստացվի հետևյալ արդյունքը՝

Թեորեմ (Ա. Իվանով, Ա. Տուժիլին)[9]․ դիցուք m ամենամեծ բնական թիվն է, որի համար   (եթե նման բնական թվեր գոյություն չունեն, ապա ենթադրենք  )։ Այդ դեպքում՝  ։

Դիտարկում․

  •   քրոմատիկ թիվը հավասար է   այն և միայն այն դեպքում, եթե   գրաֆը չի պարունակում ոչ մի կող։ Այս դեպքում   հավասարությունը հնարավոր չէ ոչ մի m-ի համար, հետևաբար, կատարված պայմանավորվածության համաձայն,  , ինչը հանգեցնում էհետևյալ ճիշտ հավասարության՝  ։
  • Ըստ սահմանման,   չի գերազանցում   բազմության   տարրերի քանակին։ Մյուս կողմից, դժվար չէ ցույց տալ, որ   յուրաքանչյուր  -ի համար, ուստի  , և նշանակում է, որ  ։

Քրոմատիկ բազմանդամ խմբագրել

 
Բոլոր փոխմիարժեք համապատասխանությամբ 3 գագաթներով գրաֆները և նրանց քրոմատիկ բազմանդամները։ E3 (կարմիր) դատարկ վանդակը թույլ է տալիս ներկել մեկ գույնով, իսկ մնացածը՝ ոչ։ Կանաչ գրաֆը 12 եղանակով կարող է գունավորվել 3 գույներով

Քրոմատիկ բազմանդամը   ֆունկցիա է, որը հաշվում է   գրաֆի t-ներկումների քանակը։ Անունից հետևում է, որ տրված  բազմանդամ է` կախված t-ից։ Այս փաստը հայտնաբերվել է Բիրկհոֆի և Լյուիսի կողմից՝ չորս գույների թեորեմի ապացուցման փորձի ժամանակ[10]: Օրինակ աջ կողմի պատկերի գրաֆը կարելի է ներկել 3 գույներով 12 եղանակով։ Երկու գույներով այն սկզբունքորեն չի կարելի նկարել։ Օգտագործելով 4 գույն՝ ստանում ենք 24 + 4 * 12 = 72 ներկման ընտրանքներ։ Բոլոր 4 գույներն օգտագործելիս կա 4! = 24 ճիշտ մեթոդ (4 գագաթներից ցանկացած գրաֆի համար 4 գույներից յուրաքանչյուրի վերագրումը ճիշտ է), իսկ 4-ից յուրաքանչյուր 3 գույների համար ներկման 12 եղանակ կա։ Այդ դեպքում, օրինակի գրաֆի համար, ճիշտ ներկումների թվերի աղյուսակը կսկսվի այսպես.

Առկա գույներ 1 2 3 4
Գունազարդման եղանակների քանակը 0 0 12 72

Օրինակի գրաֆի համար՝  , և իհարկե՝  ։

Քրոմատիկ բազմանդամն առնվազն նույնքան տեղեկատվություն է պարունակում  -ի ներկման ունակության մասին, որքան և քրոմատիկ թիվը։ Իրականում   ամենափոքր դրական ամբողջ թիվն է, որը քրոմատիկ բազմանդամի արմատ չէ։

 
Քրոմատիկ գրաֆներ
Եռանկյուն    
Ամբողջ գրաֆ   
с   կողերով ծառ  
  ցիկլ  
Պետերսենի գրաֆ  

Կողերի ներկում խմբագրել

Գրաֆի կողերի ներկումը ենթադրում է կողերին այնպիսի գույներ տալը, որ նույն գագաթին պատկանող երկու կողեր չունենան նույն գույնը։ Այս առաջադրանքը համարժեք է կողերի բազմությունն անկախ կողերի բազմությունների բաժանելուն։   գրաֆի կողային ներկման համար պահանջվող գույների նվազագույն քանակը նրա քրոմատիկ ինդեքսն է կամ կողային քրոմատիկ թիվը՝  ։

Ընդհանուր ներկում խմբագրել

 
Ֆոստերի վանդակի ճիշտ ներկումը կատարվում է 6 գույնով։ Այս վանդակի ընդհանուր քրոմատիկ թիվը 6 է, քանի որ յուրաքանչյուր գագաթի աստիճանը 5 է (5 հարակից կողեր + 1 գագաթ = 6)։

Գրաֆների ընդհանուր ներկումը գագաթների և կողերի ներկման տեսակներից մեկն է։ Դա ենթադրում է նրանց տալ այնպիսի գույներ, որ ոչ հարևան կողերը, ոչ էլ գագաթներն ու նրանց միացնող կողերը չունենան նույն գույնը։   գրաֆի   քրոմատիկ ընդհանուր թիվն այն ամենափոքր թիվն է, որն անհրաժեշտ է ցանկացած ամբողջական ներկման համար։

Հատկություններ խմբագրել

Քրոմատիկ բազմանդամի հատկություններ խմբագրել

 
  • Եթե   գրաֆը   և   չհատվող ենթագրաֆների միավորում է[11], ապա
 
  • Եթե  -ում կա հանգույց[11], ապա
 

Քրոմատիկ թվի սահմանափակումները խմբագրել

  • Բոլոր գագաթներին տարբեր գույներ վերագրելը միշտ տալիս է ճիշտ ներկում, այնպես որ
 
  • Միակ տեսակի գրաֆները, որոնք կարող են ներկվել մեկ գույնով, դրանք զրոյական գրաֆներն են։
  •   ամբողջ գրաֆը, որն ունի   գագաթներ, պահանջում   գույն։
  • Օպտիմալ ներկման դեպքում պետք է լինի գրաֆի   կողերից առնվազն մեկ կող յուրաքանչյուր երկու գույների դասերի միջև, այնպես որ[12]
 
  • Եթե   հանդիսանում է   և   չհատվող ենթագրաֆների միավորում, ապա
 
  • Եթե  -ն պարունակում է k չափի կլիկներ, ապա անհրաժեշտ է նվազագույնը k թվով գույն այդ կլիկի ներկման համար, այլ կերպ ասած, քրոմատիկ թիվը ավելի մեծ է կամ հավասար կլիկի թվին։
 
Միջանկյալ գրաֆների համար այս սահմանափակում ճիշտ է։
  • Չորս գույների թեորեմի համաձայն՝ ցանկացած հարթ գրաֆ կարելի է ներկել չորս գույներով։
  • 2-ներկվող գրաֆները երկակի գրաֆներ են, ներառյալ ծառերը։
Գրաֆ  -ն համարվում է երկակի միայն և միայն այդ դեպքում, եթե այն չի պարունակում կենտ երկարությամբ ցիկլեր[11]։
  • Ագահ ներկումը ցույց է տալիս, որ ցանկացած գրաֆ կարելի է ներկել, երբ օգտագործվում է մեկ գույն ավելին, քան դրա առավելագույն գագաթի աստիճանը[12]։
 
  • Ամբողջ գրաֆները ունեն   և  , գրաֆ-ցիկլերը՝   և  , ուստի նրանց համար այս սահմանափակումն ամենալավն է, մնացած բոլոր դեպքերում սահմանափակումները կարող են բարելավվել։ Բրուքսի թեորեմը[13] պնդում է, որ
    կապակցված, պարզ գրաֆի համար, եթե այն ոչ ամբողջական գրաֆ է և ոչ էլ գրաֆ-ցիկլ։

Մեծ քրոմատիկ թվով գրաֆներ խմբագրել

  • Գրաֆները ունեն մեծ քրոմատիկ թիվ, բայց հակառակ պնդումը միշտ չէ։ Գրյոչի գրաֆը 4 գունավոր գրաֆի օրինակ է` առանց եռանկյունիների և այս օրինակը կարելի է ընդհանրացնել Միխելսկու գծապատկերում։
Թեորեմ (Ալեքսանդր Զիկով 1949, Յան Միխելսկի, 1955). Կան գրաֆներ, առանց եռանկյունների, կամայականորեն մեծ քրոմատիկ թվերով։
  • Բրուքսի թեորեմից, մեծ քրոմատիկ համարով գրաֆները պետք է ունենան ուղղահայաց առավելագույն աստիճան։ Տեղական մեկ այլ պայման, որի պատճառով քրոմատիկ քանակը կարող է մեծ լինել, մեծ կտավների առկայությունն է։ Բայց գրաֆի գունավորումը կախված է ոչ միայն տեղական պայմաններից. Տեղական մեծ գերեզմանով գրաֆը տեղական տեսք ունի ծառի տեսքով, ուստի բոլոր ցիկլերը երկար են, բայց դրա քրոմատիկ թիվը հավասար չէ 2-ի։
Էրդշայի թեորեմ. Գոյություն ունեն գրաֆներ ՝ կամայականորեն մեծ գերեզմանով և քրոմատիկ համարով։

Քրոմատիկ ինդեքսի սահմանափակումները խմբագրել

  • Եզրերի գունավորում   —դա այն է, որ գունավորում տոպեր իր գծային գրաֆի  ։Այսինքն
 
  • Ավելին,
Կոենիգի թեորեմ:  , եթե   — երկդիմի։
  • Ընդհանուր դեպքում, կապը շատ ավելի ուժեղ է, քան Բրուքսի թեորեմը `ուղղահայաց գունավորումը տալիս է.
Վիզինգի թեորեմ. վերին առավելագույն աստիճանի գրաֆը   ունի կողային քրոմատիկ թիվ   կամ  .

Այլ հատկություններ խմբագրել

  • Գրաֆը k- քրոմատիկ է, այն դեպքում, եթե այն ունի ացիկլային ուղղվածություն, որի համար ամենաերկար ուղու երկարությունը k է։ Դա ապացուցվեց Gallai - Hasse - Roy - Vitawer-ի թեորեմում։
  • Հարթ գրաֆների համար, գագաթների գունավորում համարժեք է 0-ի։
  • Անվերջ գրաֆների մասին շատ ավելի քիչ է հայտնի։ Ստորև բերված են անսահման գրաֆների գունազարդման երկու արդյունք։
  1. Եթե   անվերջ գրաֆի բոլոր վերջնական ենթատեսակները k- քրոմատիկ են, ապա և  -ն նույնպես k-քրոմատիկ է (ապացուցված է ընտրության աքսիոմի ենթադրությամբ)։ Սա Դե Բրյուենի - Էրդեշի թեորեմի սահմանումն է ։
  2. Եթե գրաֆը ընդունում է ամբողջական n- գունավորում որևէ   համար, ապա դա ընդունում է անվերջ լիարժեք գունավորում։

Բաց հարցեր խմբագրել

Օդանավի քրոմատիկ համարը, որում երկու կետերը հարակից են, եթե դրանց միջև կա միավոր հեռավորություն, անհայտ է կարող է լինել 5, 6, կամ 7։ Գրաֆների քրոմատիկ թվաքանակի վերաբերյալ այլ բաց հարցերը ներառում են Hadwiger ենթադրությունը, որում ասվում է, որ k- ի քրոմատիկ համարով ցանկացած գրաֆի ունի k կետերի ամբողջական գրաֆը, ինչպես նշվումէ Էրդշան-Ֆաբեր-Լովասի ենթադրությունում, որը սահմանափակում է ամբողջական գրաֆների քրոմատիկական քանակը, որոնք ունեն յուրաքանչյուր ընդհանուր զույգ գրաֆի համար ճշգրիտ մեկ ընդհանուր եզրագիծ և Ալբերտսոնի ենթադրությունը, որ k-քրոմատիկ գրաֆների շարքում լրիվ լրացված են այն խաչմերուկների ամենաքիչ քանակը։

Երբ Բիրկովն ու Լուիսը ներկայացրեցին քրոմատիկ բազմությունը՝ չորս գույնի թեորեմը լուծելու փորձի մեջ, նրանք պնդում էին, որ   գծային գրաֆների համարբազմապատկել  այս միջակայքում չունի  ։ Չնայած հայտնի է, որ նման քրոմատիկ բազմամոնիան տարածաշրջանում զրո չունի  , и что  , նրանց հայտարարությունը մնում է չհաստատված։ Հարցը մնում է նաև բաց, թե ինչպես կարելի է տարբերակել գրաֆները նույն քրոմատիկ բազմամոլիկով և ինչպես որոշել, որ բազմամոլը քրոմատիկ է։

Գունազարդման ալգորիթմներ խմբագրել

Բազմահավաք ալգորիթմներ խմբագրել

Երկկողմ գրաֆի համար գունազարդման առաջադրանքը հաշվարկվում է գծային ժամանակով ՝ օգտագործելով առաջին լայնության որոնումը։ Կատարյալ գրաֆների դեպքում քրոմատիկ համարը և դրա համապատասխան գունազարդումը կարելի է գտնել բազմամյա ժամանակով ՝ օգտագործելով կիսատագրված ծրագրավորում։ Քրոմատիկ համարը գտնելու ճշգրիտ բանաձևերը հայտնի են գրաֆների շատ դասերի համար (անտառներ, ցիկլեր, անիվներ, ակորդային գրաֆներ) և կարող են հաշվարկվել նաև բազմամյա ժամանակով։

Ճշգրիտ ալգորիթմներ խմբագրել

K- ներկման դեպքի սպառիչ որոնման ալգորիթմը հաշվի է առնում բոլոր   համադրությունը դասավորվածության գույների վանդակում հետ n գագաթներով և ստուգում է նրանց ճշգրտությունը։ Քրոմատիկ համարը և քրոմատիկ պոլիոմը հաշվարկելու համար այս ալգորիթմը հաշվի է առնում յուրաքանչյուր k–ն 1-ից մինչև n: Գործնականում նման ալգորիթմը կարող է կիրառվել միայն փոքր գրաֆների համար։

Օգտագործելով դինամիկ ծրագրավորում և գնահատելով ամենամեծ անկախ հավաքածուի չափը, գրաֆում k- ներկման հնարավորությունը կարող է ժամանակին լուծվել  ։ Հայտնի են ավելի արագ ալգորիթմներ 3-և 4-գունազարդումներ, որոնք աշխատում են  [14] և  [15] ընթացքում։

Ձգում խմբագրել

Գագաթների ձգում — սա գործողություն է, որը գրաֆից  –ից կազմում է գրաֆ  , նույնացնելով գագաթները   и  , դրանք միացնող եզրերը հեռացնելով, և փոխարինելով   ուղղահայացով, ուղղվում են կողորը գագաթով   и  ։ Այս գործողությունը կարևոր դեր է խաղում գրաֆի գունավորման վերլուծության մեջ։

Քրոմատիկ թիվը բավարարում է ռեկուրենտային հարաբերակցությանը։

 ,

որտեղ  –ն և  –ն ոչ հարակից գագաթներ են ,   գրաֆ `ավելացված   կողերով Պ։ Որոշ ալգորիթմներ հիմնված են այդ համամասնության վրա ՝ արդյունքում արտադրելով ծառ, երբեմն կոչվում է նաև Զիկովի ծառ։ Կատարման ժամանակը կախված   և   է գագաթների ընտրության մեթոդից ։

Քրոմատիկ բազմամոնիան բավարարում է կրկնվող հարաբերությունը.

 ,

որտեղ  –ն և  –ն հարակից գագաթներ են,   կողերի հեռացման գրաֆ ։   ներկայացնում է գրաֆի հնարավոր ճիշտ գունազարդումների թիվը , երբ  –ն և   – ն կարող են ունենալ տարբեր գույներ։ Եթե  –ն и  –ն ունեն տարբեր գույներ, ապա մենք կարող ենք դիտարկել գրաֆը, որտեղ  –ն և  –ն հարակից են։ Եթե  –ն և  –ն ունեն նույն գույները, մենք կարող ենք դիտարկել գրաֆ, որտեղ  –ն և  –ն հարակից են։

Վերոհիշյալ տրված արտահայտությունները հանգեցնում են հետադարձման ընթացակարգին, որը կոչվում է հեռացման ալգորիթմ, որը հիմք է հանդիսացել գրաֆիկական գունազարդման շատ ալգորիթմների համար։ Աշխատանքային ժամանակը բավարարում է նույն ռեկուրենտային հարաբերակցության, ինչպես նաև Ֆիբոնաչիի թվի, այնպես որ վատագույն դեպքում ալգորիթմը կաշխատի   ընթացքում n և m գագաթների համար։ Գործնականում մասնաճյուղային և պարտադիր եղանակը և իզոմորֆային գրաֆները անտեսելը խուսափում են որոշակի հետադարձ զանգերից։ Գործառնական ժամանակը կախված է զույգ ուղղահայաց ընտրելու մեթոդից։

Ագահ գունավորում խմբագրել

Ալգորիթմի աշխատանքի ընթացքում կա երկու արդյունք՝ գագաթների տարբեր կարգերի ընտրության ժամանակ։ Ալգորիթմը կազմակերպում է գագաթները  ,…,  և հաջորդականորեն վերագրում է ուղղահայաց  –ին ամենափոքր հասանելի գույնը, հարև անների ներկման համար չօգտագործվող   շարքում  ,…, , կամ ավելացնում է նորը։ Արդյունքում գունազարդման որակը կախված է ընտրված կարգից։ Միշտ կա այդպիսի պատվեր, որը ալգորիթմը տանում է դեպի գույների օպտիմալ   քանակ։ Մյուս կողմից, ագահ ալգորիթմը կարող է լինել որքան վատ, օրինակ, թագը n գագաթներով կարող է նկարել 2 գույներով, բայց կա գագաթնակետների կարգը, որը հանգեցնում է ագահ գունավորում   գույներով։

Ակորդային գրաֆի համար և նրա հատուկ դեպքերի համար (օրինակ՝ ընդմիջման գրաֆ), ագահ գունազարդման ալգորիթմը կարող է օգտագործվել բազմամուսնական ժամանակում օպտիմալ գունավորում գտնելու համար՝ ընտրելով ուղղահայացների կարգը հակադարձ բացառության կատարյալ կարգին։ Այս ալգորիթմը կարող է կիրառվել գրաֆների ավելի լայն դասի (կատարյալ կարգավորված գրաֆների) վրա, այնուամենայնիվ, նման գրաֆների համար նման պատվեր գտնելը NP- բարդ խնդիր է։

Եթե ուղղահայացները պատվիրված են ըստ իրենց աստիճանների, ագահ գունազարդման ալգորիթմը օգտագործում է ոչ ավելին, քան   գույներ, որ առավելագույնը 1-ով ավելի մեծ է, քան   (այստեղ   — վերին աստիճան  ). Այս ալգորիթմը երբեմն կոչվում է ՈՒելշա–Պաուելիի ալգորիթմ։ Մեկ այլ ալգորիթմի կարգը դինամիկ է սահմանում՝ ընտրելով մեկի հաջորդ ուղղահայացը, որն ունի տարբեր գույների հարակից ուղղահայացների ամենամեծ քանակը։ Գրաֆի գունազարդման շատ այլ ալգորիթմներ հիմնված են ագահ գունազարդման վրա և օգտագործել ստատիկ կամ դինամիկ ռազմավարություններ՝ ուղղահայացների կարգը ընտրելու համար։

Զուգահեռ և բաշխված ալգորիթմներ խմբագրել

Բաշխված ալգորիթմների ոլորտում նմանատիպ խնդիր է առաջացել։ Ենթադրենք, որ գրաֆի ուղղությունները համակարգիչներ են, որոնք կարող են միմյանց հետ շփվել, եթե դրանք միացված են մի կողմով։ Խնդիրն է յուրաքանչյուր համակարգչի համար ընտրել իր համար «գույն», որպեսզի հարևան համակարգիչները ընտրեն տարբեր գույներ։ Այս խնդիրը սերտորեն կապված է սիմետրիայի կոտրման խնդրի հետ։ Առավել զարգացած հավանականական ալգորիթմները ավելի արագ են աշխատում, քան դետերմինիստական ալգորիթմները ուղղանկյունների բավարար չափով մեծ առավելագույն աստիճանի գրաֆների համար ։ Հնարավոր արագ ալգորիթմներն օգտագործում են բազմակի փորձի տեխնիկան։

Սիմետրիկ գրաֆներում դետերմինիստական բաշխված ալգորիթմները չեն կարողանում գտնել օպտիմալ եզրային գունավորումը։ Համաչափությունից խուսափելու համար անհրաժեշտ է ավելի շատ տեղեկատվություն։ Ստանդարտ ենթադրություն է արվում, որ ի սկզբանե յուրաքանչյուր եզրագիծ ունի յուրահատուկ նույնականացում, օրինակ ՝ այս   շարքից ։ Այլ կերպ ասած, ենթադրվում է, որ մեզ տրվում է n- երանգավորում։ Մարտահրավերն այն է, որ նվազեցնել գույների քանակը n -ից, օրինակ ՝  ։ Որքան շատ գույներ են օգտագործվում (օրինակ,   միասին  ), այնքան քիչ հաղորդագրություններ է անհրաժեշտ փոխանակել։

Բաշխված ագահ ալգորիթմի պարզ տարբերակ   -գունավորում պահանջում   գուցե հարկ լինի ցանցի մի ծայրից մյուսը անցնել։

Ամենապարզ հետաքրքիր դեպքը n- ցիկլն է։ Ռիչարդ Քոուլը և Ուզի Վիշկինը ցույց տվեցին, որ գոյություն ունի բաշխված ալգորիթմ, որը նվազեցնում է գույների քանակը n-ից մինչև  , օգտագործելով միայն մեկ անգամ հարևանների միջև հաղորդագրություններ։ Կրկնելով նույն ընթացակարգը, մենք կարող ենք ձեռք բերել n-ցիկլի 3-երանգավորում մինչև   կապի փուլեր (պայմանով, որ տրվեն եզակի հանգույցների նույնականացուցիչներ)։

Լոգարիթմական ֆունկցիա  ,Կրկնվող լոգարիթմը չափազանց դանդաղ աճող գործառույթ է ՝ «գրեթե կայուն»:Հետևաբար, Քոուլի և Վիշկինի արդյունքները բարձրացնում են այն հարցը, արդյոք կա n-ցիկլի բաշխված 3-գունավոր ալգորիթմ, որն ընթանում է անընդհատ ժամանակով։ Nathan Lineal- ը ցույց տվեց, որ դա անհնար է. Ցանկացած որոշիչ բաշխված ալգորիթմ   պահանջում է կապի փուլերը `n- ցիկլում N- գունավորումը 3-գունավորումը նվազեցնելու համար։

Քոուլի և Վիշկինի տեխնիկան կարող է կիրառվել նաև ուղղաձիգ սահմանափակ աստիճանի կամայական գրաֆի վրա, որի դեպքում գործարկման ժամանակը   է։ Այս մեթոդը ընդհանրացվել է միավորի օղակների գրաֆում Շնայդերի և այլոց կողմից։

Կողերի գունազարդման խնդիրը նույնպես ուսումնասիրվել է բաշխված մոդելի մեջ։ Պենսոնցին և Ռիզզին հասան  -գունազարդում մինչև   մինչև այս մոդել։ Ստորին սահմանը բաշխված գունավոր գագաթների համար, որը ձեռք է բերվել գծի կողմից, նույնպես կիրառելի է բաշխված կողոսկրերի գունազարդման խնդրի համար։

Ապակենտրոնացված ալգորիթմներ խմբագրել

Ապակենտրոնացված ալգորիթմները դրանք են, որոնցում ներքին հաղորդագրությունները թույլ չեն տալիս (ի տարբերություն բաշխված ալգորիթմների, որտեղ գործընթացները փոխանակում են տվյալները միմյանց հետ)։ Կան արդյունավետ ապակենտրոնացված ալգորիթմներ, որոնք հաջողությամբ հաղթահարում են գրաֆների գունավորման խնդիրը։ Այս ալգորիթմները գործում են այն ենթադրության համաձայն, որ մի եզրագիծ ունակ է «զգալ», որ իր հարևան ուղղահայաց նկարները ներկված են նույն գույնի պես։ Այլ կերպ ասած, հնարավոր է որոշել տեղական հակամարտություն։ Այս պայմանը հաճախ բավարարվում է իրական ծրագրերում. Օրինակ, անլար ալիքով տվյալներ փոխանցելիս, փոխանցող կայանը, որպես կանոն, հնարավորություն ունի հայտնաբերելու, որ մեկ այլ կայան փորձում է միաժամանակ փոխանցել նույն ալիքին։ Նման տեղեկատվություն ստանալու հնարավորությունը բավարար է, որպեսզի ալգորիթմները, որոնք հիմնված են սովորելու ավտոմատների վրա, մեկի հավանականությամբ, ճիշտ լուծում են գրաֆի գունավորման խնդիրը։

Հաշվողական բարդություն խմբագրել

Գրաֆը ներկելը հաշվարկայինորեն դժվար է։ Պարզելու համար, արդյոք գրաֆը ընդունում է, որ տվյալ k- ի գունավորումը NP- ի ամբողջական խնդիր է, բացառությամբ k = 1 և k = 2. դեպքերի։ Մասնավորապես, քրոմատիկ համարը հաշվարկելու խնդիրն NP- բարդ է։ 3-երանգավորման խնդիրը NP- ամբողջական է նույնիսկ 4-րդ աստիճանի հարթ գրաֆի դեպքում։

Նաև NP դժվար խնդիր է 4 գույներով գունավոր գրաֆի ներկումը 4 գույներով և k- գունավոր գրաֆը   բավական k մեծ արժեքների։

Քրոմատիկ բազմամյակի # P- դժվարության գործակիցների հաշվարկ։ Ապացուցված է, որ չկա որևէ FPRAS ալգորիթմ ՝ ցանկացած ռացիոնալ համարի համար քրոմատիկ բազմագույնը հաշվարկելու համար k ≥ 1,5, բացի k = 2,եթե միայն չկատարվի, երբ NP = RP։

Դիմում խմբագրել

Պլանավորում խմբագրել

Գունավորում Տոպեր գունազարդման մոդելները պլանավորում են բազմաթիվ խնդիրներ։ Իր ամենապարզ ձևակերպմամբ ՝ աշխատատեղերի որոշակի շարք պետք է բաշխվեն ժամանակի ընթացքում, յուրաքանչյուր այդպիսի աշխատանք տանում է մեկ հատված։ Դրանք կարող են իրականացվել ցանկացած կարգով, բայց երկու աշխատանքները կարող են բախվել այն իմաստով, որ դրանք չեն կարող կատարվել միևնույն ժամանակ, քանի որ, օրինակ, նրանք օգտագործում են ընդհանուր ռեսուրսներ։ Համապատասխան գրաֆը պարունակում է եզրագիծ յուրաքանչյուր աշխատատեղի համար և յուրաքանչյուր հակամարտող զույգի համար եզր։ Կառուցված գրաֆի քրոմատիկական թիվը կատարման համար նվազագույն ժամանակն է առանց կոնֆլիկտի բոլոր աշխատանքների։

Պլանավորման խնդրի մանրամասները որոշում են գրաֆի կառուցվածքը։ Օրինակ, երբ կա օդանավերի բաշխում ըստ թռիչքների, արդյունքում առաջացող կոնֆլիկտային գրաֆը ինտերվալային գրաֆ է, որպեսզի ներկման խնդիրը հնարավոր լինի արդյունավետ լուծել։ Ռադիոհաճախականությունները բաշխելիս ձեռք է բերվում կոնֆլիկտների միավորի շրջանակների գրաֆ, և նման խնդրի համար կա 3-մոտեցման ալգորիթմ

Ռեգիստրների բաշխում խմբագրել

Կոմպիլյատորը համակարգչային ծրագիր է, որը թարգմանում է մեկ համակարգչային լեզու մյուսը։ Արդյունավետ կոդի կատարման ժամանակը բարելավելու համար կոմպիլյատորի օպտիմալացման տեխնիկաներից մեկը գրանցումների բաշխումն է, որտեղ կոմպիլացվող ծրագրի առավել հաճախ օգտագործվող փոփոխականները պահվում են պրոցեսորի արագ գործող ռեգիստրներում։ Իդեալական դեպքում փոփոխականները պահվում են գրանցամատյաններում, այնպես, որ դրանք բոլորը գտնվում են գրանցամատյաններում դրանց օգտագործման ժամանակ։

Ստանդարտ մոտեցումը այս խնդրին է նկատի ունենալ, որ խնդիրը գունավորում գրաֆների. Կոմպիլյատորը կառուցում է ինտերֆերենցիոն գրաֆը, որտեղ գագաթները համապատասխանում են փոփոխականներին, իսկ եզրը կապում է դրանցից երկուսը, եթե դրանք անհրաժեշտ են ժամանակի միևնույն կետում։ Եթե այս գրաֆը k-քրոմատիկ է, ապա փոփոխականները կարող են պահվել k ռեգիստրներում։

Թվային ջրանիշներ խմբագրել

Թվային ջրային նշանների տեխնոլոգիա (անգլ. ՝ ՝ digital watermarking) թույլ է տալիս տվյալների հետ միասին (լինի դա մեդիաֆայլեր, գործարկվող ֆայլեր և այլն) փոխանցել ինչ-որ թաքնված հաղորդագրություն ("ջրի մակարդակի նշագիծ", Watermark) ։ Նման թաքնված հաղորդագրությունը կարող է կիրառվել հեղինակային իրավունքի պաշտպանության բացահայտել տվյալների սեփականատիրոջը.

Սա կարևոր է, օրինակ, հաստատել աղբյուրը դրանց տարածման անօրինական ճանապարհով. Կամ հաստատել իրավունքները տվյալների, օրինակ, ծրագրային համակարգերի վրա բյուրեղյա (system-on-chi

Հաղորդագրությունը կարող է կոդավորված, այդ թվում՝ ձևով բաշխման ռեգիստրների. Առաջարկվեց այս տեխնիկայից մեկը Qu и Potkonjak[16] (հետևաբար, այն երբեմն կոչվում է QP ալգորիթմ).

Այն բաղկացած է հետևյալից.թող   — (անհամատեղելիության գրաֆ) պրոցեսորի գրանցման հատկացում , որի մասին խոսվել է վերը։ Դրա գունավորումը օգտագործվում է ծրագրում - ավելին, այն օգտագործվում է այնպես, որ թույլատրելի է գրաֆի պարունակությունը փոխել իր քրոմատիկ համարի մի փոքր աճով։ Ստացվում է, որ հնարավոր է հաղորդագրություն կոդավորել ծրագրային արտադրանքի մեջ ՝ օգտագործելով գրաֆի ներկ  , այսինքն, բաշխման ռեգիստրների։

Դուք կարող եք ստանալ այս հաղորդագրությունը համեմատելով ռեգիստրների բաշխումը սկզբնական գունազարդման հետ; Կան նաև եղանակներ համոզվելու համար, թե արդյոք որևէ հաղորդագրություն կոդավորված է ծրագրում, առանց նախնական օգտագործման։

Հետագայում տարբեր հեղինակներ զարգացրել և հստակեցրել են գաղափարները Qu և Potkonjak.

Այլ ծրագրեր խմբագրել

Գրաֆների գունավորման խնդիրը դրվել է կիրառման բազմաթիվ այլ ոլորտներում, ներառյալ նմուշային համադրումը։

Sudoku հանելուկ լուծումը կարող է դիտվել որպես ավարտելով գունավորում 9 գույներով սահմանված գրաֆի 81 գագաթներով։

Ծանոթագրություններ խմբագրել

  1. 1,0 1,1 1,2 (Molloy & Reed 2002, The Basic Definitions)
  2. (Донец & Шор 1982, Историческая справка)
  3. (Kubale 2004, History of graph coloring)
  4. (van Lint & Wilson 2001, Chap. 33)
  5. (Jensen & Toft 1995, էջ 2)
  6. C.E. Shannon, "The zero-error capacity of a noisy channel, " IEEE Trans. Information Theory, pp. 8-19, 1956.
  7. (Зыков 1949)
  8. (Chaitin 1982)
  9. A.O.Ivanov, A.A.Tuzhilin (2019), The Gromov-Hausdorff Distance between Simplexes and Two-Distance Spaces (PDF), arXiv:1907.09942
  10. (Birkhoff & Lewis 1946)
  11. 11,0 11,1 11,2 11,3 (Tutte 1984, Chromatic polynomial)
  12. 12,0 12,1 (Diestel 2005, Colouring vertices)
  13. (Brooks & Tutte 1941)
  14. (Beigel & Eppstein 2005)
  15. (Fomin, Gaspers & Saurabh 2007)
  16. (Qu & Potkonjak 1998)

Գրականություն խմբագրել

  • Донец, Г. А.; Шор, Н. З. (1982), Алгебраический подход к проблеме раскраски плоских графов, Наукова думка, էջեր 5–7
  • Зыков, А. А. (1949), «О некоторых свойствах линейных комплексов», Матем. сб., 24(66) (2): 163–188
  • Beigel, R.; Eppstein, D. (2005), «3-coloring in time O(1.3289n)», Journal of Algorithms (English), 54 (2)): 168–204, doi:10.1016/j.jalgor.2004.06.008{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Birkhoff, G. D.; Lewis, D. C. (1946), «Chromatic Polynomials» (PDF), Trans. Amer. Math. Soc. (English), 60: 355–451{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Brélaz, D. (1979), «New methods to color the vertices of a graph», Communications of the ACM (English), 22 (4): 251–256, doi:10.1145/359094.359101{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Brooks, R. L.; Tutte, W. T. (1941), «On colouring the nodes of a network», Proceedings of the Cambridge Philosophical Society (English), 37 (2): 194–197, doi:10.1017/S030500410002168X{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • N. G. de Bruijn, P. Erdős A colour problem for infinite graphs and a problem in the theory of relations (English) // Nederl. Akad. Wetensch. Proc. Ser. A. — 1951. — Т. 54. — С. 371—373. (= Indag. Math. 13)
  • Byskov, J.M. (2004), «Enumerating maximal independent sets with applications to graph colouring», Operations Research Letters (English), 32 (6): 547–556, doi:10.1016/j.orl.2004.03.002{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Cormen, T. H.; Leiserson, C. E.; Rivest, R. L. (1990), Introduction to Algorithms (1st ed.), The MIT Press
  • Collberg, Christian; Thomborson, Clark; Townsend, Gregg M. (2004), Dynamic Graph-Based Software Watermarking (PDF)
  • Chaitin, G. J. (1982), «Register allocation & spilling via graph colouring», Proc. 1982 SIGPLAN Symposium on Compiler Construction (English), էջեր 98–105, doi:10.1145/800230.806984, ISBN 0-89791-074-5{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Cole, R.; Vishkin, U. (1986), «Deterministic coin tossing with applications to optimal parallel list ranking», Information and Control (English), 70 (1): 32–53, doi:10.1016/S0019-9958(86)80023-7{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Dailey, D. P. (1980), «Uniqueness of colorability and colorability of planar 4-regular graphs are NP-complete», Discrete Mathematics (journal) (English), 30 (3): 289–293, doi:10.1016/0012-365X(80)90236-8 {{citation}}: Text "Discrete Mathematics" ignored (օգնություն)CS1 սպաս․ չճանաչված լեզու (link)
  • Diestel, R. (2005), Graph theory (PDF) (English), Արխիվացված է օրիգինալից (PDF) 2014 թ․ նոյեմբերի 25-ին, Վերցված է 2020 թ․ հուլիսի 24-ին{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Duffy, K.; O'Connell, N.; Sapozhnikov, A. (2008), «Complexity analysis of a decentralised graph colouring algorithm» (PDF), Information Processing Letters (English), 107: 60–63, doi:10.1016/j.ipl.2008.01.002{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Fawcett, B. W. (1978), «On infinite full colourings of graphs», Canadian Journal of Mathematics (English), XXX: 455–457 {{citation}}: Text "Can. J. Math." ignored (օգնություն)CS1 սպաս․ չճանաչված լեզու (link)
  • Fomin, F.V.; Gaspers, S.; Saurabh, S. (2007), «Improved Exact Algorithms for Counting 3- and 4-Colorings», Proc. 13th Annual International Conference, COCOON 2007, Lecture Notes in Computer Science (English), vol. 4598, Springer, էջեր 65–74, doi:10.1007/978-3-540-73545-8_9, ISBN 978-3-540-73544-1{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Garey, M. R.; Johnson, D. S. (1979), Computers and Intractability: A Guide to the Theory of NP-Completeness (English), W.H. Freeman, ISBN 0-7167-1045-5{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Garey, M. R.; Johnson, D. S.; Stockmeyer, L. (1974), «Some simplified NP-complete problems», Proceedings of the Sixth Annual ACM Symposium on Theory of Computing (English), էջեր 47–63, doi:10.1145/800119.803884{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Goldberg, L. A.; Jerrum, M. (2008 թ․ հուլիս), «Inapproximability of the Tutte polynomial», Information and Computation, 206 (7): 908–929, doi:10.1016/j.ic.2008.04.003
  • Goldberg, A. V.; Plotkin, S. A.; Shannon, G. E. (1988), «Parallel symmetry-breaking in sparse graphs», SIAM Journal on Discrete Mathematics, 1 (4): 434–446, doi:10.1137/0401044
  • Guruswami, V.; Khanna, S. (2000), «On the hardness of 4-coloring a 3-colorable graph», Proceedings of the 15th Annual IEEE Conference on Computational Complexity (English), էջեր 188–197, doi:10.1109/CCC.2000.856749, ISBN 0-7695-0674-7{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Jaeger, F.; Vertigan, D. L.; Welsh, D. J. A. (1990), «On the computational complexity of the Jones and Tutte polynomials», Mathematical Proceedings of the Cambridge Philosophical Society (English), 108: 35–53, doi:10.1017/S0305004100068936{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Jensen, Tommy R.; Toft, Bjarne (1995), Graph Coloring Problems (English), John Wiley & Sons, ISBN 0-471-02865-7 {{citation}}: Unknown parameter |isbn2= ignored (օգնություն)CS1 սպաս․ չճանաչված լեզու (link)
  • Khot, S. (2001), «Improved inapproximability results for MaxClique, chromatic number and approximate graph coloring», Proc. 42nd Annual Symposium on Foundations of Computer Science (English), էջեր 600–609, doi:10.1109/SFCS.2001.959936, ISBN 0-7695-1116-3{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Kubale, M. (2004), Graph Colorings (English), American Mathematical Society, ISBN 0-8218-3458-4{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Kuhn, F. (2009), «Weak graph colorings: distributed algorithms and applications», Proceedings of the 21st Symposium on Parallelism in Algorithms and Architectures (English), էջեր 138–144, doi:10.1145/1583991.1584032, ISBN 978-1-60558-606-9{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Lawler, E.L. (1976), «A note on the complexity of the chromatic number problem», Information Processing Letters (English), 5 (3): 66–67, doi:10.1016/0020-0190(76)90065-X{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Leith, D.J.; Clifford, P. (2006), «A Self-Managed Distributed Channel Selection Algorithm for WLAN», Proc. RAWNET 2006, Boston, MA (PDF) (English){{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Linial, N. (1992), «Locality in distributed graph algorithms», SIAM Journal on Computing (English), 21 (1): 193–201, doi:10.1137/0221015{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • van Lint, J. H.; Wilson, R. M. (2001), A Course in Combinatorics (2nd ed.), Cambridge University Press, ISBN 0-521-80340-3
  • Molloy, Michael; Reed, Bruce (2002), Graph colouring and the probabilistic method (English), Springer, ISBN 3-540-42139-4, ISSN 0937-5511{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Marx, Dániel (2004), «Graph colouring problems and their applications in scheduling», Periodica Polytechnica, Electrical Engineering (English), vol. 48, էջեր 11–16, CiteSeerX:10.1.1.95.4268{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Mycielski, J. (1955), «Sur le coloriage des graphes» (PDF), Colloq. Math., 3: 161–162.
  • Myles, Ginger; Collberg, Christian S. (2003), «Software Watermarking Through Register Allocation: Implementation, Analysis, and Attacks», ICISC, էջեր 274–293, doi:10.1007/b96249
  • Nešetřil, Jaroslav; Ossona de Mendez, Patrice (2012), «Theorem 3.13», Sparsity: Graphs, Structures, and Algorithms, Algorithms and Combinatorics, vol. 28, Heidelberg: Springer, էջ 42, doi:10.1007/978-3-642-27875-4, ISBN 978-3-642-27874-7, MR 2920058.
  • Panconesi, Alessandro; Rizzi, Romeo (2001), «Some simple distributed algorithms for sparse networks», Distributed Computing (English), Berlin, New York: Springer-Verlag, 14 (2): 97–100, doi:10.1007/PL00008932, ISSN 0178-2770{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Panconesi, A.; Srinivasan, A. (1996), «On the complexity of distributed network decomposition», Journal of Algorithms (English), vol. 20{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Qu, Gang; Potkonjak, Miodrag (1998), «Analysis of watermarking techniques for graph coloring problem», ICCAD, էջեր 190–193, doi:10.1145/288548.288607
  • Schneider, J. (2010), «A new technique for distributed symmetry breaking», Proceedings of the Symposium on Principles of Distributed Computing (PDF) (English), Արխիվացված է օրիգինալից (PDF) 2013 թ․ հուլիսի 30-ին{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)Արխիվացված է Հուլիս 30, 2013 Wayback Machine-ի միջոցով:
  • Schneider, J. (2008), «A log-star distributed maximal independent set algorithm for growth-bounded graphs», Proceedings of the Symposium on Principles of Distributed Computing (PDF) (English), Արխիվացված է օրիգինալից (PDF) 2013 թ․ հուլիսի 30-ին{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)Արխիվացված է Հուլիս 30, 2013 Wayback Machine-ի միջոցով:
  • Sekine, K.; Imai, H.; Tani, S. (1995), «Computing the Tutte polynomial of a graph of moderate size», Proc. 6th International Symposium on Algorithms and Computation (ISAAC 1995), Lecture Notes in Computer Science (English), vol. 1004, Springer, էջեր 224–233, doi:10.1007/BFb0015427, ISBN 3-540-60573-8{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Tutte, W. T. (1984), «Graph theory», Encyclopedia of mathematics and applications (English), Cambridge University Press, 21, ISBN 0-521-30241-2{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Welsh, D. J. A.; Powell, M. B. (1967), «An upper bound for the chromatic number of a graph and its application to timetabling problems», The Computer Journal, 10 (1): 85–86, doi:10.1093/comjnl/10.1.85
  • Wilf, H. S. (1986), Algorithms and Complexity (English), Prentice–Hall{{citation}}: CS1 սպաս․ չճանաչված լեզու (link)
  • Zhu, William; Thomborson, Clark (2006), «Recognition in software watermarking», MCPS '06: Proceedings of the 4th ACM international workshop on Contents protection and security, ACM, էջեր 29–36, doi:10.1145/1178766.1178776, ISBN 1-59593-499-5