Независимые множества в случайных графах пересечений
Ключевые слова и синонимы
Существование и эффективное построение независимых множеств вершин в случайных графах пересечений
Постановка задачи
Задача заключается в эффективном построении независимого множества вершин (т. е. множества вершин без ребер между ними) максимальной мощности; входными данными задачи является экземпляр модели равномерных случайных графов пересечений. Эта модель, предложенная Каронски, Шайнерманом и Сингер-Коэн в работе [4] и Сингер-Коэн в [ ], определяется следующим образом.
Определение 1 (равномерные случайные графы пересечений).
Рассмотрим совокупность элементов M = f1;2 mg и множество вершин V = fv1; v2 vng. Если каждой вершине vj, j = 1; 2 n независимым образом присвоить подмножество Svj множества M посредстом независимого выбора каждого элемента с вероятностью p и проложить ребро между двумя вершинами vj1 ; vj2 в том и только том случае, если Svj \ Svj ^ ;, то полученный граф будет представлять собой экземпляр равномерных случайных графов пересечений Gn;m;p.
Совокупность M иногда называется множеством меток, а ее элементы – метками. Обозначим за Ц для l 2 M множество вершин, выбравших метку l.
В силу зависимостей от ребер эта модель способна более точно (по сравнению с моделью случайных графов Бернулли Gn;p, предполагающей независимость от ребер) абстрагировать многие практические задачи. Кроме того, Филл, Шайнерманн и Сингер-Коэн в работе [ ] показали, что для некоторых диапазонов параметров n; m;p (m = na, a > 6) пространства Gn;m;p и Gn^p являются эквивалентными в том смысле, что суммарное вариационное расстояние между переменными случайного графа имеет предел, равный 0. Николетсис, Раптопулос и Спиракис [ ] предложили две новых модели, а именно модель случайных графов пересечений общего вида Gn m *,p = [p1; p2; pm] и модель регулярных случайных графов пересечений Gn^m^,X > 0, использующих различные способы случайного присвоения меток вершинам, но применяющих одно и то же правило вхождения ребер. Модель Gn m -i является обобщением равномерной модели, в котором каждая метка i 2 M выбирается независимо с вероятностью pi, тогда как в модели С "тд каждая вершина выбирает случайное подмножество M, содержащее в точности A меток.
Авторы в работе [ ] сначала рассматривают существование независимых множеств вершин заданной мощности в случайных графах пересечений общего вида и приводят точные формулы для среднего значения и дисперсии числа независимых множеств вершин мощности k. Кроме того, они представляют и анализируют три алгоритма с полиномиальным временем выполнения (от числа меток m и от числа вершин n) для построения больших независимых множеств вершин в случае, когда входным значением является экземпляр модели Gn;m;p. В данной работе впервые были рассмотрены алгоритмические вопросы для этих моделей случайных графов.
Основные результаты
Следующие теоремы рассматривают существование независимых множеств вершин мощности k в случайных графах пересечений. Доказательство теоремы 1 использует факт линейности математического ожидания суммы случайных переменных.
Теорема 1. Обозначим за X(k) число независимых множеств размера k в случайном графе пересечений G(n; m;pE), где p = [p1; p2; pm]. Тогда m
Теорема 2. Обозначим за X(k) число независимых множеств размера k в случайном графе пересечений G(n; m;pE), где p = [p1; p2; pm]. Тогда -<*»)= , где E [X^] – среднее число независимых множеств размера k, а m Y(k, s)= }~
Для доказательства теоремы 2 вначале запишем дисперсию в виде суммы ковариаций, а затем применим технику сжатия вершин, выполняющую слияние нескольких вершин в одну супер-вершину со схожим вероятностным поведением, для вычисления ковариаций. При помощи метода моментов второго порядка (см. [ 1 ]) можно вычислить порог для существования независимых множеств размера.
Один из трех предложенных в работе [ ] алгоритмов приведен далее. Алгоритм начинает работу с V (т. е. множества всех вершин графа) в качестве «кандидата» на роль независимого множества. На каждом последующем шаге он выбирает метку и удаляет из текущего кандидата на роль независимого множества все вершины, содержащие эту метку в назначенном им множестве меток, кроме одной. В силу правила вхождения ребер этот подход гарантирует, что после выполнения этой операции для всех меток множества M финальный кандидат на роль независимого множества будет содержать только вершины, не имеющие ребер между ними, и потому по определению будет являться независимым множеством.
Алгоритм:
Дано: случайный граф пересечений Gn;m;p.
Требуется: найти независимое множество вершин Am.
1. положить A0 := V; положить L := M;
2. for i: = 1 to m do
3. begin
4. выбрать случайную метку li 2 L; положить L := L - lig;
5. положить Di := fv 2 A,-_i : li 2 Svg;
6. if(|D,| > 1) then выбрать случайную вершину u 2 Di и положить Di := Di -{M};
7. положить Ai := A,-_i D i;
8. end
9. output Am;
Следующая теорема рассматривает мощность независимого множества, вычисляемого алгоритмом. При анализе алгоритма используются уравнение Вальда (см. [ ]) для сумм случайного количества случайных переменных, позволяющее вычислить среднее значение jAmj, и границы Чернова (см, например, [6]) для концентрации вокруг среднего значения.
Теорема 3. Для случая mp = a log n для некоторой константы a > 1, m > n и некоторой константы ji > 0 с высокой вероятностью выполняются следующие утверждения:
1. Если np 1 то jAmj > (1 - P)^.
2. Если np b, где b > 0 – константа, то jAm - e~b).
3. Если np 0 то jAmj > (1 - $)n.
Вышеприведенная теорема доказывает, что алгоритм способен построить достаточно большое независимое множество с высокой вероятностью.
Применение
Прежде всего отметим, что, как доказано в работе [ ], любой граф может быть преобразован в граф пересечений. Таким образом, модели случайных графов пересечений могут быть очень обобщенными. Кроме того, для некоторых диапазонов параметров n; m; p (m = na,a > 6) пространства Gn;m;p и Gn;p эквивалентны (что было доказано Филлом, Шайнерманом и Сингер-Коэн в работе [3], которые показали, что в этом диапазоне суммарное вариационное расстояние между переменными случайного графа имеет предел, равный 0).
Во-вторых, случайные графы пересечений (и, в частности, общая модель графов пересечений из работы [7]) могут более точно моделировать задачи реального мира (по сравнению со случаем Gn;p). В частности, такие графы могут моделировать распределение ресурсов в сетях, например, когда сетевые узлы (абстрактно представленные в виде вершин) обращаются к совместно используемым ресурсам (абстрактно представленным в виде меток): в подобных задачах с распределением ресурсов граф пересечений на самом деле представляет собой граф конфликтов.
Родственные работы
В своей работе [4] Каронски и коллеги рассматривают задачу возникновения графов с константным числом вершин как порожденных подграфов графов Gn;m;p. Заметив, что модель Gn;m;p генерирует графики при помощи кликовых покрытий (например, множества Ll;l 2 M представляют собой очевидное кликовое покрытие), они вывели естественный способ их использования совместно с методами моментов первого и второго порядков для нахождения, чтобы определить пороговые значения для появления любого фиксированного графа H как порожденного подграфа Gn;m;p для различных значений параметров n, m и p.
Порог связности для Gn;m;p Карен Сингер-Коэн рассматривала в работе [10]. Она изучала случай m = na,a > 0, различая два случая в соответствии со значением a. Для случая a > 1 результаты выглядят похожими на графы Gn, так как среднее число ребер на порогах связности оказывается (приблизительно) одинаковым. С другой стороны, при a < 1 мы получаем более плотные графы в Gn;m;p. Помимо связности, в [10] также рассматривался размер наибольшей клики в равномерных случайных графах пересечений для определенных значений n, m и p.
Эфтимиу и Спиракис [ ] рассматривали существование гамильтоновых циклов в графах Gn;m;p. Используя соображения о связи, авторы показали, что порог возникновения гамильтоновых циклов достаточно близок к порогу связности Gn;m;p. Эффективные вероятностные алгоритмы нахождения гамильтоновых циклов в в равномерных случайных графах пересечений представили Раптопулос и Спиракис в работе [8]. Анализ этих алгоритмов подтверждает, что они хорошо работают с высокой вероятностью даже при значениях p, близких к порогу связности Gn;m;p. Кроме того, в той же работе предложен алгоритм нахождения гамильтоновых циклов графах в Gn;m;p с константой p с ожидаемым полиномиальным временем выполнения.
В [11] Старк представил аппроксимацию распределения степени фиксированной вершины в модели Gn;m;p. Точнее говоря, применяя метод решета, автор предлагает точную формулу для производящей функции вероятности, генерирующей степень некоторой фиксированной вершины, а затем анализирует эту формулу для различных значений параметров n, m и p.
Открытые вопросы
Некоторые задачи, имеющие отношение к случайным графам пересечений, остаются нерешенными. Почти все предложенные до сих пор алгоритмы построения больших независимых множеств и нахождения гамильтоновых циклов в случайных графах пересечений, явля.тся жадными. Интересным и важным направлением исследований заключается в нахождении более проработанных алгоритмов для этих задач, превосходящи эффективностью жадные. Кроме того, все эти алгоритмы были представлены и проанализированы в модели равномерных случайных графов пересечений. Очень мало известно о том, как эти же алгоритмы будут работать, получив на входе экземпляр общей или даже регулярной модели случайных графов пересечений.
Конечно, многие классические задачи, касающиеся случайных графов, еще не были изучены. Одним из примеров такой задачи является размер минимального доминирующего множества (т.е. множества вершин, обладающего тем свойством, что все вершины графа либо принадлежат этому множеству, либо связаны с ним) в случайном графе пересечений. Как выглядит последовательность степеней в графах Gn;m;p? Эта задача радикально отличается от случая, рассмотренного в работе [11].
Наконец, отметим, что ни один из результатов, представленных в библиографии для общих или равномерных случайных графов пересечений, нельзя сходу перенести на регулярные случайные графы пересечений. Разумеется, для некоторых значений n, m, p и A определенные свойства графов, показанные для Gn;m;p, можно доказать и для С "тд, продемонстрировав концентрацию числа меток, выбранных любой вершиной с помощью границ Чернова. Кроме того, фиксированные размеры множеств, назначенных каждой вершине, накладывают на модель дополнительные зависимости.
См. также
Литература
1. Alon, N., Spencer, H.: The Probabilistic Method. Wiley, Inc. (2000)
2. Efthymiou, C., Spirakis, P.: On the existence of hamiltonian cycles in random intersec- tion graphs. In: Proceedings of 32st International colloquium on Automata, Languages and Programming (ICALP), pp. 690-701. Springer, Berlin Heidelberg (2005)
3. Fill, J.A., Sheinerman, E.R., Singer-Cohen, K.B.: Random intersection graphs when m = !(n): An equivalence theorem relating the evolution of the g(n, m, p) and g(n, p) models. Random Struct. Algorithm. 16(2), 156-176 (2000)
4. Karonski, M., Scheinerman, E.R., Singer-Cohen, K.B.: On random intersection graphs: The subgraph problem. Adv. Appl. Math. 8,131-159(1999)
5. Marczewski, E.: Sur deux proprietes des classes d' ensembles. Fund. Math. 33,303-307 (1945)
6. Motwani, R., Raghavan, P.: Randomized Algorithms. Cambridge University Press (1995)
7. Nikoletseas, S., Raptopoulos, C., Spirakis, P.: The existence and efficient construction of large independent sets in general random intersection graphs. In: Proceedings of 31st International colloquium on Automata, Languages and Programming (ICALP), pp. 1029-1040. Springer, Berlin Heidelberg (2004) Also in the Theoretical Computer Science (TCS), 2008
8. Raptopoulos, C., Spirakis, P.: Simple and efficient greedy algorithms for hamiltonian cycles in random intersection graphs. In: Proceedings of the 16th International Symposium on Algorithms and Computation (ISAAC), pp 493-504. Springer, Berlin Heidelberg (2005)
9. Ross, S.: Stochastic Processes. Wiley (1995)
10. Singer-Cohen, K.B.: Random Intersection Graphs. Ph. D. thesis, John Hopkins University, Balimore (1995)
11. Stark, D.: The vertex degree distribution of random intersection graphs. Random Struct. Algorithms 24, 249-258 (2004)