A polynomial algorithm for partitioning a tree into single-center subtrees to minimize flat service costs

Size: px
Start display at page:

Download "A polynomial algorithm for partitioning a tree into single-center subtrees to minimize flat service costs"

Transcription

1 A polynomial algorithm for partitioning a tree into single-center subtrees to minimize flat service costs N. Apollonio I. Lari J. Puerto F. Ricca B. Simeone In memory of Stefano Pallottino Abstract This paper deals with the following graph partitioning problem: given a graph with n nodes, p of which are prescribed to be centers (the remaining nodes are called units), the goal is to find a partition of the set of nodes into connected components containing only one center each, so as to minimize the total assignment cost of units to centers. This problem is known to be NP-hard in general graphs, and it is shown here to remain such even if the assignment cost is monotone and the graph is bipartite. Therefore, we specialize on tree graphs to derive polynomial time algorithms. For this class of graphs we provide several reformulations of the problem as integer linear programs. Moreover, we develop a dynamic programming algorithm, whose recursion is based on solving sequences of minimum weight closure problems, that solves the problem on trees in O(n 2 p). 1 Introduction The problem of assigning units to centers arises in many applications where a facility must be located in different sites or centers of a territory in order to serve a set of customer points (units). In this paper we consider a set of units and a set of already fixed centers, and we study the problem of assigning each unit to exactly one center. Given a cost function which associates a service cost to each possible unit-center pair, our aim is to find an assignment of units Università di Roma La Sapienza Dip. Statistica, Probabilità e Statistiche Applicate Universidad de Sevilla Dep. Estadística e Investigación Operativa. The research of this authors is partially supported by Spanish research grants numbers: MTM2004:0909, HA2003:0121. Università de L Aquila Dip. Sistemi e Istituzioni per l Economia 1

2 to centers which minimizes the total cost. Actually, this problem can be formulated as a graph partitioning problem. Consider a territory divided into n elementary units (small portions of land) and represent it by a connected n- vertex graph G =(V,E), where each vertex corresponds to an elementary unit and an edge between two vertices exists if and only if the two corresponding units are neighboring. The graph G is called the contiguity graph. Let S V be the set of fixed centers and U = V \S be the set of units that must be served. Let n denote the total number of vertices of G and p the number of centers. Then, S = p and U = n p. A connected partition of G is a partition of V into nonempty subsets, called components, such that each component induces a connected subgraph of G. A legal partition of G is a connected partition of G where each component contains exactly one center. Each unit in the same component as s is said to be served by s. Letc : U S R be a cost function which associates a cost c is to each pair (i, s), i U, s S. In real applications c is is a flat service cost due to the assignment of unit i to center s. Then, we define the cost of a legal partition of G as the sum of all the service costs c is, i U, s S, such that in the partition i is assigned to s. In this paper we deal with the following problem: Minimum Cost Legal Partition Problem (MCLP) - Given a connected graph G, find a legal partition of G with minimum cost. In the following, given the graph G, the set of centers S and the flat service cost function c, we will denote an instance of problem MCLP by (G, S, c). Notice that, given a cost function c, a minimum cost legal partition with respect to c remains optimal when a positive constant M is added to the costs, since in each feasible solution the resulting increase of the total cost is Mp(n p), a constant. Thus, without loss of generality, in the following we will assume that the service costs are strictly positive. Let F be a spanning forest of G, and let F(G) be the set of all the spanning forests of G. Let T s (F ) denote the subtree of F which contains the center s. In the following, in order not to make the notation heavier, we shall identify the tree T s (F ) with either its set of vertices or its set of edges, whichever is appropriate. This set will be denoted simply by T when additional specification is not necessary. Notice that, each spanning forest of G is a connected partition of G, and each connected partition of G can be represented as a spanning forest of G. Then, problem MCLP can be formulated as the problem of finding a spanning forest of G such that each tree in F contains exactly one center and the total service cost is minimized. We can formulate this problem as follows: min s S i T s(f ) c is F F(G) T S =1 T F (1) 2

3 Among the many possible applications of this problem, MCLP is strictly related to districting problems. In particular, we consider the political districting problem which consists of drawing a district map to be used in a political election. This problem is of particular importance especially when a majority voting rule is adopted because it interferes in the translation of votes into seats. It can be formulated as an MCLP if the territory involved in the political elections is represented by a graph-theoretic model. The fact that one looks for a connected partition of the contiguity graph reflects the usual requirements of integrity (no unit should be split between any two or more districts) and contiguity (each district should consist of geographically contiguous units). Traditionally, population equality and compactness are the main and widely accepted criteria for political districting [1, 5]. In general, population equality can be taken into account by a constraint which forces the population of each district between fixed upper and/or lower bounds [7]. Let p be the average district population and α a given real in [0, 1]. Then, one may require the population of each district to be at most equal to (1+α)p. Moreover, compactness can be considered in the objective function by minimizing a suitable measure of the dispersion of the units of each district around their center. If the distances between each unit and each center are available, the total inertia can be used to this purpose (see, for example, [4]). Let p i denote the population of territorial unit i and let d is be the distance between unit i and center s. If the territory is represented by the contiguity graph G, and a weight equal to p i is associated to each vertex i, the districting problem can be formulated as an MLCP with a side constraint due to the population equality criterion as follows: min s S i T s(f ) p id 2 is F F(G) T S =1 T F p(t ) (1 + α)p T F (2) where the weight p(t ) associated to the tree T F is given by the sum of all p i s for i T. Problem (2) differs from problem (1) only for the population equality constraints. If we include the population equality constraints into a lagrangean objective function we obtain problem (1) with c is = p i (d 2 is + λ s), where the λ s s are the non negative lagrangean multipliers of the population equality constraints. In [2] it has been shown that problem MCLP is NP-hard on general graphs even in the case of two centers. The natural question that arises is whether the same problem is polynomially solvable in simpler graph topologies. For some well-known problems in location analysis, as the p-center or p-median [8, 9], this is the case when the model is restricted to tree networks. Thus, the main goal in this paper is to answer whether MCLP is polynomially solvable on trees. Looking for an answer to our question, the reader may notice that the feasible solutions of MCLP correspond to the bases of a matroid on the set of edges of the input graph. Nevertheless, the greedy algorithm does not work in general. 3

4 (a) (b) (c) Figure 1: Consider the tree in (a), where black vertices are fixed as centers and the numbers refer to the costs c is for each unit-center pair (i, s). In (b) the solution found by the greedy algorithm is shown, while (c) shows the optimal solution. The trouble is that the costs are defined on unit-center pairs, rather than on the elements of the ground set, namely, the edges (see Fig. 1). This situation makes this problem even more challenging. The main goal of this paper is to give an affirmative answer to the above question. We show that MCLP is solvable in polynomial time on trees, describing an O(n 2 p) algorithm for this case that combines dynamic programming techniques with algorithms for the maximum closure. Analyzing MCLP on trees we will also describe several interesting reformulations as binary integer programming programs, as well as some more advanced issues on the complexity of the problem. In order to attain the above aims the paper is organized as follows. In Section 2 we provide two Binary Linear Programming models for problem MCLP on trees. Section 3 describes the polynomial time algorithm for trees, whereas Section 4 is devoted to give some further complexity results on the problem under consideration. 2 Two Binary Linear Programming models for trees In this section we present two Binary Linear Programming formulations for problem MCLP on trees. Consider a tree T =(V,E) and, as before, let S V be the set of centers and U = V \ S. Notice that in a tree, removing (cutting) p 1 edges results into a connected partition of T into p components, and every connected partition can be obtained in this way. In the first formulation we use the following binary variables: 4

