Mixed Chinese postman problem

Last updated

The mixed Chinese postman problem (MCPP or MCP) is the search for the shortest traversal of a graph with a set of vertices V, a set of undirected edges E with positive rational weights, and a set of directed arcs A with positive rational weights that covers each edge or arc at least once at minimal cost. [1] The problem has been proven to be NP-complete by Papadimitriou. [2] The mixed Chinese postman problem often arises in arc routing problems such as snow ploughing, where some streets are too narrow to traverse in both directions while other streets are bidirectional and can be plowed in both directions. It is easy to check if a mixed graph has a postman tour of any size by verifying if the graph is strongly connected. The problem is NP hard if we restrict the postman tour to traverse each arc exactly once or if we restrict it to traverse each edge exactly once, as proved by Zaragoza Martinez. [3] [4]

Contents

Mathematical Definition

The mathematical definition is:

Input: A strongly connected, mixed graph with cost for every edge and a maximum cost .

Question: is there a (directed) tour that traverses every edge in and every arc in at least once and has cost at most ? [5]

Computational complexity

The main difficulty in solving the Mixed Chinese Postman problem lies in choosing orientations for the (undirected) edges when we are given a tight budget for our tour and can only afford to traverse each edge once. We then have to orient the edges and add some further arcs in order to obtain a directed Eulerian graph, that is, to make every vertex balanced. If there are multiple edges incident to one vertex, it is not an easy task to determine the correct orientation of each edge. [6] The mathematician Papadimitriou analyzed this problem with more restrictions; "MIXED CHINESE POSTMAN is NP-complete, even if the input graph is planar, each vertex has degree at most three, and each edge and arc has cost one." [7]

Eulerian graph

The process of checking if a mixed graph is Eulerian is important to creating an algorithm to solve the Mixed Chinese Postman problem. The degrees of a mixed graph G must be even to have an Eulerian cycle, but this is not sufficient. [8]

Approximation

The fact that the Mixed Chinese Postman is NP-hard has led to the search for polynomial time algorithms that approach the optimum solution to reasonable threshold. Frederickson developed a method with a factor of 3/2 that could be applied to planar graphs, [9] and Raghavachari and Veerasamy found a method that does not have to be planar. [10] However, polynomial time cannot find the cost of deadheading, the time it takes a snow plough to reach the streets it will plow or a street sweeper to reach the streets it will sweep. [11] [12]

Formal definition

Given a strongly connected mixed graph with a vertex set , and edge set , an arc set and a nonnegative cost for each , the MCPP consists of finding a minim-cost tour passing through each link at least once.

Given , , , denotes the set of edges with exactly one endpoint in , and . Given a vertex , (indegree) denotes the number of arcs enter , (outdegree) is the number of arcs leaving , and (degree) is the number of links incident with . [13] Note that . A mixed graph is called even if all of its vertices have even degree, it is called symmetric if for each vertex , and it is said to be balanced if, given any subset of vertices, the difference between the number of arcs directed from to , , and the number of arcs directed from to , , is no greater than the number of undirected edges joining and , .

It is a well known fact that a mixed graph is Eulerian if and only if is even and balanced. [14] Notice that if is even and symmetric, then G is also balanced (and Eulerian). Moreover, if is even, the can be solved exactly in polynomial time. [15]

Even MCPP Algorithm

  1. Given an even and strongly connected mixed graph , let be the set of arcs obtained by randomly assigning a direction to the edges in and with the same costs. Compute for each vertex i in the directed graph . A vertex with will be considered as a source (sink) with supply demand . Note that as is an even graph, all supplies and demands are even numbers (zero is considered an even number).
  2. Let be the set of arcs in the opposite direction to those in and with the costs of those corresponding edges, and let be the set of arcs parallel to at zero cost.
  3. To satisfy the demands of all the vertices, solve a minimum cost flow problem in the graph , in which each arc in has infinite capacity and each arc in has capacity 2. Let be the optimal flow.
  4. For each arc in do: If , then orient the corresponding edge in from to (the direction, from to , assigned to the associated edge in step 1 was "wrong"); if , then orient the corresponding edge in from to (in this case, the orientation in step 1 was "right"). Note the case is impossible, as all flow values through arcs in are even numbers.
  5. Augment by adding copies of each arc in . The resulting graph is even and symmetric.

Heuristic algorithms

When the mixed graph is not even and the nodes do not all have even degree, the graph can be transformed into an even graph.

