Walter Deuber died on 16th July 1999 at the age of 56 after a one-and-a-half year struggle with cancer. On 6th October 2002 he would have celebrated his 60th birthday. In order to commemorate this date several of his friends, former students and colleagues came together in the evening of this day in Berlin and started a two-day conference on Combinatorics in honour of Walter Deuber.

Complete disorder is impossible – this theme of Ramsey Theory, as stated by Theodore S. Motzkin, was a guiding theme throughout Walter Deuber's scientific life.

Suppose we are given $n$ coloured balls and an integer $k$ between 2 and $n$. How many colour-comparisons $Q(n,k)$ are needed to decide whether $k$ balls have the same colour? The corresponding problem when there is an (unknown) linear order with repetitions on the balls was solved asymptotically by Björner, Lovász and Yao, the complexity being \smash{$\theta (n\log\frac{2n}{k})$}. Here we give the exact answer for \smash{$k>\frac{n}{2}: Q(n,k)=2n-k-1$}, and the order of magnitude for arbitrary \smash{$k:Q(n,k)=\theta(\frac{n^2}{k})$}.

The Ramsey Schur number $RS(s,t)$ is the smallest $n$ such that every 2-colouring of the edges of $K_n$ with vertices $1,2,\ldots,n$ contains a green $K_s$ or there are vertices $x_1,x_2,\ldots,x_t$ fulfilling the equation $x_1+x_2+\cdots+x_{t-1}=x_t$ and all edges $(x_i,x_j)$ are red. We prove $RS(3,3)=11, RS(3,t)=t^2-3$ for $t\equiv1\ (\mbox{mod}\ 6)$ and $t=8$, and $RS(3,t)\geq t^2-3$.

A zigzag in a plane graph is a circuit of edges, such that any two, but not three, consecutive edges belong to the same face. A railroad in a plane graph is a circuit of hexagonal faces, such that any hexagon is adjacent to its neighbours on opposite edges. A graph without a railroad is called tight. We consider the zigzag and railroad structures of general 3-valent plane graph and, especially, of simple two-faced polyhedra, i.e., 3-valent 3-polytopes with only $a$-gonal and $b$-gonal faces, where $3 \leq a < b \leq 6$; the main cases are $(a,b)=(3,6), (4,6)$ and $(5,6)$ (the fullerenes).

We completely describe the zigzag structure for the case $(a,b)\,{=}\,(3,6)$. For the case $(a,b)\,{=}\,(4,6)$ we describe symmetry groups, classify all tight graphs with simple zigzags and give the upper bound 9 for the number of zigzags in general tight graphs. For the remaining case $(a,b)\,{=}\,(5,6)$ we give a construction realizing a prescribed zigzag structure.

Finite graph homology may seem trivial, but for infinite graphs things become interesting. We present a new ‘singular’ approach that builds the cycle space of a graph not on its finite cycles but on its topological circles, the homeomorphic images of $S^1$ in the space formed by the graph together with its ends.

Our approach permits the extension to infinite graphs of standard results about finite graph homology – such as cycle–cocycle duality and Whitney's theorem, Tutte's generating theorem, MacLane's planarity criterion, the Tutte/Nash-Williams tree packing theorem – whose infinite versions would otherwise fail. A notion of end degrees motivated by these results opens up new possibilities for an ‘extremal’ branch of infinite graph theory.

Numerous open problems are suggested.

This paper is an extended version of the lecture given by the second author delivered at the conference ‘Combinatorics: Walter Deuber Memorial Meeting’ held on 7–8 October 2002 at Humboldt-Universität zu Berlin. Regretfully, this topic was to be the last that fascinated Walter Deuber's mind. We wrote this article in remembrance of that.

We consider several extremal problems concerning representations of graphs as distance graphs on the integers. Given a graph $G=(V,E)$, we wish to find an injective function $\phi:V\to{\mathbb Z}^+=\{1,2,\dots\}$ and a set ${\mathcal D}\subset{\mathbb Z}^+$ such that $\{u,v\}\in E$ if and only if $|\phi(u)-\phi(v)|\in{\mathcal D}$.

Let $s(n)$ be the smallest $N$ such that any graph $G$ on $n$ vertices admits a representation $(\phi_G,{\mathcal D}_G)$ such that $\phi_G(v)\leq N$ for all $v\in V(G)$. We show that $s(n)=(1+o(1))n^2$ as $n\to\infty$. In fact, if we let $s_r(n)$ be the smallest $N$ such that any $r$-regular graph $G$ on $n$ vertices admits a representation $(\phi_G,{\mathcal D}_G)$ such that $\phi_G(v)\leq N$ for all $v\in V(G)$, then $s_r(n)=(1+o(1))n^2$ as $n\to\infty$ for any $r=r(n)\gg\log n$ with $rn$ even for all $n$.

