7466807
Mitosis in Computational Complexity
This expository paper describes some of the results of two recent research papers [GOP+05, GPSZ05]. The first of these papers proves that every NP-complete set is many-one autoreducible. The second paper proves that every many-one autoreducible set is many-one mitotic. It follows immediately that every NP-complete set is many-one mitotic. Hence, we have the compelling result that every NP-complete set A splits into two NP-complete sets A1 and A2.
33433492
Disjoint NP-Pairs
We study the question of whether the class DisjNP of disjoint pairs (A, B) of NP-sets contains a complete pair. The question relates to the question of whether optimal proof systems exist, and we relate it to the previously studied question of whether there exists a disjoint pair of NP-sets that is NP-hard. We show under reasonable hypotheses that nonsymmetric disjoint NP-pairs exist, which provides additional evidence for the existence of P-inseparable disjoint NP-pairs. 
We construct an oracle relative to which the class of disjoint NP-pairs does not have a complete pair; an oracle relative to which optimal proof systems exist, and hence complete pairs exist, but no pair is NP-hard; and an oracle relative to which complete pairs exist, but optimal proof systems do not exist.
12223354
Disjoint NP-pairs
We study the question of whether the class DisNP of disjoint pairs (A, B) of NP-sets contains a complete pair. The question relates to the question of whether optimal proof systems exist, and we relate it to the previously studied question of whether there exists a disjoint pair of NP-sets that is NP-hard. We show under reasonable hypotheses that nonsymmetric disjoint NP-pairs exist, which provide additional evidence for the existence of P-inseparable disjoint NP-pairs. We construct an oracle relative to which the class of disjoint NP-pairs does not have a complete pair, an oracle relative to which optimal proof systems exist, hence complete pairs exist, but no pair is NP-hard, and an oracle relative to which complete pairs exist, but optimal proof systems do not exist.
15844013
Survey of Disjoint NP-pairs and Relations to Propositional Proof Systems
We survey recent results on disjoint NP-pairs. In particular, we survey the relationship of disjoint NP-pairs to the theory of proof systems for propositional calculus.
11528752
Redundancy in Complete Sets
We show that a set is m-autoreducible if and only if it is m-mitotic. This solves a long standing open question in a surprising way. As a consequence of this unconditional result and recent work by Glaser et al. [12], complete sets for all of the following complexity classes are m-mitotic: NP, coNP, $\bigoplus$P, PSPACE, and NEXP, as well as all levels of PH, MODPH, and the Boolean hierarchy over NP. In the cases of NP, PSPACE, NEXP, and PH, this at once answers several well-studied open questions. These results tell us that complete sets share a redundancy that was not known before. In particular, every NP-complete set A splits into two NP-complete sets A1 and A2.
13446826
Guest Editor’s Introduction
AbstractNetwork design permeates every corner of modern communication research and continues
to provide new algorithmic challenges. In this issue we present eight papers on
designing the physical layout of new networks and designing protocols for efficient information
delivery on existing networks. The contribution of these papers is not limited
to the solutions they present, but also the new problems they introduce.
7762229
Edge detection by scale multiplication in wavelet domain
This paper proposes a wavelet based edge detection scheme by scale multiplication. The dyadic wavelet transforms at two adjacent scales are multiplied as a product function to magnify the edge structures and suppress the noise. Unlike many multiscale techniques that first form the edge maps at several scales and then synthesize them together, we determined the edges as the local maxima directly in the scale product after an efficient thrsholding. It is shown that the scale multiplication achieves better results than either of the two scales, especially on the localization performance. The dislocation of neighboring edges is also improved when the width of detection filter is set large to smooth noise. Experiments on natural images are compared with the Laplacian of Gaussian and Canny edge detection algorithms.
14677925
Universal IP multicast delivery
A ubiquitous and efficient multicast data delivery service is essential to the success of large-scale group communication applications. The original IP multicast design is to enhance network routers with multicast capability [S. Deering, D. Cheriton, Multicast routing in datagram internetworks and extended LANs, ACM Transactions on Computer Systems 8(2) (1990) 85-110]. This approach can achieve great transmission efficiency and performance but also poses a critical dependency on universal deployment. A different approach, overlay multicast, moves multicast functionality to end hosts, thereby removing the dependency on router deployment, albeit at the cost of noticeable performance penalty compared to IP multicast. In this paper we present the Universal Multicast (UM) framework, along with a set of mechanisms and protocols, to provide ubiquitous multicast delivery service on the Internet. Our design can fully utilize native IP multicast wherever it is available, and automatically build unicast tunnels to connect IP Multicast "islands" to form an overall multicast overlay. The UM design consists of three major components: an overlay multicast protocol (HMTP) for inter-island routing, an intra-island multicast management protocol (HGMP) to glue overlay multicast and native IP multicast together, and a daemon program to implement the functionality at hosts. In addition to performance evaluation through simulations, we have also implemented parts of the UM framework. Our prototype implementation has been used to broadcast several workshops and the ACM SIGCOMM 2004 conference live on the Internet. We present some statistics collected during the live broadcast and describe mechanisms we adopted to support end hosts behind Network Address Translation (NAT) gateways and firewalls.
16350167
Efficient propagation for face annotation in family albums
In this paper, we propose and investigate a new user scenario for face annotation, in which users are allowed to multi-select a group of otogras and assign names to these otogras. The system will then attempt to propagate names from otogra level to face level, i.e. to infer the correspondence between name and face. Given the face similarity measure which combines methodologies from face recognition and content-based image retrieval, we formulate name propagation as an optimization problem. We define the objective function as the sum of similarities between each pair of faces of the same individual in different otogras, and propose an iterative optimization algorithm to infer the optimal correspondence. To make the propagation result reliable, a reject scheme is adopted to reject those with low confidence scores. Furthermore, we investigate the combination and alternation of browsing mode for propagation and viewer mode for annotation, so that each mode can benefit from additional inputs from the other mode. The experimental evaluation has been conducted within a typical family album of over one thousand otogras and the results show that the proposed approach is effective and efficient in automated face annotation in family albums.
3761715
A multicommodity flow model for distributed stream processing
The rapid development of computer technology has enabled streaming applications to emerge from many areas of the IT industry. A fundamental problem in such stream processing systems is how to best utilize the available resources so that the overall system performance is optimized. In most real time systems, applications are often running in a decentralized, distributed environment. At any given time, no server has the global information about all the servers in the system. It is thus desirable to have distributed solutions capable of adapting to or absorbing local changes in production rates and in network conditions. This paper addresses the fundamental resource allocation question in the distributed stream processing setting. Specifically, we consider a generic model for stream processing systems. Each stream is required to complete a series of tasks to become finished product. Each server is responsible for a subset of the processing tasks for possibly a subset of the streams. All servers have finite computing resources and all communication links have finite available bandwidth. We consider the resource allocation problem so as to maximize the total throughput of the system. Our problem can be described as a generalization of the traditional multicommodity flow problem [1]. Traditional multicommodity flow problem looks for the best way to use of the link capacities to deliver the maximum throughput for the flows in the whole network. In our problem, in addition to the link bandwidth constraints, we also have processing power constraints for each server. Furthermore, we allow flow shrinkage or expansion so as to model operations such