9928349
The Four-Colour Theorem
The four-colour theorem, that every loopless planar graph admits a vertex-colouring with at most four different colours, was proved in 1976 by Appel and Haken, using a computer. Here we give another proof, still using a computer, but simpler than Appel and Haken's in several respects.
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.
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.
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.
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)$.
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.
6233472
Underlying technical issues in electricity deregulation
This paper reports on the results of an attempt by the Power Systems Engineering Research Center (Pserc) and EPRI to determine the technical tools missing in currently unfolding electric power restructuring scenarios. Needed tools have been divided into the functional categories of generation, transmission and distribution. In each category, there seems to be a common need to interface existing technical tools with the new economic unbundling.
14742276
Finger tracking for the Digital Desk
One trend in computing environments today is to move towards more 'natural' interaction. Another is to make hardware invisible to the user. Both these ideas converge into ubiquitous computing-the Digital Desk is an example of this idea. In this paper, we concentrate on an input device for the Digital Desk, namely the user's fingertip, which is made to act like a mouse. Tracking such an input device is common to a number of augmented reality environments and involves vision and motion analysis. However, previous attempts have focused more on the vision aspect of tracking general objects than on using the information already known about the user's hand, which is the approach taken in this paper. We adopted the goal of tracking the user's fingertips as fast as possible in real time, so that the system could be compared with other input devices by using models such as Fitts' law. Our system is shown to comply with the law adequately.
10032152
Parallel processing implementation of the unit commitment problem with full AC power flow constraints
The authors describe a parallel implementation of the Lagrangian Relaxation Algorithm with variable duplication for the thermal unit commitment problem. The formulation was previously reported by the authors and allows inclusion of the full nonlinear AC network power flow model, which permits addressing voltage limits, as well as more realistic branch flow limits than is possible with a linear DC flow model. Thus, potential VAr production can be used as another criterion for commitment of otherwise expensive generators in strategic locations. The algorithm is highly parallelizable, and the authors have taken advantage of this in a version currently being developed for the Cornell Theory Center's Velocity AC3 NT cluster.
13961083
Experimental tests of competitive markets for electric power
Testing the performance of electricity markets using POWERWEB has already shown that relatively inexperienced players can identify and exploit market power in load pockets. When transmission constraints are not binding, however, auctions with six players have been shown to be efficient. There is evidence from operating electricity markets that prices can be driven above competitive levels when the largest supplier controls less than 20% of total installed capacity. This is accomplished by causing price spikes to occur. In experiments, uncertainty about the actual load and paying standby costs regardless of whether or not a unit is actually dispatched contribute to volatile price behavior. The objective of this paper is to investigate characteristics of a market that affect price volatility. The tests consider three different sets of rules for setting price when there are capacity shortfalls, and the following four market structures: load is responsive to price; price forecasts are made before market settlement; a day-ahead market and a balancing market auction; and suppliers are paid actual offers (a discriminatory auction).
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.