5 { 1 if unit i is assigned to center s y is = (3) 0 otherwise. In the following model we use order constraints, so that the partition is connected, and semiassignment constraints so that each unit is assigned to exactly one center. These constraints guarantee that the partition is legal. The Binary Linear Programming model based on the order constraints is the following: min i U s S c isy is y is y js s S y is =1 y is {0, 1} i U, j U, s S such that j lies in P is i U i U, s S (4) where P is is the unique path from i to s in the tree T. This model has O(np) variables and O(n 2 p) constraints. Notice that if the semiassignment constraints are deleted, the constraint matrix of the resulting model is totally unimodular. An alternative Binary Linear Programming model for problem MCLP on trees can be obtained on the basis of the notion of legal orientation, which provides a different, but useful, perspective on the problem. Given an instance (T,S,c)ofMCLP,alegal orientation of T is an orientation of some of the edges of T such that: (i) for each undirected edge ij, at most one of the two arcs (i, j) and (j, i) is present; (ii) the outdegree of each unit is 1; (iii) the outdegree of each center is 0. Notice that some edges of T remain undirected. Proposition 1 In any legal orientation of T, the number of undirected edges is S 1. Proof. The total number of vertices, centers, and units are equal to n, p, and n p, respectively. After property (ii), the total number of arcs is n p, sothe number of undirected edges is n 1 (n p) =p 1. Proposition 2 There is a one-to-one correspondence between legal partitions and legal orientations of T. Proof. With any legal partition π of T, we associate an orientation ω of some edges of T as follows. For each unit i, lets be the unique center serving i, and let e be the first edge along the path from i to s. Orient e out of unit i. All the edges that are cut in π remain undirected. Clearly, ω is a legal orientation, and one can get back π simply by deleting the undirected edges in ω. 5

6 Proposition 3 For any legal orientation and each unit i, there is a unique directed path from i to a center. Such center s(i) is precisely the center that serves i in the legal partition associated with ω. Consider any legal orientation ω and apply the following simple pro- Proof. cedure: j := i; while j has a successor let j be the unique successor of j; j := j ; endwhile s(i) :=j; Since T is finite and acyclic, such a procedure stops after a finite number of iterations, returning a node s(i), which must be a center after properties (ii) and (iii) of legal orientations. By the same properties, both s(i) and the dipath from i to s(i) must be unique. Finally, we show that, when the undirected edges are deleted, the center s(i) is the same for all the units in the same connected component as i. Recall that these undirected edges are precisely those that are cut in the legal partition associated with ω. Suppose then that in the same connected component there are two units i and i such that s(i ) s(i ). Since i and i are in the same connected component, there must be an elementary path P connecting i and i. All the edges along P must be directed, since all undirected edges have been deleted. But then at least one of the vertices along P (including i and i ) must have outdegree 2, in contradiction with properties (ii) and (iii) of legal orientations. Let s(i), i U, be the center that serves i in the legal orientation ω. Then, the cost of any legal orientation ω is given by c is(i). i U Notice that the cost of ω coincides with the cost of the legal partition π associated with ω. Then, consider the following problem: Minimum Cost Legal Orientation Problem (MCLO) - Given a tree T,asetof centers S and a cost function c, find a legal orientation of T with minimum cost. In view of Propositions 2 and 3, we obtain the following result. Theorem 1 In the case of trees, problems MCLP and MCLO are mutually reducible in polynomial time. 6

7 Now let us formulate a Binary Linear Programming model for MCLO. Given a legal orientation ω, for each edge ij of T introduce binary variables x ij and x ji ; for each unit i and each center s, introduce binary variables y is, with the following meaning: { 1 if (i, j) isanarcinω x ij = 0 otherwise, { 1 if s = s(i) y is = 0 otherwise Thus, the x ij s are decision variables that define the orientation ω, while the y is s are auxiliary variables which are needed in order to compute the cost of ω as a linear function. As usual, denote by N(i) the neighborhood of i, i.e., N(i) ={j ij E}. The binary linear programming model is: min i U s S c isy is x ij + x ji 1 ij E (a) j N(i) x ij =1 i U (b) x sf =0 s S, fs E (c) y fs = x fs s S, fs E (d) y js + x ij 1 y is s S, ij E (e) x ij {0, 1} ij E (f) y is {0, 1} i U, s S (g) (5) Constraints (a), (b), and (c) enforce properties (i), (ii) and (iii) of legal orientations, respectively. In every optimal solution, constraints (d), the transitivity constraints (e), and the strict positivity of the costs c is force y is to be 1 iff there is a directed path from i to s. It follows that the objective function represents the cost of the legal orientation ω. The above model involves O(np) variables and O(np) constraints. In the case of trees, it would be interesting to obtain a polynomial time algorithm for MCLP - or, equivalently, for MCLO - exploiting the special structure of the binary linear programs described in this section. In the next section, we shall derive an O(n 2 p) algorithm through a combination of dynamic programming and maximum weighted closure procedures for this problem. The very existence of such algorithm proves that the above two binary linear programs are solvable in polynomial time. 7

8 3 A polynomial algorithm for partitioning problem on a tree In this section we describe a polynomial algorithm for partitioning a tree into single-center subtrees so as to minimize flat service costs. Given a tree T = (V,E), V = n, as before we denote by U the set of all units and by S the set of all centers. Given a unit i and a center s, let us define a path from i to s to be free if it does not contain any center but s. For each unit i, we define the set C i = {s : the path from i to s is free}. Notice that i may be served only by the centers in C i. Moreover, we denote by c(i) =(c is ) s Ci the cost vector restricted to the pairs (i, s), s C i. The following lemma shows that assuming that centers and leaves coincide causes no loss of generality in the case of trees. Lemma 1 [Leaf Property] Any instance (T,S,c) of MCLP, where T is a tree and S, c are arbitrary, can be reduced, preserving optimality, to a set of independent instances (T i,c i,c(i)), i =1, 2,..., k, k n p, where the T i s are subtrees of T such that: (1) the union of all the T i s is equal to the whole tree T ; (2) any pair of subtrees T i and T j, i j intersects in at most one node, this node being a center; (3) C i is the set of leaves of T i. Proof. We can always assume that in T there is no edge whose endnodes are both centers, since, in this case, such edge would be necessarily cut when assigning units to centers. Furthermore, without loss of generality, we may assume that every leaf l of T is a center. If not, let f be the unique node adjacent to l.iffis a center, then l is forced to be served by f and thus we can delete l from T.Iffis a unit, then l and f must be assigned to the same center, so they can be condensed into a single node whose service cost is the sum of the service costs of l and f. It follows that we can always restrict ourselves to those instances of MCLP in which all the leaves of T are centers. Next, let us show that, conversely, we may always assume that every center is a leaf. So, assume that there exist centers that are not leaves. Let us declare two units i and j to be equivalent iff C i = C j. Then the set U of all units is accordingly partitioned into equivalence classes U i.foreachi, the subgraph T i of T induced by U i C i is connected and hence it is a subtree of T. Notice that T i = T j iff i and j are equivalent. On the other hand, if i and j are not equivalent, then T i and T j may intersect in at most one node, which must necessarily be a center. Furthermore, for each i the set of leaves of T i coincides with C i, since removing C i leaves T i connected and each unit in U i separates at least two centers of C i. Since, as noticed above, unit i may be served only by centers in C i and, on the other hand, the total service cost is additive with respect to the units, the thesis follows. From now on, we assume that the Leaf Property holds, i.e., the leaves and the centers coincide. 8

9 Before describing the algorithm, we introduce some definitions and notation. Let T =(V,E) be an arbitrary rooted tree. As usual, we denote by (i, j) an edge directed from node i to node j. Node i is said to be the predecessor (or the father) ofj and node j is a successor (or a child) ofi. The two sets of predecessors and successors of node i are denoted by Pred(i) and Succ(i), respectively. If there is a directed path from node i to node j, then i is called an ancestor of j, andj a descendant of i. We regard i to be both an ancestor and a descendant of itself. The two sets of ancestors and descendants of node i are denoted by Anc(i) and Desc(i), respectively. For a given node i the closure of i is any subset of nodes that, whenever it contains node i, it contains all the predecessors (and hence all the ancestors) of i. IfZ is any subset of nodes, the cocycle Z of Z is the set of all edges with exactly one vertex not in Z. We call the downtree of T at v, and denote it by T v, the subtree of T rooted at v induced by Desc(v). Given an edge (u, v), the partial downtree T uv is the subtree of T induced by u Desc(v). The subtree T uv is rooted at u and it is obtained from T v by the addition of the edge (u, v). In the following we assume that T is rooted at one of its units, say r. We are going to describe a polynomial algorithm for solving MCLP which is based on a bottom-up dynamic programming recursion. In order to implement such a recursion, a sequence of minimum weight closure problems on trees are solved. Let i be a unit, T i thedowntreeoft rooted at i, andl an arbitrary center (leaf) of T i. We define z il to be the minimum service cost of any legal partition of T i, subject to the condition that i is served by l; we shall also define z i = min{z il l is a center of T i }. Thus, z i is just the minimum service cost of any legal partition of T i. Denote by Π is the set of all legal partitions of T i such that i is served by s. The dynamic programming algorithm starts from those nodes g that are predecessors of leaves l. Clearly, z gl = c gl. Now, consider an arbitrary unit i and assume that, for each child j of i and each center t in T j, all values z jt have been previously computed by the dynamic programming algorithm. Let s be any center in T i. Then, in any cheapest legal partition of T i where i is served by s, all nodes along the directed path P is,from i to s, are also being served by s. Moreover, if T v is an arbitrary downtree whose root v has its father f in P is, some units of T v may also be served by s (see Fig. 2). The set R of all such units must induce a subtree of T v rooted at v. Notice that this subtree depends only on T v and P is, but is independent of other similar downtrees T v (where the father of v lies in P is ), no matter whether v has the same father as v or not. Indeed, the fact that a certain unit h belongs to R is influenced only by the nodes along the path from h to s and by the descendants of h in T v. Therefore, we can restrict our attention to a single such downtree T v. 9

10 i P is f v R s T v Figure 2: The white vertices are assigned to center s, while the vertices in grey are assigned to some center different from s. Finding the above set R efficiently, we would be in position to compute the value z is (and hence z i ) using the dynamic programming recursion. One should notice that finding R is itself a problem of type MCLP, where T is replaced by the partial downtree T fv and f becomes a center with service costs c hf = c hs for all the units h of T fv. In order to find R, consider the subtree induced by all the units of T v with root v and denote it by U v. Associate with each node h of U v an upper weight u h = c hs, (6) a lower weight and a weight l h = z h z m (7) m Succ(h) w h = u h l h. (8) Remark. In view of the above formulas (6), (7), (8), the weight w h can be rewritten as w h = c hs (z h z m ). (9) m Succ(h) The above expression has an interesting economic interpretation: at node h two options are possible: (i) h is served by s, or (ii) h is served by some leaf of the downtree T h. Then the weight w h is actually the marginal cost of option (i) 10

11 w.r.t. option (ii). Lemma 2 For each node h of U v, one has z h = k Desc(h) l k (10) Proof. By induction on the depth of h. Ifh is a leaf of U v, then Desc(h) ={h}, Succ(h) = and both (7) and (8) amount to l h = z h. Assume that (8) holds for each node of depth d 1, and let h have depth d. One has from (7) z h = l h + z m, and from the inductive hypothesis, z h = l h + m Succ(h) m Succ(h) k Desc(m) Theorem 2 Let i be any node of T, s aleafoft i and P is the directed path from i to s in T.Letv be a unit outside P is whose father f belongs to P is.finding the set S of those units of T v that are served by s in some cheapest partition of Π is is reducible to the minimum weight closure problem in the rooted tree U v with node weights w h. Proof. First of all, notice that a subset of nodes of a tree rooted at v is a closure if and only if it is either empty or it induces a subtree with root v. Let π be a cheapest partition in Π is, and let R be the set of units of T v that are served by s in π. Let R be the cocycle of R in U v. Since R is either empty or it induces a subtree of T v with the same root v, R is a closure of U v. Furthermore, the set R must be chosen so as to minimize the overall contribution of T v to the service cost of π. Such contribution, in view of the decomposition followed in the algorithm, is equal to γ(r) = c ps + p R = u h + h R = u h + h R = w h + h R (p,q) R z q (p,q) R k Desc(q) l k k V (U v)\r k V (U v) l k. l k. l k by (10) since R is a closure in U v Conversely, if R is a closure, then the above identities hold in reverse order. Therefore, γ(r) and the weight of R differ by a constant, and the thesis follows. 11

12 3.1 Complexity analysis For each unit i and for each center s in T i, one has to compute z is. Given the path P is from i to s, for each edge uv such that u is in P is and v is a child of u not lying in P is, we need to solve a minimum weight closure problem on the downtree T v. Each of these closure problems can be solved in time linear in the number of vertices of the downtree by an algorithm given in [6]. Moreover, having already computed by the recursion the values z m for m Succ(h), finding the weights w h for each h requires O( Succ(h) ). Thus, in the dynamic programming procedure, computing each value z is requires O(n) time. The resulting overall time complexity is O(n 2 p). The above algorithm gives better complexity bounds on some particular important classes of trees. The reader may easily check that for spiders (trees with at most one node of degree larger than two; such node is called the body of the spider) the implementation that considers the allocation of the body of the spider to the different centers, rather than considering all the possible unitcenter pairs, results in an algorithm with complexity O(np). It is also easy to verify that on paths just by traversing twice the units we get a linear time algorithm. (Notice that the naïve application of the general algorithm to the case of spiders will result in O(n 2 p) and on paths in O(n 2 )). 4 Further Complexity Results The aim of the present section is to give more insights on the hardness of MCLP on a general graph G =(V,E). Any instance of MCLP takes the form (G, S, c). In [2] it has already been shown that bounding S does not lead to easier solvable instances (clearly, if S = 1 the problem is trivial). Unfortunately, as shown below by Theorem 3.(a), enlarging the class of input graphs leading to polynomial time solvable classes of MCLP, looks hopeless, even if strong conditions are imposed on c. Actually, in view of Theorem 3.(b), the main source of difficulty in solving MCLP lies in the costs structure: requiring c to be metric makes the problem easy to solve essentially through a min cost bipartite assignment algorithm. So both MCLP on trees and MCLP with metric costs barely lie within the boundary, so as to speak, separating easy instances from hard ones. This is confirmed by 3.(c) where, even when G is a tree and c is metric, requiring some further conditions makes the problem NP-complete. In order to proceed with the section we need some definitions. Let w : E Z + be a weighting of the edges of a graph G and, for u, v V denote by d w (u, v) the length of a shortest uv-path with respect to w and by d(u, v) the geometric distance between u and v (the minimum number of edges of an uv-path). Given the service cost function c we say that it is monotone, if d(u, s) d(v, s) c us c vs. The service cost function is said to be metric, ifc is proportional to d w for some w. Functions b 1,b 2 : S Z, with b 1 b 2 are also given. They are regarded as capacity functions. A capacitated legal partition 12

13 (with respect to b 1 and b 2 ) is a legal partition π = {C 1...,C p } such that b 1 (t) c vt b 2 (t), where t is the center in C t. v C t The following theorem collects the above mentioned results on the complexity of the problem. Theorem 3 Let G be a connected graph, S asetofp centers and c acost function. Then, (a) Problem MCLP is NP-complete even if c is monotone and the input graph is bipartite. (b) Problem MCLP can be solved in strongly polynomial time if the input graph is arbitrary and c is metric (compare with our main result for trees). (c) It is NP-complete to decide if a spider (hence a tree) whose legs have at most two vertices admits a feasible capacitated partition. Therefore, the capacitated version of MCLP is NP-hard even for trees and even for metric assignment functions. Proof. (a). Reduction from SAT. Let C 1...,C m be m clauses on the set of variables {u 1,...,u n }. Construct a bipartite graph as follows. For each clause C i, i =1,...,m there is a node v i. For each variable u j, j =1,...,n there is anodez j. There is an edge joining v i to z j if and only if clause C i contains variable u j. (The graph built so far is just the bipartite graph representing clause-variable incidence). For each node z j take two more vertices s j and t j and connect them to z j ; s j represents literal u j while t j represents literal u j. The resulting graph is bipartite with shores {v 1,...,v m } {s 1,t 1 }... {s n,t n } and {z 1,...,z m }. Let S = {s 1,t 1 }... {s n,t n } and define the assignment cost as follows: - if variable u j occurs in clause C i as u j set c vis j =0; - if variable u j occurs in clause C i as u j set c vit j =0; - set c vis j = c vit j =0,forj =1,...,n; - set the assignment costs equal to 1 otherwise. The function c is monotone. Moreover, there is a legal partition of cost zero if and only if the formula is satisfiable. (b). The problem reduces to a min-cost assignment problem on a complete bipartite graph with shores V S and S. (Recall that in a bipartite graph with shores A and B an assignment of A into B is a set of edges having degree one on A). For v V \ S and s S the edge vs carries a weight equal to c vs. Clearly each legal partition defines a feasible assignment. On the other hand, a minimum cost assignment defines a legal partition with the same cost. To 13

14 see this consider any optimal assignment and observe that if v is assigned to s and u lies on the shortest vs-path then also u is assigned to s. Indeed, if u is assigned to s we must have, by optimality, c us c us. Strict inequality cannot hold because otherwise c vs <c vs would hold as well, contradicting the optimality of the assignment. So c us = c us must apply and we can assign u to s affecting neither feasibility nor optimality. In particular if C s is the set of vertices assigned to s then the subgraph induced by C s {s} is connected and the proof follows. (c). Reduction from SUBSET SUM [3]. Let a 1...a p be an instance of SUBSET SUM. Let M = p i=1 a i.letg be a star with p+1 leaves v 0,v 1,...,v p and let q denote the unique non-leaf node in G. Set S = {v 0,v 1...,v p } and define b 1,b 2 : S Z as follows: b 1 (v 0 ) = b 2 (v 0 ) = M/2 andb 1 (v i ) = 0, b 2 (v i )=+1,fori =1,...,p. Insert a new vertex u i on each edge qv i, i =1...p. Define edge weights as follows: edges v 0 q and u i v i, i =1...p, have weight zero; edges qu i, i =1...p have weight a i. Denote by w this weight function and let c vt = d w (v, t) the length of a shortest path between v and t, v S, t S. Then every feasible capacitated legal partition defines a partition of {1,...,p} into sets A and B such that i A a i = i B a i and conversely. References [1] B. Bozkaya, E. Erkut, G. Laporte. A tabu search heuristic and adaptive memory procedure for political districting, European Journal of Operational Research 144: 12-26, [2] R. Cordone (2001). A Short Note on Graph Tree Partition Problems with Assignment or Communication Objective Functions, Internal Report DEI 2001, 7, Politecnico di Milano. [3] M. R. Garey, D. S. Johnson (1999). Computers and Intractability, W. H. Freeman and Company, New York. [4] R. S. Garfinkel, G. L. Nemhauser. Optimal Political Districting by Implicit Enumeration Techniques, Management Science, vol.16: , [5] P. Grilli di Cortona, C. Manzi, A. Pennisi, F. Ricca, B. Simeone (1999). Evaluation and Optimization of Electoral Systems, SIAM Monographs on Discrete Mathematics and Applications, SIAM, Society for Industrial and Aplied Mathematics, Philadelphia. [6] P.L. Hammer, B. Simeone. Order relations of variables in 0-1 programming, in: S. Martello, G. Laporte, M. Minoux, C.C. Ribeiro (eds.) Surveys in Combinatorial Optimization, Annals of Discrete Mathematics 31: , [7] S.W. Hess, J.B. Weaver, J.N. Siegfeldt, J.N. Whelan, P.A. Zhitlau. Nonpartisan political districting by computer, Operations Research 13: ,

15 [8] O. Kariv and S.L. Hakimi. An algorithmic approach to network location problems I: The p-centers. SIAM Journal of Applied Mathematics, 37: , [9] O. Kariv and S.L. Hakimi. An algorithmic approach to network location problems II: The p-medians. SIAM Journal of Applied Mathematics, 37: ,

On improving matchings in trees, via bounded-length augmentations 1

On improving matchings in trees, via bounded-length augmentations 1 On improving matchings in trees, via bounded-length augmentations 1 Julien Bensmail a, Valentin Garnero a, Nicolas Nisse a a Université Côte d Azur, CNRS, Inria, I3S, France Abstract Due to a classical

More information

K-center Hardness and Max-Coverage (Greedy)

K-center Hardness and Max-Coverage (Greedy) IOE 691: Approximation Algorithms Date: 01/11/2017 Lecture Notes: -center Hardness and Max-Coverage (Greedy) Instructor: Viswanath Nagarajan Scribe: Sentao Miao 1 Overview In this lecture, we will talk

More information

The minimum G c cut problem

The minimum G c cut problem The minimum G c cut problem Abstract In this paper we define and study the G c -cut problem. Given a complete undirected graph G = (V ; E) with V = n, edge weighted by w(v i, v j ) 0 and an undirected

More information

An Algebraic View of the Relation between Largest Common Subtrees and Smallest Common Supertrees

An Algebraic View of the Relation between Largest Common Subtrees and Smallest Common Supertrees An Algebraic View of the Relation between Largest Common Subtrees and Smallest Common Supertrees Francesc Rosselló 1, Gabriel Valiente 2 1 Department of Mathematics and Computer Science, Research Institute

More information

More on NP and Reductions

More on NP and Reductions Indian Institute of Information Technology Design and Manufacturing, Kancheepuram Chennai 600 127, India An Autonomous Institute under MHRD, Govt of India http://www.iiitdm.ac.in COM 501 Advanced Data

More information

arxiv: v1 [math.co] 5 May 2016

arxiv: v1 [math.co] 5 May 2016 Uniform hypergraphs and dominating sets of graphs arxiv:60.078v [math.co] May 06 Jaume Martí-Farré Mercè Mora José Luis Ruiz Departament de Matemàtiques Universitat Politècnica de Catalunya Spain {jaume.marti,merce.mora,jose.luis.ruiz}@upc.edu

More information

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees Yoshimi Egawa Department of Mathematical Information Science, Tokyo University of

More information

DEGREE SEQUENCES OF INFINITE GRAPHS

DEGREE SEQUENCES OF INFINITE GRAPHS DEGREE SEQUENCES OF INFINITE GRAPHS ANDREAS BLASS AND FRANK HARARY ABSTRACT The degree sequences of finite graphs, finite connected graphs, finite trees and finite forests have all been characterized.

More information

The Maximum Flow Problem with Disjunctive Constraints

The Maximum Flow Problem with Disjunctive Constraints The Maximum Flow Problem with Disjunctive Constraints Ulrich Pferschy Joachim Schauer Abstract We study the maximum flow problem subject to binary disjunctive constraints in a directed graph: A negative

More information

The Multiple Traveling Salesman Problem with Time Windows: Bounds for the Minimum Number of Vehicles

The Multiple Traveling Salesman Problem with Time Windows: Bounds for the Minimum Number of Vehicles The Multiple Traveling Salesman Problem with Time Windows: Bounds for the Minimum Number of Vehicles Snežana Mitrović-Minić Ramesh Krishnamurti School of Computing Science, Simon Fraser University, Burnaby,

More information

Paths and cycles in extended and decomposable digraphs

Paths and cycles in extended and decomposable digraphs Paths and cycles in extended and decomposable digraphs Jørgen Bang-Jensen Gregory Gutin Department of Mathematics and Computer Science Odense University, Denmark Abstract We consider digraphs called extended

More information

Cographs; chordal graphs and tree decompositions

Cographs; chordal graphs and tree decompositions Cographs; chordal graphs and tree decompositions Zdeněk Dvořák September 14, 2015 Let us now proceed with some more interesting graph classes closed on induced subgraphs. 1 Cographs The class of cographs

More information

Strongly chordal and chordal bipartite graphs are sandwich monotone

Strongly chordal and chordal bipartite graphs are sandwich monotone Strongly chordal and chordal bipartite graphs are sandwich monotone Pinar Heggernes Federico Mancini Charis Papadopoulos R. Sritharan Abstract A graph class is sandwich monotone if, for every pair of its

More information

On shredders and vertex connectivity augmentation

On shredders and vertex connectivity augmentation On shredders and vertex connectivity augmentation Gilad Liberman The Open University of Israel giladliberman@gmail.com Zeev Nutov The Open University of Israel nutov@openu.ac.il Abstract We consider the

More information

Partial cubes: structures, characterizations, and constructions

Partial cubes: structures, characterizations, and constructions Partial cubes: structures, characterizations, and constructions Sergei Ovchinnikov San Francisco State University, Mathematics Department, 1600 Holloway Ave., San Francisco, CA 94132 Abstract Partial cubes

More information

The Complexity of Maximum. Matroid-Greedoid Intersection and. Weighted Greedoid Maximization

The Complexity of Maximum. Matroid-Greedoid Intersection and. Weighted Greedoid Maximization Department of Computer Science Series of Publications C Report C-2004-2 The Complexity of Maximum Matroid-Greedoid Intersection and Weighted Greedoid Maximization Taneli Mielikäinen Esko Ukkonen University

More information

Preliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)}

Preliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)} Preliminaries Graphs G = (V, E), V : set of vertices E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) 1 2 3 5 4 V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)} 1 Directed Graph (Digraph)

