3104562
Quickly excluding a forest
Abstract We prove that for every forest F , every graph with no minor isomorphic to F has path-width at most | V ( F )| −2.
206570580
Sachs' Linkless Embedding Conjecture
Abstract We prove Sachs′ conjecture that a graph can be embedded in 3-space so that it contains no non-trivial link (in the sense of knot theory) if and only if it contains as a minor none of the seven graphs obtainable from K 6 by Y − Δ and Δ − Y exchanges. We also show the following: (i) A graph admits such a "linkless" embedding if and only if it admits a "panelled" embedding, one such that every circuit of the graph bounds a disc disjoint from the remainder of the graph. This was a conjecture of Bohme. (ii) An embedding is panelled if and only if for every subgraph, its complement in 3-space has free fundamental group. This extends a theorem of Scharlemann and Thompson, who proved it for planar graphs. (iii) If two panelled embeddings of the same graph are "different," that is, are not related by an orientation-preserving homeomorphism of the 3-space, then there is a subgraph which is a subdivision of K 5 or K 3, 3 such that the two induced embeddings of this subgraph are still different.
10511288
Clique Minors in Graphs and Their Complements
A graph H is a minor of a graph G if H can be obtained from a subgraph of G by contracting edges. Let t?1 be an integer, and let G be a graph on n vertices with no minor isomorphic to Kt+1. Kostochka conjectures that there exists a constant c=c(t) independent of G such that the complement of G has a minor isomorphic to Ks, where s=?12(1+1/t)n?c?. We prove that Kostochka's conjecture is equivalent to the conjecture of Duchet and Meyniel that every graph with no minor isomorphic to Kt+1 has an independent set of size at least n/t. We deduce that Kostochka's conjecture holds for all integers t?5, and that a weaker form with s replaced by s?=?12(1+1/(2t))n?c? holds for all integers t?1.
2783736
List Edge-Colorings of Series-Parallel Graphs
It is proved that for every integer $k\ge3$, for every (simple) series-parallel graph $G$ with maximum degree at most $k$, and for every collection $(L(e):e\in E(G))$ of sets, each of size at least $k$, there exists a proper edge-coloring of $G$ such that for every edge $e\in E(G)$, the color of $e$ belongs to $L(e)$.
18561897
Excluding infinite minors
Let ? be an infinite cardinal, and let H be either a complete graph with ? vertices, or a tree in which every vertex has valency ?. What can we say about graphs G which (i) have no minor isomorphic to H, or (ii) contain no subgraph which is a subdivision of H?These four questions are answered for each infinite cardinal ?. In each case we find that there corresponds a necessary and sufficient structural condition (or, in some cases, several equivalent conditions) for G not to contain H in the appropriate way. We survey these results and a number of related theorems.
33726107
A menger-like property of tree-width: The finite case
The notion of tree-width was introduced by Robertson and Symour. A graph has tree-width ≦ w if it admits a tree-decomposition of tree-width ≦ w. We prove here that if G is finite and has tree-width ≦ w then it admits a tree-decomposition of tree-width ≦ w which satisfies a certain Menger-like condition. This result will be used in a future paper on well-quasi-ordering infinite graphs of bounded tree-width.
31409070
Hermite interpolation with a pair of spirals
Abstract The Hermite interpolation problem in the plane considered here is to join two points and to match given unit tangent vectors and signed curvatures at the two points with various G 2 curves consisting of a pair of spirals. The rotation of the tangent vector of the interpolating curve from one point to the other is restricted to being less than π. The necessary and sufficient conditions for the existence of each of the various curves are given.
1283266
A guided clothoid spline
Abstract A method is described whereby a G 2 planar curve consisting of clothoid (Cornu spiral) segments, circular arcs and straight line segments is constructed. The curve passes through given points, is expressed parametrically, and has the attractive feature that the arc length and curvature are piecewise linear functions of the parameter. The given points through which the curve passes must be restricted somewhat so that a unique clothoid exists between each pair of points.
9403384
A pilot study of teaching the strategic use of common computer applications
Many users do not progress from a basic use of computer applications to more efficient usage. A strategic approach to training that focuses on teaching efficient strategies in addition to commands was successfully developed by Bhavnani and John at Carnegie Mellon University. A controlled experiment comparing this method of teaching to traditional command-based instruction was performed at the University of Western Australia. We found the teaching method is transferable to the Australian context and it appears to be remarkably robust in terms of delivery, student prior experience levels and motivation. The results clearly indicate that students can be taught to use common computer applications more efficiently than they would otherwise achieve.
14857147
An economic analysis of the self commitment of thermal units
Given the load profile of an electricity market and the capabilities of the set of generators supplying power to that market, it is likely that at any given point in time, available supply will exceed demand. If only a subset of generators is required, some method is required to commit and de-commit generators. In the past, system operators have employed a centralized method of unit commitment. Deregulation of the electricity industry throws doubt on the continued suitability of this method due to fairness issues and availability of accurate cost data. This paper examines the performance of decentralized unit commitment, where dispatch of generators is determined by offer curves submitted into a spot market by power producers.
2943319
Thermal unit commitment including optimal AC power flow constraints
The authors propose a new algorithm for unit commitment that employs a Lagrange relaxation technique with a new augmentation of the Lagrangian. The new augmentation involves a duplication of variables that allows relaxation of the coupling between generator time-spanning constraints and system-wide instantaneous constraints. This framework allows the possibility of committing units that are required for the VArs that they can produce, as well as for their real power. Furthermore, although the algorithm is very CPU-intensive, the separation structure of the Lagrangian allows its implementation in parallel computers. Their work builds upon that of Batut and Renaud (1992), as well as that of Baldick (1995).