Let be a graph with . For each edge three real valued weights are associated. Also, for each vertex a weight is prescribed. For any subset , let , , , and
Then the generalized vertex cover problem (GVC) is to find a set such that is minimized. Note that can be viewed as the ‘cost of’ not covering edge , can be viewed as the ‘cost of’ covering edge by selecting exactly one of its end points, and can be viewed as the ‘cost of’ over-covering edge . If the solution is an empty set , then the objective function is defined as .
GVC was introduced by Hassin and Levin  and it is a meaningful generalization of the well known minimum weight vertex cover problem (MWVCP) [14, 33] and the maximum weight independent set problem (MWISP) [4, 33]. Note that if for all , a large number and for all then, GVC reduces to MWVCP. Likewise, when , , for all , then GVC is equivalent to MWISP. (It may be noted that MWISP is normally presented as a maximization problem which is equivalent to minimization form indicated above). Hassin and Levin  although introduced GVC, they focused primarily on a special case of it where is assumed to be non-negative for all and for all . We denote this special case of GVC by GVC-HL and it may be noted that MWISP is not a special case of GVC-HL. In  two 2-approximation algorithms for GVC-HL are proposed , one based on linear programming, and the other based on the local-ratio technique . When for all and , GVC is called uniform cost generalized vertex cover problem (UGVC). In  the complexity of UGVC has been studied for all possible values of and . They showed that GVC is polynomial time solvable in the following cases: 1) , 2) , 3) and there exists an integer such that . For the general case, UGVC is NP-hard . Milanovic 
proposed a genetic algorithm to solve GVC-HL and reported experimental results comparing their algorithm with CPLEX and the 2-approximation algorithm given in. Kochenberger et. al.  compared an integer linear programming formulation and an integer quadratic programming formulations using the CPLEX solver.
Another special case of GVC where for all was considered by Houchbaum  and Bar-Yehuda et al. . This problem is also known as the generalized vertex cover problem in the literature and for definiteness we denote this problem by GVC1. In fact, Houchbaum  and Bar-Yehuda et al.  studied primarily a special case of GVC1 where for all , for all . We refer to this version of GVC1 as GVC1-HB. Houchbaum  provided an integer linear programming formulation of GVC1-HB and showed that the corresponding linear programming relaxation admits half integrality property. Bar-Yehuda et al.  provided an extension of a well known theorem by Nemhauser and Trotter  for the vertex cover problem (independent set problem) to GVC1-HB, and presented a -approximation algorithm on graphs with maximum degree of a node is bounded above by . They also presented a polynomial time approximation scheme (PTAS) for GVC1-HB on planner graphs, and a - approximation algorithm for a general graph. In the same paper they showed that GVC1-HB is NP-hard on complete graphs but solvable in polynomial time on bipartite graphs. Note that MWVCP is trivial on complete graphs.
The generalized independent set problem introduced by Hochbaum  is yet another special case of GVC. Here are assumed to be zero for all , and we denote this problem by GVC2. Hochbaum and Pathria  studied a special case of GVC2 where for all , for all . This version of GVC2 is denoted by GVC2-HP and the model have applications in Forest Harvesting. GVC2-HP in  was presented as a maximization problem with and . Clearly, this is equivalent to our definition of GVC2-HP. Kochenberger et al.  gave a nonlinear formulation for GVC2-HP and compare the computational effectiveness of this non-linear integer programming formulation with an available linear integer programming formulation.
-vector. Then UBQP is to find ansuch that
is minimized (or maximized). Without loss of generality is chosen as zero for and we assume UBQP is presented as a minimization problem. Also the assumption that is symmetric is not a restriction, since can be replaced by to obtain an equivalent problem.
Given the matrix , let . The subgraph of the complete graph with the vertex set is called the support graph of . Then UBQP can be reformulated in terms of i.e; UBQP is equivalent to finding such that
is minimized (or maximized), where .
Consider an instance of BQP01 with cost matrix of dimension . The support bipartite graph of the matrix is the bipartite graph , where , and . The BQP01 can be formulated as a graph theoretic optimization problem on as
It may be noted that the definition of support bipartite graph is different from that of a support graph. The support graph when the underlying graph is bipartite is different from a support bipartite graph.
In this paper we study the general problems GVC, GVC1, and GVC2. We show that all these problems are equivalent to each other and also equivalent to UBQP. When the underlying graph is bipartite, these are equivalent to BQP01 as well. However, it may be noted that although these equivalences are verified in terms of optimality, domination ratio , differential approximation ratio , the characteristics of these problems in terms of approximation ratio  and various special cases are different and hence it is interesting to explore various special cases of these problems as well. We present several complexity results related to GVC, GVC1, and GVC2 along with some polynomial solvable special cases. Integer programming formulations of GVC, GVC1, and GVC2 are presented and establish half-integrality property on some variables for the corresponding linear programming relaxations. We also present an approximation algorithm for GVC with the approximation ratio when , , and generalizing a result given in . The approximation ratio for the algorithm becomes when for given , and for each edge , all three weights are in . When , the optimal solutions of GVC are vertex covers and this special case leads to the vertex cover problem with node and edge weights (VCPNEW). The problem VCPNEW and two of its special cases are shown to be equivalent to the minimum weight vertex cover problem (MWVCP) and shown that VCPNEW can be solved by an algorithm whenever MWVCP can be solved by an -algorithm for an appropriate if and for all . When , optimal solutions of GVC are independent sets and this special case leads to the independent set problem with node and edge weights (ISPNEW). The problem ISPNEW and two of its special cases are shown to be equivalent to the maximum weight independent set problem (MWISP).
The paper is organized as follows: In Section 2, we study the complexity of GVC. Different NP-hard special cases as well as polynomially solvable special cases are identified. Further we show that GVC, GVC1, GVC2, and UBQP are pairwise equivalent in the sense that an algorithm to compute an optimal solution to one problem can be used to compute an optimal solution to the other. We also show that GVC, GVC1, and GVC2 on bipartite graphs are equivalent to BQP01. Section 3 contains integer programming formulation of GVC and related problems, establish half-integrality property on some variables, and also discuss the approximation algorithm for GVC. Section 4 discusses VCPNEW, ISPNEW and some of their special cases. We also establish that VCPNEW is equivalent to MWVCP, and ISPNEW is equivalent to MWISP.
2 Complexity and Solvable cases
We first show that the problems GVC, GVC1, GVC2, and UBQP are equivalent from an optimality point of view, i.e., any one of these problems can be formulated as another in the sense that from an optimal solution to one, an optimal solution to another can be recovered.
GVC, GVC1, and GVC2 are equivalent.
We first show that GVC can be formulated as GVC1. Given an instance of GVC, define
Now, consider the instance of GVC1 where is replaced by and is replaced by . Then, for any , the objective function of this GVC1 can be written as
The objective function of GVC is given by
It can be verified that
Thus, for any feasible solution of GVC and the instance of GVC1 constructed above, is a constant. Therefore, an optimal solution to this GVC1 will also be an optimal solution to GVC.
Since GVC1 is a special case of GVC, any GVC1 can be formulated as GVC, establishing equivalence between GVC and GVC1.
To establish the equivalence between GVC and GVC2, define
Consider the instance of GVC2 where is replaced by and is replaced by . As in the previous case, we can show that an optimal solution to this GVC2 provides an optimal solution to GVC and the converse follows the fact that GVC2 is a special case of GVC.
GVC, GVC1, and GVC2 are NP-hard on complete graphs.
It may be noted that the special cases MWISP, MWVCP of GVC are trivial on a complete graph.
GVC, GVC1, and GVC2 are equivalent to UBQP.
We first show that GVC2 can be formulated as UBQP. For any feasible solution , let and be the objective function values of GVC2, and UBQP respectively.
Define the matrix as
Consider the UBQP with and as defined above. For any feasible solution of GVC2 or UBQP, . Thus an optimal solution to UBQP constructed above is also an optimal solution to GVC2.
To show that UBQP can be formulated as GVC2, let be the cost matrix of an instance of UBQP and be the support graph of . Choose , for edge of the support graph . Then, an optimal solution to the resulting GVC2 on solves UBQP. Thus GVC2 and UBQP are equivalent. The equivalence of GVC, GVC1, and UBQP now follow from Theorem 2.1. ∎
Although the equivalence of GVC, GVC1, GVC2 and UBQP are established in Theorem 2.3, the direct reformulation as a UBQP was given only for the GVC2. It is however interesting to present the precise structure of when GVC and GVC1 are reformulated as a UBQP. This is particularly useful in identifying polynomially solvable special cases directly from solvable UBQP instances. For any feasible solution , let and be the objective function values of GVC, GVC1, and UBQP respectively.
Consider the UBQP with and are as defined above. For any ,
It can be verified that
Thus an optimal solution to the UBQP constructed above is also an optimal solution to GVC.
Now, define the matrix as
Consider an instance of UBQP with and as defined above.
Thus an optimal solution to this UBQP is an optimal solution to GVC1.
GVC is polynomial-time solvable on a series-parallel graph .
If the rank of is fixed and is a positive semi-definite, then GVC is polynomial-time solvable.
If and are non-negative, then GVC is polynomial-time solvable.
GVC is polynomial-time solvable if , where is defined in equation (10).
From the construction given in equation (15), the support graph of is a subgraph of on which GVC is defined. Note that UBQP is solvable in polynomial time if the support graph of the cost matrix is series-parallel [5, 22]. Since any subgraph of a series-parallel graph is series-parallel, the result follows.
If the rank of is fixed and is a positive semi-definite, then UBQP is polynomial time solvable [2, 11, 18, 22], and if and are non-negative, UBQP is polynomial time solvable . The result now follows from Theorem 2.3.
When , where is defined in equation (10), Picard et al. [28, 29] showed that UBQP can be reduced to minimum-cut problem on the graph , where , denotes the source and the sink, and with . Therefore, in this case GVC is equivalent to the minimum-cut problem which is polynomial time solvable [28, 29].
It may be noted that the reductions discussed in Theorem 2.1 and 2.3 above for GVC and GVC1 to UBQP do not preserve -optimality because of the resulting constant terms in the objective function. However, for GVC2, reduction to UBQP preserves -optimality. The equivalence however preserves other performance measures such as differential approximation ratio [3, 9] and domination ratio .
For any graph and , is the graph obtained by deleting node and all its incident edges. Then GVC2 on can be solved by solving GVC2 on with two different data sets. Note that in an optimal solution to GVC2 on , either belongs or does not belongs to an optimal solution. If does not belong, then any optimal solution to GVC2 on with original data (restricted to nodes and edges of ) is also an optimal solution to GVC2 on . Otherwise, define
and for all edge in , where .
Let be an optimal solution to GVC2 on with replaced by and is replaced by . Also let be an optimal solution to GVC2 on with original data. Then the best of will be an optimal solution to GVC2 on . This idea (together with Theorem 2.1) can be applied recursively to establish the following.
GVC, GVC1, and GVC2 can be solved in polynomial time on if GVC2 can be solved in polynomial time on for some where .
It is well known that if is an optimal vertex cover then is an optimal independent set. A similar relationship exist between GVC1 and GVC2.
is an optimal solution to GVC1 with data and if and only if is an optimal solution to GVC2 with data and
Suppose is an optimal solution to the GVC1. Then for any
Consider the objective function value of the GVC2 given in the statement of the lemma for the solution . We have,
Since any subset of can be represented as , for , it follows that is an optimal solution to GVC2 defined above. The converse can be proved analogously. ∎
2.1 Bipartite graphs
Bipartite graph is a subclass of perfect graphs on which the MWVCP and MWISP can be solved in polynomial time . Houchbaum  and Bar-Yehuda et al.  showed that GVC1-HB solvable in polynomial time on bipartite graphs. Hochbaum and Pathria  showed that GVC1-HP is solvable in polynomial time on bipartite graphs. Thus it is interesting to investigate the complexity of GVC, GVC1, and GVC2 on bipartite graphs. Let us first define these problems on bipartite graphs using the bi-partitioned structure of the vertex set.
Let be a bipartite graph, where , and . For each vertex a weight is prescribed and for each vertex a weight is prescribed. Let , , , , and . Then GVC on this bipartite graph is to find such that
is minimized. Similarly, GVC1 is to minimize
and GVC2 is to minimize
Without loss of generality we assume .
GVC is solvable in polynomial time on bipartite graphs if and or and .
GVC, GVC1, and GVC2 on bipartite graphs are equivalent to BQP01.
For any feasible solution , where and , let and be the objective function values of GVC2, and BQP01 respectively.
Define the matrix as
Set and . Consider the BQP01 with , and are as defined above. For any feasible solution