More information

Out-colourings of Digraphs

Out-colourings of Digraphs Out-colourings of Digraphs N. Alon J. Bang-Jensen S. Bessy July 13, 2017 Abstract We study vertex colourings of digraphs so that no out-neighbourhood is monochromatic and call such a colouring an out-colouring.

More information

Totally unimodular matrices. Introduction to integer programming III: Network Flow, Interval Scheduling, and Vehicle Routing Problems

Totally unimodular matrices. Introduction to integer programming III: Network Flow, Interval Scheduling, and Vehicle Routing Problems Totally unimodular matrices Introduction to integer programming III: Network Flow, Interval Scheduling, and Vehicle Routing Problems Martin Branda Charles University in Prague Faculty of Mathematics and

More information

On the Complexity of Mapping Pipelined Filtering Services on Heterogeneous Platforms

On the Complexity of Mapping Pipelined Filtering Services on Heterogeneous Platforms On the Complexity of Mapping Pipelined Filtering Services on Heterogeneous Platforms Anne Benoit, Fanny Dufossé and Yves Robert LIP, École Normale Supérieure de Lyon, France {Anne.Benoit Fanny.Dufosse

More information

Introduction to integer programming III:

Introduction to integer programming III: Introduction to integer programming III: Network Flow, Interval Scheduling, and Vehicle Routing Problems Martin Branda Charles University in Prague Faculty of Mathematics and Physics Department of Probability

More information

ON COST MATRICES WITH TWO AND THREE DISTINCT VALUES OF HAMILTONIAN PATHS AND CYCLES

ON COST MATRICES WITH TWO AND THREE DISTINCT VALUES OF HAMILTONIAN PATHS AND CYCLES ON COST MATRICES WITH TWO AND THREE DISTINCT VALUES OF HAMILTONIAN PATHS AND CYCLES SANTOSH N. KABADI AND ABRAHAM P. PUNNEN Abstract. Polynomially testable characterization of cost matrices associated

More information

APPROXIMATION ALGORITHMS RESOLUTION OF SELECTED PROBLEMS 1

APPROXIMATION ALGORITHMS RESOLUTION OF SELECTED PROBLEMS 1 UNIVERSIDAD DE LA REPUBLICA ORIENTAL DEL URUGUAY IMERL, FACULTAD DE INGENIERIA LABORATORIO DE PROBABILIDAD Y ESTADISTICA APPROXIMATION ALGORITHMS RESOLUTION OF SELECTED PROBLEMS 1 STUDENT: PABLO ROMERO

More information

Contents. Typical techniques. Proving hardness. Constructing efficient algorithms

Contents. Typical techniques. Proving hardness. Constructing efficient algorithms Contents Typical techniques Proving hardness Constructing efficient algorithms Generating Maximal Independent Sets Consider the generation of all maximal sets of an independence system. Generating Maximal

More information

The Lefthanded Local Lemma characterizes chordal dependency graphs

The Lefthanded Local Lemma characterizes chordal dependency graphs The Lefthanded Local Lemma characterizes chordal dependency graphs Wesley Pegden March 30, 2012 Abstract Shearer gave a general theorem characterizing the family L of dependency graphs labeled with probabilities

More information

Perfect matchings in highly cyclically connected regular graphs

Perfect matchings in highly cyclically connected regular graphs Perfect matchings in highly cyclically connected regular graphs arxiv:1709.08891v1 [math.co] 6 Sep 017 Robert Lukot ka Comenius University, Bratislava lukotka@dcs.fmph.uniba.sk Edita Rollová University

More information

A Cubic-Vertex Kernel for Flip Consensus Tree

A Cubic-Vertex Kernel for Flip Consensus Tree To appear in Algorithmica A Cubic-Vertex Kernel for Flip Consensus Tree Christian Komusiewicz Johannes Uhlmann Received: date / Accepted: date Abstract Given a bipartite graph G = (V c, V t, E) and a nonnegative

More information

Approximating the minimum quadratic assignment problems

Approximating the minimum quadratic assignment problems Approximating the minimum quadratic assignment problems Refael Hassin Asaf Levin Maxim Sviridenko Abstract We consider the well-known minimum quadratic assignment problem. In this problem we are given

More information

Tree Decomposition of Graphs

Tree Decomposition of Graphs Tree Decomposition of Graphs Raphael Yuster Department of Mathematics University of Haifa-ORANIM Tivon 36006, Israel. e-mail: raphy@math.tau.ac.il Abstract Let H be a tree on h 2 vertices. It is shown

More information

2 GRAPH AND NETWORK OPTIMIZATION. E. Amaldi Introduction to Operations Research Politecnico Milano 1

2 GRAPH AND NETWORK OPTIMIZATION. E. Amaldi Introduction to Operations Research Politecnico Milano 1 2 GRAPH AND NETWORK OPTIMIZATION E. Amaldi Introduction to Operations Research Politecnico Milano 1 A variety of decision-making problems can be formulated in terms of graphs and networks Examples: - transportation

More information

arxiv: v1 [cs.ds] 2 Oct 2018

arxiv: v1 [cs.ds] 2 Oct 2018 Contracting to a Longest Path in H-Free Graphs Walter Kern 1 and Daniël Paulusma 2 1 Department of Applied Mathematics, University of Twente, The Netherlands w.kern@twente.nl 2 Department of Computer Science,

More information

EXACT DOUBLE DOMINATION IN GRAPHS

EXACT DOUBLE DOMINATION IN GRAPHS Discussiones Mathematicae Graph Theory 25 (2005 ) 291 302 EXACT DOUBLE DOMINATION IN GRAPHS Mustapha Chellali Department of Mathematics, University of Blida B.P. 270, Blida, Algeria e-mail: mchellali@hotmail.com

More information

Graph coloring, perfect graphs

Graph coloring, perfect graphs Lecture 5 (05.04.2013) Graph coloring, perfect graphs Scribe: Tomasz Kociumaka Lecturer: Marcin Pilipczuk 1 Introduction to graph coloring Definition 1. Let G be a simple undirected graph and k a positive

More information

Tree-width and planar minors

Tree-width and planar minors Tree-width and planar minors Alexander Leaf and Paul Seymour 1 Princeton University, Princeton, NJ 08544 May 22, 2012; revised March 18, 2014 1 Supported by ONR grant N00014-10-1-0680 and NSF grant DMS-0901075.

More information

Binary Decision Diagrams

Binary Decision Diagrams Binary Decision Diagrams Binary Decision Diagrams (BDDs) are a class of graphs that can be used as data structure for compactly representing boolean functions. BDDs were introduced by R. Bryant in 1986.

More information

NP-completeness. Chapter 34. Sergey Bereg

NP-completeness. Chapter 34. Sergey Bereg NP-completeness Chapter 34 Sergey Bereg Oct 2017 Examples Some problems admit polynomial time algorithms, i.e. O(n k ) running time where n is the input size. We will study a class of NP-complete problems

More information

Approximation complexity of min-max (regret) versions of shortest path, spanning tree, and knapsack

Approximation complexity of min-max (regret) versions of shortest path, spanning tree, and knapsack Approximation complexity of min-max (regret) versions of shortest path, spanning tree, and knapsack Hassene Aissi, Cristina Bazgan, and Daniel Vanderpooten LAMSADE, Université Paris-Dauphine, France {aissi,bazgan,vdp}@lamsade.dauphine.fr

More information

The cocycle lattice of binary matroids

The cocycle lattice of binary matroids Published in: Europ. J. Comb. 14 (1993), 241 250. The cocycle lattice of binary matroids László Lovász Eötvös University, Budapest, Hungary, H-1088 Princeton University, Princeton, NJ 08544 Ákos Seress*

More information

ARTICLE IN PRESS Discrete Applied Mathematics ( )

ARTICLE IN PRESS Discrete Applied Mathematics ( ) Discrete Applied Mathematics ( ) Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Extensive facility location problems on networks with

More information

2 Notation and Preliminaries

2 Notation and Preliminaries On Asymmetric TSP: Transformation to Symmetric TSP and Performance Bound Ratnesh Kumar Haomin Li epartment of Electrical Engineering University of Kentucky Lexington, KY 40506-0046 Abstract We show that

More information

Binary Decision Diagrams. Graphs. Boolean Functions

Binary Decision Diagrams. Graphs. Boolean Functions Binary Decision Diagrams Graphs Binary Decision Diagrams (BDDs) are a class of graphs that can be used as data structure for compactly representing boolean functions. BDDs were introduced by R. Bryant

More information

The Strong Largeur d Arborescence

The Strong Largeur d Arborescence The Strong Largeur d Arborescence Rik Steenkamp (5887321) November 12, 2013 Master Thesis Supervisor: prof.dr. Monique Laurent Local Supervisor: prof.dr. Alexander Schrijver KdV Institute for Mathematics

More information

Andrea Scozzari Università Niccolò Cusano Telematica, Roma

Andrea Scozzari Università Niccolò Cusano Telematica, Roma Andrea Scozzari Università Niccolò Cusano Telematica, Roma Joint research with: J. Puerto Universidad de Sevilla F. Ricca Sapienza, Università di Roma The Exploratory Workshop on Locational Analysis: Trends

More information

The NP-Hardness of the Connected p-median Problem on Bipartite Graphs and Split Graphs

The NP-Hardness of the Connected p-median Problem on Bipartite Graphs and Split Graphs Chiang Mai J. Sci. 2013; 40(1) 8 3 Chiang Mai J. Sci. 2013; 40(1) : 83-88 http://it.science.cmu.ac.th/ejournal/ Contributed Paper The NP-Hardness of the Connected p-median Problem on Bipartite Graphs and

More information

Dynamic Programming on Trees. Example: Independent Set on T = (V, E) rooted at r V.

Dynamic Programming on Trees. Example: Independent Set on T = (V, E) rooted at r V. Dynamic Programming on Trees Example: Independent Set on T = (V, E) rooted at r V. For v V let T v denote the subtree rooted at v. Let f + (v) be the size of a maximum independent set for T v that contains

More information

8. INTRACTABILITY I. Lecture slides by Kevin Wayne Copyright 2005 Pearson-Addison Wesley. Last updated on 2/6/18 2:16 AM

8. INTRACTABILITY I. Lecture slides by Kevin Wayne Copyright 2005 Pearson-Addison Wesley. Last updated on 2/6/18 2:16 AM 8. INTRACTABILITY I poly-time reductions packing and covering problems constraint satisfaction problems sequencing problems partitioning problems graph coloring numerical problems Lecture slides by Kevin

More information

arxiv: v1 [cs.ds] 20 Nov 2016

arxiv: v1 [cs.ds] 20 Nov 2016 Algorithmic and Hardness Results for the Hub Labeling Problem Haris Angelidakis 1, Yury Makarychev 1 and Vsevolod Oparin 2 1 Toyota Technological Institute at Chicago 2 Saint Petersburg Academic University

More information

The Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth

The Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth The Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth Gregory Gutin, Mark Jones, and Magnus Wahlström Royal Holloway, University of London Egham, Surrey TW20 0EX, UK Abstract In the

More information

Dominator Colorings and Safe Clique Partitions

Dominator Colorings and Safe Clique Partitions Dominator Colorings and Safe Clique Partitions Ralucca Gera, Craig Rasmussen Naval Postgraduate School Monterey, CA 994, USA {rgera,ras}@npsedu and Steve Horton United States Military Academy West Point,

More information

Approximation Algorithms for Re-optimization

Approximation Algorithms for Re-optimization Approximation Algorithms for Re-optimization DRAFT PLEASE DO NOT CITE Dean Alderucci Table of Contents 1.Introduction... 2 2.Overview of the Current State of Re-Optimization Research... 3 2.1.General Results

More information

Differential approximation results for the Steiner tree problem

Differential approximation results for the Steiner tree problem Differential approximation results for the Steiner tree problem Marc Demange, Jérôme Monnot, Vangelis Paschos To cite this version: Marc Demange, Jérôme Monnot, Vangelis Paschos. Differential approximation

More information

Generalized Pigeonhole Properties of Graphs and Oriented Graphs

Generalized Pigeonhole Properties of Graphs and Oriented Graphs Europ. J. Combinatorics (2002) 23, 257 274 doi:10.1006/eujc.2002.0574 Available online at http://www.idealibrary.com on Generalized Pigeonhole Properties of Graphs and Oriented Graphs ANTHONY BONATO, PETER

More information

ACO Comprehensive Exam October 18 and 19, Analysis of Algorithms

ACO Comprehensive Exam October 18 and 19, Analysis of Algorithms Consider the following two graph problems: 1. Analysis of Algorithms Graph coloring: Given a graph G = (V,E) and an integer c 0, a c-coloring is a function f : V {1,,...,c} such that f(u) f(v) for all

More information

Minmax Tree Cover in the Euclidean Space

Minmax Tree Cover in the Euclidean Space Minmax Tree Cover in the Euclidean Space Seigo Karakawa, Ehab Morsy, Hiroshi Nagamochi Department of Applied Mathematics and Physics Graduate School of Informatics Kyoto University Yoshida Honmachi, Sakyo,

More information

Induced Subgraph Isomorphism on proper interval and bipartite permutation graphs

Induced Subgraph Isomorphism on proper interval and bipartite permutation graphs Induced Subgraph Isomorphism on proper interval and bipartite permutation graphs Pinar Heggernes Pim van t Hof Daniel Meister Yngve Villanger Abstract Given two graphs G and H as input, the Induced Subgraph

More information

Reverse mathematics of some topics from algorithmic graph theory

Reverse mathematics of some topics from algorithmic graph theory F U N D A M E N T A MATHEMATICAE 157 (1998) Reverse mathematics of some topics from algorithmic graph theory by Peter G. C l o t e (Chestnut Hill, Mass.) and Jeffry L. H i r s t (Boone, N.C.) Abstract.

More information

Packing and decomposition of graphs with trees

Packing and decomposition of graphs with trees Packing and decomposition of graphs with trees Raphael Yuster Department of Mathematics University of Haifa-ORANIM Tivon 36006, Israel. e-mail: raphy@math.tau.ac.il Abstract Let H be a tree on h 2 vertices.

More information

2-bondage in graphs. Marcin Krzywkowski*

2-bondage in graphs. Marcin Krzywkowski* International Journal of Computer Mathematics Vol. 00, No. 00, January 2012, 1 8 2-bondage in graphs Marcin Krzywkowski* e-mail: marcin.krzywkowski@gmail.com Department of Algorithms and System Modelling

More information

On the number of cycles in a graph with restricted cycle lengths

On the number of cycles in a graph with restricted cycle lengths On the number of cycles in a graph with restricted cycle lengths Dániel Gerbner, Balázs Keszegh, Cory Palmer, Balázs Patkós arxiv:1610.03476v1 [math.co] 11 Oct 2016 October 12, 2016 Abstract Let L be a

More information

Probe interval graphs and probe unit interval graphs on superclasses of cographs

Probe interval graphs and probe unit interval graphs on superclasses of cographs Author manuscript, published in "" Discrete Mathematics and Theoretical Computer Science DMTCS vol. 15:2, 2013, 177 194 Probe interval graphs and probe unit interval graphs on superclasses of cographs

More information

A Min-Max Theorem for k-submodular Functions and Extreme Points of the Associated Polyhedra. Satoru FUJISHIGE and Shin-ichi TANIGAWA.

A Min-Max Theorem for k-submodular Functions and Extreme Points of the Associated Polyhedra. Satoru FUJISHIGE and Shin-ichi TANIGAWA. RIMS-1787 A Min-Max Theorem for k-submodular Functions and Extreme Points of the Associated Polyhedra By Satoru FUJISHIGE and Shin-ichi TANIGAWA September 2013 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES

More information

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)

