3146463
On Strong Menger-Connectivity of Star Graphs
Motivated by parallel routing in networks with faults, we study the following graph theoretical problem. Let G be a d-regular graph. We say that G is strongly Menger-connected if for any copy Gf of G with at most d - 2 nodes removed, every pair of nodes u and v in Gf are connected by min{deg f(u), deg f(v)} node-disjoint paths in Gf, where deg f(u) and deg f(v) are the degrees of the nodes u and v in Gf, respectively. We show that the star graphs, which are a recently proposed attractive alternative to the widely used hypercubes as network models, are strongly Menger-connected. An algorithm of optimal running time is developed that constructs the maximum number of node-disjoint paths of nearly optimal length in star graphs with faults.
20756797
Algebraic specification of interconnection network relationships by permutation voltage graph mappings
Symmetries of large networks are used to simplify the specification of a guest-host network relationship. The relevant kinds of symmetries occur not only in Cayley graphs and in group-action graphs, but elsewhere as well. In brief, the critical topological symmetry property of a guest or host is that it is algebraically specifiable as a covering space of a smaller graph. A first objective is to understand the circumstances under which a mapping (a.k.a. “embedding”) between two base graphs can be lifted topologically to a mapping between their respective coverings. A suitable assignment of algebraic elements called “permutation voltages” to a base graph for the intended host network facilitates the construction not only of the intended host, but also of the intended guest and of the intended mapping of the guest into the host. Explicit formulas are derived for measurement of the load, of the congestion, and of the dilation of the lifted mapping. A concluding example suggests how these new formulas open the opportunity to develop optimization methods for algebraically specified guest-host mappings.
16331940
Optimal Parallel Routing in Star Networks
Star networks have recently been proposed as attractive alternatives to the popular hypercube for interconnecting processors on a parallel computer. In this paper, we present an efficient algorithm that constructs an optimal parallel routing in star networks. Our result improves previous results for the problem.
19987062
On the construction of most reliable networks
The construction of most reliable networks is investigated. In particular, the study of restricted edge connectivity shows that general Harary graphs are max λ-min mi for all i=λ, λ+1,....2λ- 3. As a consequence, this implies that for each pair of positive integers n and e, there is a graph of n vertices and e edges that is max λ-min mi for all i= λ,λ + 1,....2λ - 3. General Harary graphs that are max λ-min mi for all i= λ, λ + 1,.... 2λ - 2 are also constructed.
14793234
On the Amount of Nondeterminism and the Power of Verifying
The relationship between nondeterminism and other computational resources is investigated based on the "guess-then-check" model GC. Systematic techniques are developed to construct natural complete languages for the classes defined by this model. This improves a number of previous results in the study of limited nondeterminism. Connections of the model GC to computational optimization problems are exhibited.
1021255
A minimal and complete set of operators for the development of robust manifold mesh modelers
In this paper, we identify a minimal and complete set of fundamental operators, which is necessary and sufficient for performing all homeomorphic and topological operations on 2- manifold mesh structures. Efficient algorithms are developed for the implementation of these operators. We also developed a set of powerful, user-friendly, and effective operators at the level of user-interface. Using these operators, we have developed a prototype system for robust, interactive, and user-friendly modeling of orientable 2-manifold meshes. Users of our system can perform a large set of homeomorphic and topological changes with these user-interface level operators. Our system is topologically robust in the sense that users will never create invalid 2-manifold mesh structure with these operators. In our system, the homeomorphic and topological surgery operations can be applied alternatively on 2-manifold meshes. With our system, users can blend surfaces, construct rinds, and open holes on these rind shapes. With our system, the shapes that look like solid, non-manifold, or 2-manifold with boundary can be manipulated. The system also provides automatic texture mapping during topology changes.
16592812
A web-based virtual laboratory on a frequency modulation experiment
With the rapid proliferation of Internet technologies, accessing and operating engineering instruments remotely anytime anywhere is fast becoming a reality. This paper presents a new Web-based virtual laboratory on a frequency modulation experiment for the teaching of an undergraduate course on communication principles in the National University of Singapore (NUS). The laboratory requires only a common Web browser to access and incorporate schemes for reducing data traffic and authenticating users. It enables students to have a natural hands-on experience of using an expensive spectrum analyzer on a one-to-one basis and provides a solution for distant engineering education. The system uses a double client-server structure where access to the experiment is via two rounds of client-server processing. The virtual laboratory can be accessed at the Web site http://vlab.ee.nus.edu.sg/vlab/freqmod/index.html.
43754145
Heaps with Bits
In this paper, we show how to improve the complexity of heap operations and heapsort using extra bits. We first study parallel complexity of implementing priority queue operations on a heap. While the insertion of a new element into a heap can be done as fast as parallel searching, we show how to delete the smallest element from a heap in constant time with a sublinear number of processors, and in sublogarithmic time with a sublogarithmic number of processors. The models of parallel computation used are the CREW PRAM and the CRCW PRAM. Our results improve those of previously known algorithms.
6316461
Partitioned optimization algorithms for multiple sequence alignment
Multiple sequence alignment is an important and difficult problem in molecular biology and bioinformatics. In this paper, we propose a partitioning approach that significantly improves the solution time and quality by utilizing the locality structure of the problem. The algorithm solves the multiple sequence alignment in three stages. First, an automated and suboptimal partitioning strategy is used to divide the set of sequences into several subsections. Then a multiple sequence alignment algorithm based on ant colony optimization is used to align the sequences of each subsection. Finally, the alignment of original sequences can be obtained by assembling the result of each subsection. The ant colony algorithm is highly optimized in order to avoid local optimal traps and converge to global optimal efficiently. Experimental results show that the algorithm can significantly reduce the running time and improve the solution quality on large-scale multiple sequence alignment benchmarks.
2426986
Quantifying Privacy Leakage through Answering Database Queries
We assume a database consists of records of individuals with private or sensitive fields. Queries on the distribution of a sensitive field within a selected population in the database can be submitted to the data center. The answers to the queries leak private information of individuals though no identification information is provided. Inspired by decision theory, we present a quantitative model for the privacy protection problem in such a database query or linkage environment in this paper. In the model, the value of information is estimated from the viewpoint of the querier.To estimate the value, we define the information state of the data user by a class of probability distributions on the set of possible confidential values. We further define the usefulness of information based on how easy the data user can locate individuals that fit the description given in the queries. These states and the usefulness of information can be modified and refined by the user's knowledge acquisition actions. The value of information is then defined as the expected gain of the privacy receiver and the privacy is protected by imposing costs on the answers of the queries for balancing the gain.
12562104
Collaborative information agents on the World Wide Web
In this paper, we present DIAMS, a system of distributed, collaborative information agents which help users access, collect, organize and exchange information on the World Wide Web. Personal agents provide their owners dynamic displays of well organized information collections, as well as friendly information management utilities. Personal agents exchange information with one another. They also work with other types of information agents such as matchmakers and knowledge experts to facilitate collaboration and communication.