摘要：Este artículo presenta un método práctico para contar los diferentes caminos signados los cuales mantienen una carga eléctrica sobre cada una de las líneas de una red eléctrica. Consideramos que hay sólo una carga (positiva o negativa) en cada nodo de la red. Nosotros modelamos el problema de contar los caminos signados vía el problema #2SAT. El problema #2SAT consiste en contar modelos de fórmulas booleanas en dos forma conjuntiva.Nuestro método esta basado en la topología del grafo que representa la red eléctrica y de la cual se obtiene su fórmula booleana en dos forma conjuntiva. Un conjunto de ecuaciones de recurrencia son aplicadas, partiendo de los nodos terminales hacia el nodo raíz de la red. Tales ecuaciones de recurrencianos permiten calcular el valor #2SAT para la fórmula asociada a la red eléctrica. El valor calculado (#2SAT) representa las diferentes formas de mantener carga sobre todas las líneas de la red eléctrica.
其他摘要：This article presents a practical method to count the different signed paths which maintain an electric charge on each one of the lines of an electrical network. We assume that there is just one charge (positive or negative) on each network node. We model the problem of counting the signed paths via the #2SAT problem. The #2SAT problem consists on counting models of Boolean formulas in two conjunctive forms. Our method is based on the topology of thegraph representing the electrical network and from which we get its Boolean formula in twoconjunctive form. A set of recurrence equations are applied, starting from the terminal nodes up to the root node of the network. Such recurrence equations allow us to compute #2SAT for the formula associated to the electrical network. The computed value (#2SAT) represents the different ways to keep charge on all line of the electrical network.
关键词：SAT problem; #SAT problem; counting models; signed graph; electrical networks;Problema SAT; problema #SAT; modelos de conteo; grafo con signo; redes eléctricas
