सकारात्मक और नकारात्मक दरों वाले मल्टी-प्राइस टाइमड ऑटोमाटा के लिए पहुँचनीयता

मल्टी-प्राइस टाइमड ऑटोमाटा (MPTA) वे टाइमड ऑटोमाटा हैं जिनमें पर्यवेक्षक चर होते हैं जिनके अवकल एक स्थान से दूसरे स्थान पर बदल सकते हैं। पर्यवेक्षक केवल लिखने वाले चर होते हैं, अर्थात्, वे ऑटोमाटा के नियंत्रण प्रवाह को प्रभावित नहीं करते; इस प्रकार MPTA समय और हाइब्रिड ऑटोमाटा के बीच अभिव्यक्तिशीलता में हैं। पिछले कार्यों ने हर स्थान पर नकारात्मक अवनति वाले पर्यवेक्षकों पर विचार किया। इस पत्र में हम उन पर्यवेक्षकों पर विचार करते हैं जिनकी सकारात्मक और नकारात्मक दरें हैं। हमारा मुख्य परिणाम इस MPTA के इस रूप के लिए पहुँचनीयता समस्या के घटक संस्करण को निर्धारित करने के लिए एक एल्गोरिदम है। हम घटक पहुँचनीयता समस्या को गैर-रेखीय बाधाओं के लिए मिश्रित पूर्णांक-यथार्थ प्रणाली के लिए एक घटक संतोषजनकता समस्या में अनुवाद करते हैं। हमारा मुख्य तकनीकी योगदान - स्वतंत्र रुचि का एक परिणाम - एक ऐसी प्रक्रिया है जो शाखा-और-बाउंड और विश्राम-और-गोलाई के संयोजन के माध्यम से ऐसी बाधाओं को हल करती है।