Двочасткова розмірність

У теорії графів і комбінаторній оптимізації двочасткова розмірність або число біклікового покриття графа G = (V, E) — це найменше число біклік (тобто повних двочасткових підграфів), необхідних, щоб покрити всі ребра E. Набір біклік, що покривають усі ребра в G, називається бікліковим покриттям ребер, або просто бікліковим покриттям. Двочасткова розмірність графа G часто позначається символом d(G).

Приклад

Приклад покриття ребер бікліками розібрано в таких діаграмах:

• Двочастковий граф...
• ... і покриття графа чотирма бікліками:
• червона бікліка покриття,
• синя бікліка покриття,
• зелена бікліка покриття,
• чорна бікліка покриття.

Формули двочасткових розмірностей для деяких графів

Двочасткова розмірність повного графа з n вершинами ${\displaystyle K_{n}}$ дорівнює ${\displaystyle \lceil \log _{2}n\rceil }$ .

Двочасткова розмірність корони з 2n вершинами дорівнює ${\displaystyle \sigma (n)}$, де

${\displaystyle \sigma (n)=\min \left\{\,k\mid n\leq {\binom {k}{\lfloor k/2\rfloor }}\,\right\}}$

є оберненою функцією центрального біноміального коефіцієнта.

Фішбурн і Гаммер визначили двочасткові розмірності для деяких графів. Наприклад, шлях ${\displaystyle P_{n}}$ має розмірність ${\displaystyle d(P_{n})=\lfloor n/2\rfloor }$, а цикл ${\displaystyle C_{n}}$ має розмірність ${\displaystyle d(C_{n})=\lceil n/2\rceil }$.

Обчислення двочасткових розмірностей

Задача визначення двочасткової розмірності для заданого графа G є задачею оптимізації. Задача розв'язності для двочасткової розмірності можна перефразувати так:

ДАНО: Граф ${\displaystyle G=(V,E)}$ і додатне ціле число ${\displaystyle k}$.

ПИТАННЯ: Чи містить G біклікове покриття ребер, у якому максимум ${\displaystyle k}$ біклік?

Ця задача міститься під номером GT18 у класичній книзі Гарея і Джонсона про NP-повноту і є прямим переформулюванням іншої задачі розв'язності на сімействах скінченних множин.

Задача про базисну множину міститься під номером SP7 в тій самій книзі. Тут дано сімейство підмножин ${\displaystyle {\mathcal {S}}=\{S_{1},\ldots ,S_{n}\}}$ скінченної множини ${\displaystyle {\mathcal {U}}}$, базисна множина для ${\displaystyle {\mathcal {S}}}$ — це інше сімейство підмножин ${\displaystyle {\mathcal {B}}=\{B_{1},\ldots ,B_{\ell }\}}$ множини ${\displaystyle {\mathcal {U}}}$, така, що будь-яку множину з ${\displaystyle S_{i}}$ можна уявити як об'єднання деяких базисних елементів з ${\displaystyle {\mathcal {B}}}$. Задача про базисну множину тепер формулюється так:

ДАНО: Скінченну множину ${\displaystyle {\mathcal {U}}}$, сімейство ${\displaystyle {\mathcal {S}}=\{S_{1},\ldots ,S_{n}\}}$ підмножин множини ${\displaystyle {\mathcal {U}}}$ і додатне ціле число k.

ПИТАННЯ: Чи існує для ${\displaystyle {\mathcal {S}}}$ базисна множина, розмір якої не більший від ${\displaystyle k}$?

У першому формулюванні NP-повноту довів Орлін навіть для двочасткових графів. NP-повноту задачі про базисну множину довів раніше Стокмеєр. Задача залишається NP-складною, навіть якщо ми обмежимося двочастковими графами, двочасткова розмірність яких становить менше ${\displaystyle O(\log \,\!n)}$, де n позначає розмір конкретної задачі. Добре, однак, що задача розв'язна за поліноміальний час на двочасткових вільних від доміно графів (доміно — це драбина висоти 3).

Щодо існування апроксимаційних алгоритмів Сімон довів, що задачу не можна добре апроксимувати (в припущенні P ≠ NP). Більш того, двочасткову розмірність NP-складно апроксимувати для ${\displaystyle |V|^{1/3-\epsilon }}$ для будь-якого фіксованого ${\displaystyle \epsilon >0}$ навіть для двочасткових графів.

Для порівняння, доведення, що задача є ^[en], є вправою під час побудови алгоритмів (як у книзі Донвея і Феллоуса). Фляйшнер, Міджуні, Паулусма і Зайдер навели також конкретні межі результуючого ядра, які потім поліпшили Нор, Хермелін, Чарлат і ін.

Фактично, для заданого двочасткового графа з n вершинами можна визначити за час ${\displaystyle O(f(k))+n^{3}}$, де ${\displaystyle f(k)=2^{k2^{k-1}+3k}}$, чи перевищує двочасткова розмірність графа число k.

Застосування

Завдання визначення двочасткової розмірності графа виникає в різних контекстах обчислень. Наприклад, у комп'ютерних системах різним користувачам системи може бути дозволено або заборонено доступ до різних ресурсів. При керуванні доступом на основі ролей, роль користувача визначає права доступу до набору ресурсів. Користувач може мати кілька ролей і він може отримати доступ до ресурсів, доступних для однієї з ролей. Роль, у свою чергу, можна призначити декільком користувачам. Задача пошуку ролей полягає у виділенні такого мінімального набору ролей, що для кожного користувача виділені йому ролі гарантують доступ до всіх ресурсів, необхідних користувачеві. Мнгожину користувачів разом зі множиною ресурсів природним чином задає двочастковий граф, ребра якого задають доступ користувачів до ресурсів. Кожна бікліка в такому графі є потенційною роллю, а оптимальним розв'язком задачі пошуку ролей буде саме мінімальне покриття ребер бікліками.

