вы пишете, что умеете за конечное число шагов построить нужный объект, так почему бы не заменить "неудачное" доказательство на доказательство построением объекта, которое уж точно конструктивно?
Brukvalub Спасибо за совет, я изменил лемму. Теперь это доказательство существования, но оно указывает, правда неявно, на алгоритм прямого перебора.
Только смущает одна вещь. Случайно, совсем в другой теме, разбирая комбинаторную теорему Рамсея, нарвался вот на это:
Цитата:
Results in Ramsey theory are non-constructive, they may show that some structure exists, but they give no process for finding this structure (other than brute force search).
Так почему же здесь считается прямой перебор неконструктивным? Кому верить? Я в смятении.