So, the motivation is that you can use the checkpoint theorem as a simple heuristic fault collapsing means, in this circuit we identify the checkpoints just keep the checkpoints and delete all the fault and all other lines, because you know that fault and all others lines will be either equivalent to some other fault or they will get dominated by some other faults.
तो, प्रेरणा यह है कि आप चेकपॉइंट थ्योरम का उपयोग एक साधारण हेरास्टिक फॉल्ट के पतन के रूप में कर सकते हैं, इस सर्किट में हम उन चेकपॉइंट की पहचान करते हैं केवल चेकपॉइंट को रखते हैं और सभी फॉल्ट और अन्य सभी लाइनों को हटाते हैं, क्योंकि आप जानते हैं कि फॉल्ट और अन्य सभी लाइनें या तो कुछ अन्य फाल्ट के एक्विवैलेन्ट होगा या वे कुछ अन्य फॉल्ट्स से डोमिनेटेड होंगे।