35890566
On Isomorphisms of Minimal Cayley Graphs and Digraphs
Abstract. A Cayley graph or digraph Cay(G,S) is called a CI-graph of G if, for any T⊂G, Cay(G,S)≅Cay(G,T) if and only if Sσ=T for some σ∈Aut(G). The aim of this paper is to characterize finite abelian groups for which all minimal Cayley graphs and digraphs are CI-graphs.
8520561
Bounding the bandwidths for graphs
Let G;H be nite graphs with jV(H)j>jV(G)j. The bandwidth of G with respect to H is dened to be BH(G) = minmaxuv2E(G)dH((u);(v)), with the minimum taken over all injections from V(G )t oV(H), where dH(x;y) is the distance in H between two vertices x;y 2 V(H). This number is involved with the VLSI design and optimization, especially when the \host" graph H is a path Pn or a cycle Cn of length n = jV(G)j. In these two cases, BH(G) is known to be the ordinary bandwidth B(G) and the cyclic bandwidth Bc(G), respectively, and the corresponding decision problem is NP-complete. So estimations of B(G), Bc(G) and in general BH(G) are needed, especially in determining the bandwidths of some specic graphs. In this paper, we rst propose a systematic method for obtaining lower bounds for the bandwidth BH(G). By using this method, we then get a number of lower bounds for B(G) and Bc(G )i n terms of some distance- and degree-related parameters. c 2000 Elsevier Science B.V. All rights reserved.
14780024
Fuzzy causal networks: general model, inference, and convergence
In this paper, we first propose a general framework for fuzzy causal networks (FCNs). Then, we study the dynamics and convergence of such general FCNs. We prove that any general FCN with constant weight matrix converges to a limit cycle or a static state, or the trajectory of the FCN is not repetitive. We also prove that under certain conditions a discrete state general FCN converges to its limit cycle or static state in O(n) steps, where n is the number of vertices of the FCN. This is in striking contrast with the exponential running time 2/sup n/, which is accepted widely for classic FCNs.
14537383
Constructing a Class of Symmetric Graphs
We find a natural construction of a large class of symmetric graphs from point- and block-transitive 1-designs. The graphs in this class can be characterized as G -symmetric graphs whose vertex sets admit a G -invariant partition B of block size at least 3 such that, for any two blocks B, C of B, either there is no edge between B and C, or there exists only one vertex in B not adjacent to any vertex inC . The special case where the quotient graph ?Bof ? relative to B is a complete graph occurs if and only if the 1-design needed in the construction is a G -doubly transitive and G -block-transitive 2-design, and in this case we give an explicit classification of ? when G is a doubly transitive projective group or an affine group containing the affine general group. Examples of such graphs include cross ratio graphs studied recently by Gardiner, Praeger and Zhou and some other graphs with vertices the (point, line)-flags of the projective or affine geometry.
18154847
Dynamic domination in fuzzy causal networks
This paper presents a dynamic domination theory for fuzzy causal networks (FCN). There are three major contributions. First, we propose a new inference procedure based on dominating sets. Second, we introduce the concepts of dynamic and minimal dynamic dominating sets (DDS and MDDS) in an FCN. To reflect changes of dominance with time, we also introduce the concept of a dynamic dominating process (DDP) that has significant implications in many real-world problems. We pay a special attention to the minimal dynamic dominating process (MDDP) and develop rules for generating DDP and MDDP. Third, we investigate dynamic dominating sets with extended feedback, which we call effective dynamic dominating sets (EDDS), and related effective dynamic dominating process (EDDP). This study unveils a very important phenomenon in FCN: At any time t, either an EDDS exists or there is a dramatic change of the states of vertices. In the latter case we also identify the special structure of the sub-FCN induced by active vertices.
38623555
Domination number and neighbourhood conditions
Abstract The domination number γ of a graph G is the minimum cardinality of a subset D of vertices of G such that each vertex outside D is adjacent to at least one vertex in D . For any subset A of the vertex set of G , let ∂ + ( A ) be the set of vertices not in A which are adjacent to at least one vertex in A . Let N (A) be the union of A and ∂ + ( A ), and d ( A ) be the sum of degrees of all the vertices of A . In this paper we prove the inequality 2q ⩽ (p−γ)(p−γ+2)−|∂ + (A)| (p−γ+1)+d( N (A)) , and characterize the extremal graphs for which the equality holds, where p and q are the numbers of vertices and edges of G , respectively. From this we then get an upper bound for γ which generalizes the known upper bound γ⩽p+1− 2q+1 . Let I ( A ) be the set of vertices adjacent to all vertices of A , and I (A) be the union of A and I ( A ). We prove that 2q ⩽ (p − γ − | I (A)| + 2)(p − γ + 4) + d( I (A)) − min {p − γ − | I (A)| + 2, |A|, |I(A)|, 3} , which implies an upper bound for γ as well.
1466117
Redundancy and Robustness of the AS-level Internet topology and its models
A comparison between the topological properties of the measured Internet topology, at the autonomous system level (AS graph), and the equivalent graphs generated by two different power law topology generators are presented. Only one of the synthetic generators reproduces the tier connectivity of the AS graph.
13254850
Profile guided management of code partitions for embedded systems
Researchers have proposed to divide embedded applications into code partitions and to download partitions on demand from a wireless code server to enable a diverse set of applications for very tightly constrained embedded systems. This paper describes a new approach for managing the request and storage of code partitions and we explore the benefits of our scheme.
18318661
Characterization of Human Faces under Illumination Variations Using Rank, Integrability, and Symmetry Constraints
Photometric stereo algorithms use a Lambertian reflectance model with a varying albedo field and involve the appearances of only one object. This paper extends photometric stereo algorithms to handle all the appearances of all the objects in a class, in particular the class of human faces. Similarity among all facial appearances motivates a rank constraint on the albedos and surface normals in the class. This leads to a factorization of an observation matrix that consists of exemplar images of different objects under different illuminations, which is beyond what can be analyzed using bilinear analysis. Bilinear analysis requires exemplar images of different objects under same illuminations. To fully recover the class-specific albedos and surface normals, integrability and face symmetry constraints are employed. The proposed linear algorithm takes into account the effects of the varying albedo field by approximating the integrability terms using only the surface normals. As an application, face recognition under illumination variation is presented. The rank constraint enables an algorithm to separate the illumination source from the observed appearance and keep the illuminant-invariant information that is appropriate for recognition. Good recognition results have been obtained using the PIE dataset.
728
Analyzing and modelling the AS-level Internet topology
Recently we introduced the rich-club phenomenon as a quantitative metric to characterize the tier structure of the Autonomous Systems level Internet topology (AS graph) and we proposed the Interactive Growth (IG) model, which closely matches the degree distribution and hierarchical structure of the AS graph and compares favourble with other available Internet power-law topology generators. Our research was based on the widely used BGP AS graph obtained from the Oregon BGP routing tables. Researchers argue that Traceroute AS graph, extracted from the traceroute data collected by the CAIDA's active probing tool, Skitter, is more complete and reliable. To be prudent, in this paper we analyze and compare topological structures of Traceroute AS graph and BGP AS graph. Also we compare with two synthetic Internet topologies generated by the IG model and the well-known Barabasi-Albert (BA) model. Result shows that both AS graphs show the rich-club phenomenon and have similar tier structures, which are closely matched by the IG model, however the BA model does not show the rich-club phenomenon at all.
17046861
Appearance modeling under geometric context
We propose a unified framework based on a general definition of geometric transform (GeT) for modeling appearance. GeT represents the appearance by applying designed functionals over certain geometric sets. We show that image warping, Radon transform, trace transform, etc. are special cases of our definition. Moreover, three different types of GeTs are designed to handle deformation, articulation and occlusion and applied to fingerprinting the appearance inside a contour. They include the contour-driven GeT, the feature curve based GeT and selecting functionals to model the appearance inside the convex hull of the contour. A multi-resolution representation that combines both shape and appearance information is also proposed. We apply our approach to image synthesis and object recognition. The proposed approach produces promising results when applied to fingerprinting the appearance of human and body parts despite the challenges due to articulated motion and deformations