Abstract 1 Introduction 2 Preliminaries 3 Trees 4 Bipartite Graphs 5 Concluding Remarks References

Minimum Sum Coloring with Bundles in Trees and Bipartite Graphs

Takehiro Ito ORCID Graduate School of Information Sciences, Tohoku University, Sendai, Japan Naonori Kakimura ORCID Faculty of Science and Technology, Keio University, Yokohama, Japan Naoyuki Kamiyama ORCID Institute of Mathematics for Industry, Kyushu University, Fukuoka, Japan Yusuke Kobayashi ORCID Research Institute for Mathematical Sciences, Kyoto University, Japan Yoshio Okamoto ORCID Graduate School of Informatics and Engineering, The University of Electro-Communications, Tokyo, Japan
Abstract

The minimum sum coloring problem with bundles was introduced by Darbouy and Friggstad (SWAT 2024) as a common generalization of the minimum coloring problem and the minimum sum coloring problem. During their presentation, the following open problem was raised: whether the minimum sum coloring problem with bundles could be solved in polynomial time for trees. We answer their question in the negative by proving that the minimum sum coloring problem with bundles is NP-hard even for paths. We complement this hardness by providing algorithms of the following types. First, we provide a fixed-parameter algorithm for trees when the number of bundles is a parameter; this can be extended to graphs of bounded treewidth. Second, we provide a polynomial-time algorithm for trees when bundles form a partition of the vertex set and the difference between the number of vertices and the number of bundles is constant. Third, we provide a polynomial-time algorithm for trees when bundles form a partition of the vertex set and each bundle induces a connected subgraph. We further show that for bipartite graphs, the problem with weights is NP-hard even when the number of bundles is at least three, but is polynomial-time solvable when the number of bundles is at most two. The threshold shifts to three versus four for the problem without weights.

Keywords and phrases:
graph algorithms, minimum sum coloring, minimum coloring, fixed-parameter tractability, NP-hardness
Funding:
Takehiro Ito: JSPS KAKENHI Grant Numbers JP24H00686, JP24H00690.
Naonori Kakimura: JSPS KAKENHI Grant Numbers JP21H03397, JP23K21646, JP22H05001, and JST ERATO Grant Number JPMJER2301, Japan.
Naoyuki Kamiyama: JSPS KAKENHI Grant Number JP24K14825.
Yusuke Kobayashi: JSPS KAKENHI Grant Numbers JP22H05001, JP24K02901.
Yoshio Okamoto: JSPS KAKENHI Grant Number JP23K10982.
Copyright and License:
[Uncaptioned image] © Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, and Yoshio Okamoto; licensed under Creative Commons License CC-BY 4.0
2012 ACM Subject Classification:
Mathematics of computing Graph algorithms
; Theory of computation Problems, reductions and completeness
Related Version:
Full Version: https://doi.org/10.48550/arXiv.2509.15080
Acknowledgements:
We are grateful to anonymous reviewers for their helpful comments.
Editors:
Ho-Lin Chen, Wing-Kai Hon, and Meng-Tsung Tsai

1 Introduction

The minimum sum coloring problem with bundles was introduced by Darbouy and Friggstad [10] as a common generalization of the minimum coloring problem and the minimum sum coloring problem. For the minimum sum coloring problem with bundles, we are given an undirected graph G and a family of vertex subsets of G, called bundles. Then, we want to find a (proper) coloring of G by positive integers such that the sum of the maximum colors in bundles is minimized (a precise definition will be given in the next section). Figure 1 (Left) shows an example. The minimum coloring problem corresponds to the case where the vertex set itself is a unique bundle; the minimum sum coloring problem corresponds to the case where each vertex forms a singleton bundle.

Figure 1: (Left) An instance of the minimum sum coloring problem with bundles. Bundles are distinguished by color. In this example, bundles are disjoint, but they do not have to be disjoint in general. Numbers on vertices represent the colors assigned to them. The maximum color is 3 for the violet bundle, 3 for the blue bundle, and 2 for the orange bundle; their sum is 8. (Right) Scheduling with conflicts. This is a Gantt chart, where each unit-time job corresponds to a square and the numbers correspond to time slots. Colors show bundles. The graph on the left is a conflict graph over the jobs, and the minimum sum coloring problem with bundles corresponds to minimizing the sum of makespans over bundles.

The minimum sum coloring problem with bundles can be seen as a combinatorial model for the following scheduling problem. We want to process n jobs with unit processing time. Among them, some pairs of jobs cannot be processed concurrently due to conflicts such as competing resources or precedence constraints. Those conflicts are modeled by an undirected graph in which the vertices represent given jobs, and two vertices are joined by an edge if and only if the corresponding jobs are in conflict. Furthermore, there are agents, and each of them is interested in the completion of some set of jobs. Each of these sets of jobs is modeled as a bundle, and the agents want to minimize the completion time of the last job in each of their bundles. We assume that there are sufficiently many machines with identical power. Then, an optimal solution to the minimum sum coloring problem with bundles corresponds to a scheduling of jobs that minimizes the total (or average) completion time of the last jobs in the bundles. Figure 1 (Right) shows the correspondence. With this application in mind, it is natural to assume that the bundles form a partition of the vertex set. However, some of our results can be applied even when the bundles do not form a partition.

