Как проверить состояние, которое никогда не выполняется?

Question

Взяв пример, чтобы уточнить, скажем, у меня есть программа, которая принимает два входа от пользователя, a и b. Программа увеличивает a и уменьшает b. Программа возвращает значение, при котором значения a и b становятся равными. Следовательно, a должно быть меньше и b должно быть больше. Но что, если пользователь вводит противоположное? a как больше, так и b меньше? Очевидно, программа пойдет в бесконечный цикл. Но предположим, что я хочу, чтобы программа вернула, что «эти два номера никогда не могут встретиться». Тогда как я могу это проверить? Пожалуйста, не отвечайте на эту проверку номеров и отвечайте соответственно. Это просто пример. Я хочу знать, как проверить условие, которое никогда не может быть выполнено.

Другой пример, скажем, сравнение двух чисел. Предположим, у меня есть два числа, и я продолжаю их рандомизировать. Программа должна возвращать true, когда они равны и ложны, когда они не являются. Он не должен входить в бесконечный цикл, когда числа не равны. Я могу только сравнивать числа в каждой итерации и возвращать true, как только они будут равны. Но есть вероятность, что они никогда не станут равными, и программа никогда не прекратится. Как проверить такой сценарий и вернуть что-то вроде чисел, никогда не может быть равным.

Answer 1

Простая инструкция, как это?

if (a <= b) 
    throw "Condition cannot be met" 
else 
    for (; a != b; a--, b++) { 
     // Do something 
    } 

Пример в C++

EDIT я А и В навыворот! Тем не менее, тот же сценарий.

Answer 2

Это должно быть сделано в каждом конкретном случае; общая задача (с учетом итеративной процедуры, контролируемой переменным условием, определяет, будет ли условие когда-либо принимать заданное значение, например True) эквивалентно проблеме остановки, которая является невыполнимой ...