लगता है कि मैं एक इकाई के साथ 3 गुण: A1, A2, A3 है कि इस तरह की:
- A1 कर सकते हैं केवल मूल्यों है: 1, 2, 3
- A2 कर सकते हैं केवल मूल्यों है: 10, 20, 30, 40, 50
- A3 कर सकते हैं केवल मूल्यों है: 100, 200
और नियमों का एक नंबर, उदाहरण के लिए:
R1: (A1 in (1, 2)) AND (A2 in (20, 40, 50)) AND (A3 IN (100))
R2: (A1 in (1, 3)) AND (A2 in (10, 30)) AND (A3 in (200))
R3: (A1 in (1, 2)) AND (A2 in (10)) AND (A3 in (100))
तो फिर वहाँ है एक विधेय: R = R1 or R2 or R3
, मैं चाहूँगा जो कम करने के लिए. बात यह है कि A1=1
कवर सभी संभव रूपांतरों के A2
और A3
, तो हम कर सकते हैं में लाने के लिए एक अलग खंड: R = (A1=1) or (the rest)
मैंने कोशिश की है बूलियन न्यूनीकरण तरीकों द्वारा घोषित चर के रूप में a=(A1=1), b=(A1=2), ..., k=(A3=200)
हालांकि यह प्रतीत नहीं होता है काम करने के लिए, क्योंकि:
- बूलियन अनुकूलक के बारे में पता नहीं है की सभी मूल्यों की विशेषता एक
- बूलियन चर स्वतंत्र नहीं हैं जब की कोशिश कर रहा करने के लिए इन मुद्दों को संबोधित, अभिव्यक्ति होता जा रहा है बहुत जटिल है और न ही QMC नहीं, एस्प्रेसो में सक्षम नहीं है, यह कम से कम करने में वांछित तरीका है ।
मैं भी करने की कोशिश की दुकान में से प्रत्येक के लिए प्रत्येक मैपिंग और मामले में उनमें से एक है कि सभी मूल्यों के एक और एक का उपयोग करें, यह के रूप में एक एकत्रीकरण लंगर, तो इसे हटा दें और फिर से, लेकिन यह अनंत काल और काफी एक बहुत की रैम है.
हो सकता है कि हम का प्रतिनिधित्व कर सकते हैं विशेषता मूल्यों का एक सेट के रूप में है और यह पता से सेट सिद्धांत देखने के बिंदु.
आप कभी भी सामना करना पड़ा एक समस्या है? आप कर रहे हैं के बारे में पता बेहतर तरीके से इसे हल करने के लिए? (heuristics ठीक कर रहे हैं के रूप में अच्छी तरह से)