We study undirected networks with edge costs that satisfy the triangle inequality. Let n denote the number of nodes. We present an O(1)-approximation algorithm for a generalization of the metric-cost subset k-node-con...
详细信息
We study undirected networks with edge costs that satisfy the triangle inequality. Let n denote the number of nodes. We present an O(1)-approximation algorithm for a generalization of the metric-cost subset k-node-connectivity problem. Our approximation guarantee is proved via lower bounds that apply to the simple edge-connectivity version of the problem, where the requirements are for edge-disjoint paths rather than for openly node-disjoint paths. A corollary is that, for metric costs and for each k = 1, 2,..., n - 1, there exists a k-node connected graph whose cost is within a factor of 22 of the cost of any simple k-edge connected graph. Based on our O( 1)- approximation algorithm, we present an O(log r(max))-approximation algorithm for the metric-cost node-connectivity survivable network design problem, where rmax denotes the maximum requirement over all pairs of nodes. Our results contrast with the case of edge costs of 0 or 1, where Kortsarz, Krauthgamer, and Lee. [SIAM J. Comput., 33 (2004), pp. 704-720] recently proved, assuming NP not subset of DTIME(n(polylog(n))), a hardness-of-approximation lower bound of 2(log1-epsilon) (n) for the subset k-node-connectivity problem, where epsilon denotes a small positive number.
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue of probabilistic bisimilarity. Distan...
详细信息
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue of probabilistic bisimilarity. Distance zero captures probabilistic bisimilarity. Each pseudometric has a discount factor, a real number in the interval (0, 1]. The smaller the discount factor, the more the future is discounted. If the discount factor is one, then the future is not discounted at all. Desharnais et al. showed that the behavioural distances can be calculated up to any desired degree of accuracy if the discount factor is smaller than one. In this paper, we show that the distances can also be approximated if the future is not discounted. A key ingredient of our algorithm is Tarski's decision procedure for the first order theory over real closed fields. By exploiting the Kantorovich-Rubinstein duality theorem we can restrict to the existential fragment for which more efficient decision procedures exist.
We introduce a new combinatorial optimization problem in this article, called the minimum common integer partition (MCIP) problem, which was inspired by computational biology applications including ortholog assignment...
详细信息
We introduce a new combinatorial optimization problem in this article, called the minimum common integer partition (MCIP) problem, which was inspired by computational biology applications including ortholog assignment and DNA fingerprint assembly. A partition of a positive integer n is a multiset of positive integers that add up to exactly n, and an integer partition of a multiset S of integers is defined as the multiset union of partitions of integers in S. Given a sequence of multisets S-1, S-2, ... , S-k of integers, where k >= 2, we say that a multiset is a common integer partition if it is an integer partition of every multiset S-i, 1 <= i <= k. The MCIP problem is thus defined as to find a common integer partition of S-1, S-2, ... , S-k with the minimum cardinality, denoted as MCIP(S-1, S-2, ... , S-k). It is easy to see that the MCIP problem is NP-hard, since it generalizes the well-known subset sum problem. We can in fact show that it is APX-hard. We will also present a 5/4-approximation algorithm for the MCIP problem when k = 2, and a 3k(k-1)/3k-2-approximation algorithm for k >= 3.
Given an arbitrary real constant epsilon > 0, and a geometric graph G in d-dimensional Euclidean space with n points, O(n) edges, and constant dilation, our main result is a data structure that answers (1 + epsilon...
详细信息
Given an arbitrary real constant epsilon > 0, and a geometric graph G in d-dimensional Euclidean space with n points, O(n) edges, and constant dilation, our main result is a data structure that answers (1 + epsilon)-approximate shortest-path-length queries in constant time. The data structure can be constructed in O( n log n) time using O( n log n) space. This represents the first data structure that answers (1 + epsilon)-approximate shortest-path queries in constant time, and hence functions as an approximate distance oracle. The data structure is also applied to several other problems. In particular, we also show that approximate shortest-path queries between vertices in a planar polygonal domain with "rounded" obstacles can be answered in constant time. Other applications include query versions of closest-pair problems, and the efficient computation of the approximate dilations of geometric graphs. Finally, we show how to extend the main result to answer (1 + epsilon)-approximate shortest-path-length queries in constant time for geometric spanner graphs with m = omega(n) edges. The resulting data structure can be constructed in O(m + n log n) time using O(n log n) space.
Consensus clustering has emerged as one of the principal clustering problems in the data mining community. In recent years the theoretical computer science community has generated a number of approximation algorithms ...
详细信息
ISBN:
(纸本)9780898716306
Consensus clustering has emerged as one of the principal clustering problems in the data mining community. In recent years the theoretical computer science community has generated a number of approximation algorithms for consensus clustering and similar problems. These algorithms run in polynomial time, with performance guaranteed to be at most a certain factor worse than optimal. We investigate the feasibility of the approximation algorithms, in an attempt to link data-mining and theoretical research. On realistic data sets, algorithms with quadratic running times are impractical. Unfortunately these and even worse running times are typical of approximation algorithms. To circumvent this, we sample from the data, run the "slow" algorithms on the sample, and then build a consensus clustering from the seed sample clustering, using a range of techniques. These unsampling techniques are in fact almost as good at creating consensus partitionings as the approximation and data-mining algorithms themselves. We find that one of the latest approximation algorithms is not only fast and effective, but also easy to describe, making it an ideal choice.
The problem of efficiently monitoring the network flow is regarded as the problem to find out the minimum weighted weak vertex cover set for a given graphG=(V,E). In this paper, we give an approximation algorithm to s...
详细信息
The problem of efficiently monitoring the network flow is regarded as the problem to find out the minimum weighted weak vertex cover set for a given graphG=(V,E). In this paper, we give an approximation algorithm to solve it, which has the approximation ratio lnd+1, whered is the maximum degree of the vertex in graphG, and improve the previous work.
Keywords weak vertex cover - NP-hard - approximation algorithm
Note
This work is supported by the Ministry of Science and Technology of China (Grant No.2001CCA03000), the National Natural Science Foundation of China (Grant No.60273045), and the Shanghai Science and Technology Development Foundation (Grant No.025115032).
A special case of the bottleneck Steiner tree problem in the Euclidean plane was considered in this paper. The problem has applications in the design of wireless communication networks, multifacility location, VLSI ro...
详细信息
A special case of the bottleneck Steiner tree problem in the Euclidean plane was considered in this paper. The problem has applications in the design of wireless communication networks, multifacility location, VLSI routing and network routing. For the special case which requires that there should be no edge connecting any two Steiner points in the optimal solution, a 3-restricted Steiner tree can be found indicating the existence of the performance ratio root2. In this paper, the special case of the problem is proved to be NP-hard and cannot be approximated within ratio root2. First a simple polynomial time approximation algorithm with performance ratio root3 is presented. Then based on this algorithm and the existence of the 3-restricted Steiner tree, a polynomial time approximation algorithm with performance ratio-root2 + epsilon is proposed, for any epsilon > 0.
In the classical scheduling problems, it is always assumed that jobs would be delivery immediately when they are completed. However, in many production-distribution systems, the jobs are required to be delivered by th...
详细信息
In the classical scheduling problems, it is always assumed that jobs would be delivery immediately when they are completed. However, in many production-distribution systems, the jobs are required to be delivered by their due date but completed times. Then those jobs completed ahead of their due dates must be stored. In this paper, we consider the single machine scheduling problem with inventory operations. The objective is to minimize makespan subject to minimize ∑Uj . We show the problem is strongly NP-hard. A polynomial 2-approximation scheme for the problem is presented and a special case of the problem, in which each job is one unit in size, is provided an optimal algorithm.
We consider the lifetime optimization problem for multicasting inwireless ad hoc networks, in which each node is equipped with a directional antennaand has limited energy supplies. In this paper, we propose a new dist...
详细信息
ISBN:
(纸本)9783540898931
We consider the lifetime optimization problem for multicasting inwireless ad hoc networks, in which each node is equipped with a directional antennaand has limited energy supplies. In this paper, we propose a new distributedalgorithm, whose performance in terms of providing long-lived multicasttree is guaranteed by our theoretical analysis. We prove that its approximationratio is bounded by a finite number. In particular, the derived upper bound in aclosed form shows that the algorithm can achieve global optimal in some *** real performance of this new proposed algorithm is also evaluated usingsimulation studies and the experimental results show that it outperforms otherdistributed algorithms.
The classical Load Balancing Problem (LBP) is to map tasks to processors so as to minimize the maximum load. Solving the LBP successfully would lead to better utilization of resources and better performance. The LBP h...
详细信息
The classical Load Balancing Problem (LBP) is to map tasks to processors so as to minimize the maximum load. Solving the LBP successfully would lead to better utilization of resources and better performance. The LBP has been proven to be NP-hard, thus generating the exact solutions in a tractable amount of time becomes infeasible when the problems become *** present a new nature-inspired approximation algorithm based on the Particle Mechanics (PM) model to compute in parallel approximate *** solutions for LBPs. Just like other Nature-inspired algorithms (NAs) drawing from observations of physical processes that occur in nature, the PM algorithm is inspired by physical models of particle kinematics and dynamics. The PM algorithm maps the classical LBP to the movement of particles in a *** by a corresponding mathematical model in which all particles move according to certain *** rules until reaching a stable state. By anti-mapping the stable state, the solution to LBP can be obtained.
暂无评论