Брукс теоремасы - Brooks theorem - Wikipedia

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

Жылы графтар теориясы, Брукс теоремасы максимум арасындағы байланысты айтады дәрежесі графиктің және оның хроматикалық сан. Теоремаға сәйкес, әр шыңның ең көп Δ көршісі болатын байланысты графикада шыңдар болуы мүмкін түрлі-түсті тек екі түстен басқа, тек екі жағдайдан басқа, толық графиктер және циклдік графиктер length + 1 түстерді қажет ететін тақ ұзындықтағы.

Теорема атымен аталған Леонард Брукс, оның дәлелі 1941 жылы жарыққа шыққан. Брукс теоремасында сипатталған түстердің саны бар бояуды кейде деп атайды Брукс бояуы немесе Δ-бояу.

Ресми мәлімдеме

Кез келген үшін байланысты бағытталмаған граф G максимуммен дәрежесі Δ, хроматикалық сан туралы G егер ол болмаса, ең көбі Δ болады G бұл толық граф немесе тақ цикл, бұл жағдайда хроматикалық сан Δ + 1 болады.

Дәлел

Ласло Ловаш  (1975 ) Брукс теоремасының жеңілдетілген дәлелін келтіреді. Егер график жоқ болса қосарланған, оның қосарланған компоненттері бөлек боялуы мүмкін, содан кейін бояғыштар біріктірілуі мүмкін. Егер графиктің шыңы болса v дәрежесі Δ -ден төмен болса, онда а ашкөз бояу алгоритм, шыңдарды алысырақ бояйды v жақын адамдар ең көп Δ түстерді пайдаланады. Сондықтан дәлелдеудің ең қиын жағдайы екі байланысқан concerns-тұрақты Δ ≥ бар графиктер. Бұл жағдайда Ловас а-ны табуға болатындығын көрсетеді ағаш екі көрші емес сен және w тамырдың v ағаштың жапырақтары. Бастап ашкөздік бояуы сен және w және созылып жатқан ағаштың қалған шыңдарын төменнен жоғары қарай ретпен өңдеу, аяқталуы v, ең көп uses түстерді қолданады. Үшін, кез келген басқа шыңдардан басқа кезде v түсті, оның ата-анасы боялмаған, сондықтан оның көршілес көршілері барлық бос түстерді қолдана алмайды, ал v екі көрші сен және w тең түстерге ие болу керек, сондықтан қайтадан еркін түс қалады v өзі.

Кеңейтімдер

Теореманың неғұрлым жалпы нұсқасы қолданылады тізімге бояу: максималды дәрежесі any болатын кез-келген қосылған бағдарланған график, ол да емес клика тақ цикл және әр шыңға арналған Δ түстердің тізімі, оның тізімінен әр шыңға түсін таңдауға болады, сонда екі көршілес төбелердің бірдей түсі болмайды. Басқаша айтқанда, байланысқан G бағытындағы графикалық тізімнің хроматикалық саны ешқашан Δ -дан аспайды, егер G клика немесе тақ цикл болмаса. Бұл дәлелденді Вадим Визинг  (1976 ).

Белгілі бір графиктер үшін Δ -ден аз түстер қажет болуы мүмкін. Брюс Рид  (1999 ) егер берілген графикада Δ-кликасы болмаса ғана, Δ - 1 түстің жеткілікті болатындығын көрсетеді, берілген Δ жеткілікті үлкен. Үшін үшбұрышсыз графиктер, немесе жалпы графиктер Көршілестік әрбір шыңның мөлшері жеткілікті сирек, O (Δ / log Δ) түстері жеткілікті.[1]

Графиктің дәрежесі басқа бояулар түрлерінің жоғарғы шекараларында да пайда болады; үшін жиектерді бояу, хроматикалық индекс максимум Δ + 1 болатын нәтиже Визинг теоремасы. Брукс теоремасының жалғасы жалпы бояу, жалпы хроматикалық санның ең көбі Δ + 2 болатындығын білдіретін Мехди Бехзад және Vizing. Хаджал-Семереди теоремасы әділ бояу кез-келген графта (Δ + 1) -түсі бар, онда кез-келген екі түсті кластардың өлшемдері бір-бірінен ерекшеленеді.

Алгоритмдер

Сызықтық уақыт ішінде Δ-бояғышты, тіпті Δ-тізімді бояумен табуға болады.[2] Тиімді алгоритмдер параллель және үлестірілген есептеу модельдерінде Брукс бояғыштарын табумен де белгілі.[3]

Ескертулер

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

  • Алон, Нога; Кривелевич, Майкл; Судаков, Бенни (1999), «Графиктерді сирек кездесетін аудандармен бояу», Комбинаторлық теория журналы, B сериясы, 77 (1): 73–82, дои:10.1006 / jctb.1999.1910
  • Брукс, Р. (1941), «Желінің түйіндерін бояу туралы», Кембридж философиялық қоғамының математикалық еңбектері, 37 (2): 194–197, дои:10.1017 / S030500410002168X.
  • Грейбл, Дэвид А .; Панконеси, Алессандро (2000), «Брукс-Визингті бояуға арналған жылдам таратылатын алгоритмдер», Алгоритмдер журналы, 37: 85–120, дои:10.1006 / jagm.2000.1097.
  • Хажнал, Петер; Семереди, Эндре (1990), «Брукс параллель бояумен», Дискретті математика бойынша SIAM журналы, 3 (1): 74–80, дои:10.1137/0403008.
  • Karloff, H. J. (1989), «Брукс теоремасының NC алгоритмі», Теориялық информатика, 68 (1): 89–103, дои:10.1016/0304-3975(89)90121-7.
  • Ловас, Л. (1975), «Графтар теориясындағы үш қысқа дәлел», Комбинаторлық теория журналы, B сериясы, 19 (3): 269–271, дои:10.1016/0095-8956(75)90089-1.
  • Панконеси, Алессандро; Шринивасан, Аравинд (1995), «Δ-бояудың жергілікті табиғаты және оның алгоритмдік қосымшалары», Комбинаторика, 15 (2): 255–280, дои:10.1007 / BF01200759.
  • Рид, Брюс (1999), «Брукс теоремасын күшейту», Комбинаторлық теория журналы, B сериясы, 76 (2): 136–149, дои:10.1006 / jctb.1998.1891.
  • Skulrattanakulchai, San (2006), «сызықтық уақыттағы шыңдарды бояудың Δ-тізімі», Ақпаратты өңдеу хаттары, 98 (3): 101–106, дои:10.1016 / j.ipl.2005.12.007.
  • Визинг, В. Г. (1976), «Берілген түстермен шыңдар бояулары», Дискрет. Анализ. (орыс тілінде), 29: 3–10.

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