## Let be the set of finite, simple and nondirected graphs being not embeddable into the torus. Furthermore let >4 be a partial order-relation and M, (r) the minimal basis of I'. In this paper we determine three graphs of M, (r) being embeddable into the projective plane and containing the subgrap
Graphs on the Torus and Geometry of Numbers
β Scribed by A. Schrijver
- Publisher
- Elsevier Science
- Year
- 1993
- Tongue
- English
- Weight
- 424 KB
- Volume
- 58
- Category
- Article
- ISSN
- 0095-8956
No coin nor oath required. For personal study only.
β¦ Synopsis
We show that if (G) is a graph embedded on the torus (S) and each nonnullhomotopic closed curve on (S) intersects (G) at least (r) times, then (G) contains at least (\left\lfloor\frac{3}{4} r\right\rfloor) pairwise disjoint nonnullhomotopic circuits. The factor (\frac{3}{4}) is best possible. We prove this by showing the equivalence of this bound to a bound in the two-dimensional geometry of numbers. To show the equivalence, we study integer norms, i.e., norms (|\cdot|) such that (|x|) is an integer for each integer vector (x). In particular, we show that each integer norm in two dimensions has associated with it a graph embedded on the torus, and conversely. 1993 Academic Press. Inc.
π SIMILAR VOLUMES
The bichromaticity of a bipartite graph B is defined as the maximum value of r + s for which B has the complete bipartite graph K,, as a homomorphic image We determine the bichromaticity of any bipartite cylinder graph C2,, x P, or torus graph CZn x C , , In the process, w e disprove a conjecture of
We give necessary and sufficient conditions for a directed graph embedded on the torus or the Klein bottle to contain pairwise disjoint circuits, each of a given orientation and homotopy, and in a given order. For the Klein bottle, the theorem is new. For the torus, the theorem was proved before by
## Abstract Let hom (__G, H__) be the number of homomorphisms from a graph __G__ to a graph __H__. A wellβknown result of LovΓ‘sz states that the function hom (Β·, __H__) from all graphs uniquely determines the graph __H__ up to isomorphism. We study this function restricted to smaller classes of gra