Изменения

# Для <tex>2 \le j \le k - 2</tex> выполняется <tex>\forall e \in E : (S_{j-1} \cup S_j \cup S_{j+1}) \setminus e \ne \emptyset </tex>, где <tex>S_j = e_{i_j} \cap e_{i_{j+1}}</tex> для <tex> 1 \le j \le k - 1</tex>

}}

Для определения ацикличного гиперграфа введем определение '''уха''' гиперграфа, а также редукцию GYO(Graham-Yu-Ozsoyoglu).