Вопрос есть в коллекциях
Одна из теорем АРТ:
- Процесс поиска не достоверен.
- Процесс поиска устойчив.
- Процесс поиска оптимален.
- Процесс поиска точен.