Forcing Chains

इसे कैसे पहचानें

एक बाई-वैल्यू सेल चुनें। इसके पहले कैंडिडेट को मानें और मजबूर प्लेसमेंट को आगे बढ़ाएँ; परिणाम नोट करें। रीसेट करें, दूसरे कैंडिडेट को मानें, फिर से आगे बढ़ाएँ। जहाँ भी दोनों धारणाएँ उसी सेल को उसी मान तक मजबूर करती हैं (या वही एलिमिनेशन), वह परिणाम बिना शर्त टिकता है।

• किसी सेल के कैंडिडेट से शुरू करें।
• हर एक के मजबूर परिणामों को आगे बढ़ाएँ।
• सभी शाखाओं में एक साझा निष्कर्ष सिद्ध होता है।

अनुमान पर अनुशासन

फोर्सिंग चेन तर्क हैं, द्विभाजन नहीं: आप दोनों शाखाओं को ध्यान में रखते हैं और केवल उस पर कार्य करते हैं जिस पर वे सहमत हों। चेन को लिखना उन गलतियों से बचाता है जो आँख मूँदकर कोई नंबर आज़माने से आती हैं।