More information

On Graph Contractions and Induced Minors

On Graph Contractions and Induced Minors On Graph Contractions and Induced Minors Pim van t Hof, 1, Marcin Kamiński 2, Daniël Paulusma 1,, Stefan Szeider, 3, and Dimitrios M. Thilikos 4, 1 School of Engineering and Computing Sciences, Durham

More information

4. How to prove a problem is NPC

4. How to prove a problem is NPC The reducibility relation T is transitive, i.e, A T B and B T C imply A T C Therefore, to prove that a problem A is NPC: (1) show that A NP (2) choose some known NPC problem B define a polynomial transformation

More information

Dominating Set Counting in Graph Classes

Dominating Set Counting in Graph Classes Dominating Set Counting in Graph Classes Shuji Kijima 1, Yoshio Okamoto 2, and Takeaki Uno 3 1 Graduate School of Information Science and Electrical Engineering, Kyushu University, Japan kijima@inf.kyushu-u.ac.jp

More information

Math 5707: Graph Theory, Spring 2017 Midterm 3

Math 5707: Graph Theory, Spring 2017 Midterm 3 University of Minnesota Math 5707: Graph Theory, Spring 2017 Midterm 3 Nicholas Rancourt (edited by Darij Grinberg) December 25, 2017 1 Exercise 1 1.1 Problem Let G be a connected multigraph. Let x, y,

