एक उच्च-प्रदर्शन वाला बहु-परामetric वर्गीय प्रोग्रामिंग समाधानकर्ता

हम बहु-परामetric वर्गीय कार्यक्रमों के स्पष्ट समाधान की गणना के लिए एक संयोजक विधि का प्रस्ताव करते हैं, जिसका उपयोग रैखिक मॉडल पूर्वानुमान नियंत्रण के लिए स्पष्ट नियंत्रण कानून की गणना करने के लिए किया जा सकता है। पारंपरिक विधियों की तुलना में, जो भूगर्भीय आसन्नता पर आधारित हैं, प्रस्तावित विधि संयोजक आसन्नता पर आधारित है। संयोजक आसन्नता की धारणा को प्रस्तुत करने के बाद, हम दिखाते हैं कि स्पष्ट समाधान एक जुड़े ग्राफ का रूप लेता है। फिर हम इस जुड़ेपन का लाभ उठाते हुए एक एल्गोरिदम का प्रस्ताव करते हैं जो स्पष्ट समाधान की गणना करता है। एल्गोरिदम की पूरी तरह से संयोजक प्रकृति गणना संबंधी लाभों की ओर ले जाती है क्योंकि यह मांग वाले भूगर्भीय संचालन (जैसे पॉलीटोप के पक्षों की गणना) से बचने में सक्षम बनाती है। पारंपरिक संयोजक विधियों की तुलना में, प्रस्तावित विधि संयोजक जुड़ाव का उपयोग करके विचार किए जाने वाले संयोजनों की संख्या को कम करती है। हम यह दिखाते हैं कि प्रस्तावित विधि का एक कार्यान्वयन राज्य-कलात्मक सॉफ़्टवेयर पैकेज जैसे MPT और POP की तुलना में लगभग दो आदेश के गुना में गति सुधार कर सकता है।