19039072
Construction of sparse graphs with prescribed circular colorings
Abstract This paper constructively proves the following result: Suppose that k⩾3d−2 , (k,d)=1 , A is a finite set and f 1 ,f 2 ,…,f n are mappings from A to {0,1,…,k−1} . Then, for any integer l , there is a graph G=(V,E) of girth at least l with A⊂V , such that G has exactly n (k,d) -colorings (up to a permutation of the colors) g 1 ,g 2 ,…,g n , and each g i is an extension of f i . This result generalizes a result of Muller who proved this for k -colorings. Note that for n=1 , the method presented in this paper gives a construction of uniquely (k,d) -colorable graphs.
17776907
Circular perfect graphs
For 1 ≤ d ≤ k, let Kk/d be the graph with vertices 0, 1, · · · , k − 1, in which i ∼ j if d ≤ |i − j| ≤ k − d. The circular chromatic number χc(G) of a graph G is the minimum of those k/d for which G admits a homomorphism to Kk/d. The circular clique number ωc(G) of G is the maximum of those k/d for which Kk/d admits a homomorphism to G. A graph G is circular perfect if for every induced subgraph H of G we have χc(H) = ωc(H). This paper surveys results on circular perfect graphs.
5956515
Homomorphisms to oriented paths
Abstract Given an oriented path P , we characterize those digraphs G which are homomorphic to P . The characterization equates the nonexistence of a homomorphism G → P with the existence of a homomorphism W → G , for some oriented path W which is not homomorphic to P . This result complements the recent polynomial time algorithm of Welzl et al. to find such a homomorphism (if one exists).
42953989
The game coloring number of pseudo partial k-trees
Abstract This paper introduces a new class of graphs: (a,b)-pseudo partial k-trees. In some sense, the parameters (a,b) measure a graph's deviation from being a partial k-tree. In particular, a (0,0)-pseudo partial k-tree is just a partial k-tree. We discuss the game coloring number (as well as the game chromatic number) of (a,b)-pseudo partial k-trees, and prove that the game coloring number of an (a,b)-pseudo partial k-tree is at most 3k+2a+b+2. In particular, the game coloring number of a partial k-tree is at most 3k+2. This reduces considerably the previous known upper bound for the game chromatic number of a partial k-tree. Then we describe another strategy for Alice for playing the game, which gives a better upper bound for the game coloring number of (a,b)-pseudo partial 2-trees. Namely, we prove that the game coloring number of an (a,b)-pseudo partial 2-tree is at most a+b+8. By using this result, we prove that the game coloring number of a graph embeddable on an orientable surface of genus g⩾1 is at most ⌊ 1 2 (3 1+48g +23)⌋. This is the first upper bound for the game coloring number of such graphs, and it also improves considerably the previous known upper bound for the game chromatic number of such graphs. Moreover, the strategy for Alice introduced in this paper for playing the game can be considered as a common generalization of the previous known strategies for playing the game on forests, interval graphs, outerplanar graphs and planar graphs.
206792834
Star chromatic numbers of graphs
We investigate the relation between the star-chromatic number χ(G) and the chromatic number χ(G) of a graphG. First we give a sufficient condition for graphs under which their starchromatic numbers are equal to their ordinary chromatic numbers. As a corollary we show that for any two positive integersk, g, there exists ak-chromatic graph of girth at leastg whose star-chromatic number is alsok. The special case of this corollary withg=4 answers a question of Abbott and Zhou. We also present an infinite family of triangle-free planar graphs whose star-chromatic number equals their chromatic number. We then study the star-chromatic number of An infinite family of graphs is constructed to show that for each ε>0 and eachm≥2 there is anm-connected (m+1)-critical graph with star chromatic number at mostm+ε. This answers another question asked by Abbott and Zhou.
7791840
Pseudo-Hamiltonian-connected graphs
Abstract Given a graph G and a positive integer k , denote by G[k] the graph obtained from G by replacing each vertex of G with an independent set of size k . A graph G is called pseudo- k Hamiltonian-connected if G[k] is Hamiltonian-connected, i.e., every two distinct vertices of G[k] are connected by a Hamiltonian path. A graph G is called pseudo Hamiltonian-connected if it is pseudo- k Hamiltonian-connected for some positive integer k . This paper proves that a graph G is pseudo-Hamiltonian-connected if and only if for every non-empty proper subset X of V(G) , |N(X)|>|X| . The proof of the characterization also provides a polynomial-time algorithm that decides whether or not a given graph is pseudo-Hamiltonian-connected. The characterization of pseudo-Hamiltonian-connected graphs also answers a question of Richard Nowakowski, which motivated this paper.
31920818
Automatic model-based semantic object extraction algorithm
Automatic image segmentation and object extraction play an important role in supporting content-based image coding, indexing, and retrieval. However, the low-level visual homogeneity critical (like color, texture, intensity, and so on) for segmentation do not lead to semantic objects directly because a semantic object can contain totally different gray levels, color, or texture. We propose an automatic model-based semantic object extraction algorithm by integrating object seeds with their region constraint graphs (perceptual models). Images are first partitioned into a set of homogeneous regions with accurate boundaries by integrating the results obtained by similarity-based region growing and edge detection procedures. We propose a 1-D fast entropic thresholding technique for determining the thresholds used in region growing and edge detection automatically. The object seeds, which are the intuitive and representative parts of semantic objects, are then distinguished from these homogeneous image regions. A seeded region aggregation procedure is used for merging the adjacent regions of a detected object seed to give a semantic object according to the perceptual model of the object. We focus on semantic human object generation by taking faces as object seeds and using a ratio-based perceptual model.
205872736
Flatness tolerance evaluation: an approximate minimum zone solution
Abstract This paper is concerned with the problem of flatness tolerance evaluation. First, we introduce the concepts of width and inner radius of point sets, and establish the equivalence between the width of a point set and the inner radius of the convex hull of the self-difference of the set. On this basis, we present an algorithm for calculating the exact minimum zone tolerance of flatness. Second, we prove that an approximation of the inner radius of a convex set can be obtained from the inner radius of the set in fixed direction. On this basis, we present an algorithm for calculating the ‘almost exact’ minimum zone solution. This algorithm is implemented by solving a single linear programming problem, of which the computational complexity is O ( n ). Numerical examples are given to validate the proposed algorithms.
3096549
Kernel conditional random fields: representation and clique selection
Kernel conditional random fields (KCRFs) are introduced as a framework for discriminative modeling of graph-structured data. A representer theorem for conditional graphical models is given which shows how kernel conditional random fields arise from risk minimization procedures defined using Mercer kernels on labeled graphs. A procedure for greedily selecting cliques in the dual representation is then proposed, which allows sparse representations. By incorporating kernels and implicit feature spaces into conditional graphical models, the framework enables semi-supervised learning algorithms for structured data through the use of graph kernels. The framework and clique selection methods are demonstrated in synthetic data experiments, and are also applied to the problem of protein secondary structure prediction.
10041607
Comparison of Modularization Methods in Application to Different Biological Networks
Most biological networks have been proposed to possess modular organization, which increases the robustness, flexibility, and stability of networks. Many clustering methods have been used in mining biological data and partitioning complex networks into functional modules. Most of these methods require presetting the number of modules and therefore can potentially obtain biased results. The Markov clustering method (MCL) and the simulated annealing module-detection method (SA) eliminate this requirement and can objectively separate relatively dense subgraphs. In this paper, we compared these two module-detection methods for three types of biological data: protein family classification, microarray clustering, and modularity of metabolic networks. We found that these two methods show differential advantages for different biological networks. In the case of the gene network based on Affymetrix microarray spike data, MCL exactly identified the same number of groups and same contents in each group set by the spike data. In the case of the gene network derived from actual expression data, although neither of the two methods can perfectly recover the natural classification, MCL performs slightly better than SA. However, with increased random noise added to the gene expression values, SA generates better modular structures with higher modularity. Next we compared the modularization results of MCL and SA for protein family classification and found the modules detected by SA could not be well matched with the Structural Classification of Proteins (SCOP database), which suggests that MCL is ideally suited to the rapid and accurate detection of protein families. In addition, we used both methods to detect modules in the metabolic network of E. coli. MCL gives a trivial clustering, which generates biologically insignificant modules. In contrast, SA detects modules well corresponding to the KEGG functional classification. Moreover the modularity for several other metabolic networks detected by SA is also much higher than that by MCL. In summary, MCL is more suited to modularize relatively complete and definite data, such as a protein family network. In contrast, SA is less sensitive to noise such as experimental error or incomplete data and outperforms MCL when modularizing gene networks based on microarray data and large scale metabolic networks constructed from incomplete databases.
739919
Orion: a power-performance simulator for interconnection networks
With the prevalence of server blades and systems-on-a-chip (SoCs), interconnection networks are becoming an important part of the microprocessor landscape. However, there is limited tool support available for their design. While performance simulators have been built that enable performance estimation while varying network parameters, these cover only one metric of interest in modern designs. System power consumption is increasingly becoming equally, if not more important than performance. It is now critical to get detailed power-performance tradeoff information early in the microarchitectural design cycle. This is especially so as interconnection networks consume a significant fraction of total system power. It is exactly this gap that the work presented in this paper aims to fill.We present Orion, a power-performance interconnection network simulator that is capable of providing detailed power characteristics, in addition to performance characteristics, to enable rapid power-performance trade-offs at the architectural-level. This capability is provided within a general framework that builds a simulator starting from a microarchitectural specification of the interconnection network. A key component of this construction is the architectural-level parameterized power models that we have derived as part of this effort. Using component power models and a synthesized efficient power (and performance) simulator, a microarchitect can rapidly explore the design space. As case studies, we demonstrate the use of Orion in determining optimal system parameters, in examining the effect of diverse traffic conditions, as well as evaluating new network microarchitectures. In each of the above, the ability to simultaneously monitor power and performance is key in determining suitable microarchitectures.