More information

Copyright 2013 Springer Science+Business Media New York

Copyright 2013 Springer Science+Business Media New York Meeks, K., and Scott, A. (2014) Spanning trees and the complexity of floodfilling games. Theory of Computing Systems, 54 (4). pp. 731-753. ISSN 1432-4350 Copyright 2013 Springer Science+Business Media

More information

Speeding up the Dreyfus-Wagner Algorithm for minimum Steiner trees

Speeding up the Dreyfus-Wagner Algorithm for minimum Steiner trees Speeding up the Dreyfus-Wagner Algorithm for minimum Steiner trees Bernhard Fuchs Center for Applied Computer Science Cologne (ZAIK) University of Cologne, Weyertal 80, 50931 Köln, Germany Walter Kern

More information

Geometric Steiner Trees

Geometric Steiner Trees Geometric Steiner Trees From the book: Optimal Interconnection Trees in the Plane By Marcus Brazil and Martin Zachariasen Part 3: Computational Complexity and the Steiner Tree Problem Marcus Brazil 2015

More information

UNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS

UNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS UNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS MARIA CHUDNOVSKY, RINGI KIM, SANG-IL OUM, AND PAUL SEYMOUR Abstract. An n-vertex graph is prime if it has no homogeneous set, that

More information

CSCE 750 Final Exam Answer Key Wednesday December 7, 2005