Аналогічний сценарій виникає в комп'ютерній безпеці, а саме, в безпечному масовому розсиланні. У цій ситуації потрібно розіслати деякі повідомлення низці приймачів через небезпечний канал. Кожне повідомлення слід зашифрувати деяким ключем шифрування, який відомий тільки приймачу, якому передається повідомлення. Кожен приймач може мати багато ключів шифрування і кожен ключ розсилається на кілька приймачів. Задача оптимального вибору ключів шифрування полягає в знаходженні мінімального набору ключів шифрування, за якого безпечне розсилання буде забезпечено. Як і вище, задачу можна змоделювати з використанням двочасткового графа, в якому мінімальне біклікове покриття ребер збігається з розв'язком задачі оптимального вибору ключів шифрування.

Інше застосування стосується біології, де в серології мінімальне покриття ребер бікліками використовується в математичному моделюванні людського лейкоцитарного антигену (HLA).

Див. також

• ^[en]
• Число перетинів графа — найменше число клік, необхідних для покриття ребер графів
• Покриття ребер циклами

Примітки

1. de Caen, Gregory, Pullman, 1981.
2. Fishburn, Hammer, 1996.
3. Garey, Johnson, 1979.
4. Orlin, 1977.
5. Stockmeyer, 1975.
6. Gottlieb, Savage, Yerukhimovich, 2005.
7. Amilhastre, Janssen, Vilarem, 1997.
8. Simon, 1990.
9. Gruber, Holzer, 2007.
10. Downey, Fellows, 1999.
11. Fleischner, Mujuni, Paulusma, Szeider, 2009.
12. Nor, Hermelin, Charlat, Engelstadter, 2010.
13. Ene, Horne, Milosavljevic, Rao, 2008.
14. Shu, Lee, Yannakakis, 2006.
15. Nau, Markowsky, Woodbury, Amos, 1978.

Література

• Jérôme Amilhastre, Philippe Janssen, Marie-Catherine Vilarem. Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 5–7 January 1997, New Orleans, Louisiana. — ACM/SIAM, 1997. — С. 36–42.
• Dominique de Caen, David A. Gregory, Norman J. Pullman. 3rd Caribbean Conference on Combinatorics and Computing / Charles C. Cadogan. — Department of Mathematics, University of the West Indies, 1981. — С. 169–173.
• Rod Downey, Michael R. Fellows. Parameterized complexity. — Springer, 1999. — .
• Alina Ene, William G. Horne, Nikola Milosavljevic, Prasad Rao, Robert Schreiber, Robert Endre Tarjan. 13th ACM Symposium on Access Control Models and Technologies (SACMAT 2008) / Indrakshi Ray, Ninghui Li. — ACM, 2008. — С. 1–10.
• Peter C. Fishburn, Peter Ladislaw Hammer. Bipartite dimensions and bipartite degrees of graphs // . — 1996. — Т. 160, вип. 1–3 (17 червня). — С. 127–148. — DOI:10.1016/0012-365X(95)00154-O.
• Herbert Fleischner, Egbert Mujuni, Daniël Paulusma, Stefan Szeider. Covering graphs with few complete bipartite subgraphs // . — 2009. — Т. 410, вип. 21—23 (17 червня). — С. 2045–2053. — DOI:10.1016/j.tcs.2008.12.059.
• Michael R. Garey, David S. Johnson. . — W.H. Freeman, 1979. — .
• Lee-Ad J. Gottlieb, John E. Savage, Arkady Yerukhimovich. Efficient data storage in large nanoarrays // Theory of Computing Systems. — 2005. — Т. 38, вип. 4 (17 червня). — С. 503–536. — DOI:10.1007/s00224-004-1196-9.
• Hermann Gruber, Markus Holzer. 11th (DLT 2007) / Terjo Harju, Juhani Karhumäki, Arto Lepistö. — Turku, Finland : Springer, 2007. — Т. 4588. — С. 205–216. — (LNCS) — DOI:10.1007/978-3-540-73208-2_21.
• Sylvia D. Monson, Norman J. Pullman, Rolf Rees. A survey of clique and biclique coverings and factorizations of (0,1)-matrices // Bulletin of the ICA. — 1995. — Т. 14 (17 червня). — С. 17–86.
• D. S. Nau, G. Markowsky, M. A. Woodbury, D. B. Amos. A mathematical analysis of human leukocyte antigen serology // Mathematical Biosciences. — 1978. — Т. 40 (17 червня). — С. 243–270. — DOI:10.1016/0025-5564(78)90088-3. з джерела 18 березня 2022. Процитовано 10 липня 2021.
• Igor Nor, Danny Hermelin, Sylvain Charlat, Jan Engelstadter, Max Reuter, Olivier Duron, Marie-France Sagot. Mod/Resc Parsimony Inference. — 2010. — 17 червня.
• James Orlin. Contentment in graph theory: covering graphs with cliques // . — 1977. — Т. 80, вип. 5 (17 червня). — С. 406–424. — DOI:10.1016/1385-7258(77)90055-5.
• Guoqiang Shu, David Lee, Mihalis Yannakakis. 20th International Parallel and Distributed Processing Symposium (IPDPS 2006). — IEEE, 2006.
• Hans-Ulrich Simon. On Approximate Solutions for Combinatorial Optimization Problems // SIAM Journal on Discrete Mathematics. — 1990. — Т. 3, вип. 2 (17 червня). — С. 294–310. — DOI:10.1137/0403025.
• Larry J. Stockmeyer. The set basis problem is NP-complete. — IBM, 1975. — (Technical Report RC-5431)

Посилання

• (англ.)