Distancia de resistencia
En teoría de grafos, la distancia de resistencia entre dos vértices de un gráfico simple y conectado, G, es igual a la resistencia entre dos puntos equivalentes en una red eléctrica, construida de manera que corresponda a G, con cada borde siendo reemplazado por una resistencia de un ohmio. Es una métrica en gráficos.
Definición
En un gráfico G, la distancia de resistencia Ω i,j entre dos vértices vi y vj es
- Ω Ω i,j:=. . i,i+. . j,j− − . . i,j− − . . j,i,{displaystyle Omega ¿Por qué? Gamma _{j,j}-Gamma _{i,j}-Gamma _{j,i}
- Donde . . =()L+1SilencioVSilencioCCPR CCPR )+,{displaystyle Gamma =left(L+{frac {1} {fnK}fn}} Phi right)^{+},}
con + denota la inversa de Moore-Penrose, L la matriz laplaciana de G, |V| es el número de vértices en G, y Φ es el estilo |V| × |V| matriz que contiene todos los unos.
Propiedades de distancia de resistencia
Si i = j entonces Ωi ,j = 0. Para un gráfico no dirigido
- Ω Ω i,j=Ω Ω j,i=. . i,i+. . j,j− − 2. . i,j{displaystyle Omega _{i,j}=Omega ¿Qué? Gamma _{j,j}-2Gamma _{i,j}
Regla general de suma
Para cualquier N- gráficos simples conectados G =V, E) y arbitrarias N×N matriz M:
- . . i,j▪ ▪ V()LML)i,jΩ Ω i,j=− − 2tr ()ML){displaystyle sum _{i,jin V}(LML)_{i,j}Omega ¿Por qué?
A partir de esta regla de suma generalizada se pueden derivar una serie de relaciones dependiendo de la elección de M. Dos dignos de mención son;
- <math alttext="{displaystyle {begin{aligned}sum _{(i,j)in E}Omega _{i,j}&=N-1\sum _{i. . ()i,j)▪ ▪ EΩ Ω i,j=N− − 1. . ic)j▪ ▪ VΩ Ω i,j=N. . k=1N− − 1λ λ k− − 1{displaystyle {begin{aligned}sum _{(i,j)in E}Omega _{i,j} simultáneamente=N-1\\sum _{i:0in V} Omega... ################################################################################################################################################################################################################################################################ ¿Qué?<img alt="{displaystyle {begin{aligned}sum _{(i,j)in E}Omega _{i,j}&=N-1\sum _{i
Donde λk son los valores no cero de la matriz laplaciana. Esta suma no ordenada
- <math alttext="{displaystyle sum _{i. . ic)jΩ Ω i,j{displaystyle sum _{iיj}Omega _{i,j}<img alt="{displaystyle sum _{i
se llama índice de Kirchhoff del gráfico.
Relación con el número de árboles de expansión de un gráfico
Para un gráfico conexo simple G = (V, E), el La distancia de resistencia entre dos vértices se puede expresar como una función del conjunto de árboles de expansión, T, de G de la siguiente manera:
- Ω Ω i,j={}Silencio{}t:t▪ ▪ T,ei,j▪ ▪ t}SilencioSilencioTSilencio,()i,j)▪ ▪ ESilencioT.− − TSilencioSilencioTSilencio,()i,j)∉E{displaystyle Omega - ¿Por qué? T,,e_{i,j}in t}rightvert {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif}}}
Donde T ' es el conjunto de árboles de azotes para el gráfico G ' =V, E + ei,j). En otras palabras, para un borde ()i,j)▪ ▪ E{displaystyle (i,j)in E}, la distancia de resistencia entre un par de nodos i{displaystyle i} y j{displaystyle j} es la probabilidad de que el borde ()i,j){displaystyle (i,j)} está en un árbol de azotes al azar G{displaystyle G..
Relación con los paseos aleatorios
La distancia de resistencia entre vértices u{displaystyle u} y u{displaystyle u} es proporcional al Tiempo de conmutación Cu,v{displaystyle C. de un paseo al azar entre u{displaystyle u} y v{displaystyle v}. El tiempo de conmutación es el número esperado de pasos en un paseo aleatorio que comienza en u{displaystyle u}, visitas v{displaystyle v}, y regresa a u{displaystyle u}. Para un gráfico con m{displaystyle m} bordes, la distancia de resistencia y el tiempo de conmutación están relacionados como Cu,v=2mΩ Ω u,v{displaystyle C_{u,v}=2mOmega _{u,v}.
Como distancia euclidiana al cuadrado
Dado que el laplaciano L es simétrico y semidefinido positivo, también lo es
- ()L+1SilencioVSilencioCCPR CCPR ),{displaystyle left(L+{frac {1} {fnK}fn}} Phi right),}
así su pseudo-inverso . es también simétrico y positivo semi-definido. Así, hay un K tales que . . =KKT{displaystyle Gamma =KK^{textsf {T}} y podemos escribir:
- Ω Ω i,j=. . i,i+. . j,j− − . . i,j− − . . j,i=KiKiT+KjKjT− − KiKjT− − KjKiT=()Ki− − Kj)2{displaystyle ################################################################################################################################################################################################################################################################ _{i,i}+ Gamma ¿Por qué? ##{j,i}=K_{i} {textsf {T}+K_{j}K_{j}{textsf {T}-K_{i}K_{j}{textsf {T}-K_{j}K_{i}{textsf {T}=left(K_{i}-K_{j}right)}{2}
mostrando que la raíz cuadrada de la distancia de resistencia corresponde a la distancia euclidiana en el espacio abarcado por K.
Conexión con los números de Fibonacci
Un gráfico de abanico es un gráfico en n + 1 vértices donde hay un borde entre el vértice i y n + 1 para todos los i = 1, 2, 3,…, n, y hay un borde entre el vértice i y i + 1 para todos los i = 1, 2, 3,…, n – 1.
La distancia de resistencia entre el vértice n + 1 y el vértice i ∈ { 1, 2, 3,…, n} es
- F2()n− − i)+1F2i− − 1F2n{displaystyle {frac {F_{2(n-i)+1}F_{2i-1}{F_{2n}}}}}
donde Fj es el j-ésimo número de Fibonacci, para j ≥ 0.
Contenido relacionado
Método de Horner
Matriz de adyacencia
Iteración
Lógica de primer orden
Funciones de suelo y techo