Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-24T23:24:43.664Z Has data issue: false hasContentIssue false

On the Circuit Cover Problemfor Mixed Graphs

Published online by Cambridge University Press:  14 February 2002

ORLANDO LEE
Affiliation:
Instituto de Matemática e Estatística, Universidade de São Paulo Rua do Matão, 1010, Cidade Universitária, 05508-900 São Paulo, Brazil (e-mail: [email protected]@ime.usp.br)
YOSHIKO WAKABAYASHI
Affiliation:
Instituto de Matemática e Estatística, Universidade de São Paulo Rua do Matão, 1010, Cidade Universitária, 05508-900 São Paulo, Brazil (e-mail: [email protected]@ime.usp.br)

Abstract

The circuit cover problem for mixed graphs (those containing edges and/or arcs) is defined as follows. Given a mixed graph M with a nonnegative integer weight function p on its edges and arcs, decide whether (M, p) has a circuit cover, that is, a list of circuits in M such that every edge (arc) e is contained in exactly p(e) circuits of the list. In the special case when M is a directed graph (contains only arcs), the problem is easy, but when M is an undirected graph not many results are known. For general mixed graphs this problem was shown to be NP-complete by Arkin and Papadimitriou in 1986. We prove that this problem remains NP-complete for planar mixed graphs. Furthermore, we present a good characterization for the existence of a circuit cover when M is series-parallel (a similar result holds for the fractional version). We also describe a polynomial algorithm to find such a circuit cover, when it exists. This is an ellipsoid-based algorithm whose separation problem is the minimum circuit problem on series-parallel mixed graphs, which we show to be polynomially solvable. Results on two well-known combinatorial problems, the problem of detecting negative circuits and the problem of finding shortest paths, are also presented. We prove that both problems are NP-hard for planar mixed graphs.

Type
Research Article
Copyright
2002 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

This work has been partially supported by CAPES (Proc. 3302006-0), CNPq (Proc. 304527/89-0), FAPESP (Proc. 96/04505-2) and MCT/FINEP (PRONEX Project 107/97).