Цветовое кодирование

Цветовое кодирование — алгоритмическая техника[англ.], полезная для обнаружения структурных мотивов[англ.]. Может быть использована, к примеру, для обнаружения простого пути длины k в заданном графе. Традиционный алгоритм цветового кодирования является вероятностным, но решение может быть дерандомизировано[англ.] без существенного увеличения времени работы.

Цветовое кодирование также применяется для обнаружения циклов заданной длины и в более общем случае, как в задаче поиска изоморфного подграфа (NP-полная задача), где оно даёт алгоритмы полиномиального времени, если искомый подграф имеет ограниченную древесную ширину.

Эта техника широко используется в различных областях, включая науку, инженерию, медицину и информатику, для облегчения восприятия и анализа сложной информации.

Метод цветового кодирования предложили и анализировали в 1994 году. Авторы - Нога Алон, Рафаэль Юстер и Юрий Цвик[1][2].

Результаты

Следующие результаты могут быть получены методом цветового кодирования:

  • Для любой константы k, если граф содержит цикл размера k, такой цикл может быть найден за:
    • среднее время, или
    • худшее время, где является экспонентой умножения матриц[3].
  • Для любой константы k и любого графа из нетривиального семейства графов, замкнутого по минорам (например, планарные графы), если G содержит простой цикл размера k, то такой цикл может быть найден за:
    • O(V) среднее время, или за
    • O(V log V) время в худшем случае.
  • Если граф содержит подграф, изоморфный графу ограниченной древесной ширины, который имеет O(log V) вершин, то такой подграф может быть найден за полиномиальное время.

Метод

Чтобы решить задачу нахождения подграфа в данном графе , где H может быть путём, циклом или любым графом с ограниченной древесной шириной, а , метод цветового кодирования начинает со случайной раскраски каждой вершины в G с помощью цветов, а потом пытается найти полноцветную копию H в раскрашенном G. Здесь под полноцветным графом понимается граф, в котором каждая вершина раскрашена в свой цвет. Метод работает путём повторения (1) случайной раскраски графа и (2) нахождения полноцветной копии целевого подграфа. В конечном счёте целевой подграф может быть найден, если процесс повторять достаточное число раз.

Предположим, что копия H в G становится полноцветной с некоторой ненулевой вероятностью p. Отсюда следует, что при повторении случайной раскраски раз эта копия однажды встретится. Заметим, что даже когда вероятность p мала, известно, что при вероятность p лишь полиномиально мала. Предположим, что существует алгоритм, который для данного графа G и раскраски, которая отображает каждую вершину G в один из k цветов, находит копию полноцветной копии H, если она существует, за некоторое время O(r). Тогда ожидаемое время поиска копии H в G, если она существует, равно .

Иногда желательно использовать более жёсткую версию цветной раскраски. Например, в контексте поиска циклов в планарных графах можно разрабатывать алгоритм для поиска хорошо раскрашенных циклов. Здесь под хорошо раскрашенным циклом понимается раскраска последовательными цветами.

Пример

В качестве примера возьмём поиск простого цикла длины k в графе .

При применении метода случайной раскраски каждый простой цикл имеет вероятность стать полноцветным, поскольку имеется способов выкрасить k вершин цикла, среди которых встречается вариантов полноцветной раскраски. Тогда алгоритм (описан ниже) может быть использован для поиска полноцветных циклов в случайно раскрашенном графе G за время , где является константой умножения матриц. Тогда требуется полное время для нахождения простого цикла длины k в G.

Алгоритм поиска полноцветного цикла сначала находит все пары вершин в V, соединённые простым путём длины k − 1, а потом проверяет, соединены ли две вершины в каждой паре. Если задана функция раскраски для графа G, перенумеруем все разбиения множества цветов на два подмножества размера примерно в каждом. Для каждого такого разбиения пусть будет множеством вершинам, выкрашенных цветами из , а будет множеством вершин, выкрашенных цветами из . Пусть и обозначают подграфы, порожденные и соответственно. Рекурсивно находим полноцветные пути длины в и . Представим, что булевы матрицы и представляют связь каждой пары вершин в и полноцветным путём соответственно, и пусть B будет матрицей, описывающей смежность вершин и , тогда булево произведение даёт все пары вершин в V, соединённые полноцветным путём длины k − 1. Объединение матриц, полученных на всех разбиениях множества цветов, даёт , что приводит ко времени работы . Хотя этот алгоритм находит только конечные точки полноцветного пути, может быть использован другой алгоритм Алона и Наора[4], который и находит, собственно, полноцветный путь.