Genetic algorithm

A paper published by Hua Jiang et. al laid out a genetic algorithm to solve the mixed chinese postman problem by operating on a population. The algorithm performed well compared to other approximation algorithms for the MCPP. [16]

See also

Related Research Articles

<span class="mw-page-title-main">Travelling salesman problem</span> NP-hard problem in combinatorial optimization

The travelling salesman problem, also known as the travelling salesperson problem (TSP), asks the following question: "Given a list of cities and the distances between each pair of cities, what is the shortest possible route that visits each city exactly once and returns to the origin city?" It is an NP-hard problem in combinatorial optimization, important in theoretical computer science and operations research.

<span class="mw-page-title-main">Chinese postman problem</span> Finding shortest walks through all graph edges

In graph theory, a branch of mathematics and computer science, Guan's route problem, the Chinese postman problem, postman tour or route inspection problem is to find a shortest closed path or circuit that visits every edge of an (connected) undirected graph at least once. When the graph has an Eulerian circuit, that circuit is an optimal solution. Otherwise, the optimization problem is to find the smallest number of graph edges to duplicate so that the resulting multigraph does have an Eulerian circuit. It can be solved in polynomial time, unlike the Travelling Salesman Problem which is NP-hard. It is different from the Travelling Salesman Problem in that the travelling salesman cannot repeat visited nodes.

<span class="mw-page-title-main">Hypergraph</span> Generalization of graph theory

In mathematics, a hypergraph is a generalization of a graph in which an edge can join any number of vertices. In contrast, in an ordinary graph, an edge connects exactly two vertices.

<span class="mw-page-title-main">Eulerian path</span> Trail in a graph that visits each edge once

In graph theory, an Eulerian trail is a trail in a finite graph that visits every edge exactly once. Similarly, an Eulerian circuit or Eulerian cycle is an Eulerian trail that starts and ends on the same vertex. They were first discussed by Leonhard Euler while solving the famous Seven Bridges of Königsberg problem in 1736. The problem can be stated mathematically like this:

<span class="mw-page-title-main">Maximum flow problem</span> Computational problem in graph theory

In optimization theory, maximum flow problems involve finding a feasible flow through a flow network that obtains the maximum possible flow rate.

<span class="mw-page-title-main">Graph coloring</span> Methodic assignment of colors to elements of a graph

In graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called "colors" to elements of a graph subject to certain constraints. In its simplest form, it is a way of coloring the vertices of a graph such that no two adjacent vertices are of the same color; this is called a vertex coloring. Similarly, an edge coloring assigns a color to each edge so that no two adjacent edges are of the same color, and a face coloring of a planar graph assigns a color to each face or region so that no two faces that share a boundary have the same color.

<span class="mw-page-title-main">Edge coloring</span> Problem of coloring a graphs edges such that meeting edges do not match

In graph theory, a proper edge coloring of a graph is an assignment of "colors" to the edges of the graph so that no two incident edges have the same color. For example, the figure to the right shows an edge coloring of a graph by the colors red, blue, and green. Edge colorings are one of several different types of graph coloring. The edge-coloring problem asks whether it is possible to color the edges of a given graph using at most k different colors, for a given value of k, or with the fewest possible colors. The minimum required number of colors for the edges of a given graph is called the chromatic index of the graph. For example, the edges of the graph in the illustration can be colored by three colors but cannot be colored by two colors, so the graph shown has chromatic index three.

In the mathematical theory of matroids, a graphic matroid is a matroid whose independent sets are the forests in a given finite undirected graph. The dual matroids of graphic matroids are called co-graphic matroids or bond matroids. A matroid that is both graphic and co-graphic is sometimes called a planar matroid ; these are exactly the graphic matroids formed from planar graphs.

In computer science, a topological sort or topological ordering of a directed graph is a linear ordering of its vertices such that for every directed edge (u,v) from vertex u to vertex v, u comes before v in the ordering. For instance, the vertices of the graph may represent tasks to be performed, and the edges may represent constraints that one task must be performed before another; in this application, a topological ordering is just a valid sequence for the tasks. Precisely, a topological sort is a graph traversal in which each node v is visited only after all its dependencies are visited. A topological ordering is possible if and only if the graph has no directed cycles, that is, if it is a directed acyclic graph (DAG). Any DAG has at least one topological ordering, and algorithms are known for constructing a topological ordering of any DAG in linear time. Topological sorting has many applications, especially in ranking problems such as feedback arc set. Topological sorting is possible even when the DAG has disconnected components.

