The Disjoint Connecting Paths problem and its capacitated generalization, called Unsplittable Flow problem, play an important role in practical applications such as communication network design and routing. These task...
详细信息
The Disjoint Connecting Paths problem and its capacitated generalization, called Unsplittable Flow problem, play an important role in practical applications such as communication network design and routing. These tasks are NP-hard in general, but various polynomial-time approximations are known. Nevertheless, the approximations tend to be either too loose (allowing large deviation from the optimum), or too complicated, often rendering them impractical in large, complex networks. Therefore, our goal is to present a solution that provides a relatively simple, efficient algorithm for the unsplittable flow problem in large directed graphs, where the task is NP-hard, and is known to remain NP-hard even to approximate up to a large factor. The efficiency of our algorithm is achieved by sacrificing a small part of the solution space. This also represents a novel paradigm for approximation. Rather than giving up the search for an exact solution, we restrict the solution space to a subset that is the most important for applications, and excludes only a small part that is marginal in some well-defined sense. Specifically, the sacrificed part only contains scenarios where some edges are very close to saturation. Since nearly saturated links are undesirable in practical applications, therefore, excluding near saturation is quite reasonable from the practical point of view. We refer the solutions that contain no nearly saturated edges as safe solutions, and call the approach safe approximation. We prove that this safe approximation can be carried out efficiently. That is, once we restrict ourselves to safe solutions, we can find the exact optimum by a randomized polynomial time algorithm.
This paper provides performance results using the SPERRY UNIVAC 1100 Series linear programming product FMPS to solve a set of 16 real-world linear programming problems. As such, this paper provides a data point for th...
详细信息
This paper provides performance results using the SPERRY UNIVAC 1100 Series linear programming product FMPS to solve a set of 16 real-world linear programming problems. As such, this paper provides a data point for the actual performance of a commercial simplex algorithm on real-world linear programming problems and shows that the simplex algorithm is a linear timealgorithm in actual performance. Correlations and performance relationships not previously available are also provided. [ABSTRACT FROM AUTHOR]
The minimum spanning tree problem is a classical and well-known combinatorial optimization problem. There exist many efficient algorithms such as the Kruskal algorithm and Prim algorithm to solve it. But in a real net...
详细信息
The minimum spanning tree problem is a classical and well-known combinatorial optimization problem. There exist many efficient algorithms such as the Kruskal algorithm and Prim algorithm to solve it. But in a real network, the vertices as well as the edges may have weights, and there are many cases of the vertex weights according to the degrees of the vertices. In this paper, we consider the computational complexity of the minimum expense spanning tree problem, which is to find a spanning tree in a network with minimum total expenses. We show that this problem is NP-hard in some general situations. And we propose a polynomial time algorithm when computing all the weights of the vertices in a spanning tree.
The complexity of the equation solvability problem is known for nilpotent groups, for not solvable groups and for some semidirect products of Abelian groups. We provide a new polynomial time algorithm for deciding the...
详细信息
The complexity of the equation solvability problem is known for nilpotent groups, for not solvable groups and for some semidirect products of Abelian groups. We provide a new polynomial time algorithm for deciding the equation solvability problem over certain semidirect products, where the first factor is not necessarily Abelian. Our main idea is to represent such groups as matrix groups, and reduce the original problem to equation solvability over the underlying field. Further, we apply this new method to give a much more efficient algorithm for equation solvability over nilpotent rings than previously existed.
For integers s > 0 and t > 0, a graph G is (s, t)-supereulerian if for any disjoint edge sets X, Y c E(G) with |X| = 2 and s + t >= 5. As applications, we obtain a characterization of (s, t)-supereulerian gra...
详细信息
For integers s > 0 and t > 0, a graph G is (s, t)-supereulerian if for any disjoint edge sets X, Y c E(G) with |X| < s and |Y| < t, G has a spanning closed trail that contains X and avoids Y. Pulleyblank in 1979 showed that determining whether a graph is (0, 0)- supereulerian, even when restricted to planar graphs, is NP-complete. We investigate the value of the smallest integer j(s, t) such that every j(s, t)-edge-connected graph is (s, t)- supereulerian, and show that j(s, t) = { max{4, t + 2} if 0 < s < 1, or (s, t) E {(2, 0), (2, 1), (3, 0)}, 5 if (s, t) E {(2, 2), (3, 1)}, s + t + 1-(-1)s/2 if s >= 2 and s + t >= 5. As applications, we obtain a characterization of (s, t)-supereulerian graphs when t >= 3 in terms of edge-connectivities, and show that when t >= 3, there exists a polynomial time algorithm to determine if a graph is (s, t)-supereulerian. (C) 2021 Elsevier B.V. All rights reserved.
A recently introduced lot scheduling problem is considered. It is to find a partition of jobs of n orders into lots and to sequence these lots on a single machine so that the total average completion time of the order...
详细信息
A recently introduced lot scheduling problem is considered. It is to find a partition of jobs of n orders into lots and to sequence these lots on a single machine so that the total average completion time of the orders is minimized. A simple O(n log n) timealgorithm is presented for this problem in the literature, with a relatively sophisticated proof of its optimality. We show that modeling this problem as a classic batching machine problem makes its optimal solution obvious.
High-throughput screening systems are robotic cells that automatically scan and analyze thousands of biochemical samples and reagents in real time. The problem under consideration is to find an optimal cyclic schedule...
详细信息
High-throughput screening systems are robotic cells that automatically scan and analyze thousands of biochemical samples and reagents in real time. The problem under consideration is to find an optimal cyclic schedule of robot moves that ensures maximum cell performance. To address this issue, we proposed a new efficient version of the parametric PERT/CPM project management method that works in conjunction with a combinatorial subalgorithm capable of rejecting unfeasible schedules. The main result obtained is that the new fast PERT/CPM method finds optimal robust schedules for solving large size problems in strongly polynomialtime, which cannot be achieved using existing algorithms.
The problem of finding vertex disjoint paths (i.e., path sharing no vertices) between a specified pair of vertices of a digraph has been extensively studied as one of the fundamental problems in graph theory. For digr...
详细信息
The problem of finding vertex disjoint paths (i.e., path sharing no vertices) between a specified pair of vertices of a digraph has been extensively studied as one of the fundamental problems in graph theory. For digraphs whose vertices or edges have mutually independent failure probabilities (called probabilistic digraphs hereafter), the expected maximum number of vertex paths is a measure of reliability of the network and its computation is an important practical problem. In this paper, the problem of computing the expected maximum number of vertex disjoint paths between a specified pair of vertices in a given probabilistic digraph is considered. It is shown that the problem is in general NP-hard but that the expected value can be obtained in polynomialtime for special types of probabilistic digraphs such as probabilistic s-t series-parallel digraphs and probabilistic s-t complete multistage digraphs in which the vertices have the same failure probability and the arcs are failure-free. Further, the problem is shown to be NP-hard for the following three cases: probabilistic planar digraphs;probabilistic s-t out-in bitrees;and probabilistic s-t complete multistage digraphs.
n this paper, a polynomialalgorithm for a special case of knapsack sharingproblem is presented by decomposing it into a series of multidimentional knapsackproblems, without the assumption that the number of the const...
详细信息
n this paper, a polynomialalgorithm for a special case of knapsack sharingproblem is presented by decomposing it into a series of multidimentional knapsackproblems, without the assumption that the number of the constraints is a *** solve optimally this special version of the problem, which extends the presentwork.
Motivated by challenges related to domination, connectivity, and information propagation in social and other networks, we initiate the study of the VECTOR CONNECTIVITY problem. This problem takes as input a graph G an...
详细信息
Motivated by challenges related to domination, connectivity, and information propagation in social and other networks, we initiate the study of the VECTOR CONNECTIVITY problem. This problem takes as input a graph G and an integer k(v) for every vertex v of G, and the objective is to find a vertex subset S of minimum cardinality such that every vertex v either belongs to S, or is connected to at least k(v) vertices of S by disjoint paths. If we require each path to be of length exactly 1, we get the well-known VECTOR DOMINATION problem, which is a generalization of the famous DOMINATING SET problem and several of its variants. Consequently, our problem becomes NP-hard if an upper bound on the length of the disjoint paths is also supplied as input. Due to the hardness of these domination variants even on restricted graph classes, like split graphs, VECTOR CONNECTIVITY seems to be a natural problem to study for drawing the boundaries of tractability for this type of problems. We show that VECTOR CONNECTIVITY can actually be solved in polynomialtime on split graphs, in addition to cographs and trees. We also show that the problem can be approximated in polynomialtime within a factor of In n + 2 on all n-vertex graphs. (C) 2014 Wiley Periodicals, Inc.
暂无评论