Hola, gracias por leerlo y el aporte.
Tendría que aplicarlo en la parte que en que demuestro que si el conjunto de juicios es inconsistente entonces el algoritmo detectará una inconsistencia no?
Porque como recorro todo el grafo, que es inconsistente, y consideré todos los vértices en la recorrida (usaría la propiedad 3.5 y que aplico BFS a todas las componentes conexas), entonces todos fueron etiquetados.
Tendría que aplicarlo en la parte que en que demuestro que si el conjunto de juicios es inconsistente entonces el algoritmo detectará una inconsistencia no?
Porque como recorro todo el grafo, que es inconsistente, y consideré todos los vértices en la recorrida (usaría la propiedad 3.5 y que aplico BFS a todas las componentes conexas), entonces todos fueron etiquetados.
Por lo tanto, necesariamente habrá una arista y un par de nodos que genere una inconsistencia y la detectaré en el paso 20.
saludos
saludos