Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
418901 | Discrete Applied Mathematics | 2008 | 13 Pages |
Abstract
A set of vertices SS in a graph GG is independent if no neighbor of a vertex of SS belongs to SS. The independence number αα is the maximum cardinality of an independent set of GG. A series of best possible lower and upper bounds on αα and some other common invariants of GG are obtained by the system AGX 2, and proved either automatically or by hand. In the present paper, we report on such lower and upper bounds considering, as second invariant, minimum, average and maximum degree, diameter, radius, average distance, spread of eccentricities, chromatic number and matching number.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Mustapha Aouchiche, Gunnar Brinkmann, Pierre Hansen,