Дерандомизация

Дерандомизация[англ.] цветового кодирования вовлекает перечисление возможных раскрашиваний графа G, так что рандомизация раскраски G больше не нужна. Для обнаружения целевого подграфа H в G, перечисление должно включать, по меньшей мере, один случай, где H полноцветн. Чтобы это получить, достаточно перечислить k-совершенное семейство F хеш-функций из в {1, ..., k} . По определению, функция F k-совершенна, если для любого подмножества S множества , где , существует хеш-функция h из F, такая что является идеальной функции хеширования[англ.]. Другими словами, должна существовать хеш-функци в F, которая раскрашивает заданные k вершин в k различных цвета.

Имеется несколько подходов к построению такого k-идеального семейства хеша:

  1. Лучшее явное построение предложили Мони Наор, Леонард Дж. Шульман и Аравинд Сринивасан[5], в котором можно получить семейство размера . Это построение не требует, чтобы целевой подграф содержался в исходной задаче нахождения подграфа.
  2. Другое явное построение предложили Джанетта П. Шмидт и Алан Сигель[6] даёт семейство размера .
  3. Ещё одно построение, которое появилось в исходной статье Нога Алона и др.[2], можно получить сначала путём построения k-совершенного семейства, которое отображает в , с построением другого k-совершенного семейства, которое отображает в . На первом шаге можно построить такое семейство с 2nlog k случайными битами, которое почти 2log k-независимо[7][8], и пространство, необходимое для генерации этих случайных бит, может быть ограничено величиной . На втором шаге, как показали Джанетта П. Шмидт и Алан Зигель [6], размер такого k-идеального семейства может быть . Следовательно, составляя k-идеальные семейства из обоих шагов, можно получить k-совершенное семейство размера , которое отображает из в .

В случае дерандомизации идеального раскрашивания, когда каждая вершина подграфа раскрашивается последовательно, требуется k-идеальное семейство хэш-функций из в . Достаточное k-совершенное семейство, отображающее из в , может быть построено способом, подобным подходу 3 выше (первый шаг). В частности, это делается использованием случайных бит, которые почти независимы, а размер получающегося k-совершенного семейства будет равен .

Дерандомизация метода цветового кодирования может быть легко распараллелена, что приводит к эффективным алгоритмам в классе NC.

Приложения

Недавно цветовое кодирование привлекло внимание ученых из области биоинформатики. Пример — определение сигнальных путей в сетях белок-белкового взаимодействия (ББВ). Другим примером является обнаружение и подсчёт числа мотивов[англ.] в сетях ББВ. При изучении как сигнальных путей, так и мотивов[англ.] позволяет более глубокое понимание похожести разницы многих биологических функций, процессов и структур в организмах.

Вследствие большого числа генетических данных, которые можно собрать, поиск путей или мотивов может занимать продолжительное время. Однако, используя метод цветового кодирования, мотивы и сигнальные пути с вершинами в сети G с n вершинами могут быть найдены очень эффективно за полиномиальное время. Это позволяет исследовать более сложные или больших размеров структуры в сетях ББВ.

Примечания

  1. Alon, Yuster, Zwick, 1994, с. 23—25.
  2. 1 2 Alon, Yuster, Zwick, 1995, с. 844—856.
  3. См. Алгоритм Копперсмита — Винограда. Экспонента умножения матриц — это степень размера матрицы асимптотической сложности алгоритма умножения матриц.
  4. Alon, Naor, 1994.
  5. Naor, Schulman, Srinivasan, 1995, с. 182.
  6. 1 2 Schmidt, Siegel, 1990, с. 775–786.
  7. Naor, Naor, 1990, с. 213—223.
  8. Alon, Goldreich, Hastad, Peralta, 1990, с. 544—553.

