Conductancia y diámetro en gráficos regulares

14

G=(V,E)e(S,Sc)SSc

minSV e(S,Sc)min(|S|,|Sc|),
e(S,Sc)SSc

Más concretamente supongo que sé el diámetro es de al menos (o como máximo) D . ¿Qué me dice esto sobre la conductancia, si acaso? Y, por el contrario, supongamos que sé que la conductancia es como máximo (o al menos) α . ¿Qué me dice esto sobre el diámetro, si acaso?

Robinson
fuente
2
Parece que la propiedad que está preguntando es la expansión del gráfico en lugar de la conductancia del gráfico, que se define como minSV e(S,S¯)/min{vol(S),vol(S¯)} , donde vol(S) se define como vSdeg(v) . ¿Cuál es la propiedad que quieres?
Hsien-Chih Chang 張顯 之
2
@ Hsien-Chi Chang: como el gráfico es regular, creo que la conductancia y la expansión deberían ser las mismas hasta un factor multiplicativo del grado d .
robinson
1
Ah, no me di cuenta de que el gráfico es regular. Gracias por la explicación.
Hsien-Chih Chang 張顯 之
@ Hsien-ChihChang 張顯 之: Pensé que la expansión gráfica y la conductancia gráfica son el mismo concepto. ¿Tiene referencias sobre la definición en su comentario?
Tim

Respuestas:

13

Como señala Hsieh, su definición de conductancia es diferente de la que conozco por un factor de , donde d es el grado de la gráfica regular. Esto también se conoce como expansión de borde para gráficos regulares.dd

Una relación entre la expansión del borde y el diámetro es bastante fácil de mostrar. Intuitivamente, un expansor es "como" un gráfico completo, por lo que todos los vértices están "cerca" entre sí. Más formalmente, dejemos

minSV e(S,Sc)dmin{|S|,|Sc|}α

Tome cualquier conjunto de vértices con | S | | V | / 2 . Hay al menos α d | S | bordes que salen de S y dado que G es d- regular, la vecindad de S (incluido el propio S ) tiene al menos un tamaño ( 1 + α ) | S | . Aplicando esta afirmación inductivamente, comenzando desde S = { u } para cualquier vértice uS|S||V|/2αd|S|SGdSS(1+α)|S|S={u}u, Vemos que para algunos , u 's t -hop barrio tiene tamaño al menos | V | / 2 . Por lo tanto, el vecindario t + 1 -hop de cualquier vértice v tiene que intersectar con el vecindario t -hop de u , o la gráfica tendría más de | V | vértices, una contradicción. Así que tienest=O(log1+α|V|)ut|V|/2t+1vtu|V|

D=O(log|V|log(1+α))

Por supuesto, también se deduce que tener un límite inferior en el diámetro implica un límite superior en la expansión del borde.

No creo que el diámetro pequeño implique conductancia. Si no insiste en gráficos regulares (y usa la definición de Hsieh), entonces dos gráficos completos conectados por un solo borde proporcionan un contraejemplo.

Sasho Nikolov
fuente
Estoy a punto de publicar una respuesta y ahora no tengo que hacerlo, simplemente puedo votar la suya;) ¡Gracias por la buena respuesta!
Hsien-Chih Chang 張顯 之
Espero que se haya minimizado el tiempo total que pasamos lejos de la investigación :)
Sasho Nikolov
1
@robinson: este hecho simple y la mezcla rápida son la base de muchas (¿la mayoría?) aplicaciones de familias de expansores de gráficos regulares. la propiedad de diámetro pequeño, por ejemplo, es la base de la aplicación para resolver la conectividad st en el espacio de registro
Sasho Nikolov
1
mi respuesta original tenía un error: el argumento que había escrito era para la expansión de vértices, pero aquí estamos trabajando con la expansión de borde. He solucionado el error, y el límite ahora es un poco peor
Sasho Nikolov