14962541
Efficiently four-coloring planar graphs
An outline of aquadratic algorithm to 4-color planar graphs is presented, based upon anew proof of the Four Color Theorem. This algorithm improves aquartic algorithm of Appel and Haken.
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.
206570506
Quickly Excluding a Planar Graph
Abstract In an earlier paper, the first two authors proved that for any planar graph H , every graph with no minor isomorphic to H has bounded tree width; but the bound given there was enormous. Here we prove a much better bound. We also improve the best known bound on the tree-width of planar graphs with no minor isomorphic to a g × g grid.
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.
6227339
Proper minor-closed families are small
We prove that for every proper minor-closed class I of graphs there exists a constant c such that for every integer n the class I includes at most n!cn graphs with vertex-set {1, 2,...,n}. This answers a question of Welsh.
1883056
An Investigation into Keystroke Latency Metrics as an Indicator of Programming Performance
Typing has long been studied in psychology and HCI, and strong cognitive models for transcription typing exist. The goal of the present research was to test if there is any correlation between students' keystroking speed and performance while they are programming. We present the results from two studies with computer science students conducted in different contexts. Keystroke timings were recorded while they worked on Java and Ada source code. Quality of their programming work was measured mainly in terms of completeness. In the controlled experiment that lasted six hours, 39 students undertook three change tasks on a 6000 LOC Java application. In the field study, data was collected over 6 weeks from 141 students while they worked unsupervised on Ada programming in first year laboratories. In both cases there were highly significant (P=0.001), moderately strong, negative correlations between speed and coding performance. With additional development, these techniques may have promise for user modelling and assessment as well as in educational diagnostics.
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.
6798576
Locational pricing and scheduling for an integrated energy-reserve market
It is well known that given a network that can become constrained on voltage or real power flows, reserves must also be spatially located in order to handle all credible contingencies. However, to date, there is no credible science-based method for assigning and pricing reserves in this way. Presented in this paper is a new scheduling algorithm incorporating constraints imposed by grid security considerations, which include one base case (intact system) and a list of possible contingencies (line-out, unit-lost, and load-growth) of the system. By following a cost-minimizing co-optimization procedure, both power and reserve are allocated spatially for the combined energy and reserve markets. With the Lagrange multipliers (dual variables) obtained, the scheduling algorithm also reveals the locational shadow prices for the reserve and energy requirements. Unlike other pricing and scheduling methods in use, which are usually ad-hoc and are based on engineering judgment and experience, this proposed formulation is likely to perform better in restructured markets when market power is a potential problem. An illustrative example of a modified IEEE 30-bus system is used to introduce concepts and present results.
6336074
Developing Case Studies to Enhance Student Learning
In this paper we describe the cases developed in response to the multifaceted challenges we faced in educating IT professionals in intermediate-level programming. The challenges included: the practical nature of the subject, the level of skill attained, preparing students for the workplace and class size. We implemented Problem-Based Learning (PBL) as the teaching and learning method to meet these challenges by helping first-year university students learn programming while simultaneously developing graduate capabilities. This necessitated redevelopment of the curriculum and the way it was taught. We combined software engineering and information systems approaches in real-world scenarios. The cases were designed to help students come to terms with the human side of information technology through the context and method of teaching and learning as they worked through the cases.
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).