<span class="mw-page-title-main">Degree (graph theory)</span> Number of edges touching a vertex in a graph

In graph theory, the degree of a vertex of a graph is the number of edges that are incident to the vertex; in a multigraph, a loop contributes 2 to a vertex's degree, for the two ends of the edge. The degree of a vertex is denoted or . The maximum degree of a graph is denoted by , and is the maximum of 's vertices' degrees. The minimum degree of a graph is denoted by , and is the minimum of 's vertices' degrees. In the multigraph shown on the right, the maximum degree is 5 and the minimum degree is 0.

<span class="mw-page-title-main">Maximal independent set</span> Independent set which is not a subset of any other independent set

In graph theory, a maximal independent set (MIS) or maximal stable set is an independent set that is not a subset of any other independent set. In other words, there is no vertex outside the independent set that may join it because it is maximal with respect to the independent set property.

<span class="mw-page-title-main">Feedback arc set</span> Edges that hit all cycles in a graph

In graph theory and graph algorithms, a feedback arc set or feedback edge set in a directed graph is a subset of the edges of the graph that contains at least one edge out of every cycle in the graph. Removing these edges from the graph breaks all of the cycles, producing an acyclic subgraph of the given graph, often called a directed acyclic graph. A feedback arc set with the fewest possible edges is a minimum feedback arc set and its removal leaves a maximum acyclic subgraph; weighted versions of these optimization problems are also used. If a feedback arc set is minimal, meaning that removing any edge from it produces a subset that is not a feedback arc set, then it has an additional property: reversing all of its edges, rather than removing them, produces a directed acyclic graph.

The Hungarian method is a combinatorial optimization algorithm that solves the assignment problem in polynomial time and which anticipated later primal–dual methods. It was developed and published in 1955 by Harold Kuhn, who gave it the name "Hungarian method" because the algorithm was largely based on the earlier works of two Hungarian mathematicians, Dénes Kőnig and Jenő Egerváry. However, in 2006 it was discovered that Carl Gustav Jacobi had solved the assignment problem in the 19th century, and the solution had been published posthumously in 1890 in Latin.

In graph theory, reachability refers to the ability to get from one vertex to another within a graph. A vertex can reach a vertex if there exists a sequence of adjacent vertices which starts with and ends with .

<span class="mw-page-title-main">Vehicle routing problem</span> Optimization problem

The vehicle routing problem (VRP) is a combinatorial optimization and integer programming problem which asks "What is the optimal set of routes for a fleet of vehicles to traverse in order to deliver to a given set of customers?" It generalises the travelling salesman problem (TSP). It first appeared in a paper by George Dantzig and John Ramser in 1959, in which the first algorithmic approach was written and was applied to petrol deliveries. Often, the context is that of delivering goods located at a central depot to customers who have placed orders for such goods. The objective of the VRP is to minimize the total route cost. In 1964, Clarke and Wright improved on Dantzig and Ramser's approach using an effective greedy algorithm called the savings algorithm.

Arc routing problems (ARP) are a category of general routing problems (GRP), which also includes node routing problems (NRP). The objective in ARPs and NRPs is to traverse the edges and nodes of a graph, respectively. The objective of arc routing problems involves minimizing the total distance and time, which often involves minimizing deadheading time, the time it takes to reach a destination. Arc routing problems can be applied to garbage collection, school bus route planning, package and newspaper delivery, deicing and snow removal with winter service vehicles that sprinkle salt on the road, mail delivery, network maintenance, street sweeping, police and security guard patrolling, and snow ploughing. Arc routings problems are NP hard, as opposed to route inspection problems that can be solved in polynomial-time.

Clustering is the problem of partitioning data points into groups based on their similarity. Correlation clustering provides a method for clustering a set of objects into the optimum number of clusters without specifying that number in advance.

In graph theory, the act of coloring generally implies the assignment of labels to vertices, edges or faces in a graph. The incidence coloring is a special graph labeling where each incidence of an edge with a vertex is assigned a color under certain constraints.

A central problem in algorithmic graph theory is the shortest path problem. One of the generalizations of the shortest path problem is known as the single-source-shortest-paths (SSSP) problem, which consists of finding the shortest paths from a source vertex to all other vertices in the graph. There are classical sequential algorithms which solve this problem, such as Dijkstra's algorithm. In this article, however, we present two parallel algorithms solving this problem.

