Я читал статью об Удовлетворении ограничений, используя обратную маркировку с алгоритмом ошибки. В документе было упомянуто, что обратная маркировка с обратным подпрыгиванием не приводит к намеченной оптимизации.
В частности, упоминался этот случай:
Предположим, что BMJ переходит от v [i], через v [h] к v [g] и делает это, когда mbl [h]
В этом случае, если бы это было нормальное обратное выделение, как бы избежать этого вычисления?
Я нашел следующее визуальное представление случая.
