text: Если любой граф имеет полиномиальное число Хайоша, отсюда следует, что можно доказать нераскрашиваемость за недетерминированное полиномиальное время, а потому следует, что NP = co-NP, что считают невероятным теоретики сложности алгоритмов.