CSCE 750 Final Exam Answer Key Wednesday December 7, 2005 CSCE 750 Final Exam Answer Key Wednesday December 7, 2005 Do all problems. Put your answers on blank paper or in a test booklet. There are 00 points total in the exam. You have 80 minutes. Please note

More information

Packing Arborescences

Packing Arborescences Egerváry Research Group on Combinatorial Optimization Technical reports TR-2009-04. Published by the Egerváry Research Group, Pázmány P. sétány 1/C, H1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.

More information

ON THE CORE OF A GRAPHf

ON THE CORE OF A GRAPHf ON THE CORE OF A GRAPHf By FRANK HARARY and MICHAEL D. PLUMMER [Received 8 October 1965] 1. Introduction Let G be a graph. A set of points M is said to cover all the lines of G if every line of G has at

More information

NP-COMPLETE PROBLEMS. 1. Characterizing NP. Proof

NP-COMPLETE PROBLEMS. 1. Characterizing NP. Proof T-79.5103 / Autumn 2006 NP-complete problems 1 NP-COMPLETE PROBLEMS Characterizing NP Variants of satisfiability Graph-theoretic problems Coloring problems Sets and numbers Pseudopolynomial algorithms

More information

Some Complexity Problems on Single Input Double Output Controllers

Some Complexity Problems on Single Input Double Output Controllers Some Complexity Problems on Single Input Double Output Controllers K. M. Hangos 1 Zs. Tuza 1,2, A. Yeo 3 1 Computer and Automation Institute, Hungarian Academy of Sciences, H-1111 Budapest, Kende u. 13