The method of (hypergraph) containers is a powerful tool that can help characterize the typical structure and/or answer extremal questions about families of discrete objects with a prescribed set of local constraints. Such questions arise naturally in extremal graph theory, additive combinatorics, discrete geometry, coding theory, and Ramsey theory; they include some of the most classical problems in the associated fields.

References

  1. Minieka, Edward (July 1979). "The Chinese Postman Problem for Mixed Networks". Management Science. 25 (7): 643–648. doi:10.1287/mnsc.25.7.643. ISSN   0025-1909.
  2. Papadimitriou, Christos H. (July 1976). "On the complexity of edge traversing". Journal of the ACM. 23 (3): 544–554. doi: 10.1145/321958.321974 . ISSN   0004-5411. S2CID   8625996.
  3. Zaragoza Martinez, Francisco (September 2006). "Complexity of the Mixed Postman Problem with Restrictions on the Arcs". 2006 3rd International Conference on Electrical and Electronics Engineering. IEEE. pp. 1–4. doi:10.1109/iceee.2006.251877. ISBN   1-4244-0402-9.
  4. Zaragoza Martinez, Francisco (2006). "Complexity of the Mixed Postman Problem with Restrictions on the Edges". 2006 Seventh Mexican International Conference on Computer Science. IEEE. pp. 3–10. doi:10.1109/enc.2006.9. ISBN   0-7695-2666-7. S2CID   17176905.
  5. Edmonds, Jack; Johnson, Ellis L. (December 1973). "Matching, Euler tours and the Chinese postman". Mathematical Programming. 5 (1): 88–124. doi:10.1007/bf01580113. ISSN   0025-5610. S2CID   15249924.
  6. Corberán, Ángel (2015). Arc Routing: Problems, Methods, and Applications. ISBN   978-1-61197-366-2.
  7. Papadimitriou, Christos H. (July 1976). "On the complexity of edge traversing". Journal of the ACM. 23 (3): 544–554. doi: 10.1145/321958.321974 . ISSN   0004-5411. S2CID   8625996.
  8. Randolph., Ford, Lester (2016). Flows in Networks. Princeton University Press. ISBN   978-1-4008-7518-4. OCLC   954124517.{{cite book}}: CS1 maint: multiple names: authors list (link)
  9. Frederickson, Greg N. (July 1979). "Approximation Algorithms for Some Postman Problems". Journal of the ACM. 26 (3): 538–554. doi: 10.1145/322139.322150 . ISSN   0004-5411. S2CID   16149998.
  10. Raghavachari, Balaji; Veerasamy, Jeyakesavan (January 1999). "A 3/2-Approximation Algorithm for the Mixed Postman Problem". SIAM Journal on Discrete Mathematics. 12 (4): 425–433. doi:10.1137/s0895480197331454. ISSN   0895-4801.
  11. Zaragoza Martinez, Francisco (2006). "Complexity of the Mixed Postman Problem with Restrictions on the Edges". 2006 Seventh Mexican International Conference on Computer Science. IEEE. pp. 3–10. doi:10.1109/enc.2006.9. ISBN   0-7695-2666-7. S2CID   17176905.
  12. Zaragoza Martinez, Francisco (September 2006). "Complexity of the Mixed Postman Problem with Restrictions on the Arcs". 2006 3rd International Conference on Electrical and Electronics Engineering. IEEE. pp. 1–4. doi:10.1109/iceee.2006.251877. ISBN   1-4244-0402-9.
  13. Corberán, Ángel (2015). Arc Routing: Problems, Methods, and Applications. ISBN   978-1-61197-366-2.
  14. Ford, L.R. (1962). Flows in Networks. Princeton, N.J.: Princeton University Press.
  15. Edmonds, Jack; Johnson, Ellis L. (December 1973). "Matching, Euler tours and the Chinese postman". Mathematical Programming. 5 (1): 88–124. doi:10.1007/bf01580113. ISSN   0025-5610. S2CID   15249924.
  16. Jiang, Hua; Kang, Lishan; Zhang, Shuqi; Zhu, Fei (2010), Cai, Zhihua; Hu, Chengyu; Kang, Zhuo; Liu, Yong (eds.), "Genetic Algorithm for Mixed Chinese Postman Problem", Advances in Computation and Intelligence, Lecture Notes in Computer Science, vol. 6382, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 193–199, doi:10.1007/978-3-642-16493-4_20, ISBN   978-3-642-16492-7 , retrieved 2022-10-25