No puedo entender cierta parte del artículo publicado por Donald Johnson sobre la búsqueda de ciclos (circuitos) en un gráfico.

Más específicamente, no puedo entender qué es la matriz Ak que se menciona en la siguiente línea del pseudocódigo:

Ak: = estructura de adyacencia del componente fuerte K con menos vértice en el subgrafo de G inducido por {s, s + 1, .... n};

Para empeorar las cosas, algunas líneas después son "for i in Vk do" sin declarar qué es el Vk ...

Hasta donde tengo entendido, tenemos lo siguiente: 1) en general, un componente fuerte es un sub-gráfico de un gráfico, en el que para cada nodo de este sub-gráfico hay una ruta a cualquier nodo del sub-gráfico ( en otras palabras, puede acceder a cualquier nodo del sub-gráfico desde cualquier otro nodo del sub-gráfico)

2) un sub-gráficoinducidopor una lista de nodos hay un gráfico que contiene todos estos nodos más todos los bordes que conectan estos nodos. en el papel, la definición matemática es "F es un subgrafo de G inducido por W si W es un subconjunto de V y F = (W, {u, y) | u, y en W y (u, y) en E)}) donde u, y son aristas, E es el conjunto de todas las aristas en el gráfico, W es un conjunto de nodos.

3) en la implementación del código, los nodos se nombran con números enteros 1 ... n.

4) yosospechar que Vk es el conjunto de nodos del componente fuerte K.

ahora a la pregunta. Digamos que tenemos un gráfico G = (V, E) con V = {1,2,3,4,5,6,7,8,9} que se puede dividir en 3 componentes fuertes SC1 = {1, 4,7,8} SC2 = {2,3,9} SC3 = {5,6} (y sus bordes)

¿Alguien puede darme un ejemplo para s = 1, s = 2, s = 5, ¿y si va a ser Vk y Ak de acuerdo con el código?

El pseudocódigo está en mi pregunta anterior enComprensión del pseudocódigo en el algoritmo de Donald B. Johnson

y el papel se puede encontrar enComprensión del pseudocódigo en el algoritmo de Donald B. Johnson

gracias de antemano