Deje un grafo conectado con nodos y los bordes . Deje denota el peso (número entero) de la gráfica , con el peso total en el gráfico. El peso promedio por nodo es . Sea denote la desviación del nodo de la media. LlamamosEldesequilibriodel nodo .
Suponga que el peso entre dos nodos adyacentes puede diferir como máximo en , es decir,
Pregunta : ¿Cuál es el mayor desequilibrio posible que puede tener la red, en términos de y m ? Para ser más precisos, imagine el vector → e = ( e 1 , ... , e n ) . Estaría igualmente contento con los resultados relativos a | El | → e | El | 1 o | El | → e | El | 2 .
Para , se puede encontrar un límite simple en términos del diámetro del gráfico: dado que todo e i debe sumar a cero, si hay un gran e i positivo , en algún lugar debe haber un e j negativo . De ahí su diferencia | e i - e j | es al menos | e i | , pero esta diferencia puede ser como máximo la distancia más corta entre los nodos i y j , que a su vez puede ser como máximo el diámetro del gráfico.
Estoy interesado en límites más fuertes, preferiblemente para la forma o 2 . Supongo que debería involucrar cierta teoría del gráfico espectral para reflejar la conectividad del gráfico. Traté de expresarlo como un problema de flujo máximo, sin éxito.
EDITAR: Más explicación. Estoy interesado en la forma o 2, ya que reflejan con mayor precisión el desequilibrio total. Se obtendría una relación trivial de | El | → e | El | 1 ≤ n | El | El | → e y | El | → e | El | 2 ≤ √ . Sin embargo, espero que debido a la conexión del gráfico y mi restricción en la diferencia de cargas entre los nodos adyacentes, que lasnormas 1 y 2 sean mucho más pequeñas.
Ejemplo: hipercubo de dimensión d, con . Tiene diámetro d = log 2 ( n ) . El desequilibrio máximo es, como máximo, d . Esto sugiere como límite superior para el 1- norm n d = n log 2 , donde incrusto un ciclo en el hipercubo y hago que los nodos tengan desequilibrios . Hasta ahora, no he podido construir una situación en la que esto realmente se obtenga, lo mejor que puedo hacer es algo similar a | El | → e | El | 1 = n / 2 , 1 , 0 , - 1, etc. Entonces, aquí el límite está desactivado por un factor de log ( n ) , que considero demasiado, ya que Estoy buscando (asintóticamente) límites estrechos.