More information

On Dominator Colorings in Graphs

On Dominator Colorings in Graphs On Dominator Colorings in Graphs Ralucca Michelle Gera Department of Applied Mathematics Naval Postgraduate School Monterey, CA 994, USA ABSTRACT Given a graph G, the dominator coloring problem seeks a

More information

On a Cardinality-Constrained Transportation Problem With Market Choice

On a Cardinality-Constrained Transportation Problem With Market Choice On a Cardinality-Constrained Transportation Problem With Market Choice Pelin Damcı-Kurt Santanu S. Dey Simge Küçükyavuz Abstract It is well-known that the intersection of the matching polytope with a cardinality

More information

On the hardness of losing width

On the hardness of losing width On the hardness of losing width Marek Cygan 1, Daniel Lokshtanov 2, Marcin Pilipczuk 1, Micha l Pilipczuk 1, and Saket Saurabh 3 1 Institute of Informatics, University of Warsaw, Poland {cygan@,malcin@,mp248287@students}mimuwedupl

More information

Locating-Total Dominating Sets in Twin-Free Graphs: a Conjecture

Locating-Total Dominating Sets in Twin-Free Graphs: a Conjecture Locating-Total Dominating Sets in Twin-Free Graphs: a Conjecture Florent Foucaud Michael A. Henning Department of Pure and Applied Mathematics University of Johannesburg Auckland Park, 2006, South Africa

More information

Graph Theorizing Peg Solitaire. D. Paul Hoilman East Tennessee State University

Graph Theorizing Peg Solitaire. D. Paul Hoilman East Tennessee State University Graph Theorizing Peg Solitaire D. Paul Hoilman East Tennessee State University December 7, 00 Contents INTRODUCTION SIMPLE SOLVING CONCEPTS 5 IMPROVED SOLVING 7 4 RELATED GAMES 5 5 PROGENATION OF SOLVABLE