The minimum sum coloring problem with bundles is a computationally hard problem. This is expected since the minimum coloring problem is already NP-hard [16]. However, it is known that the minimum coloring problem and the minimum sum coloring problem can be solved in linear time for trees [17]. Darbouy and Friggstad [10], in their presentation at SWAT 2024, asked whether the minimum sum coloring problem with bundles can be solved in polynomial time for trees.

The first main contribution of this paper is to prove that the minimum sum coloring problem with bundles is NP-hard even when the graph is a path and bundles form a partition of the vertex set. This answers the open question by Darbouy and Friggstad [10] mentioned above since paths are trees. On the other hand, we already know from the literature that, if the bundles form a partition, the problem is linear-time solvable when the number of bundles is one (corresponding to the minimum coloring problem) or when it is equal to the number of vertices (corresponding to the minimum sum coloring problem). We also observe that in our reduction, the subgraph induced by a bundle can be disconnected. Therefore, we wonder what happens if the number of bundles is small or large, or if each bundle induces a connected subgraph.

The second contribution of this paper is to provide a fixed-parameter algorithm for the minimum sum coloring problem with bundles in trees when the number of bundles is a parameter. The algorithm also works when each bundle is associated with a non-negative weight that acts as a coefficient in the sum. The algorithm is based on a combinatorial lemma that states that the number of colors in an optimal coloring is bounded by the chromatic number of the graph multiplied by the number of bundles, which holds for general graphs.

The third contribution is to provide a polynomial-time algorithm for the minimum sum coloring problem with bundles in trees when bundles form a partition and the difference between the number of vertices and the number of bundles is small. It should be noted that this is not a fixed-parameter algorithm with respect to that difference.

The fourth contribution is to provide a polynomial-time algorithm for the minimum sum coloring problem with bundles in trees when the family of bundles forms a partition of the vertex set and each bundle induces a connected subgraph. Note that this algorithm does not require the number of bundles to be bounded. We also show that the minimum sum coloring problem with bundles in paths can be solved in polynomial time when each bundle induces a connected subgraph (even if the bundle family does not necessarily form a partition).

Next, we turn our attention to bipartite graphs. Since for bipartite graphs, the minimum coloring (i.e., when the number of bundles is one) is easy and the minimum sum coloring (i.e., when the number of bundles is equal to the number of vertices) is hard [3], we investigate how the number of bundles affects the computational complexity of the minimum sum coloring problem with bundles.

As the fifth contribution, we prove that for bipartite graphs, the minimum sum coloring problem with bundles can be solved in polynomial time when the number of bundles is at most three, and it is NP-hard when the number of bundles is at least four. For the weighted case, the problem can be solved in polynomial time when the number of bundles is at most two, and it is NP-hard when the number of bundles is at least three.

Our results are summarized in Table 1.

Table 1: Summary of the results in this paper. Here, n is the number of vertices.
# bundles Type of bundles Weights Results Reference
Trees Unbounded Independent partition Uniform NP-complete Theorem 3
Parameter General General FPT Theorem 5
nParameter Partition General XP Theorem 7
Unbounded Connected partition General P Theorem 8
Bipartite 3 General Uniform P Theorem 13
4 General Uniform NP-complete Theorem 10
2 General General P Theorem 12
3 General General NP-complete Theorem 11

Related work

As mentioned in the introduction, the minimum sum coloring problem with bundles was introduced by Darbouy and Friggstad [10] as a common generalization of the minimum coloring problem and the minimum sum coloring problem.

The minimum coloring problem has been one of the central topics in graph theory, graph algorithms, combinatorial optimization, and computational complexity theory. It is known that the minimum coloring problem is NP-complete [16],111Whenever we talk about NP-completeness of a minimization problem, we consider a canonical decision version of the problem in which we are also given an upper bound C of the optimal value, and want to decide whether the optimal value is at most C. even for 4-regular planar graphs [9]. For several classes of graphs, the minimum coloring problem can be solved in polynomial time. Most notably, for perfect graphs, a polynomial-time algorithm is known that is based on semidefinite programming relaxation [13]. The class of perfect graphs contains bipartite graphs, interval graphs, and chordal graphs, for which the minimum coloring problem can be solved in linear time.

The minimum sum coloring problem was introduced by Kubicka and Schwenk [17], where the NP-completeness of the problem was established. The problem is also known to be NP-complete even for bipartite graphs [3] and interval graphs [19, 18] (and hence for chordal graphs). We recommend a survey by Halldórsson and Kortsarz [14] on approximability for the minimum sum coloring.

