A polynomial-time randomised algorithm for uniformly generating forests in a dense graph is presented. Using this, a fully polynomial randomised approximation scheme (fpras) for counting the number of forests in a dense graph is created.

We show that the random insertion method for the traveling salesman problem (TSP) may produce a tour Ω(log log n/log log log n) times longer than the optimal tour. The lower bound holds even in the Euclidean Plane. This is in contrast to the fact that the random insertion method performs extremely well in practice. In passing, we show that other insertion methods may produce tours Ω(log n/log log n) times longer than the optimal one. No non-constant lower bounds were previously known.

An [n, k, r]-hypergraph is a hypergraph = (V, E) whose vertex set V is partitioned into n k-element sets V1, V2,…, Vn and for which, for each choice of r indices, 1 ≤ i1 < i2 < … < ir ≤ n, there is exactly one edge e ∈ E such that |e∩Vi| = 1 if i ∈ {i1, i2.…, ir} and otherwise |e ∩ Vi| = 0. An independent transversal of an [n, k, r]-hypergraph is a set T = {a1, a2,…, an} ⊆ V such that ai ∈ Vi for i = 1, 2, …, n and e ⊈ T for all e ∈ E. The purpose of this note is to estimate fr(k), defined as the largest n for which any [n, k, r]-hypergraph has an independent transversal. The sharpest results are for r = 2 and for the case when k is small compared to r.

Let the Kp-independence number αp (G) of a graph G be the maximum order of an induced subgraph in G that contains no Kp. (So K2-independence number is just the maximum size of an independent set.) For given integers r, p, m > 0 and graphs L1,…,Lr, we define the corresponding Turán-Ramsey function RTp(n, L1,…,Lr, m) to be the maximum number of edges in a graph Gn of order n such that αp(Gn) ≤ m and there is an edge-colouring of G with r colours such that the jth colour class contains no copy of Lj, for j = 1,…, r. In this continuation of [11] and [12], we will investigate the problem where, instead of α(Gn) = o(n), we assume (for some fixed p > 2) the stronger condition that αp(Gn) = o(n). The first part of the paper contains multicoloured Turán-Ramsey theorems for graphs Gn of order n with small Kp-independence number αp(Gn). Some structure theorems are given for the case αp(Gn) = o(n), showing that there are graphs with fairly simple structure that are within o(n2) of the extremal size; the structure is described in terms of the edge densities between certain sets of vertices.

The second part of the paper is devoted to the case r = 1, i.e., to the problem of determining the asymptotic value of

for p < q. Several results are proved, and some other problems and conjectures are stated.

A graph G is threshold if there exists a ‘weight’ function w: V(G) → R such that the total weight of any stable set of G is less than the total weight of any non-stable set of G. Let n denote the set of threshold graphs with n vertices. A graph is called n-universal if it contains every threshold graph with n vertices as an induced subgraph. n-universal threshold graphs are of special interest, since they are precisely those n-universal graphs that do not contain any non-threshold induced subgraph.

In this paper we shall study minimumn-universal (threshold) graphs, i.e.n-universal (threshold) graphs having the minimum number of vertices.

It is shown that for any n ≥ 3 there exist minimum n-universal graphs, which are themselves threshold, and others which are not.

Two extremal minimum n-universal graphs having respectively the minimum and the maximum number of edges are described, it is proved that they are unique, and that they are threshold graphs.

The set of all minimum n-universal threshold graphs is then described constructively; it is shown that it forms a lattice isomorphic to the n − 1 dimensional Boolean cube, and that the minimum and the maximum elements of this lattice are the two extremal graphs introduced above.

The proofs provide a (polynomial) recursive procedure that determines for any threshold graph G with n vertices and for any minimum n-universal threshold graph T, an induced subgraph G' of T isomorphic to G.

Let h(·) be an arrangement increasing function, let X have an arrangement increasing density, and let XE be a random permutation of the coordinates of X. We prove E{h(XE)} ≤ E{h(X)}. This comparison is delicate in that similar results are sometimes true and sometimes false. In a finite distributive lattice, a similar comparison follows from Holley's inequality, but the set of permutations with the arrangement order is not a lattice. On the other hand, the set of permutations is a lattice, though not a distributive lattice, if it is endowed with a different partial order, but in this case the comparison does not hold.

The main result of this paper is that for every 2 ≤ r < s, and n sufficiently large, there exist graphs of order n, not containing a complete graph on s vertices, in which every relatively not too small subset of vertices spans a complete graph on r vertices. Our results improve on previous results of Bollobás and Hind.

An element e of a matroid M is called non-binary when M\e and M/e are both non-binary matroids. Oxley in [5] gave a characterization of the 3-connected non-binary matroids without non-binary elements. In this paper, we will construct all the 3-connected matroids having 1, 2 or 3 non-binary elements.

Suppose M and N are distinct matroids on a set E such that, for every e ∈ E, the deletion of e from M equals the deletion of e from N or the contraction of e from M equals the contraction of e from N. In this note we prove that, apart from some easily specified exceptions, one of M and N must be a relaxation of the other.

Let S be a closed surface with boundary ∂S and let G be a graph. Let K ⊆ G be a subgraph embedded in S such that ∂S ⊆ K. An embedding extension of K to G is an embedding of G in S that coincides on K with the given embedding of K. Minimal obstructions for the existence of embedding extensions are classified in cases when S is the disk or the cylinder. Linear time algorithms are presented that either find an embedding extension, or return an obstruction to the existence of extensions. These results are to be used as the corner stones in the design of linear time algorithms for the embeddability of graphs in an arbitrary surface and for solving more general embedding extension problems.

A simple proof is given of the best-known upper bound on the cardinality of a set of vectors of length t over an alphabet of size b, with the property that, for every subset of k vectors, there is a coordinate in which they all differ. This question is motivated by the study of perfect hash functions.

In group testing, sets of data undergo tests that reveal if a set contains faulty data. Assuming that data items are faulty with given probability and independently of one another, we investigate small families of tests that enable us to locate correctly all faulty data with probability converging to one as the amount of data grows. Upper and lower bounds on the minimum number of such tests are established for different probability functions, and respective location strategies are constructed.

Consider an electrical network on n nodes with resistors rij between nodes i and j. Let Rij denote the effective resistance between the nodes. Then Foster's Theorem [5] asserts that

where i ∼ j denotes i and j are connected by a finite rij. In [10] this theorem is proved by making use of random walks. The classical connection between electrical networks and reversible random walks implies a corresponding statement for reversible Markov chains. In this paper we prove an elementary identity for ergodic Markov chains, and show that this yields Foster's theorem when the chain is time-reversible.

We also prove a generalization of a resistive inverse identity. This identity was known for resistive networks, but we prove a more general identity for ergodic Markov chains. We show that time-reversibility, once again, yields the known identity. Among other results, this identity also yields an alternative characterization of reversibility of Markov chains (see Remarks 1 and 2 below). This characterization, when interpreted in terms of electrical currents, implies the reciprocity theorem in single-source resistive networks, thus allowing us to establish the equivalence of reversibility in Markov chains and reciprocity in electrical networks.