fractional chromatic index