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.
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.
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.
15313247
Performance of a MAC protocol for WDM networks with on-line scheduling
This paper investigates the performance of media access protocols based on on-line scheduling for an optically connected star-coupled system with wavelength division multiple access channels. Hybrid access protocols combining reservation and pre-allocation of receiver channels have been previously proposed. Transmission consisted of a reservation phase followed by a data phase. Each node was allowed to place a reservation for one WDM channel. This protocol is extended in this paper by allowing reservations on multiple channels and using simple on-line scheduling algorithms. Existing scheduling algorithms (all are off-line) for similar reservation problems tend to have high implementation and computational complexity. We require that scheduling algorithms be real-time and amenable to hardware implementation. The performance of the extended protocol incorporating two simple on-line scheduling algorithms is presented in this paper. We show that the slight increased computational overhead with scheduling is justified by reduced packet latency and higher utilization, especially for client-server traffic.
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.
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>>
30210949
Exact and approximate algorithms for unordered tree matching
We consider the problem of comparison between unordered trees, i.e., trees for which the order among siblings is unimportant. The criterion for comparison is the distance as measured by a weighted sum of the costs of deletion, insertion and relabel operations on tree nodes. Such comparisons may contribute to pattern recognition efforts in any field (e.g., genetics) where data can naturally be characterized by unordered trees. In companion work, we have shown this problem to be NP-complete. This paper presents an efficient enumerative algorithm and several heuristics leading to approximate solutions. The algorithms are based on probabilistic hill climbing and bipartite matching techniques. The paper evaluates the accuracy and time efficiency of the heuristics by applying them to a set of trees transformed from industrial parts based on a previously proposed morphological model. >
891661
Fast prefix matching of bounded strings
Longest Prefix Matching (LPM) is the problem of finding which string from a given set is the longest prefix of another, given string. LPM is a core problem in many applications, including IP routing, network data clustering, and telephone network management. These applications typically require very fast matching of bounded strings, i.e., strings that are short and based on small alphabets. We note a simple correspondence between bounded strings and natural numbers that maps prefixes to nested intervals so that computing the longest prefix matching a string is equivalent to finding the shortest interval containing its corresponding integer value. We then present retries, a fast and compact data structure for LPM on general alphabets. Performance results show that retries often outperform previously published data structures for IP look-up. By extending LPM to general alphabets, retries admit new applications that could not exploit prior LPM solutions designed for IP look-ups.
2271365
Minimal period retiming under process variations
With aggressive scaling down of feature sizes in VLSI fabrication, process variations have become a critical issue in designs. With process variations, timing optimization should consider the randomness introduced in delays. This paper considers how to retime a circuit under process variations. A statistical retiming problem is defined on the concept of a disutility function. Based on a new minimal period retiming algorithm, two algorithms are presented for the statistical retiming problem. Both theoretical and experimental results are given.
40574141
Finding similar consensus between trees: an algorithm and a distance hierarchy
Abstract The problem of finding this similar consensus (also known as the largest approximately common substructures) of two trees arises in many pattern recognition applications. This paper presents a dynamic programming algorithm to solve the problem based on the distance measure originated from Tanaka and Tanaka. The algorithm runs as fast as the best-known algorithm for comparing two trees using Tanaka's distance measure when the allowed distance between the common substructures is a constant independent of the input trees. In addition, we establish a hierarchy among Tanaka's distance measure and three other edit-based distance measures published in the literature.
2455178
Voice conversion using duration-embedded bi-HMMs for expressive speech synthesis
This paper presents an expressive voice conversion model (DeBi-HMM) as the post processing of a text-to-speech (TTS) system for expressive speech synthesis. DeBi-HMM is named for its duration-embedded characteristic of the two HMMs for modeling the source and target speech signals, respectively. Joint estimation of source and target HMMs is exploited for spectrum conversion from neutral to expressive speech. Gamma distribution is embedded as the duration model for each state in source and target HMMs. The expressive style-dependent decision trees achieve prosodic conversion. The STRAIGHT algorithm is adopted for the analysis and synthesis process. A set of small-sized speech databases for each expressive style is designed and collected to train the DeBi-HMM voice conversion models. Several experiments with statistical hypothesis testing are conducted to evaluate the quality of synthetic speech as perceived by human subjects. Compared with previous voice conversion methods, the proposed method exhibits encouraging potential in expressive speech synthesis