An algorithm, which for fixed k ≥ 0 has running time O (| V(G) | 3 ), to solve the following problem: given a graph G and k pairs of vertices of G, decide if there are k mutually vertex-disjoint paths of G joining the pairs.Expand

A graph G is perfect if for every induced subgraph H, the chromatic number of H equals the size of the largest complete subgraph of H, and G is Berge if no induced subgraph of G is an odd cycle of… Expand

It is proved that every directed graph with no “haven” of large order has small tree-width, and the Hamilton cycle problem and other NP-hard problems can be solved in polynomial time when restricted to digraphs of bounded tree- width.Expand

Another proof is given, still using a computer, but simpler than Appel and Haken's in several respects, that every loopless planar graph admits a vertex-colouring with at most four different colours.Expand