7902129
Efficient Minimization of Numerical Summation Errors
Given a multiset X={x 1,... x n } of real numbers, the floating-point set summation (FPS) problem asks for S n = x 1+...+ x n , and the floating point prefix set summation problem (FPPS) asks for S k =x 1+...+x k for all k = 1, ... n. Let E k * denote the minimum worst-case error over all possible orderings of evaluating S k . We prove that if X has both positive and negative numbers, it is NP-hard to compute S n with the worst-case error equal to E n * . We then give the first known polynomial-time approximation algorithm for computing Sn that has a provably small error for arbitrary X. Our algorithm incurs a worstcase error at most 2([log(n−1)]+1) E n * . After X is sorted, it runs in O(n) time, yielding an O(n 2)-time approximation algorithm for computing S k for all k = 1, ..., n such that the worst-case error for each S k is less than 2(⌈ log(k−1)⌋+ 1)E k * .
38052408
Towards a practical, secure, and very large scale online election
We propose a practical and secure electronic voting protocol for large-scale online elections. Our protocol satisfies a large set of important criteria that has never been put together in a single protocol before. Among all electronic voting schemes in the literature, Sensus, a security-conscious electronic voting protocol proposed by Cranor and Cytron (1997), satisfies most of our criteria. Sensus has been implemented and used in mock elections. However, Sensus suffers from several major drawbacks. For instance, we show that even if all voters follow the Sensus protocol honestly, some voters' votes may still be replaced with different votes without being detected. Our protocol overcomes these drawbacks.
206565969
Immunity of Complete Problems
Abstract Two necessary and sufficient conditions for all E -complete sets to contain dense P subsets are shown. We then prove that every ≤ p m -hard for E set and its complement contain dense E ∩UP subsets. As a corollary, every NE -complete set and its complement contain dense E ∩UP subsets.
1305119
Minimizing roundoff errors of prefix sums via dynamic construction of Huffman trees
The prefix-sum operation, which returns all prefix sums on a sequence of numbers, plays an important role in many applications. We study how to efficiently evaluate prefix sums on positive floating-point numbers such that the worst-case roundoff error of each sum is minimized. A direct approach to this problem builds a Huffman tree for each prefix subsequence from scratch, requiring exactly quadratic time for every input X. We can do better by taking advantage of the current Huffman tree to build the next Huffman tree, using dynamic insertions and deletions on Huffman trees. Consequently, subquadratic time suffices for various input patterns. We also provide experimental comparisons of all the algorithms studied in this paper on inputs that are randomly and uniformly generated.
17726002
Average-case completeness of a word problem for groups
This paper presents a bounded word problem for groups whose random instances are hard on average. The problem is to decide, when given a finitely presented group G, words ~, y, z, and an integer k, whether (Z–lyZ)Z can be obtained from Z(x–l yz) in G using elementary Tietze transformations for at most k times. We show that the problem is average-case NP-complete when instances are chosen at random under a uniform distribution. NP-completeness of more general bounded word problems for groups is shown as well.
32837558
On average P vs. average NP
Structures of polynomial-time computable distributions and polynomial-time many-one reductions on randomized decision problems are investigated. The scope is widened from the most studied class DNP (distributional-NP) to the class ANP (average-NP), which consists of randomized decision problems accepted by nondeterministic Turing machines in average polynomial time. Results indicate that the structures of average-case complexity classes are very different from their counterparts in worst-case complexity due to the complex structures of probability distributions and distribution functions.<<ETX>>
1667264
Path extendability of claw-free graphs
Let G be a connected, locally connected, claw-free graph of order n and x,y be two vertices of G. In this paper, we prove that if for any 2-cut S of G, S@?{x,y}=@A, then each (x,y)-path of length less than n-1 in G is extendable, that is, for any path P joining x and y of length h(
15784976
A New Algorithm to Solve Synchronous Consensus for Dependent Failures
Fault tolerant algorithms are often designed under the t-out-of-n assumption, which is based on the assumption that all processes or components fail independently with equal probability. However, real systems may exhibit dependent failures. Cores and survivor sets are used to build an abstraction model for dependent process failures. Using this abstraction, we design an algorithm to solve consensus problem crash failures. Our algorithm uses the processes in all cores to broadcast messages. Each core reaches agreement separately and even simultaneously in some round with no failure in the core. In the worst-case, the decision can be made in the round that is equal to the size of the minimal core. Our algorithm guarantees that all processes eventually decide on the same value regardless the initial values. We prove the correctness of our algorithm and give the lower bound of the number of rounds to solve consensus problem.
6283537
A bandwidth management technique for hierarchical storage in large-scale multimedia servers
Using magnetic disks as a cache for tertiary storage has been shown to be an effective way to address the high storage coats of large-scale multimedia servers. The authors investigate a technique for managing the bandwidth of such a hierarchical storage design. In existing schemes, all data items are treated equally; and the same I/O rate is used to load data from tertiary storage when they are requested. In their approach, different loading rates are used for data items with different characteristics. For frequently used items, one keeps a large percentage of data in the disk buffer and needs to use only a small I/O rate to load the missing portions on demand. On the contrary, a larger portion of less frequently used items is kept in the tertiary storage. To minimize their access latencies, larger I/O rates are used to load the missing parts when these items are needed. They formally prove that this approach is better than using the same loading rate for all data items. They also show simulation results to quantitatively demonstrate the benefits of the technique. They confirm that the scheme is able to provide higher system throughput while ensuring very short latencies (i.e., several seconds) for essentially all accesses. Such good performance is achieved using surprisingly small disk space (i.e., about 5% or less of the database size).
2286283
Query result ranking over e-commerce web databases
To deal with the problem of too many results returned from an E-commerce Web database in response to a user query, this paper proposes a novel approach to rank the query results. Based on the user query, we speculate how much the user cares about each attribute and assign a corresponding weight to it. Then, for each tuple in the query result, each attribute value is assigned a score according to its "desirableness" to the user. These attribute value scores are combined according to the attribute weights to get a final ranking score for each tuple. Tuples with the top ranking scores are presented to the user first. Our ranking method is domain independent and requires no user feedback. Experimental results demonstrate that this ranking method can effectively capture a user's preferences.
11138955
Computing an Almost Minimum Set of Spanning Line Segments of a Polyhedron
A set of spanning line segments (SLS) is a subset of the edges of a finite polyhedron in E3 such that an arbitrary plane intersects the polyhedron if and only if the plane intersects at least one of the line segments of the SLS. In this paper an algorithm is presented for computing an almost minimum set of spanning line segments for an arbitrary polyhedron . When the number of extreme vertices of is odd, the computed SLS is minimum; when the number of extreme vertices of is even, the size of the computed SLS is at most the minimum size plus one. The algorithm has linear-time complexity for a convex polyhedron, hence is optimal in this case; its time complexity is Θ(m log m) for an arbitrary polyhedron, where m is the number of vertices of the polyhedron.