Given a graph $G=(V,E)$, let $D_{\rm e}(G)$ be the smallest possible cardinality of a set ${\mathcal D}$ for which there is some $\phi\:V\to{\mathbb Z}^+$ so that $(\phi,{\mathcal D})$ represents $G$. We show that, for almost all $n$-vertex graphs $G$, we have \begin{equation*} D_{\rm e}(G)\geq\frac{1}{2}\binom{n}{2}-(1+o(1))n^{3/2}(\log n)^{1/2}, \end{equation*} whereas for some $n$-vertex graph $G$, we have \begin{equation*} D_{\rm e}(G)\geq\binom{n}{2}-n^{3/2}(\log n)^{1/2+o(1)}.\end{equation*} Further extremal problems of similar nature are considered.

Let $G$ be a noncomplete $k$-connected graph such that the graphs obtained from contracting any edge in $G$ are not $k$-connected, and let $t(G)$ denote the number of triangles in $G$. Thomassen proved $t(G) \geq 1$, which was later improved by Mader to $t(G) \geq \frac{1}{3}|V(G)|$.

Here we show $t(G) \geq \frac{2}{3}|V(G)|$ (which is best possible in general).

Furthermore it is proved that, for $k \geq 4$, a $k$-connected graph without two disjoint triangles must contain an edge not contained in a triangle whose contraction yields a $k$-connected graph. As an application, for $k \geq 4$ every $k$-connected graph $G$ admits two disjoint induced cycles $C_1,C_2$ such that $G-V(C_1)$ and $G-V(C_2)$ are $(k-3)$-connected.

For fixed positive integers $k,q,r$ with $q$ a prime power and large $m$, we investigate matrices with $m$ rows and a maximum number $N_q (m,k,r)$ of columns, such that each column contains at most $r$ nonzero entries from the finite field $GF(q)$ and any $k$ columns are linearly independent over $GF(q)$. For even integers $k \geq 2$ we obtain the lower bounds $N_q(m,k,r) = \Omega (m^{kr/(2(k-1))})$, and $N_q(m,k,r) = \Omega (m^{((k-1)r)/(2(k-2))})$ for odd $k \geq 3$. For $k=2^i$ we show that $N_q(m,k,r) = \Theta ( m^{kr/(2(k-1))})$ if $\gcd(k-1,r) = k-1$, while for arbitrary even $k \geq 4$ with $\gcd(k-1,r) =1$ we have $N_q(m,k,r) = \Omega (m^{kr/(2(k-1))} \cdot (\log m)^{1/(k-1)})$. Matrices which fulfil these lower bounds can be found in polynomial time. Moreover, for $\Char (GF(q)) > 2 $ we obtain $N_q(m,4,r) = \Theta (m^{\lceil 4r/3\rceil/2})$, while for $\Char (GF(q)) = 2$ we can only show that $N_q(m,4,r) = O (m^{\lceil 4r/3\rceil/2})$. Our results extend and complement earlier results from [7, 18], where the case $q=2$ was considered.

We present a programme of characterizing Ramsey classes of structures by a combination of the model theory and combinatorics. In particular, we relate the classification programme of countable homogeneous structures (of Lachlan and Cherlin) to the classification of Ramsey classes. As particular instances of this approach we characterize all Ramsey classes of graphs, tournaments and partial ordered sets. We fully characterize all monotone Ramsey classes of relational systems (of any type). We also carefully discuss the role of (admissible) orderings which lead to a new classification of Ramsey properties by means of classes of order-invariant objects.

We consider algorithms for group testing problems when nothing is known in advance about the number of defectives. Du and Hwang suggested measuring the quality of such algorithms by its so-called (first) competitive ratio (see the Introduction). Later, Du and Park suggested a second kind of competitive ratio. For each kind of competitiveness, we improve the best-known bounds: in the first case, from 1.65 to $1.5+\ep$, and in the second from 16 to 4.

The aim of this paper is to point to a difference between binary and hyperary structures. The modular counting functions of a class of structures defined by a sentence of second-order monadic logic with equality, based on binary relations, are ultimately periodic. However, this is not the case for sentences based on quaternary relations.

Let ${\cal T}(n,m)$ denote the set of all labelled triangle-free graphs with $n$ vertices and exactly $m$ edges. In this paper we give a short self-contained proof of the fact that there exists a constant $C>0$ such that, for all $m\geq Cn^{3/2}\sqrt{\log n}$, a graph chosen uniformly at random from ${\cal T}(n,m)$ is with probability $1-o(1)$ bipartite.

Randomized search heuristics like evolutionary algorithms and simulated annealing find many applications, especially in situations where no full information on the problem instance is available. In order to understand how these heuristics work, it is necessary to analyse their behaviour on classes of functions. Such an analysis is performed here for the class of monotone pseudo-Boolean polynomials. Results depending on the degree and the number of terms of the polynomial are obtained. The class of monotone polynomials is of special interest since simple functions of this kind can have an image set of exponential size, improvements can increase the Hamming distance to the optimum and, in order to find a better search point, it can be necessary to search within a large plateau of search points with the same fitness value.