अवलोकन पूर्णांक कार्यक्रमों को हल करना
अब डाउनलोड करो

अवलोकन पूर्णांक कार्यक्रमों को हल करना रैंकिंग और सारांश

अवलोकन पूर्णांक कार्यक्रमों को हल करना टैग

लगातार प्रोग्रामिंग ढांचा पूर्णांक पूर्णांक प्रोग्रामिंग निरंतर पूर्णांक SCIP

अवलोकन पूर्णांक कार्यक्रमों को हल करना विवरण

समाधान संचालन पूर्णांक कार्यक्रम बाधा पूर्णांक प्रोग्रामिंग के लिए एक ढांचा है। समाधान संचालन पूर्णांक कार्यक्रम बाधा पूर्णांक प्रोग्रामिंग के लिए एक ढांचा है। पूर्णांक कार्यक्रमों और बाधाओं के कार्यक्रमों को हल करने के लिए, एक बहुत ही समान तकनीक का उपयोग किया जाता है: समस्या को लगातार छोटे उपप्र्णलों (शाखाओं की) में विभाजित किया जाता है जिसे पुनरावर्ती रूप से हल किया जाता है। दूसरे हाथ से, पूर्णांक प्रोग्रामिंग और बाधा प्रोग्रामिंग में अलग-अलग ताकत हैं: पूर्णांक प्रोग्रामिंग एलपी छूट का उपयोग करता है और मजबूत दोहरी सीमा प्रदान करने के लिए विमानों काटना, जबकि बाधा प्रोग्रामिंग मनमानी (गैर-रैखिक) बाधाओं को संभाल सकती है और परिवर्तनीय के डोमेन को कसने के लिए प्रचार का उपयोग करती है। स्किप बाधा पूर्णांक प्रोग्रामिंग के लिए एक ढांचा है जो गणितीय प्रोग्रामिंग विशेषज्ञों की आवश्यकताओं की ओर उन्मुख है जो समाधान प्रक्रिया का कुल नियंत्रण रखना चाहते हैं और सॉल्वर की हिम्मत तक विस्तृत जानकारी तक पहुंच सकते हैं। स्किप का उपयोग शुद्ध एमआईपी सॉल्वर के रूप में भी किया जा सकता है या शाखा-कट-और-मूल्य के लिए ढांचा के रूप में किया जा सकता है। यहां "असंतोष पूर्णांक कार्यक्रमों को हल करने" की कुछ प्रमुख विशेषताएं दी गई हैं: यह शाखा, काटने, मूल्य निर्धारण और प्रचार के लिए एक ढांचा है। यह कई संभावित उपयोगकर्ता प्लगइन्स के माध्यम से बेहद लचीला है: · मनमानी बाधाओं को लागू करने के लिए बाधा हैंडलर्स, गतिशील रूप से समस्या चर बनाने के लिए परिवर्तनीय pricers, डोमेन प्रचारकों को चर के डोमेन पर बाधा स्वतंत्र प्रचार लागू करने के लिए, · एलपी विश्राम पर विमानों को काटने के लिए विभाजक को काटें, · एलपी विश्राम के अलावा छूट और दोहरी सीमा प्रदान करने के लिए आरामदाता, PREMING और डाइविंग के लिए विशिष्ट समर्थन के साथ व्यवहार्य समाधान खोजने के लिए प्रारंभिक हेरिस्टिक्स, खोज को मार्गदर्शन करने के लिए नोड चयनकर्ता, · समस्या को विभाजित करने के लिए नियमों को उपप्रकारों में विभाजित करने के लिए, · हल करने वालों को हल करने की समस्या को सरल बनाने के लिए, विभिन्न इनपुट फ़ाइल प्रारूपों को पार्स करने के लिए फ़ाइल पाठक, · ईवेंट हैंडलर को विशिष्ट घटनाओं पर सूचित किया जाना चाहिए, उदाहरण के लिए, जब एक नोड हल हो गया था, तो एक विशिष्ट चर ने अपनी सीमा बदल दी, या एक नया प्रारंभिक समाधान पाया गया, सॉल्वर के आउटपुट में अतिरिक्त कॉलम बनाने के लिए हैंडलर प्रदर्शित करें। संवाद हैंडलर शामिल कमांड शैल का विस्तार करने के लिए। · प्रत्येक मौजूदा इकाई को प्लगइन के रूप में लागू किया जाता है, जिससे अधिकांश अतिरिक्त उपयोगकर्ता एक्सटेंशन की आवश्यकताओं को पूरा करने के लिए पर्याप्त इंटरफ़ेस लचीला होता है। एक गतिशील कट पूल प्रबंधन शामिल है। · उपयोगकर्ता अभिव्यक्तियों में प्रीप्रोसेस्ड और सक्रिय समस्या चर को मिश्रित कर सकता है: वे स्वचालित रूप से संबंधित सक्रिय समस्या चर में परिवर्तित हो जाते हैं। · मनमाने ढंग से प्रति नोड के कई बच्चे बनाए जा सकते हैं, और विभिन्न बच्चों को मनमाने ढंग से परिभाषित किया जा सकता है। · इसमें एक खुला एलपी सॉल्वर सपोर्ट है (वर्तमान में आईएलओजी सीपीएलएक्स, डैश एक्सप्रेस-एमपी, सोप्लेक्स, और सीएलपी का समर्थन कर रहा है। · एलपी विश्राम को प्रत्येक एकल नोड पर हल करने की आवश्यकता नहीं होती है (इसे पूरी तरह से बंद कर दिया जा सकता है, शुद्ध बाधा सॉल्वर की नकल भी करता है)। · अतिरिक्त छूट (उदा।, Semidefinite विश्राम या lagrangian छूट) शामिल किया जा सकता है, समानांतर या interleaved में काम कर सकते हैं। · अविश्वसनीय उपप्रवों से सीखने के लिए संघर्ष विश्लेषण लागू किया जा सकता है। · गतिशील मेमोरी प्रबंधन डीबग मोड में स्वचालित मेमोरी रिसाव डिटेक्शन के साथ ऑपरेशन सिस्टम कॉल की संख्या को कम करता है। इस रिलीज में नया क्या है: एसओएस बाधाओं के लिए नए बाधा हैंडलर। Scip का उपयोग कर परियोजनाओं के संकलन के लिए बेहतर समर्थन। · स्किप अब पूर्णांक समाधान की गणना कर सकते हैं। ग्राफ रंग के लिए एक कॉलम जनरेशन उदाहरण जोड़ा गया है। विस्तारित आउटपुट क्षमताओं। · छद्म-बूलियन समस्याओं के लिए समर्थन। · नई हिरुरिस्टिक डिन। नई काटने विमान विभाजक एमसीएफ। बेहतर सॉर्टिंग कार्यों। संशोधित preprocessing। · पुनर्निर्मित समय कॉल। · एलपी-इंटरफेस सीएलपी और soplex के लिए अनुकूलित। · कई आंतरिक प्रदर्शन सुधार और बगफिक्स।

अवलोकन पूर्णांक कार्यक्रमों को हल करना संबंधित सॉफ्टवेयर