Сложность логики HC с одной переменнойдоклад на конференции