39336188
Local Strongly Arc-Connectivity in Regular Bipartite Digraphs
We show that for any vertex x of a d-regular bipartite digraph there are a vertex y, in the other class of the bipartition, and d (x, y)-paths and d (y, x)-paths such that all 2d of them are pairwise arc-disjoint. This result generalizes a theorem of Hamidoune and Las Vergnas for graphs.
297940
Connectivity of Cartesian product graphs
Use v"i,@k"i,@l"i,@d"i to denote order, connectivity, edge-connectivity and minimum degree of a graph G"i for i=1,2, respectively. For the connectivity and the edge-connectivity of the Cartesian product graph, up to now, the best results are @k(G"1xG"2)>=@k"1+@k"2 and @l(G"1xG"2)>=@l"1+@l"2. This paper improves these results by proving that @k(G"1xG"2)>=min{@k"1+@d"2,@k"2+@d"1} and @l(G"1xG"2)=min{@d"1+@d"2,@l"1v"2,@l"2v"1} if G"1 and G"2 are connected undirected graphs; @k(G"1xG"2)>=min{@k"1+@d"2,@k"2+@d"1,2@k"1+@k"2,2@k"2+@k"1} if G"1 and G"2 are strongly connected digraphs. These results are also generalized to the Cartesian products of n(>=3) connected graphs and n strongly connected digraphs, respectively.
872168
The super connectivity of shuffle-cubes
The shuffle-cube SQn, where n ≡ 2 (mod 4), a new variation of hypercubes proposed by Li et al. [T.-K. Li, J.J.M. Tan, L.-H. Hsu, T.-Y. Sung, The shuffle-cubes and their generalization, Inform. Process. Lett. 77 (2001) 35-41], is an n-regular n-connected graph. This paper determines that the super connectivity of SQn is 2n - 4 and the super edge-connectivity is 2n - 2 for n ≥ 6.
15426263
Super connectivity of line graphs
The super connectivity κ' and the super edge-connectivity λ' are more refined network reliability indices than connectivity κ and edge-connectivity λ. This paper shows that for a connected graph G with order at least four rather than a star and its line graph L(G), κ'(L(G)) = λ'(G) if and only if G is not super-λ'. As a consequence, we obtain the result of Hellwig et al. [Note on the connectivity of line graphs, Inform. Process. Lett. 91 (2004) 7] that κ(L(G)) = λ'(G). Furthermore, the authors show that the line graph of a super-λ' graph is super-λ if the minimum degree is at least three.
30370540
On (d, 2)-dominating numbers of binary undirected de Bruijn graphs
Abstract In this paper, we show that: (i) For n-dimensional undirected binary de Bruijn graphs, UB(n), n⩾4, there is a vertex x=x 1 x 1 x 1 ⋯ x 1 x 1 (x1=1 or 0) such that for any other vertex t there exist at least two internally disjoint paths of length at most n−1 between x and t in UB(n), i.e., the (n−1,2)-dominating number of UB(n) is equal to one. (ii) For n⩾5, let S={100⋯01,011⋯10}. For any other vertex t there exist at least two internally disjoint paths of length at most n−2 between t and S in UB(n), i.e., the (n−2,2)-dominating number of UB(n) is no more than 2.
10735574
Forwarding indices of folded n-cubes
For a given connected graph G of order n, a routing R is a set of n(n - 1) elementary paths specified for every ordered pair of vertices in G. The vertex (resp. edge) forwarding index of a graph is the maximum number of paths of R passing through any vertex (resp. edge) in the graph. In this paper, the authors determine the vertex and the edge forwarding indices of a folded n-cube as (n-1)2n-1 +1-((n+l)/2) (n ⌊n+1/2⌋) and 2n-(n,⌊n+1/2⌋),respectively.
42016450
Geometric permutations of higher dimensional spheres
In this paper, we prove that the maximum number of geometric permutations (induced by line transversals) of a set of n pairwise disjoint spheres with a bounded radius ratio in Rd for d ≥ 3 is at most 2⌊√2M⌋+1, where M is the ratio of the largest radius and the smallest radius of the spheres. Setting M to 1, this gives an upper bound of 4 on the maximum number of geometric permutations for congruent spheres in Rd, matching a recently independently discovered result [Y. Zhou, S. Suri, in: Proc. of 12th Annual ACM-SIAM Symp. on Discrete Algorithms, 2001, pp. 234-243] on this case. Our result settles a conjecture in combinatorial geometry.
2513560
An Algebraic Multigrid Method for Higher-order Finite Element Discretizations
In this paper, we will design and analyze a class of new algebraic multigrid methods for algebraic systems arising from the discretization of second order elliptic boundary value problems by high-order finite element methods. For a given sparse stiffness matrix from a quadratic or cubic Lagrangian finite element discretization, an algebraic approach is carefully designed to recover the stiffness matrix associated with the linear finite element disretization on the same underlying (but nevertheless unknown to the user) finite element grid. With any given classical algebraic multigrid solver for linear finite element stiffness matrix, a corresponding algebraic multigrid method can then be designed for the quadratic or higher order finite element stiffness matrix by combining with a standard smoother for the original system. This method is designed under the assumption that the sparse matrix to be solved is associated with a specific higher order, quadratic for example, finite element discretization on a finite element grid but the geometric data for the underlying grid is unknown. The resulting new algebraic multigrid method is shown, by numerical experiments, to be much more efficient than the classical algebraic multigrid method which is directly applied to the high-order finite element matrix. Some theoretical analysis is also provided for the convergence of the new method.
14297439
Geometric permutations of high dimensional spheres
We prove the maximum number of geometric permutations, induced by line transversals to a set of <i>n</i> pairwise disjoint congruent spheres in <i>R<sup>d</sup></i> with <i>d</i> ⪈ 3, is no more than 4 when <i>n</i> is sufficiently large, achieving the best known upper bound for this problem. We also prove the maximum number of geometric permutations of a set of <i>n</i> noncongruent spheres of bounded radius ratio in R<sup>d</sup>, <i>d</i> ⪈ 3, is at most 2<sup>[√2<i>M</i>]+1</sup>, where <i>M</i> is the ratio or the largest radius and the smallest radius. Our result settles a conjecture in combinatorial geometry.
15430467
A Supervised Learning Approach to Search of Definitions
This paper addresses the issue of search of definitions. Specifically, for a given term, we are to find out its definition candidates and rank the candidates according to their likelihood of being good definitions. This is in contrast to the traditional methods of either generating a single combined definition or outputting all retrieved definitions. Definition ranking is essential for tasks. A specification for judging the goodness of a definition is given. In the specification, a definition is categorized into one of the three levels: good definition, indifferent definition, or bad definition. Methods of performing definition ranking are also proposed in this paper, which formalize the problem as either classification or ordinal regression. We employ SVM (Support Vector Machines) as the classification model and Ranking SVM as the ordinal regression model respectively, and thus they rank definition candidates according to their likelihood of being good definitions. Features for constructing the SVM and Ranking SVM models are defined, which represent the characteristics of terms, definition candidate, and their relationship. Experimental results indicate that the use of SVM and Ranking SVM can significantly outperform the baseline methods such as heuristic rules, the conventional information retrieval—Okapi, or SVM regression. This is true when both the answers are paragraphs and they are sentences. Experimental results also show that SVM or Ranking SVM models trained in one domain can be adapted to another domain, indicating that generic models for definition ranking can be constructed.
30458595
Finding an Optimal Path without Growing the Tree
In this paper, we study a class of optimal path problems with the following phenomenon: The space complexity of the algorithms for reporting the lengths of single-source optimal paths for these problems is asymptotically smaller than the space complexity of the "standard" treegrowing algorithms for finding actual optimal paths. We present a general and efficient algorithmic paradigm for finding an actual optimal path for such problems without having to grow a single-source optimal path tree. Our paradigm is based on the "marriage-before-conquer" strategy, the prune-and-search technique, and a data structure called clipped trees. The paradigm enables us to compute an actual path for a number of optimal path problems and dynamic programming problems in computational geometry, graph theory, and combinatorial optimization. Our algorithmic solutions improve the space bounds (in certain cases, the time bounds as well) of the previously best known algorithms, and settle some open problems. Our techniques are likely to be applicable to other problems.