Собственно в этом и кроется нерешаемая сложность задачи