More information

Rao s degree sequence conjecture

Rao s degree sequence conjecture Rao s degree sequence conjecture Maria Chudnovsky 1 Columbia University, New York, NY 10027 Paul Seymour 2 Princeton University, Princeton, NJ 08544 July 31, 2009; revised December 10, 2013 1 Supported

More information

ACO Comprehensive Exam March 20 and 21, Computability, Complexity and Algorithms

ACO Comprehensive Exam March 20 and 21, Computability, Complexity and Algorithms 1. Computability, Complexity and Algorithms Part a: You are given a graph G = (V,E) with edge weights w(e) > 0 for e E. You are also given a minimum cost spanning tree (MST) T. For one particular edge

More information

Week 4. (1) 0 f ij u ij.

Week 4. (1) 0 f ij u ij. Week 4 1 Network Flow Chapter 7 of the book is about optimisation problems on networks. Section 7.1 gives a quick introduction to the definitions of graph theory. In fact I hope these are already known

More information

Optimal Fractal Coding is NP-Hard 1

Optimal Fractal Coding is NP-Hard 1 Optimal Fractal Coding is NP-Hard 1 (Extended Abstract) Matthias Ruhl, Hannes Hartenstein Institut für Informatik, Universität Freiburg Am Flughafen 17, 79110 Freiburg, Germany ruhl,hartenst@informatik.uni-freiburg.de

More information

Branchwidth of graphic matroids.

Branchwidth of graphic matroids. Branchwidth of graphic matroids. Frédéric Mazoit and Stéphan Thomassé Abstract Answering a question of Geelen, Gerards, Robertson and Whittle [2], we prove that the branchwidth of a bridgeless graph is

More information

Denotational Semantics

Denotational Semantics 5 Denotational Semantics In the operational approach, we were interested in how a program is executed. This is contrary to the denotational approach, where we are merely interested in the effect of executing

More information

GRAPHS WITH MAXIMAL INDUCED MATCHINGS OF THE SAME SIZE. 1. Introduction

GRAPHS WITH MAXIMAL INDUCED MATCHINGS OF THE SAME SIZE. 1. Introduction GRAPHS WITH MAXIMAL INDUCED MATCHINGS OF THE SAME SIZE PHILIPPE BAPTISTE, MIKHAIL Y. KOVALYOV, YURY L. ORLOVICH, FRANK WERNER, IGOR E. ZVEROVICH Abstract. A graph is well-indumatched if all its maximal

More information

CS675: Convex and Combinatorial Optimization Fall 2014 Combinatorial Problems as Linear Programs. Instructor: Shaddin Dughmi

CS675: Convex and Combinatorial Optimization Fall 2014 Combinatorial Problems as Linear Programs. Instructor: Shaddin Dughmi CS675: Convex and Combinatorial Optimization Fall 2014 Combinatorial Problems as Linear Programs Instructor: Shaddin Dughmi Outline 1 Introduction 2 Shortest Path 3 Algorithms for Single-Source Shortest

More information

Bounded Treewidth Graphs A Survey German Russian Winter School St. Petersburg, Russia

Bounded Treewidth Graphs A Survey German Russian Winter School St. Petersburg, Russia Bounded Treewidth Graphs A Survey German Russian Winter School St. Petersburg, Russia Andreas Krause krausea@cs.tum.edu Technical University of Munich February 12, 2003 This survey gives an introduction

More information

Discrete Geometry. Problem 1. Austin Mohr. April 26, 2012

Discrete Geometry. Problem 1. Austin Mohr. April 26, 2012 Discrete Geometry Austin Mohr April 26, 2012 Problem 1 Theorem 1 (Linear Programming Duality). Suppose x, y, b, c R n and A R n n, Ax b, x 0, A T y c, and y 0. If x maximizes c T x and y minimizes b T

More information

Probabilistic Proofs of Existence of Rare Events. Noga Alon

Probabilistic Proofs of Existence of Rare Events. Noga Alon Probabilistic Proofs of Existence of Rare Events Noga Alon Department of Mathematics Sackler Faculty of Exact Sciences Tel Aviv University Ramat-Aviv, Tel Aviv 69978 ISRAEL 1. The Local Lemma In a typical

More information

Counting independent sets of a fixed size in graphs with a given minimum degree

Counting independent sets of a fixed size in graphs with a given minimum degree Counting independent sets of a fixed size in graphs with a given minimum degree John Engbers David Galvin April 4, 01 Abstract Galvin showed that for all fixed δ and sufficiently large n, the n-vertex

More information

MINIMALLY NON-PFAFFIAN GRAPHS

MINIMALLY NON-PFAFFIAN GRAPHS MINIMALLY NON-PFAFFIAN GRAPHS SERGUEI NORINE AND ROBIN THOMAS Abstract. We consider the question of characterizing Pfaffian graphs. We exhibit an infinite family of non-pfaffian graphs minimal with respect

More information

CS 301: Complexity of Algorithms (Term I 2008) Alex Tiskin Harald Räcke. Hamiltonian Cycle. 8.5 Sequencing Problems. Directed Hamiltonian Cycle

CS 301: Complexity of Algorithms (Term I 2008) Alex Tiskin Harald Räcke. Hamiltonian Cycle. 8.5 Sequencing Problems. Directed Hamiltonian Cycle 8.5 Sequencing Problems Basic genres. Packing problems: SET-PACKING, INDEPENDENT SET. Covering problems: SET-COVER, VERTEX-COVER. Constraint satisfaction problems: SAT, 3-SAT. Sequencing problems: HAMILTONIAN-CYCLE,

More information

NP-Completeness. NP-Completeness 1

NP-Completeness. NP-Completeness 1 NP-Completeness Reference: Computers and Intractability: A Guide to the Theory of NP-Completeness by Garey and Johnson, W.H. Freeman and Company, 1979. NP-Completeness 1 General Problems, Input Size and

More information

A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion

A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion Eduard Eiben a, Robert Ganian a, O-joung Kwon b a Algorithms and Complexity Group, TU Wien, Vienna, Austria b Logic

More information

Search and Lookahead. Bernhard Nebel, Julien Hué, and Stefan Wölfl. June 4/6, 2012

Search and Lookahead. Bernhard Nebel, Julien Hué, and Stefan Wölfl. June 4/6, 2012 Search and Lookahead Bernhard Nebel, Julien Hué, and Stefan Wölfl Albert-Ludwigs-Universität Freiburg June 4/6, 2012 Search and Lookahead Enforcing consistency is one way of solving constraint networks:

More information

Scheduling and Optimization Course (MPRI)

Scheduling and Optimization Course (MPRI) MPRI Scheduling and optimization: lecture p. /6 Scheduling and Optimization Course (MPRI) Leo Liberti LIX, École Polytechnique, France MPRI Scheduling and optimization: lecture p. /6 Teachers Christoph

More information

Approximation Algorithms for Maximum. Coverage and Max Cut with Given Sizes of. Parts? A. A. Ageev and M. I. Sviridenko

Approximation Algorithms for Maximum. Coverage and Max Cut with Given Sizes of. Parts? A. A. Ageev and M. I. Sviridenko Approximation Algorithms for Maximum Coverage and Max Cut with Given Sizes of Parts? A. A. Ageev and M. I. Sviridenko Sobolev Institute of Mathematics pr. Koptyuga 4, 630090, Novosibirsk, Russia fageev,svirg@math.nsc.ru

More information

Fast algorithms for even/odd minimum cuts and generalizations

Fast algorithms for even/odd minimum cuts and generalizations Fast algorithms for even/odd minimum cuts and generalizations András A. Benczúr 1 and Ottilia Fülöp 2 {benczur,otti}@cs.elte.hu 1 Computer and Automation Institute, Hungarian Academy of Sciences, and Department

More information