Литература

  • Naor J., Naor M. Small-bias probability spaces: efficient constructions and applications // Proceedings of the Twenty-Second Annual ACM Symposium on theory of Computing (Baltimore, Maryland, United States, May 13–17, 1990) / H. Ortiz, Ed.. — New York, NY: ACM, 1990. — doi:10.1145/100216.100244.
  • Alon N., Goldreich O., Hastad J., Peralta R. Simple construction of almost k-wise independent random variables // Proceedings of the 31st Annual Symposium on Foundations of Computer Science (October 22–24, 1990). SFCS.. — Washington, DC: IEEE Computer Society, 1990. — doi:10.1109/FSCS.1990.89575.
  • Alon N., Yuster R., Zwick U. Color-coding: a new method for finding simple paths, cycles and other small subgraphs within large graphs // Proceedings of the Twenty-Sixth Annual ACM Symposium on theory of Computing (Montreal, Quebec, Canada, May 23–25, 1994). STOC '94.. — New York, NY: ACM, 1994. — doi:10.1145/195058.195179.
  • Alon N., Yuster R., Zwick U. Color-coding. // J. ACM. — 1995. — Т. 42, вып. 4. — doi:10.1145/210332.210337.
  • Alon N., Naor M. Derandomization, Witnesses for Boolean Matrix Multiplication and Construction of Perfect Hash Functions. // Technical Report. UMI Order Number: CS94-11.,. — Weizmann Science Press of Israel, 1994.
  • Naor M., Schulman L. J., Srinivasan A. Splitters and near-optimal derandomization // In Proceedings of the 36th Annual Symposium on Foundations of Computer Science (October 23–25, 1995). FOCS.. — Washington, DC: IEEE Computer Society, 1995. — Т. 182.
  • Schmidt J. P., Siegel A. The spatial complexity of oblivious k-probe Hash functions // SIAM J. Comput.. — 1990. — Т. 19, вып. 5. — doi:10.1137/0219054.

Литература для дальнейшего чтения

  • Alon N., Dao P., Hajirasouliha I., Hormozdiari F., Sahinalp S. C. Biomolecular network motif counting and discovery by color coding // Bioinformatics. — 2008. — Т. 24, вып. 13. — С. i241–i249. — doi:10.1093/bioinformatics/btn163. — PMID 18586721. — PMC 2718641.
  • Hüffner F., Wernicke S., Zichner T. Algorithm Engineering for Color-Coding with Applications to Signaling Pathway Detection // Algorithmica. — 2008. — Т. 52, вып. 2. — С. 114–132. — doi:10.1007/s00453-007-9008-7.

Read other articles:

SokciDaerah dengan populasi signifikan Kroasia: Slavonia dan Baranja Serbia: Vojvodina  Hungaria: Kabupaten Baranya  Bosnia dan Herzegovina  RumaniaBahasaKroasia dan HungariaAgamaKatolik RomaKelompok etnik terkaitBunjevci, Kroasia dan Serbia Šokci (Kroasia: Šokci, Hungaria: Sokácok, Serbia: Шокци / Šokci) adalah kelompok etnis Slavia Selatan yang dianggap sebagai bagian dari etnis Kroasia. Šokci tidak dianggap sebagai identitas yang terpisah di Kroasia,[...

 

Gregory HelmsHelms di WWE WrestleMania XXV Axxess pada bulan April 2009Nama lahirGregory Shane Helms[1][2]Lahir12 Juli 1974 (umur 49)[2][3]Smithfield, Carolina Utara, Amerika Serikat[2][3]Anak1Karier gulat profesionalNama ringGregory Hanes[3]Gregory Helms[1]Gregory Shane HelmsThe Hurricane[4]Hurricane Helms[3]Shane HelmsTinggi6 ft 0 in (1,83 m)[4]Berat200 pon (91 kg)[4]...

 

العلاقات الإيرانية المنغولية إيران منغوليا   إيران   منغوليا تعديل مصدري - تعديل   العلاقات الإيرانية المنغولية هي العلاقات الثنائية التي تجمع بين إيران ومنغوليا.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه المقارنة...

Aref al-Aref Aref al-Aref (Arab: عارف العارفcode: ar is deprecated ,‎ 1892–1973) adalah seorang wartawan, sejarawan dan politikus Palestina. Aref al-Aref menjabat sebagai walikota Yerusalem Timur pada 1950an, pada masa aneksasi Tepi Barat oleh Yordania. Biografi Aref al-Aref lahir dengan nama Aref Shehadeh di Yerusalem pada 1892.[1] Ayahnya adalah seorang penjual sayuran. Karya yang diterbitkan Bedouin Love, Law and Legend: History of Beersheba and Its Tribes History...

 

عبد العزيز بن طيفور عبد العزيز بن طيفور، و(بالفرنسية: Abdelaziz Ben Tifour)‏    معلومات شخصية الميلاد 25 يوليو 1927(1927-07-25)الداي حسين الوفاة 19 نوفمبر 1970 (عن عمر ناهز 43 عاماً)الجزائر الطول 1.74 م (5 قدم 8 1⁄2 بوصة) مركز اللعب وسط الجنسية الجزائر فرنسا  المسيرة الاحترافية...

 

Voce principale: Eccellenza 1993-1994. Eccellenza Lombardia 1993-1994 Competizione Eccellenza Lombardia Sport Calcio Edizione 3ª Organizzatore FIGC - LNDComitato Regionale Lombardia Luogo  Italia Partecipanti 48 Risultati Promozioni Pro PatriaMeda MobiliCremaBrugherioCorte RomaneseOrceana Club Azzurri Retrocessioni MuggiòErbeseVigevanoVizzoleseSebinia Pianico Alto S.Quinzano Cronologia della competizione 1992-1993 1994-1995 Manuale Il campionato italiano di calcio di Eccellenza region...

Wayne Gretzky's #99 was retired league-wide in 2000 [1] This is a complete list of numbers retired by the National Hockey League (NHL). A retired number is a jersey number that is taken out of circulation by a team as a way of honouring a former member of that team who wore that number; after the number's retirement, members of that team are not permitted to wear the number on their jerseys unless by permission of the original number holder. The first team to retire a number was the ...

 

Castellammare di Stabiacomune Castellammare di Stabia – Veduta LocalizzazioneStato Italia Regione Campania Città metropolitana Napoli AmministrazioneSindacoRaffaele Cannizzaro, Mauro Passerotti, Rosa Valentino (commissione prefettizia) dal 28-2-2022 TerritorioCoordinate40°41′41″N 14°28′49″E / 40.694722°N 14.480278°E40.694722; 14.480278 (Castellammare di Stabia)Coordinate: 40°41′41″N 14°28′49″E / 40.694722°N ...

 

Pour les articles homonymes, voir Y2K. Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. L'introduction de cet article est soit absente, soit non conforme aux conventions de Wikipédia (mars 2023). Ces motifs sont peut-être précisés sur la page de discussion. — Découvrez comment faire pour en améliorer la rédaction. Bug de l'an 2000 : la pendule indique janvier 1900 au lieu de janvier 2000. Le passage informatique à l'an 2000, connu sous le terme ...

Merionethshire MilitiaRoyal Merioneth Rifles4th (Royal Carnarvon & Merioneth Militia) Bn, Royal Welch FusiliersActive1661–1908Country England (1661–1707) Kingdom of Great Britain (1707–1800) United Kingdom (1801–1908)Branch MilitiaRoleInfantrySizeCompany to BattalionPart ofRoyal Welch FusiliersGarrison/HQDolgellauMilitary unit The Merionethshire Militia, later the Royal Merioneth Rifles, was an auxiliary[a] regiment reorganised from earlier precursor u...

 

Russian economist In this name that follows Eastern Slavic naming customs, the patronymic is Maratovich and the family name is Guriev. Sergey GurievСергей ГуриевGuriev in 2021Born (1971-10-21) 21 October 1971 (age 52)Ordzhonikidze, North Ossetian ASSR, Russian SFSR, Soviet UnionNationalityOsseteCitizenshipSoviet Union, Russian FederationAlma materMoscow Institute of Physics and TechnologyKnown forHead Economist of the European Bank for Reconstruction and Develop...

 

ABC/MyNetworkTV affiliate in Harrisonburg, Virginia WHSV-TVHarrisonburg–Staunton, VirginiaUnited StatesCityHarrisonburg, VirginiaChannelsDigital: 20 (UHF)Virtual: 3BrandingWHSV; WHSV NewsWSVW 3 in the Valley (on DT2)MeTV on MyValley (on DT4)CBS The V (on DT5)ProgrammingAffiliations3.1: ABC3.2: NBC3.5: CBSfor others, see § SubchannelsOwnershipOwnerGray Television(Gray Television Licensee, LLC)Sister stationsWSVF-CD, WSVW-LDHistoryFirst air dateOctober 1953 (70 years ago)&...

Diplomatic History  Singkatan (ISO)Dipl. Hist.Disiplin ilmuSejarah hubungan luar negeri Amerika SerikatBahasaInggrisDisunting olehNick Cullather, Anne L. FosterDetail publikasiPenerbitOxford University Press atas nama Society for Historians of American Foreign RelationsSejarah penerbitan1977–sekarangFrekuensi5/tahunFaktor dampak0.267 (2013)PengindeksanISSN0145-2096 (print)1467-7709 (web)LCCN77649292OCLC469947155 Pranala Journal homepage Akses daring Arsip daring Halaman ...

 

Securities market located in Paris, France Euronext ParisTypeStock exchangeLocationParis, FranceCoordinates48°52′07.42″N 02°19′37.81″E / 48.8687278°N 2.3271694°E / 48.8687278; 2.3271694Founded24 September 1724; 299 years ago (1724-09-24) (as Paris Bourse)22 September 2000; 23 years ago (2000-09-22) (as Euronext Paris)OwnerEuronextKey peopleDelphine d'Amarzit (CEO)CurrencyEURNo. of listings795[1]Mark...

 

Kamikaze GirlsSampul dari versi paperback Inggris novel Kamikaze Girls下妻物語(Shimotsuma Monogatari)GenreKomedi MangaPengarangNovala TakemotoPenerbitShogakukanPenerbit bahasa Inggris VIZ MediaTerbitSeptember 2002[1] AnimeSutradaraTetsuya NakashimaSkenarioTetsuya NakashimaMusikYoko Kanno[2]Tayang13 Mei 2004[3] MangaPengarangYukio Kanesada Novala TakemotoPenerbitShogakukanPenerbit bahasa Inggris VIZ MediaMajalahBetsucomiDemografiShōjoTerbit11 Juni 2004 – sekarang...

Species of butterfly Pink acraea Mating in Pendjari NP, the male above A. c. pudora and related species Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Arthropoda Class: Insecta Order: Lepidoptera Family: Nymphalidae Genus: Acraea Species: A. caecilia Binomial name Acraea caecilia(Fabricius, 1781) [1][2] Synonyms Papilio caecilia Fabricius, 1781 Acraea (Acraea) caecilia Papilio hypatia Drury, 1782 Papilio artemesa Stoll, 1790 Telchinia bendis Hübner...

 

Extinct species of parakeet native to North America Carolina parakeet Mounted specimen in the Naturalis Biodiversity Center Conservation status Extinct (1918)  (IUCN 3.1)[1] Presumed Extinct (1918)  (NatureServe)[2] Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Chordata Class: Aves Order: Psittaciformes Family: Psittacidae Tribe: Arini Genus: †ConuropsisSalvadori, 1891 Species: †C. carolinensis Binomial name †Conur...

 

Swedish musician (born 1945) Björn UlvaeusKVO1klUlvaeus in 2013BornBjörn Kristian Ulvaeus (1945-04-25) 25 April 1945 (age 79)Gothenburg, SwedenOccupations Musician singer songwriter producer Years active1963–presentSpouses Agnetha Fältskog ​ ​(m. 1971; div. 1980)​ Lena Källersjö ​ ​(m. 1981; sep. 2022)​ Children4, including LindaMusical careerGenres Europop folk rock Swedish folk r...

2017 Spanish filmUncertain GloryCatalan film posterCatalanIncerta glòria Directed byAgustí VillarongaScreenplay by Agustí Villaronga Coral Cruz Based onUncertain Gloryby Joan SalesProduced byIsona PassolaStarring Marcel Borràs Núria Prims Oriol Pla Bruna Cusí Luisa Gavasa Terele Pávez Fernando Esteso Juan Diego Productioncompanies Massa d'Or Produccions Televisió de Catalunya Distributed byAlfa PicturesRelease date 17 March 2017 (2017-03-17) (Spain) CountrySpainLan...

 

1974 film directed by José Mojica Marins The Bloody Exorcism of Coffin JoeTheatrical release posterDirected byJosé Mojica MarinsWritten byJosé Mojica MarinsAdriano StuartRubens Francisco LuchettiProduced byAnibal Massaini NetoStarringJosé Mojica MarinsCinematographyAntonio MeliandeEdited byCarlos CoimbraMusic byGeraldo JoséProductioncompanyCinedistriDistributed byCinedistriRelease date December 23, 1974 (1974-12-23) Running time100 minutesCountryBrazilLanguagePortuguese Th...