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.
12655450
The circular chromatic index of graphs of high girth
We show that for each @e>0 and each integer @D>=1, there exists a number g such that for any graph G of maximum degree @D and girth at least g, the circular chromatic index of G is at most @[email protected]
12394638
Planar Graphs with Circular Chromatic Numbers between 3 and 4
This paper proves that for every rational number r between 3 and 4, there exists a planar graph G whose circular chromatic number is equal to r. Combining this result with a recent result of Moser, we arrive at the conclusion that every rational number r between 2 and 4 is the circular chromatic number of a planar graph.
41218825
Relaxed game chromatic number of graphs
This paper discusses a coloring game on graphs. Let k, d be non-negative integers and C a set of k colors. Two persons, Alice and Bob, alternately color the vertices of G with colors from C, with Alice having the first move. A color i is legal for an uncolored vertex x if by coloring x with color i, the subgraph of G induced by those vertices of color i has maximum degree at most d. Each move of Alice or Bob colors an uncolored vertex with a legal color. The game is over if either all vertices are colored, or no more vertices can be colored with a legal color. Alice's goal is to produce a legal coloring which colors all the vertices of G, and Bob's goal is to prevent this from happening. We shall prove that if G is a forest, then for k = 3, d ≥ 1, Alice has a winning strategy. If G is an outerplanar graph, then for k = 6 and d ≥ 1, Alice has a winning strategy.
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.
8130739
Homomorphisms to oriented cycles
We discuss the existence of homomorphisms to oriented cycles and give, for a special class of cyclesC, a characterization of those digraphs that admit, a homomorphism toC. Our result can be used to prove the multiplicativity of a certain class of oriented cycles, (and thus complete the characterization of multiplicative oriented cycles), as well as to prove the membership of the corresponding decision problem in the classNPϒcoNP. We also mention a conjecture on the existence of homomorphisms to arbitrary oriented cycles.
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.
52810083
A hierarchical modeling framework for on-chip communication architectures
The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication architecture should be included in any quantitative evaluation of system design during design space exploration. While there are several mature methodologies for the modeling and evaluation of architectures of processing elements, there is relatively little work done in modeling of an extensive range of on-chip communication architectures, and integrating this into a single modeling and simulation environment combining processing element and on-chip communication architectures. This paper describes a modeling framework with accompanying simulation tools that attempts to fill this gap. Based on an analysis of a wide range of on-chip communication architectures, we describe how a specific hierarchical class library can be used to develop new on-chip communication architectures, or variants of existing ones with relatively little incremental effort. We demonstrate this through three case studies including two commercial on-chip bus systems and an on-chip packet switching network. Here we show that through careful analysis and construction it is possible for the modeling environment to support the common features of these architectures as part of the library and permit instantiation of the individual architectures as variants of the library design. As part of this methodology we also show how different levels of abstraction of the model can be supported and viewed as different variants that can be used in an accuracy versus simulation time trade-off.
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.
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.
5621999
Accelerated Kernel Feature Analysis
A fast algorithm, Accelerated Kernel Feature Analysis (AKFA), that discovers salient features evidenced in a sample of n unclassified patterns, is presented. Like earlier kernel-based feature selection algorithms, AKFA implicitly embeds each pattern into a Hilbert space, H, induced by a Mercer kernel. An \ell-dimensional linear subspace of H is iteratively constructed by maximizing a variance condition for the nonlinearly transformed sample. This linear subspace can then be used to define more efficient data representations and pattern classifiers. AKFA requires O(\elln2) operations, as compared to 0(n^3) for Sch¨olkof, Smola, and M¨uller’s Kernel Principal Component Analysis (KPCA), and O(\ell^2 n^2) for Smola, Mangasarian, and Sch¨olkopf’s Sparse Kernel Feature Analysis (SKFA). Numerical experiments show that AKFA can generate more concise feature representations than both KPCA and SKFA, and demonstrate that AKFA obtains similar classification performance as KPCA for a face recognition problem.