The minimum coloring problem and the minimum sum coloring problem are closely related to scheduling with conflict or mutual exclusion scheduling. In a basic version of scheduling with conflict, we are given a set of n jobs with unit processing time, a set of m machines, and a conflict graph G on the set of jobs. Then, we need to assign each job to one of the machines and process the jobs along the timeline in such a way that two jobs are not processed at the same time slot if they are adjacent in G. The objective is to minimize either the makespan or the total completion time. The minimum coloring problem corresponds to the case where mn and the objective is makespan minimization; the minimum sum coloring problem corresponds to the case where mn and the objective is total completion time minimization. Baker and Coffman Jr. [2] proved that the problem of scheduling with conflict can be solved in polynomial time when m=2 and is NP-hard when m3. For more recent and related results, see a paper by Even et al. [11]. We note that there are versions of scheduling with conflicts where we cannot process two jobs in conflict on the same machine [5].

2 Preliminaries

For a positive integer k>0, we use the notation [k]={1,2,,k}.

All graphs in this paper are finite, undirected, and simple (i.e., having no self-loops or multiple edges). A graph G=(V,E) is bipartite if the vertex set V can be partitioned into two disjoint sets A and B in such a way that every edge eE has one endpoint in A and the other endpoint in B. A graph G is a tree if it is connected and has no cycles. For vV, let δG(v) denote the set of all edges incident to v.

Let G=(V,E) be a graph. A (proper) coloring of G is a map c:V>0 such that c(u)c(v) for every edge uvE. For a vertex subset SV, an S-partial coloring of G is a map c:V0 such that c(v)>0 for vS, c(v)=0 for vVS, and c(u)c(v) for every edge uvE with u,vS.

The problem Minimum Sum Coloring with Bundles is defined as follows.

Problem:

Minimum Sum Coloring with Bundles

Input:

An undirected graph G=(V,E), a family ={B1,B2,,B} of non-empty subsets of V, a weight function w:>0, and a positive integer C>0.

Question:

Determine whether there exists a (proper) coloring c:V>0 such that

cost(c):=j=1w(Bj)max{c(v)vBj}C.

For an instance I=(G,,w,C) of Minimum Sum Coloring with Bundles, we call a coloring c of G optimal if cost(c)cost(c) for all colorings c of G.

Each member of is called a bundle. Throughout the paper, we assume that each vertex vV is contained in at least one bundle; otherwise, we can remove v from the instance. The family is a partition if for each vertex vV there exists a unique bundle Bj such that vBj. A bundle B is connected if the induced subgraph G[B] is connected. A bundle B is independent if the induced subgraph G[B] has no edges. The family is called connected (and independent) if all its members are connected (and independent, respectively).

The following observation will be used later explicitly or implicitly.

Observation 1.

For any graph G=(V,E) in Minimum Sum Coloring with Bundles, there exists an optimal coloring in which the color of every vertex v is at most |δG(v)|+1.

Proof.

If the color of v exceeds |δG(v)|+1, then one of the colors in {1,2,,|δG(v)|+1} is missing in the neighborhood of v, and v can be recolored with that missing color without increasing the cost.

3 Trees

3.1 NP-Completeness for Paths

As an intermediate step, we first prove that Minimum Sum Coloring with Bundles is NP-complete for perfect matchings. Here, a perfect matching is a set of edges in which no pair of edges shares a common endpoint.

Theorem 2.

Minimum Sum Coloring with Bundles is NP-complete even when the edge set of the input graph forms a perfect matching, is an independent partition of the vertex set, and w(B)=1 for every B.

Proof.

It is easy to see that Minimum Sum Coloring with Bundles is in NP. To prove NP-hardness, we reduce Independent Set to Minimum Sum Coloring with Bundles. Here, for an undirected graph G=(V,E), we say that SV is independent if G has no edge connecting the vertices in S.

Problem:

Independent Set

Input:

An undirected graph G=(V,E) and a positive integer k>0.

Question:

Determine whether there exists an independent set SV with |S|k.

It is well-known that Independent Set is NP-complete (see [16]).

Suppose that we are given an instance of Independent Set that consists of a graph G=(V,E) and a positive integer k. We construct a new graph G=(V,E) by replacing each vertex vV with |δG(v)| new vertices so that each new vertex has exactly one incident edge. Formally, G is defined as follows:

V ={p(v,e)vV,eδG(v)}, E ={p(u,e)p(v,e)e=uvE}.

Let Bv:={p(v,e)eδG(v)} for each vV, and define ={BvvV}. Then, it is easy to see that E forms a perfect matching in G and is a partition of V. Let w(B)=1 for any B, and let C=2|V|k. This defines an instance (G,,w,C) of Minimum Sum Coloring with Bundles. See Figure 2.

To show the validity of this reduction, it suffices to show that G has an independent set of size at least k if and only if there exists a coloring c of G such that vVmax{c(p)pBv}C.

We first show the sufficiency (“if” part). Suppose that G has a coloring c:V>0 such that cost(c)C=2|V|k. Let S:={vVmax{c(p)pBv}=1}. Then, since

