Undirected Graphs of Entanglement 2

Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical properties of transition systems. We are interested in the problem of deciding whether a graph has entanglement at most k. As this measure is defined by means of games, game theoretic ideas naturally lead to design polynomial algorithms that, for fixed k, decide the problem. Known characterizations of directed graphs of entanglement at most 1 lead, for k = 1, to design even faster algorithms. In this paper we give two distinct characterizations of undirected graphs of entanglement at most 2. With these characterizations at hand, we present a linear time algorithm to decide whether an undirected graph has this property.

• Type: Conference
• Year: 2007
• Where: FSTTCS
• Authors: Walid Belkhir, Luigi Santocanale
• Keywords: Complexity Measure, Directed Graphs, FSTTCS 2007, Undirected Graph