Хайдук wrote:
1. Если считаете, что слово "крайний" чересчур топологически занято, то назовите эти точки любым другим словом, поскольку их "крайность" я определил вполне строго.

2. Если таких точек у множества нет, значит оно само есть ядро, только и всего.

3. Другое дело, именно это возражение я здесь и ожидал, что неразрешимость можно обнаружить уже на уровне самих крайних точек, а не дополняющего их ядра. Достаточно сравнить определения:

- крайняя точка - это та, которая не является промежуточной точкой никакого отрезка;
- точка ядра - это та, которую нельзя удалить ни за какое конечное количество шагов.

В этих определениях даже количество букв одинаково. Подсчитайте. )) Курьез, конечно.

Но я в данном случае предпочел сосредоточится именно на точках ядра, приведя сомнительный "алгоритм" их нахождения (а алгоритм нахождения крайних точек не привел). Хотя на самом деле никаких сомнений у меня нет, поскольку все рассматриваемые мною множества конечны! Так что является точка крайней или не является, я решаю просто перебором всех отрезков. И точек этих крайних у меня, разумеется, тоже конечное число.

А че, антиквариат.... Можно загнать нехило....