Ccost(c)=vVmax{c(p)pBv}2(|V||S|)+|S|,

we obtain |S|k. For any edge e=uvE, since c(p(u,e))c(p(v,e)) as c is a coloring, at least one of c(p(u,e))2 and c(p(v,e))2 holds, which implies that at least one of u and v is in VS. Therefore, S is an independent set in G, which shows the sufficiency.

We next show the necessity (“only if” part). Suppose that G has an independent set SV with |S|k. Let c:V>0 be a coloring of G such that

  • for each edge e=uvE, one of c(p(u,e)) and c(p(v,e)) is 1 and the other is 2, and

  • for any vS and any eδG(v), it holds that c(p(v,e))=1.

Note that such a coloring c exists, because S is an independent set in G. Since max{c(p)pBv}=1 for vS and max{c(p)pBv}2 for vVS, we obtain

cost(c)=vVmax{c(p)pBv}2|V||S|C,

which shows the necessity.

Therefore, the reduction is valid, and hence Minimum Sum Coloring with Bundles is NP-hard even when the edge set forms a perfect matching, is an independent partition of the vertex set, and w(B)=1 for every B.

Figure 2: Reduction when a graph forms a perfect matching.

We then prove the NP-hardness of Minimum Sum Coloring with Bundles on paths by reducing Minimum Sum Coloring with Bundles with the conditions in Theorem 2. Roughly speaking, the reduction involves creating four copies of the instance described in Theorem 2 and carefully connecting their edges to form a single path. See the full version for details.

Theorem 3.

Minimum Sum Coloring with Bundles is NP-complete even when G is a path, is an independent partition of the vertex set, and w(B)=1 for every B.

3.2 Fixed-Parameter Tractability when |𝓑| is a Parameter

In the reduction of the previous section, the number of bundles is unbounded. As a positive algorithmic result that is in contrast to Theorem 3, we prove that Minimum Sum Coloring with Bundles in graphs of bounded treewidth can be solved in fixed-parameter tractable time when the number of bundles and the treewidth are parameters. See a textbook (e.g. [8]) for an introduction to treewidths and Courcelle’s theorem.

First, we prove the lemma that bounds the number of colors in any optimal coloring. For a graph G=(V,E), we denote by χ(G) the chromatic number of G, which is defined as the minimum of maxvVc(v) over all (proper) colorings c of G.

Lemma 4.

Let I=(G=(V,E),,w,C) be an instance of Minimum Sum Coloring with Bundles such that each vertex is contained in some bundle. Then, every optimal coloring c:V>0 for I satisfies c(v)χ(G)|| for all vV.

Proof.

The proof proceeds by induction on ||. Consider the case where ||=1 and ={B}. Note that B=V as each vertex is contained in some bundle. Let c be a minimum coloring, i.e., a coloring that attains χ(G). Then, maxvBc(v)maxvVc(v)=χ(G)=χ(G)||.

Now, let 1 be a positive integer, and assume that the lemma holds when the number of bundles is . Then, we prove that the lemma holds when the number of bundles is +1. For the sake of contradiction, suppose that there exists an optimal coloring c such that maxvBc(v)>χ(G)(+1) for some B. Fix such a member B, and let U be the set of vertices of G that belong to B, but not to other bundles. Then, consider the instance I=(GU,{B},w|VU,C), where w|VU is the restriction of w on VU. By the induction hypothesis, there exists an optimal coloring c:VU>0 for I such that maxvVUc(v)χ(GU)χ(G). We now extend c to a coloring c of G by giving colors in {χ(G)+1,,χ(G)+χ(G)} to the vertices of U. This is possible since χ(G[U])χ(G). Then,

cost(c) =B{B}w(B)maxvBc(v)+w(B)maxvBc(v)
B{B}w(B)maxvBc(v)+w(B)χ(G)(+1)
<B{B}w(B)maxvBc(v)+w(B)maxvBc(v) =cost(c).

This contradicts the optimality of c.

We now focus on the case where the input graph G has treewidth at most 𝗍𝗐. Note that χ(G)𝗍𝗐+1, because the degeneracy of G is at most 𝗍𝗐. Thus, the number of colors in any optimal coloring is at most (𝗍𝗐+1)|| by Lemma 4.

To solve Minimum Sum Coloring with Bundles for graphs G=(V,E) with treewidth at most 𝗍𝗐, we employ Courcelle’s theorem [1, 6, 7]. To this end, we introduce the following auxiliary decision problem. In addition to the input (G,,w,C) to Minimum Sum Coloring with Bundles, where ={B1,B2,,B}, we also take a sequence 𝐤=(k1,k2,,k) of integers. Then, we want to decide whether there exists a coloring c:V>0 such that maxvBjc(v)kj for all j[]. If we have a solution to this auxiliary problem for every 𝐤[(𝗍𝗐+1)], then the optimal cost for the instance (G,,w,C) can be derived as

