Посаженная клика в G (n, p), варьирующаяся p


9

В задаче о посаженной клике необходимо восстановить -клику, заложенную в случайном графе Эрдоша-Реньи . В основном это рассматривалось для , и в этом случае известно, что оно решаемо за полиномиальное время, если и предположило трудно для .kг(N,п)пзнак равно12К>NК<N

Мой вопрос: что известно / верит о других значениях ? В частности, когда является константой в ? Есть ли доказательства того, что для каждого такого значения существует некоторый для которого задача является вычислительно сложной?пп[0,1]пКзнак равноNα

Ссылки были бы особенно полезны, поскольку мне не удалось найти какую-либо литературу, которая рассматривает проблему для значений, отличных от .пзнак равно12


да, это трудно для некоторых параметров, основанных на явлении точки полного перехода NP, которое более изучено для SAT, но справедливо и для проблемы клика, и изучено там более или менее. это тесно связано с поиском нижних границ монотонных схем для задачи клика и функций срезов. На сайте есть несколько связанных вопросов, можете их выкопать. недавняя статья Россмана о твердости по функциям кликов актуальна. и т. д. ... может повлиять на ответ позже в зависимости от того,
появятся

Эта Q / A твердость параметризованной клики tcs.se должна ответить на ваш вопрос напрямую. ответ в Теоретическом Информатике Чат для большего обсуждения
vzn

1
Спасибо. Я больше всего интересовался посадочной версией, а не худшей версией (которая, как вы говорите, является NP завершенной для константы p).
SRD

Хорошо, кажется, что «посаженная клика» обычно ограничена G (n, ½), как вы заявляете, как в этой недавней статье « Статистические алгоритмы и нижняя граница для обнаружения посаженной клики» Фельдмана и др., которая рассматривает и цитирует связанные ссылки, но опять же не делает рассмотрим р ≠ ½. общая проблема, кажется, "близка" к поиску клик некоторого размера в графе G (n, p) для некоторых вариантов параметров (последний, по-видимому, гораздо более изучен, как в связанном tcs.se pg), но не видел, что соединение указано или разработано / подробно описано в другом месте.
vzn

Ответы:


9

Если является константой, то размер максимальной клики в модели почти всегда является постоянным кратным , причем константа пропорциональна . (См. Боллобас, с.283 и следствие 11.2.) Следовательно, изменение должно влиять на сложность установки клики с вершинами пока клика слишком мала для существующего алгоритмического подхода к работе. Поэтому я ожидаю, что при постоянном жесткость Planted Clique должна вести себя так же, как в случае , хотя вполне возможно, что случай очень близкий к 0 или 1, может вести себя по-другому.pG(n,p)lognlog(1/p)pω(logn)p1/2p=1/2p

В частности, для применяется тот же порог для для размера установленной клики, выше которого задача становится полиномиальной. Здесь значение равно (а не некоторому другому значению), поскольку тета-функция Ловаша для почти наверняка находится в пределах и , в результате Юхаса. Алгоритм Feige и Krauthgamer использует тэта-функцию Lovász для поиска и сертификации самой большой клики, поэтому он использует этот пороговый размер для установленной клики.p1/2Ω(nα)α=1/2α1/2G(n,p)0.5(1p)/pN2(1-п)/пN

Конечно, может быть другой алгоритм, который не использует тэта-функцию Ловаша, и что для значений далеких от можно найти посаженную клику с, скажем, вершинами. Насколько я могу сказать, это все еще открыто.п1/2N1/3

Feige и Krauthgamer также обсуждают, когда не является постоянной величиной, но зависит от , и либо близко к 0, либо близко к 1. В этих случаях существуют другие подходы для поиска посаженных клик, и пороговый размер отличается.пN

  • Бела Боллобас, Случайные графы (2-е издание), издательство Кембриджского университета, 2001.
  • Ференц Юхас, Асимптотическое поведение функции Ловаша для случайных графовθ , Combinatorica 2 (2) 153–155, 1982. doi: 10.1007 / BF02579314
  • Уриэль Фейдж и Роберт Краутгамер, Нахождение и сертификация большой скрытой клики в полуслучайном графе , Случайные структуры и алгоритмы 16 (2) 195–208, 2000. doi: 10.1002 / (SICI) 1098-2418 (200003) 16: 2 <195 :: АИД-RSA5> 3.0.CO; 2-A

Спасибо. Это, кажется, суммирует современное состояние и подтверждает, что ничего слишком определенного не известно. Как вы указали, лучшим доказательством того, что проблема ведет себя аналогично, является значение тета-функции Ловаша.
SRD

1

установленная клика для является частным случаем этой проблемы и новых результатов (нижних границ), как указано в p2 и т. д., и включает соответствующие ссылки. (2015)p12

Мы показываем, что, принимая (детерминистическую) гипотезу об экспоненциальном времени, различая граф с индуцированным -кликом и граф, в котором все -подграфы имеют плотность не более , требуется время.kk1εnΩ~(logn)


0

Вот новая статья, которая имеет алгоритм для произвольного p ≠ ½ на основе алгоритма SVD. см. стр.4 для анализа скрытой (установленной) клики.

Простой алгоритм SVD для поиска скрытых разделов Ван Ву

Аннотация. Поиск скрытого раздела в случайной среде является общей и важной проблемой, которая содержит в качестве подзадач многие известные вопросы, такие как поиск скрытой клики, поиск скрытой раскраски, поиск скрытого двунаправленного текста и т. Д. В этой статье мы предоставляем простой SVD Алгоритм для этого, отвечая на вопрос McSherry. Этот алгоритм очень прост в реализации и работает для разреженных графов с оптимальной плотностью.


2
Это работает для p=1/2 также, но не для произвольного p, Обратите внимание, что дляp постоянная, скрытая клика должна все еще иметь размер Ω(n),
Кристофер Арнсфельт Хансен

не говоря точного / окончательного ответа, только некоторые улучшения по сравнению с другими p=½только пределы других работ. он анализирует широкий спектрpзначения подчинены ограничениям misc (включая размер клика), подробности в статье. вопрос не такой уж строгий о том, какой точный / одновременный размер клики /pКомбинированное ограничение есть. (Разве бумага не покрывает некоторые делаp½,k=nαпопросил о? или вы интерпретируете вопрос как строго ограничивающийα?)
vzn
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.