Clique plantado en G (n, p), variando p

9

En el problema de la camarilla plantada, uno debe recuperar una k camarilla plantada en un gráfico aleatorio Erdos-Renyi ( n , p )sol(norte,pags) . Esto se ha visto principalmente para pags=12 , en cuyo caso se sabe que puede resolverse en tiempo polinómico sik>norte y conjeturado duro parak<norte .

Mi pregunta es: ¿qué se sabe / cree sobre otros valores de pags ? Específicamente, cuando pags es una constante en [0 0,1] ? ¿Existe evidencia de que, para cada valor de pags , existe algún k=norteα para el cual el problema es computacionalmente difícil?

Las referencias serían particularmente útiles, ya que no he logrado encontrar ninguna literatura que analice el problema para valores distintos de pags=12 .

srd
fuente
sí, es difícil para algunos parámetros basados ​​en el fenómeno de punto de transición completo de NP que está más estudiado para SAT pero también es válido para el problema de la camarilla y ha sido estudiado algo / menos allí. Esto está estrechamente relacionado con la búsqueda de límites inferiores en los circuitos monótonos para el problema de la camarilla y las funciones de corte. Hay algunas preguntas relacionadas en el sitio, puede desenterrarlas. El reciente artículo de Rossman sobre la dureza de la función de camarilla es relevante. etc ... podría funcionar para responder más tarde dependiendo de si aparecen otros ...
vzn
Esta dureza Q / A de la camarilla parametrizada tcs.se debería responder a su pregunta directamente. responder en el chat teórico de informática para más discusión
vzn
1
Gracias. Sin embargo, me preocupaba principalmente la versión plantada, y no la versión del peor de los casos (que, como usted dice, es NP completa para p constante).
srd
ok, parece que la "camarilla plantada" generalmente se limita a G (n, ½) como usted afirma en este reciente documento Algoritmos estadísticos y un límite inferior para detectar la camarilla plantada por Feldman et al que lo considera y cita referencias relacionadas, pero nuevamente no considere p ≠ ½. el problema general parece estar "cerca" de encontrar camarillas de algún tamaño en un gráfico G (n, p) para algunas opciones de parámetros (el último aparentemente está mucho más estudiado que en el tcs.se pg vinculado) pero no he visto que conexión señalada o elaborada / detallada en otra parte.
vzn

Respuestas:

9

Si es constante, entonces el tamaño de la camarilla máxima en el modelo G ( n , p ) es casi siempre un múltiplo constante de log n , con la constante proporcional a log ( 1 / p ) . (Ver Bollobás, p.283 y Corolario 11.2.) Por lo tanto, cambiar p no debería afectar la dureza de plantar una camarilla con vértices ω ( log n ) siempre que la camarilla sea demasiado pequeña para que funcione un enfoque algorítmico existente. Por lo tanto, espero que con constante p 1 /pagssol(norte,pags)Iniciar sesiónnorteIniciar sesión(1/ /pags)pagsω(Iniciar sesiónnorte) la dureza de Clique plantado debe comportarse igual que el p = 1 / 2 caso, aunque es posible que el caso de p muy cerca de 0 o 1 podría comportarse de manera diferente.pags1/ /2pags=1/ /2pags

En particular, para el mismo umbral de Ω ( n α ) para α = 1 / 2 para el tamaño de la camarilla plantado aplica, por encima del cual el problema se convierte en tiempo polinómico. El valor de α aquí es 1 / 2 (y no algún otro valor) porque la función Lovász theta de G ( n , p ) es casi seguramente entre 0,5 pags1/ /2Ω(norteα)α=1/ /2α1/ /2sol(norte,pags) y20,5(1-pags)/ /pagsnorte , por un resultado de Juhász. El algoritmo de Feige y Krauthgamer utiliza la función theta de Lovász para encontrar y certificar una camarilla más grande, por lo que se basa en este tamaño de umbral para la camarilla plantada.2(1-pags)/ /pagsnorte

Por supuesto, puede haber un algoritmo diferente que no utiliza la función theta Lovász, y que para valores de lejos de 1 / 2 puede encontrar una camarilla plantado con, por ejemplo n 1 / 3 vértices. Por lo que puedo decir, esto todavía está abierto.pags1/ /2norte1/ /3

Feige y Krauthgamer también discuten cuando no es constante pero depende de n , y está cerca de 0 o cerca de 1. En estos casos existen otros enfoques para encontrar camarillas plantadas, y el tamaño del umbral es diferente.pagsnorte

  • Béla Bollobás, Gráficos aleatorios (2a edición), Cambridge University Press, 2001.
  • Ferenc Juhász, el comportamiento asintótico de Lovász' función para grafos aleatoriosϑ , Combinatorica 2 (2) 153-155, 1982. doi: 10.1007 / BF02579314
  • Uriel Feige y Robert Krauthgamer, Encontrar y certificar una gran camarilla oculta en un gráfico semialeatorio , Random Structures & Algorithms 16 (2) 195–208, 2000. doi: 10.1002 / (SICI) 1098-2418 (200003) 16: 2 <195 :: AID-RSA5> 3.0.CO; 2-A
András Salamon
fuente
Gracias. Esto parece resumir el estado del arte y confirmar que no se sabe nada demasiado definitivo. La mejor evidencia de que el problema se comporta de manera similar parece ser el valor de la función thevas de Lovasz, como usted señala.
srd
1

camarilla plantada para es un caso especial de este problema y nuevos resultados (límites inferiores) como se indica en p2, etc. e incluye referencias relacionadas. (2015)pags12

Mostramos que, suponiendo la hipótesis del tiempo exponencial (determinista), distinguiendo entre un gráfico con una inducida y un gráfico en el que todos los k- subgramas tienen densidad como máximo 1 - ε , requiere n ˜ Ω ( log n ) tiempo.kk1-εnorteΩ~(Iniciar sesiónnorte)

vzn
fuente
0

Aquí hay un nuevo artículo que tiene un algoritmo para p ≠ ½ arbitrario basado en un algoritmo SVD. ver p.4 para el análisis de la camarilla oculta (plantada).

UN ALGORITMO SVD SIMPLE PARA ENCONTRAR PARTICIONES OCULTAS Van Vu

Resumen. Encontrar una partición oculta en un entorno aleatorio es un problema general e importante, que contiene como subproblemas muchas preguntas famosas, como encontrar una camarilla oculta, encontrar un color oculto, encontrar una bipartición oculta, etc. En este documento, proporcionamos un SVD simple algoritmo para este propósito, respondiendo una pregunta de McSherry. Este algoritmo es muy fácil de implementar y funciona para gráficos dispersos con una densidad óptima.

vzn
fuente
2
Funciona para también, pero no para arbitraria p . Tenga en cuenta también que para p constante, la camarilla oculta aún debe ser de tamaño Ω ( pags=1/ /2pagspags. Ω(norte)
Kristoffer Arnsfelt Hansen
sin decir que es la respuesta exacta / definitiva, solo alguna mejora sobre otros solo límites de otros documentos. analiza una amplia gama de valores de p sujetos a restricciones misceláneas (incluido el tamaño de la camarilla), detalles en el documento. la pregunta no parece tan estricta acerca de cuál es la restricción de combinación exacta / simultánea de tamaño de camarilla / p . (¿el documento no cubre parte del caso p ½ , k = n α solicitado? ¿o está interpretando la pregunta como estrictamente restrictiva α ?)pags=½pagspagspags½,k=norteαα
vzn