min𝐤{j=1w(Bj)kj|the answer to the instance (G,,w,C,𝐤) is yes}. (1)

We now focus on solving the auxiliary problem above. To solve the auxiliary problem using Courcelle’s theorem [1, 6, 7], it is sufficient to write down an MSO formula that expresses the decision. An instance is given as (G,,w,C,𝐤), and we want to decide whether there exists a coloring c such that maxvBjc(v)kj for all j[]. By Lemma 4, we can assume that our coloring c uses colors in [(𝗍𝗐+1)]. For brevity, let p=(𝗍𝗐+1). To express conditions with an MSO formula, we regard a coloring c as a partition {C1,C2,,Cp} of the vertex set V into independent sets, where Ci={vVc(v)=i}. Note that in such a partition a set Ci can be empty.

Then, the decision can be expressed by the following MSO formula:

C1,C2,,CpV: i=1pi=i+1pvV:¬(vCivCi) (2)
vV:i=1p(vCi) (3)
i=1pu,vV:(uCivCi¬(uvE)) (4)
j=1vV:(vBji=1kj(vCi)). (5)

In the formula, the conjunction of Formulae (2) and (3) represents that {C1,C2,,Cp} is a partition of V. Formula (4) represents that each Ci is independent. Formula (5) represents that the maximum color in bundle Bj is at most kj for each j[]. Thus, the formula correctly represents the conditions in the auxiliary problem.

By Courcelle’s theorem, this auxiliary problem can be solved in O(f(𝗍𝗐,)|V|) time for some computable function f. To evaluate the minimum in (1), we solve the auxiliary problem for every choice of 𝐤[(𝗍𝗐+1)], thus at most ((𝗍𝗐+1)) times. Let g(𝗍𝗐)|V| be the running time of Bodlaender’s algorithm [4] for computing a tree decomposition of width 𝗍𝗐. Then, the overall running time is g(𝗍𝗐)|V|+((𝗍𝗐+1))O(f(𝗍𝗐,)|V|). Setting h(𝗍𝗐,)=g(𝗍𝗐)+((𝗍𝗐+1))f(𝗍𝗐,), we obtain the following theorem.

Theorem 5.

Minimum Sum Coloring with Bundles can be solved in O(h(𝗍𝗐,)|V|) time for some computable function h:0×00, where 𝗍𝗐 is the treewidth of G and is the number of bundles. ∎

3.3 An XP-Algorithm when |𝑽||𝓑| is a Parameter

We consider the case where G is a tree, the bundle family is a partition of the vertex set, and the number of bundles is large. More specifically, if n is the number of vertices and is the number of bundles that form a partition of the vertex set, we treat n as a parameter.

Let B be a bundle. We call B a singleton bundle if |B|=1; otherwise, we call B a non-singleton bundle.

Lemma 6.

Let I=(G=(V,E),,w,C) be an instance of Minimum Sum Coloring with Bundles, where is a partition of V. Then, the number of non-singleton bundles in is at most |V|||.

Proof.

Let t be the number of non-singleton bundles. Since is a partition of V, we obtain |V|2t+(||t)=||+t. Thus, t|V|||.

Let I=(G=(V,E),,w,C) be an instance of Minimum Sum Coloring with Bundles, and assume that G is a tree, is a partition of V. Let t be the number of non-singleton bundles in . By Lemma 6, t|V|||=n. Denote the non-singleton bundles in by B1,B2,,Bt, and the set of vertices, each of which forms a singleton bundle, by Vs.

A primary idea of our algorithm is to fix upper bounds on the colors used in non-singleton bundles and to optimize the colors in singleton bundles with this restriction. For a non-singleton bundle Bj, j[t], let kj be an upper bound on the colors in Bj; namely, we seek a coloring c such that maxuBjc(u)kj for every j[t]. For brevity, we denote 𝐤=(k1,k2,,kt). By Lemma 4, it is enough to consider the situations with kj2 for all j[t], and thus the number of possible choices for 𝐤 is bounded by (2)t from above.

We regard G as a rooted tree with a root rV. For each vertex vV, we denote by V(v) the vertex set of the subtree of G rooted at v. For each vertex vV, each color k, and an upper-bound tuple 𝐤, we define

f(v,k;𝐤):=min{uVsw({u})c(u)|c is a V(v)-partial coloring of G,c(v)=k,maxuBjc(u)kj for all j[t]}.

Then, the optimal value for the instance I is read by

min𝐤,k(f(r,k;𝐤)+j=1tkj),

where the minimum is taken over all possible choices of 𝐤=(k1,k2,,kt) and k. Note that we only need to consider the value of k in the interval k[2] by Lemma 4.

We now establish a recursive formula for f(v,k;𝐤). First, consider the case where v is a leaf of G. We have two subcases. If v forms a singleton bundle by itself, then

f(v,k;𝐤)=w({v})k.

