125992802
A tight bound on approximating arbitrary metrics by tree metrics
In this paper, we show that any n point metric space can be embedded into a distribution over dominating tree metrics such that the expected stretch of any edge is O(log n). This improves upon the result of Bartal who gave a bound of O(log n log log n). Moreover, our result is existentially tight; there exist metric spaces where any tree embedding must have distortion Ω(log n)-distortion. This problem lies at the heart of numerous approximation and online algorithms including ones for group Steiner tree, metric labeling, buy-at-bulk network design and metrical task system. Our result improves the performance guarantees for all of these problems.
96030
Beyond the flow decomposition barrier
We introduce a new approach to the maximum flow problem. This approach is based on assigning arc lengths based on the residual flow value and the residual arc capacities. Our approach leads to an <italic>O</italic>(min(<italic>n</italic><supscrpt>2/3</supscrpt>, <italic>m</italic><supscrpt>1/2</supscrpt>)<italic>m</italic> log(<italic>n</italic><supscrpt>2</supscrpt>/<italic>m</italic>) log <italic>U</italic>) time bound for a network with <italic>n</italic> vertices, <italic>m</italic> arcs, and integral arc capacities in the range [1, …, <italic>U</italic>]. This is a fundamental improvement over the previous time bounds. We also improve bounds for the Gomory-Hu tree problem, the parametric flow problem, and the approximate <italic>s-t</italic>  cut problem.
9742261
Portable and Efficient Parallel Computing Using the BSP Model
The Bulk-Synchronous Parallel (BSP) model was proposed by Valiant as a standard interface between parallel software and hardware. In theory, the BSP model has been shown to allow the asymptotically optimal execution of architecture independent software on a variety of architectures. Our goal in this work is to experimentally examine the practical use of the BSP model on current parallel architectures. We describe the design and implementation of the Green BSP Library, a small library of functions that implement the BSP model, and of several applications that were written for this library. We then discuss the performance of the library and application programs on several parallel architectures. Our results are positive in that we demonstrate efficiency and portability over a range of parallel architectures and show that the BSP cost model is useful for predicting performance trends and estimating execution times.
8131766
Segmentation of a piece-wise planar scene from perspective images
We study and compare two novel embedding methods for segmenting feature points of piece-wise planar structures from two (uncalibrated) perspective images. We show that a set of different homographies can be embedded in different ways to a higher-dimensional real or complex space, so that each homography corresponds to either a complex bilinear form or a real quadratic form. Each embedding reveals different algebraic properties and relations of homographies. We give a closed-form segmentation solution for each case by utilizing these properties based on subspace-segmentation methods. These theoretical results show that one can intrinsically segment a piece-wise planar scene from 2-D images without explicitly performing any 3-D reconstruction. The resulting segmentation may make subsequent 3-D reconstruction much better-conditioned. We demonstrate the proposed methods with some convincing experimental results.
11142529
Segmentation of hybrid motions via hybrid quadratic surface analysis
In this paper, we investigate the mathematical problem underlying segmentation of hybrid motions: given a series of tracked feature correspondences between two (perspective) images, we seek to segment and estimate multiple motions, possibly of different types (e.g., affine, epipolar, and homography). In order to accomplish this task, we cast the problem into a more general mathematical framework of segmenting data samples drawn from a mixture of linear subspaces and quadratic surfaces. The result is a novel algorithm called hybrid quadratic surface analysis (HQSA). HQSA uses both the derivatives and Hessians of fitting polynomials for the data to separate linear data samples from quadratic data samples. These derivatives and Hessians also lead to important necessary conditions, based on the so-called mutual contraction subspace, to separate data samples on different quadratic surfaces. The algebraic solution we derive is non-iterative and numerically stable. It tolerates moderate noise and can be used in conjunction with outlier removal techniques. We show how to solve the hybrid motion segmentation problem using HQSA, and demonstrate its performance on simulated data with noise and on real perspective images.
27336833
An Efficient Distributed Algorithm for Finding Virtual Backbones in Wireless Ad-Hoc Networks
A minimum connected dominating set is an efficient approach to form a virtual backbone for ad-hoc networks. We propose a tree based distributed time/message efficient approximation algorithm to compute a small connected dominating set without using geographic positions. The algorithm has O(n) time, O(n log n) message complexity, and has an approximation factor of eight. The algorithm is implemented using dominating set simulation program, which shows that our method gives smaller connected dominating set than the existing methods.
37364536
On regular and strongly-regular self-complementary graphs
Abstract In this paper we solve 3 of the 6 problems of A. Kotzig on regular and strongly-regular self-complementary graphs, mentioned in “Graph Theory and Related Topics” edited by J.A. Bondy and U.S.R. Murty.
205492674
Spectra and energies of iterated line graphs of regular graphs
If G is a graph and L(G)=L1(G) its line graph, then Lk(G), k=2,3,…, defined recursively via Lk(G)=L(Lk−1(G)), are the iterated line graphs of G. If G is a regular graph of degree r, r≥3, then all negative eigenvalues of its iterated line graphs are equal to minus 2. The energy E(G) of a graph G is the sum of absolute values of the eigenvalues of G. If G is a regular graph of order n and of degree r≥3, then for each k≥2, E(Lk(G)) depends solely on n and r. In particular, E(L2(G))=2nr(r−2). This result enables a systematic construction of pairs of non-cospectral connected graphs of the same order, having equal energies.