Distancia de resistencia

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar
Lítrico de resistencia eléctrica entre nodos

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

En matemáticas e informática, el método de Horner es un algoritmo para la evaluación de polinomios. Aunque lleva el nombre de William George Horner, este...

Matriz de adyacencia

En teoría de grafos e informática, una matriz de adyacencia es una matriz cuadrada utilizada para representar un gráfico finito. Los elementos de la matriz...

Iteración

Iteración es la repetición de un proceso para generar una secuencia de resultados. Cada repetición del proceso es una sola iteración, y el resultado de...

Lógica de primer orden

Lógica de primer orden: también conocida como lógica de predicados, lógica cuantificacional y cálculo de predicados de primer orden—es una colección...

Funciones de suelo y techo

En matemáticas e informática, la función de suelo es la función que toma como entrada un número real x</span>, y da como resultado el mayor entero menor...
Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save