text: По этой причине удобной и симметричной формулировкой гипотезы — Хайналя служит утверждение, что для любого графа H {\displaystyle H} , свободные от H {\displaystyle H} графы обазательно содержат порождённый совершенный подграф полиномиального размера.