The graph6 string for this graph is ‘ICOfeY{^_’. The independence number for this graph is 3. Lovasz theta = 3.197, Cvetkovic = 5, residue = 2, even_minus_even_horizontal = 2. So the upper bound predicts the independence number. We either need to characterize equality for Lovasz theta (or find some other alpha-property for this graph) or we need to find a lower bound that yields the independence number for this graph.

This is the last difficult graph I will obtain using my fork of the program. From now on I plan to switch over to Patrick’s fork (the one on Github).

Advertisements