In the last years, new variants of the minimum cycle basis (
MCB) problem and new classes of cycle bases have been introduced, as motivated by several applications from disparate areas of
scientific and technological inquiry. At present, the complexity status of the
MCB problem is settled only for undirected, directed, and strictly fundamental cycle bases (SFCB’s). Weakly fundamental cycle
bases (WFCB’s) form a natural superclass of SFCB’s. A cycle basis
C={C1,C2,¼,Cn}\mathcal{C}=\{C_{1},C_{2},\ldots,C_{\nu}\}
of a graph
G is a WFCB iff
ν=0 or there exists an edge
e of
G and a circuit
C
i
in
C\mathcal{C}
such that
C\Ci\mathcal{C}\setminus C_{i}
is a WFCB of
G∖
e. WFCB’s still possess several of the nice properties offered by SFCB’s. At the same time, several classes of graphs enjoying
WFCB’s of cost asymptotically inferior to the cost of the cheapest SFCB’s have been found and exhibited in the literature.
Considered also the computational difficulty of finding cheap SFCB’s, these works advocated an in-depth study of WFCB’s. In
this paper, we settle the complexity status of the
MCB problem for WFCB’s (the
MWFCB problem). The problem turns out to be
APX{\mathcal{APX}}
-hard. However, in this paper, we also offer a simple and practical 2⌈log
2
n⌉-approximation algorithm for the
MWFCB problem. In
O(
n
ν) time, this algorithm actually returns a WFCB whose cost is at most 2⌈log
2
n⌉∑
e∈E(G)
w
e
, thus allowing a fast 2⌈log
2
n⌉-approximation also for the
MCB problem. With this algorithm, we provide tight bounds on the cost of any MCB and MWFCB.
Keywords Graphs - Combinatorial optimization - Minimum cycle basis problem - Weakly fundamental cycle basis - Fundamental cycle basis - Approximation algorithm - Computational complexity