3 papers
cs.LO2024
Bridging abstract dialectical argumentation and Boolean gene regulation
Eugenio Azpeitia, Stan Muñoz Gutiérrez, David A. Rosenblueth +1
This paper leans on two similar areas so far detached from each other. On the one hand, Dung's pioneering contributions to abstract argumentation, almost thirty years ago, gave ris…
math.CO2023
Distinguishing graphs with two integer matrices
Carlos A. Alfaro, Ralihe R. Villagrán, Octavio Zapata
It is well known that the spectrum and the Smith normal form of a matrix can be computed in polynomial time. Thus, it is interesting to explore how good are these parameters for di…
math.CO2023
Descriptive complexity of controllable graphs
Aida Abiad, Anuj Dawar, Octavio Zapata
Let be a graph on vertices with adjacency matrix , and let be the all-ones vector. We call controllable if the set of vectors $\mathbf{1}, A\mathbf{1},…