25871713
A Polynomial Algorithm for Homomorphisms to Oriented Cycles
W. Gutjahr, E. Welzl, and G. Woeginger have given a polynomial time algorithm to decide whether a given digraph is homomorphic to an oriented path. The corresponding problem for oriented cycles (i.e., given a digraph G, is it homomorphic to a fixed oriented cycle C?) remained open. We prove that if C is an unbalanced cycle then this problem is polynomial time decidable.
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.
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.
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.
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).
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.
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.
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.
2122679
Combining proactive and reactive predictions for data streams
Mining data streams is important in both science and commerce. Two major challenges are (1) the data may grow without limit so that it is difficult to retain a long history; and (2) the underlying concept of the data may change over time. Different from common practice that keeps recent raw data, this paper uses a measure of conceptual equivalence to organize the data history into a history of concepts. Along the journey of concept change, it identifies new concepts as well as re-appearing ones, and learns transition patterns among concepts to help prediction. Different from conventional methodology that passively waits until the concept changes, this paper incorporates proactive and reactive predictions. In a proactive mode, it anticipates what the new concept will be if a future concept change takes place, and prepares prediction strategies in advance. If the anticipation turns out to be correct, a proper prediction model can be launched instantly upon the concept change. If not, it promptly resorts to a reactive mode: adapting a prediction model to the new data. A system RePro is proposed to implement these new ideas. Experiments compare the system with representative existing prediction methods on various benchmark data sets that represent diversified scenarios of concept change. Empirical evidence demonstrates that the proposed methodology is an effective and efficient solution to prediction for data streams.
6174679
Correlation Clustering for Crosslingual Link Detection
The crosslingual link detection problem calls for identifying news articles in multiple languages that report on the same news event. This paper presents a novel approach based on constrained clustering. We discuss a general way for constrained clustering using a recent, graph-based clustering framework called correlation clustering. We introduce a correlation clustering implementation that features linear program chunking to allow processing larger datasets. We show how to apply the correlation clustering algorithm to the crosslingual link detection problem and present experimental results that show correlation clustering improves upon the hierarchical clustering approaches commonly used in link detection, and, hierarchical clustering approaches that take constraints into account.
1057136
Corrective Classification: Classifier Ensembling with Corrective and Diverse Base Learners
Empirical studies on supervised learning have shown that ensembling methods lead to a model superior to the one built from a single learner under many circumstances especially when learning from imperfect, such as biased or noise infected, information sources. In this paper, we provide a novel corrective classification (C2) design, which incorporates error detection, data cleansing and Bootstrap sampling to construct base learners that constitute the classifier ensemble. The essential goal is to reduce noise impacts and eventually enhance the learners built from noise corrupted data. We further analyze the importance of both the accuracy and diversity of base learners in ensembling, in order to shed some light on the mechanism under which C2 works. Experimental comparisons will demonstrate that C2 is not only superior to the learner built from the original noisy sources, but also more reliable than bagging or the aggressive classifier ensemble (ACE), which are two degenerate components/variants of C2.