e(S,Sc)SSc
Más concretamente supongo que sé el diámetro es de al menos (o como máximo) . ¿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?
graph-theory
co.combinatorics
expanders
Robinson
fuente
fuente
Respuestas:
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.d d
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
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| S G d S S (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|) u t |V|/2 t+1 v t u |V|
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.
fuente