Que sea $D=(V,E)$. Ser el factor determinante de su matriz de adyacencia, $det(A) = 0$ $\iff$ $\exists S \subseteq V $ (no vacío) tal que $|v_{ext} \cap S|$ es un número par, $\forall $v $\in V$. $v_{ext}$ indica el % de nodos $u$tal que $vu \in E$. También, D puede tiene lazos (i.e $\exists$ $A_{uu} =1$). Todas las operaciones se realizan en $GF(2)$.
He probado la implicación directa de esta manera: Si $det(A) = 0$, que significa que los vectores de $A$ no son linealmente independientes. Pero, ¿cuál es el siguiente paso?
¡Gracias!