If v belongs to a non-singleton bundle Bj for some j[t], which is unique since forms a partition of V, then

f(v,k;𝐤)={0if kkj,+otherwise.

Next, consider the case where v is not a leaf of G. Let v1,,vz be the children of v in G. We again have two subcases. If v forms a singleton bundle by itself, then

f(v,k;𝐤) =w({v})k+min{y=1zf(vy,ky;𝐤)|kyk for all y[z]}
=w({v})k+y=1zmin{f(vy,ky;𝐤)|kyk}

since the values f(vy,ky;𝐤) are independent from each other. Similarly, if v belongs to a non-singleton bundle Bj for some j[t], then

f(v,k;𝐤)={y=1zmin{f(vy,ky;𝐤)|kyk}if kkj,+otherwise.

For each fixed 𝐤, we compute f(v,k;𝐤) in a bottom-up manner from leaves to root. When v is not a leaf, the computation of f(v,k;𝐤) can be done in O(z) time for each fixed k since we may suppose that ky2 by Lemma 4. In total, for each fixed 𝐤, the computation of f(v,k;𝐤) over all v and k can be done in O(n2) time. Hence, for varying 𝐤, the running time of our algorithm is O((2)tn2). When n is a parameter, this is an XP algorithm since tn by Lemma 6.

We summarize our findings in the following theorem.

Theorem 7.

Minimum Sum Coloring with Bundles can be solved in O((2)tn2) time when G is a tree, n is the number of vertices, is the number of bundles, and t is the number of non-singleton bundles.

3.4 Polynomial-time Algorithm for the Connected Partition Case

In this subsection, we consider Minimum Sum Coloring with Bundles in trees when the bundle family is a connected partition, namely, when each bundle induces a connected subgraph and each vertex belongs to a unique bundle.

Let I=(G=(V,E),,w,C) be an instance of Minimum Sum Coloring with Bundles, and assume that G is a tree, is a connected partition of V. Define n|V|. For each vertex vV, we denote by B(v) a unique bundle in containing v. Notice that there exists an optimal coloring c such that c(v)[n] for every vertex vV by Observation 1.

We regard G as a rooted tree with a root rV. For each vertex vV, we denote by V(v) the vertex set of the subtree of G rooted at v. For each vertex vV, each integer k[n], and each integer g[n], we define

f(v,k,g):=min{Bw(B)maxuBc(u)|c is a V(v)-partial coloring of G,c(u)n for all uV,c(v)=k,max{c(u)uB(v)}=g}.

We now establish a recursive formula for f(v,k,g). First, consider the case where v is a leaf of G. For k[n] and g[n], we obtain

f(v,k,g)={w(B(v))gif k=g,+otherwise.

Next, consider the case where v is not a leaf of G. Let U be the set of children of v and let W:=UB(v). See Figure 3. Notice that B(u)=B(v) for every uW. Furthermore, since B(v) is connected, B(v)V(u)= for every uUW. If k>g, then we obtain f(v,k,g)=+ since c(v)max{c(u)uB(v)}. Since is a connected partition of V, |{uUBV(u)}|1 for each bundle B{B(v)}. Thus, if k=g, then

f(v,k,g)=w(B(v))g+uWmink[n]{k},g[g](f(u,k,g)w(B(u))g)+uUWmink[n]{k},g[n]f(u,k,g).

Similarly, if k<g, then

f(v,k,g)=minuW{mink[n]{k}f(u,k,g)+uW{u}mink[n]{k},g[g](f(u,k,g)w(B(u))g)+xUWmink[n]{k},g[n]f(u,k,g)}.
Figure 3: Notation for the case where is a partition of V.

By computing f(r,k,g) over all k and g with these equations, we can solve Minimum Sum Coloring with Bundles in this case. For each vertex vV, we can compute f(v,k,g) over all k and g in O(|δG(v)|2n4) time. Thus, we obtain the following theorem.

Theorem 8.

Minimum Sum Coloring with Bundles can be solved in O(n6) time when G is a tree, the subgraph of G induced by each bundle B is connected, and is a partition of V.

Finally, we present the following theorem, asserting that if G is a path, we can solve in polynomial time Minimum Sum Coloring with Bundles when is connected but not necessarily a partition. See the full version for the proof.

Theorem 9.

Minimum Sum Coloring with Bundles can be solved in O(|V|3||) time when G=(V,E) is a path and the subgraph of G induced by each bundle B is connected.

4 Bipartite Graphs

In this section, we first prove that Minimum Sum Coloring with Bundles is NP-complete even when G is a bipartite graph, the number of bundles is four, and the weights are uniform. To prove NP-completeness, we use the following problem.

Problem:

Bipartite 3-List-Coloring

Input:

A bipartite graph G=(V,E) and a list L(v){1,2,3} of available colors for each vertex vV.

Question:

Determine whether there exists a proper coloring c:V{1,2,3} such that c(v)L(v) for each vV.

As observed by Golovach and Paulusma [12], a reduction given by Jansen and Scheffler [15] proves the NP-completeness of Bipartite 3-List-Coloring.

Theorem 10.

Minimum Sum Coloring with Bundles is NP-complete even when G is a bipartite graph, ||=4, and w(B)=1 for every B.

Proof.

It is easy to see that the problem is in NP. In what follows, we prove that the problem is NP-hard by reducing Bipartite 3-List-Coloring.

Suppose that we are given an instance of the problem Bipartite 3-List-Coloring. Specifically, let G=(V,E) be a bipartite graph, and let L(v){1,2,3} be a list of available colors for each vertex vV. For Z{1,2,3}, we define UZ={vVL(v)=Z}. Then {UZZ{1,2,3}} forms a partition of V; that is, V=Z{1,2,3}UZ and UZUZ= for any distinct subsets Z,Z{1,2,3}.

We construct an instance (G~,,w,C) of Minimum Sum Coloring with Bundles, where G~=(V~,E~), as follows. For Z{{2},{2,3}}, we denote by UZ1 a copy of UZ, where u1UZ1 means a copy of uUZ. Similarly, we define two copies U{1,3}1 and U{1,3}2 of U{1,3}, and three copies U{3}1, U{3}2, and U{3}3 of U{3}. Then, the vertex set V~ of G~ is defined as

V~=VU{2}1i=13U{3}ii=12U{1,3}iU{2,3}1{vii[16]}.

The edge set E~ is defined as

E~=EE{2}E{3}E{1,3}E{2,3}E0,

where we define

E{2} ={uu1uU{2}}, E{3} ={uu2,u2u1,uu3uU{3}},
E{1,3} ={uu2,u2u1uU{1,3}}, E{2,3} ={uu1uU{2,3}},
E0 ={v1v2,v11v12}{vivi+1i{3,4,5}{7,8,9}{13,14,15}}.

We note that each of E{2}, E{3}, E{1,3}, and E{2,3} consists of disjoint edges and paths. Also, E0 contains 3 disjoint paths of length 3 and 2 disjoint edges. Since G~ is obtained from the bipartite graph G by adding edges of E{2}E{3}E{1,3}E{2,3}E0, the constructed graph G~ is bipartite. Moreover, define a family of bundles ={B1,B2,B3,B4} as

B1 =U{1}U{2}1U{3}1U{3}3U{1,3}1U{2,3}1{v1,v3,v6},
B2 =U{2}U{1,2}U{3}2U{1,3}2{v2,v7,v10,v12},
B3 =U{3}U{1,3}U{2,3}U{1,2,3}{v4,v5,v8,v9,v14,v15},
B4 ={v11,v13,v16}.

We set w(Bi)=1 for i{1,2,3,4} and C=7. This defines an instance (G~,,w,C) of Minimum Sum Coloring with Bundles. See Figure 4.

Figure 4: Reduction for bipartite graphs with uniform weight. (Left) An instance of Bipartite 3-List-Coloring. The flag attached to each vertex v represents the list L(v). The numbers on vertices represent a proper coloring that respects the lists. (Right) The instance of Minimum Sum Coloring with Bundles that is constructed from the left instance of Bipartite 3-List-Coloring. Colors represent bundles: the violet vertices form B1, the blue vertices form B2, the orange vertices form B3, and the green vertices form B4. The numbers on vertices represent the coloring obtained as in the proof of the if-part.

We claim that the instance (G~,,w,C) of Minimum Sum Coloring with Bundles is a yes-instance if and only if the given instance (G,L) of Bipartite 3-List-Coloring is a yes-instance. The proof of this claim can be found in the full version.

For the weighted case, Minimum Sum Coloring with Bundles on bipartite graphs is NP-complete even when ||=3. The proof is an adaptation of that for Theorem 10, and can be found in the full version.

Theorem 11.

Minimum Sum Coloring with Bundles is NP-complete even when G is a bipartite graph, ||=3, and w(B){1,2} for every B.

To complement Theorems 10 and 11 concerning bipartite graphs, we prove that Minimum Sum Coloring with Bundles can be solved in polynomial time under two specific conditions: when ||2 and when ||3 with uniform weights. The proofs can be found in the full version.

Theorem 12.

Minimum Sum Coloring with Bundles can be solved in polynomial time when G is bipartite and ||2.

Theorem 13.

Minimum Sum Coloring with Bundles with uniform weight can be solved in polynomial time when G is bipartite and ||3.

5 Concluding Remarks

We have completed a detailed complexity analysis of Minimum Sum Coloring with Bundles for trees and bipartite graphs, and solved an open problem by Darbouy and Friggstad [10]. Here, we pose a few open problems. First, we do not know the existence of an FPT algorithm for trees when |V||| is a parameter and the bundles form a partition of V. Second, we do not know the complexity for bipartite graphs when the bundles form an independent partition or a connected partition. Third, we do not know any better approximation ratio for trees and bipartite graphs than the one proposed by Darbouy and Friggstad [10].

References

  • [1] Stefan Arnborg, Jens Lagergren, and Detlef Seese. Easy problems for tree-decomposable graphs. J. Algorithms, 12(2):308–340, 1991. doi:10.1016/0196-6774(91)90006-K.
  • [2] Brenda S. Baker and Edward G. Coffman Jr. Mutual exclusion scheduling. Theor. Comput. Sci., 162(2):225–243, 1996. doi:10.1016/0304-3975(96)00031-X.
  • [3] Amotz Bar-Noy and Guy Kortsarz. Minimum color sum of bipartite graphs. J. Algorithms, 28(2):339–365, 1998. doi:10.1006/JAGM.1998.0938.
  • [4] Hans L. Bodlaender. A linear-time algorithm for finding tree-decompositions of small treewidth. SIAM J. Comput., 25(6):1305–1317, 1996. doi:10.1137/S0097539793251219.
  • [5] Hans L. Bodlaender, Klaus Jansen, and Gerhard J. Woeginger. Scheduling with incompatible jobs. Discret. Appl. Math., 55(3):219–232, 1994. doi:10.1016/0166-218X(94)90009-4.
  • [6] Bruno Courcelle. The monadic second-order logic of graphs I: recognizable sets of finite graphs. Inf. Comput., 85(1):12–75, 1990. doi:10.1016/0890-5401(90)90043-H.
  • [7] Bruno Courcelle. The monadic second-order logic of graphs III: tree-decompositions, minor and complexity issues. RAIRO Theor. Informatics Appl., 26:257–286, 1992. doi:10.1051/ITA/1992260302571.
  • [8] Marek Cygan, Fedor V. Fomin, Lukasz Kowalik, Daniel Lokshtanov, Dániel Marx, Marcin Pilipczuk, Michał Pilipczuk, and Saket Saurabh. Parameterized Algorithms. Springer, 2015. doi:10.1007/978-3-319-21275-3.
  • [9] David P. Dailey. Uniqueness of colorability and colorability of planar 4-regular graphs are NP-complete. Discret. Math., 30(3):289–293, 1980. doi:10.1016/0012-365X(80)90236-8.
  • [10] Seyed Parsa Darbouy and Zachary Friggstad. Approximating minimum sum coloring with bundles. In Hans L. Bodlaender, editor, 19th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2024, June 12-14, 2024, Helsinki, Finland, volume 294 of LIPIcs, pages 21:1–21:14. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024. doi:10.4230/LIPICS.SWAT.2024.21.
  • [11] Guy Even, Magnús M. Halldórsson, Lotem Kaplan, and Dana Ron. Scheduling with conflicts: online and offline algorithms. J. Sched., 12(2):199–224, 2009. doi:10.1007/S10951-008-0089-1.
  • [12] Petr A. Golovach and Daniël Paulusma. List coloring in the absence of two subgraphs. Discret. Appl. Math., 166:123–130, 2014. doi:10.1016/J.DAM.2013.10.010.
  • [13] Martin Grötschel, László Lovász, and Alexander Schrijver. Geometric Algorithms and Combinatorial Optimization, Second Edition. Springer Belin Heidelberg, 1993. doi:10.1007/978-3-642-78240-4.
  • [14] Magnús M. Halldórsson and Guy Kortsarz. Algorithms for chromatic sums, multicoloring, and scheduling dependent jobs. In Teofilo F. Gonzalez, editor, Handbook of Approximation Algorithms and Metaheuristics, Second Edition, Volume 1: Methologies and Traditional Applications, pages 671–684. Chapman and Hall/CRC, 2018. doi:10.1201/9781351236423-38.
  • [15] Klaus Jansen and Petra Scheffler. Generalized coloring for tree-like graphs. Discret. Appl. Math., 75(2):135–155, 1997. doi:10.1016/S0166-218X(96)00085-6.
  • [16] Richard M. Karp. Reducibility among combinatorial problems. In Raymond E. Miller and James W. Thatcher, editors, Proceedings of a symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York, USA, The IBM Research Symposia Series, pages 85–103. Plenum Press, New York, 1972. doi:10.1007/978-1-4684-2001-2_9.
  • [17] Ewa M. Kubicka and Allen J. Schwenk. An introduction to chromatic sums. In Arthur M. Riehl, editor, Computer Trends in the 1990s - Proceedings of the 1989 ACM 17th Annual Computer Science Conference, Louisville, Kentucky, USA, February 21-23, 1989, pages 39–45. ACM, 1989. doi:10.1145/75427.75430.
  • [18] Dániel Marx. A short proof of the NP-completeness of minimum sum interval coloring. Oper. Res. Lett., 33(4):382–384, 2005. doi:10.1016/J.ORL.2004.07.006.
  • [19] Tibor Szkaliczki. Routing with minimum wire length in the dogleg-free Manhattan model is NP-complete. SIAM J. Comput., 29(1):274–287, 1999. doi:10.1137/S0097539796303123.