Approximate Homomorphisms
β Scribed by Ilijas Farah
- Publisher
- Springer-Verlag
- Year
- 1998
- Tongue
- English
- Weight
- 216 KB
- Volume
- 18
- Category
- Article
- ISSN
- 0209-9683
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We define a new satisfaction relation for properties of a system's behaviour, approximate satisfaction. We show, for approximately satisfied properties, that they can be partitioned into a safety and a liveness property similar to linear properties. We will see that approximate satisfaction and line
## Abstract A graph with __n__ vertices that contains no triangle and no 5βcycle and minimum degree exceeding __n__/4 contains an independent set with at least (3__n__)/7 vertices. This is best possible. The proof proceeds by producing a homomorphism to the 7βcycle and invoking the No Homomorphism