Skip to content

Stop early [mp]

Micro pattern

Description

Return or break once remaining computation cannot change the answer.

Problems

Stop when no work remains

Terminate when a pass makes no changes or carry has disappeared.

Stop on a witness or contradiction

Return after establishing success, failure, or the requested rank.