💻 computer science

SAT Encodings for Bandwidth Coloring: A Systematic Design Study

यह शोध पत्र बैंडविड्थ कलरिंग समस्या के लिए छह SAT एनकोडिंग विधियों का एक व्यवस्थित अध्ययन और एकीकृत ढांचा प्रस्तुत करता है, जो यह प्रदर्शित करता है कि ब्लॉक एनकोडिंग को इंक्रीमेंटल सॉल्विंग और सिमेट्री ब्रेकिंग के साथ मिलाने से अत्याधुनिक प्रदर्शन प्राप्त होता है और पहले अगम्य रहे उदाहरणों को प्रमाणित इष्टतमता तक हल किया जा सकता है।

मूल लेखक: Duc Trung Kim Nguyen, Tuyen Van Kieu, Khanh Van To

प्रकाशित 2026-02-10

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Duc Trung Kim Nguyen, Tuyen Van Kieu, Khanh Van To

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक व्यस्त रेडियो स्टेशन नेटवर्क के मैनेजर हैं। आपके पास एक शहर में कई ट्रांसमीटर (जिन्हें आप "टावर" कह सकते हैं) बिखरे हुए हैं। प्रत्येक टावर को एक विशिष्ट फ्रीक्वेंसी (एक "रंग") पर प्रसारण करने की आवश्यकता है।

नियम थोड़े पेचीदा हैं:

कोई टकराव नहीं: यदि दो टावर बिल्कुल एक-दूसरे के बगल में हैं, तो वे एक ही फ्रीक्वेंसी का उपयोग नहीं कर सकते।
सुरक्षा बफर: यदि दो टावर पास हैं, तो उन्हें न केवल अलग फ्रीक्वेंसी की आवश्यकता है; उन्हें ऐसी फ्रीक्वेंसी की आवश्यकता है जो पर्याप्त दूरी पर हों ताकि स्टैटिक और हस्तक्षेप (interference) से बचा जा सके। वे जितने करीब होंगे, उनकी फ्रीक्वेंसी के बीच उतना ही बड़ा अंतर आवश्यक होगा।

आपका लक्ष्य फ्रीक्वेंसी की सबसे छोटी संभव रेंज (सबसे कम से लेकर सबसे अधिक तक) का उपयोग करना है ताकि पूरा सिस्टम कुशल रहे। यह बैंडविड्थ कलरिंग प्रॉब्लम (BCP) है।

समस्या: दिमाग के लिए बहुत बड़ा एक पहेली

यह सिर्फ एक साधारण पहेली नहीं है; यह एक विशाल, जटिल गणितीय समस्या है जो टावरों की संख्या बढ़ने के साथ तेजी से कठिन होती जाती है। बड़े नेटवर्क के लिए हाथ से या साधारण अनुमान लगाने की कोशिश करके परफेक्ट (सबसे छोटा) रेंज खोजना असंभव है। कंप्यूटर भी कोशिश कर सकते हैं, लेकिन वे अक्सर "लोकल लूप्स" में फंस जाते हैं, यानी वे एक अच्छा समाधान तो ढूंढ लेते हैं, लेकिन सर्वश्रेष्ठ नहीं।

समाधान: पहेली को "हाँ/नहीं" के खेल में बदलना

लेखकों ने इस जटिल रेडियो पहेली को एक ऐसी भाषा में अनुवाद करने का निर्णय लिया जिसे आधुनिक कंप्यूटर लॉजिक इंजन (जिन्हें SAT सॉल्वर्स कहा जाता है) बोलने में बहुत माहिर हैं: सत्य/असत्य (True/False) प्रश्न।

एक SAT सॉल्वर को एक सुपर-फास्ट जासूस के रूप में सोचें जो लॉजिक के विशाल प्रश्नों के समूह का "हाँ" या "नहीं" में उत्तर देता है। शोधकर्ताओं का काम यह पता लगाना था कि रेडियो नियमों को इन प्रश्नों में लिखने का सबसे अच्छा तरीका क्या है। उन्होंने छह अलग-अलग तरीकों (encodings) का परीक्षण किया, जिन्हें तीन शैलियों में बांटा गया था:

"एक-वेरिएबल" शैली: एक सरल, सीधा तरीका जो पूछता है, "क्या फ्रीक्वेंसी X से अधिक है?"
"दो-वेरिएबल" शैली: एक थोड़ी अधिक जटिल विधि जो यह पूछती है कि "क्या यह X से अधिक है?" और "क्या यह ठीक X है?" ताकि जासूस को अधिक सुराग मिल सकें।
"ब्लॉक" शैली: यह इस पेपर का बड़ा नवाचार है। हर एक फ्रीक्वेंसी नंबर को एक-एक करके चेक करने के बजाय, यह विधि फ्रीक्वेंसी को "ब्लॉक्स" (जैसे किताब के अध्याय) में समूहित करती है। यह पूछता है, "क्या फ्रीक्वेंसी इस ब्लॉक में है?" यह एक-एक करके हर किताब को देखने के बजाय एक बार में पूरी बुक शेल्फ को चेक करने जैसा है।

प्रयोग: फिनिश लाइन की दौड़

टीम ने एक बड़ी दौड़ आयोजित की। उन्होंने 51 अलग-अलग रेडियो नेटवर्क मैप्स (कुछ आसान और कुछ बहुत कठिन) लिए और उन्हें सभी छह अनुवाद शैलियों के साथ चलाया, साथ ही विभिन्न "हेल्पर रणनीतियों" का उपयोग किया:

इन्क्रीमेंटल सॉल्विंग (Incremental Solving): फ्रीक्वेंसी लिमिट को कम करने के लिए हर बार डिटेक्टिव को शुरुआत से शुरू करने के बजाय, उन्होंने डिटेक्टिव को अपने नोट्स रखने दिया और बस नियमों को थोड़ा बदलने की अनुमति दी।
सिमेट्री ब्रेकिंग (Symmetry Breaking): इन पहेलियों में, "फ्रीक्वेंसी 1" को "फ्रीक्वेंसी 2" से बदलने पर अक्सर एक डुप्लिकेट समाधान बन जाता है। शोधकर्ताओं ने एक नियम जोड़ा जो डिटेक्टिव को बताता, "डुप्लिकेट्स की जांच करना बंद करें; बस एक को चुनें।"

परिणाम: ब्लॉक मेथड विजेता है

यहाँ उन्होंने पाया, सरल शब्दों में:

"ब्लॉक" मेथड हेवीवेट चैंपियन है: "ब्लॉक" एनकोडिंग (विशेष रूप से हेल्पर नोट्स और सिमेट्री नियमों के साथ) सबसे तेज़ थी। इसने टेस्ट के सबसे कठिन मैप (जिसे GEOM120b कहा गया) को लगभग 1,000 सेकंड में हल किया।
पुराने चैंपियन संघर्ष करते रहे: पिछले तरीकों ("ऑर्डर-बेस्ड" शैलियों) के लिए उस कठिन मैप को एक घंटे (3,600 सेकंड) के भीतर हल करना भी मुश्किल था। वे फंस गए।
बड़ा होने का मतलब धीमा होना नहीं है: आश्चर्यजनक रूप से, "ब्लॉक" मेथड ने कंप्यूटर द्वारा जवाब दिए जाने वाले प्रश्नों की संख्या (अधिक वेरिएबल्स और नियम) को बढ़ाया। आमतौर पर, अधिक प्रश्नों का मतलब धीमे जवाब होते हैं। लेकिन यहाँ, अतिरिक्त प्रश्न शॉर्टकट की तरह काम कर रहे थे। उन्होंने जासूस को खराब रास्तों को बहुत तेज़ी से हटाने में मदद की, जिससे लंबे समय में समय की बचत हुई।
हेल्पर्स मायने रखते हैं (लेकिन सभी के लिए नहीं):
- "ब्लॉक" मेथड के लिए, "इन्क्रीमेंटल" हेल्पर (नोट्स रखना) एक बड़ा बूस्ट था।
- सरल "वन-वेरिएबल" तरीकों के लिए, "इन्क्रीमेंटल" हेल्पर ने वास्तव में चीजों को बदतर बना दिया क्योंकि नियम बदलने पर नोट्स बेकार हो गए।
- "सिमेट्री ब्रेकिंग" ने कुछ तरीकों की मदद की लेकिन दूसरों को नुकसान पहुँचाया। यह एक चश्मे की तरह है जो एक व्यक्ति को स्पष्ट देखने में मदद करता है लेकिन दूसरे को चक्कर आने जैसा महसूस कराता है।

निष्कर्ष (The Takeaway)

यह पेपर केवल यह नहीं कहता कि "हमने इसे हल कर दिया।" यह कहता है, "हमने कंप्यूटर के लिए इस समस्या को अनुवाद करने का सबसे अच्छा तरीका खोज लिया है।"

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

संक्षेप में: उन्होंने एक कठिन गणितीय पहेली के लिए एक बेहतर ट्रांसलेटर बनाया, जिससे कंप्यूटर जटिल नेटवर्क के लिए परफेक्ट रेडियो फ्रीक्वेंसी प्लान को पहले के मुकाबले बहुत कम समय में ढूंढ पा रहे हैं।

तकनीकी सारांश: बैंडविड्थ कलरिंग के लिए SAT एनकोडिंग्स

समस्या की परिभाषा

बैंडविड्थ कलरिंग प्रॉब्लम (BCP), ग्राफ कलरिंग प्रॉब्लम (GCP) का एक सामान्यीकरण है जहाँ किनारों (edges) पर धनात्मक पूर्णांक भार $d(u, v)$ होता है। इसका उद्देश्य प्रत्येक शीर्ष (vertex) $v$ को एक रंग $c(v) \in \mathbb{N}$ असाइन करना है ताकि प्रत्येक किनारे $\{u, v\} \in E$ के लिए दूरी संबंधी बाधा $|c(u) - c(v)| \ge d(u, v)$ संतुष्ट हो। लक्ष्य स्पैन (span) को कम करना है, जिसे किसी भी शीर्ष को दिए गए अधिकतम रंग के रूप में परिभाषित किया गया है।

BCP स्वाभाविक रूप से वायरलेस और सेलुलर नेटवर्क के लिए फ्रीक्वेंसी असाइनमेंट प्रॉब्लम्स (FAP) में उत्पन्न होता है, जहाँ शीर्ष ट्रांसमिटर्स का प्रतिनिधित्व करते हैं और किनारों के भार विद्युत चुम्बकीय हस्तक्षेप (electromagnetic interference) से बचने के लिए आवश्यक न्यूनतम आवृत्ति पृथक्करण का प्रतिनिधित्व करते हैं। जबकि मेटाह्यूरिस्टिक विधियाँ मौजूद हैं, उनमें अनुकूलता (optimality) की गारंटी का अभाव है। इंटीजर लीनियर प्रोग्रामिंग (ILP) और कंस्ट्रेंट प्रोग्रामिंग (CP) पर आधारित सटीक विधियों का अध्ययन किया गया है, लेकिन ILP फॉर्मुलेशन अक्सर किनारों के भार के साथ बढ़ते हुए बाधाओं की संख्या से ग्रस्त होते हैं। हाल ही में, SAT-आधारित दृष्टिकोण सटीक समाधान के लिए अत्याधुनिक (state-of-the-art) के रूप में उभरे हैं, फिर भी विशेष रूप से BCP के लिए तैयार किए गए SAT एनकोडिंग्स के डिज़ाइन स्पेस का अन्वेषण काफी हद तक अनछुआ रहा है।

कार्यप्रणाली (Methodology)

यह शोध पत्र BCP के लिए SAT एनकोडिंग्स का एक व्यवस्थित डिज़ाइन अध्ययन प्रस्तुत करता है, जो तीन श्रेणियों में व्यवस्थित छह विशिष्ट एनकोडिंग विधियों का अन्वेषण करने वाला एक एकीकृत ढांचा प्रस्तावित करता है। ढांचा तीन कॉन्फ़िगर करने योग्य विशेषताओं के प्रभाव का मूल्यांकन करता है: इन्क्रीमेंटल सॉल्विंग (incremental solving), सिमेट्री ब्रेकिंग (symmetry breaking), और ब्लॉक विड्थ रणनीतियाँ (block width strategies)।

1. एनकोडिंग श्रेणियाँ

ढांचा निम्नलिखित एनकोडिंग विधियों को लागू करता है और तुलना करता है:

वन-वेरिएबल एनकोडिंग्स (1G, 1L): ये कलर असाइनमेंट को अप्रत्यक्ष रूप से परिभाषित करने के लिए ऑर्डरिंग वेरिएबल्स का उपयोग करते हैं।
- 1G (Greater-than): वेरिएबल्स $y_{u,j}$ का उपयोग करता है जहाँ $y_{u,j} = \text{true} \iff c(u) \ge j$ ।
- 1L (Less-than): वेरिएबल्स $y_{u,j}$ का उपयोग करता है जहाँ $y_{u,j} = \text{true} \iff c(u) \le j$ ।
- इन विधियों में असिम्टोटिक क्लॉज काउंट $O(k(n+m))$ है, जो किनारों के भार से स्वतंत्र है।
टू-वेरिएबल एनकोडिंग्स (2G, 2L): ये अधिक प्रत्यक्ष दूरी बाधाओं की अनुमति देने के लिए असाइनमेंट वेरिएबल्स ( $x_{u,j}$ $x_{u, j}$ ) और ऑर्डरिंग वेरिएबल्स ( $y_{u,j}$ $y_{u, j}$ ) दोनों को स्पष्ट रूप से बनाए रखते हैं।
- 2G/2L: 1G/1L के समान अर्थ विज्ञान (semantics) रखते हैं लेकिन $x$ और $y$ वेरिएबल्स को जोड़ने वाले चैनलिंग कंस्ट्रेंट्स को शामिल करते हैं।
ब्लॉक एनकोडिंग्स (X, Xa): ये कलर रेंज को निश्चित-चौड़ाई वाले ब्लॉक्स में विभाजित करते हैं और ब्लॉक्स के भीतर असाइनमेंट वेरिएबल्स के योग को दर्शाने के लिए सहायक रेंज वेरिएबल्स ( $R_{u,a,b}$ $R_{u, a, b}$ ) का उपयोग करते हैं।
- X: बिना किसी सहायक वेरिएबल के सीधे घटाव (subtraction) संचालन को एनकोड करता है (जो ब्लॉक्स के भीतर रेंज सम के लिए आवश्यक है)।
- Xa: घटाव पदों को दर्शाने के लिए सहायक वेरिएबल्स पेश करता है, जिससे क्लॉज पुन: उपयोग (clause reuse) संभव होता है।
- ब्लॉक एनकोडिंग्स का लक्ष्य दूरी संबंधी बाधाओं के लिए क्लॉज की संख्या को कम करना है, विशेष रूप से बड़े किनारों के भार के मामले में।

2. कॉन्फ़िगर करने योग्य विशेषताएँ

इन्क्रीमेंटल सॉल्विंग: यह परीक्षण करता है कि क्या स्पैन ऊपरी सीमा (upper bound) घटने के साथ (जैसे-जैसे स्पैन कम होता है) सीखे गए क्लॉज़ का पुन: उपयोग करने से प्रदर्शन में सुधार होता है। इसे SAT धारणाओं (assumptions) का उपयोग करके लागू किया गया है।
सिमेट्री ब्रेकिंग: उच्चतम-डिग्री वाले शीर्ष के लिए एक रिफ्लेक्शन-आधारित तकनीक लागू की जाती है, जो उसके रंग को स्पैन रेंज के निचले आधे हिस्से ( $c(h) \le \lfloor k/2 \rfloor$ ) तक सीमित करती है। यह इस गुण का लाभ उठाती है कि यदि $c$ एक वैध कलरिंग है, तो $c'(v) = k+1-c(v)$ भी वैध है।
ब्लॉक विड्थ रणनीतियाँ: ब्लॉक एनकोडिंग्स के लिए, ढांचा फिक्स्ड-विड्थ ब्लॉक्स (डिफ़ॉल्ट $w=8$ ) बनाम वेरी-विड्थ ब्लॉक्स (जहाँ चौड़ाई एक शीर्ष के अधिकतम संलग्न किनारे के भार द्वारा निर्धारित होती है) की तुलना करता है।

3. प्रयोगात्मक सेटअप

अध्ययन 51 बेंचमार्क इंस्टेंस पर 36 विशिष्ट कॉन्फ़िगरेशन (6 विधियों और विशेषताओं के संयोजन) का मूल्यांकन करता है:

GEOM सेट: 33 ज्यामितीय रैंडम ग्राफ (GEOM20 से GEOM120)।
MS-CAP सेट: सेलुलर नेटवर्क फ्रीक्वेंसी असाइनमेंट समस्याओं से प्राप्त 18 इंस्टेंस।
सॉल्वर: CaDiCaL 1.9.5 प्रति इंस्टेंस 3600 सेकंड की समय सीमा के साथ।
बेसलाइन: तुलना पिछले अत्याधुनिक SAT एनकोडिंग्स POP-S-B और POPH-S-B (Faber et al., 2024) के विरुद्ध की गई है।

मुख्य परिणाम

समग्र प्रदर्शन

प्रस्तावित ढांचा अत्याधुनिक प्रदर्शन प्राप्त करता है। सबसे अच्छा प्रदर्शन करने वाला कॉन्फ़िगरेशन, ब्लॉक एनकोडिंग Xa (फिक्स्ड विड्थ, इन्क्रीमेंटल सॉल्विंग और सिमेट्री ब्रेकिंग के साथ), ने सभी 51 इंस्टेंस को कुल 2721.3 सेकंड के समय में हल किया। यह पिछले अत्याधुनिक POPH-S-B (2904.6s) की तुलना में कुल समय में 6.3% की कमी और POP-S-B (3307.5s) की तुलना में 17.7% की कमी दर्शाता है।

कठिन इंस्टेंस प्रदर्शन (GEOM120b)

सबसे कठिन इंस्टेंस, GEOM120b के संबंध में एक महत्वपूर्ण निष्कर्ष सामने आया है:

पिछली विधियों (POPH-S-B और POP-S-B) में एक घंटे की समय सीमा के भीतर GEOM120b को प्रमाणित अनुकूलता (proven optimality) तक हल करने में विफलता मिली।
प्रस्तावित ब्लॉक एनकोडिंग्स (X और Xa) ने GEOM120b को लगभग 1000 सेकंड में अनुकूलता तक हल किया (विशेष रूप से, बेस Xa कॉन्फ़िगरेशन ने इसे 851.4s में हल किया, और पूर्णतः अनुकूलित Xa ने इसे 1011.6s में हल किया)।
यह इस विशिष्ट इंस्टेंस के लिए पिछले सर्वोत्तम SAT-आधारित दृष्टिकोणों की तुलना में लगभग 2x की गति वृद्धि (speedup factor) प्रदर्शित करता है।

इंटरेक्शन प्रभाव (Interaction Effects)

अध्ययन एनकोडिंग विकल्पों और सॉल्वर कॉन्फ़िगरेशन के बीच महत्वपूर्ण इंटरेक्शन प्रभावों को प्रकट करता है:

इन्क्रीमेंटल सॉल्विंग: ब्लॉक एनकोडिंग्स (जैसे, Xa के लिए 24.4% सुधार) के लिए पर्याप्त गति प्रदान करता है क्योंकि स्पैन घटने के साथ सीढ़ीनुमा (staircase) ब्लॉक संरचना काफी हद तक स्थिर रहती है। इसके विपरीत, यह वन-वेरिएबल एनकोडिंग्स (1G, 1L) के लिए कोई लाभ नहीं देता (या मामूली गिरावट लाता है) क्योंकि नए ऊपरी बाउंड के सापेक्ष ऑर्डरिंग बाधाओं को पुन: परिभाषित किया जाता है, जिससे सीखे गए क्लॉज़ अमान्य हो जाते हैं।
सिमेट्री ब्रेकिंग: इसकी प्रभावशीलता एनकोडिंग प्रकार पर अत्यधिक निर्भर है। यह POP-S-B (24.5% की गति वृद्धि) और 1L (13.2% की गति वृद्धि) के लिए प्रदर्शन में काफी सुधार करता है, लेकिन 2G (11.9% की गिरावट) और POPH-S-B (11.4% की गिरावट) के लिए प्रदर्शन को कम कर देता है।
ब्लॉक विड्थ: फिक्स्ड और वेरिएंट-विड्थ ब्लॉक्स के बीच चयन का 50 मानक इंस्टेंस पर न्यूनतम प्रभाव (<1.2% अंतर) पड़ा, जो बताता है कि सॉल्वर क्लॉज लर्निंग दोनों रणनीतियों के अनुकूल अच्छी तरह से ढल जाता है।

एनकोडिंग आकार बनाम दक्षता

इस अंतर्ज्ञान के विपरीत कि कम वेरिएबल्स और क्लॉज़ तेजी से समाधान देते हैं, Xa एनकोडिंग (जो सबसे सघन 1G एनकोडिंग की तुलना में 7 गुना अधिक वेरिएबल्स और 5.5 गुना अधिक क्लॉज़ उत्पन्न करता है) ने सबसे तेज़ समाधान समय प्राप्त किया। यह इस सिद्धांत का समर्थन करता है कि सहायक वेरिएबल्स यूनिट प्रोपेगेशन को मजबूत कर सकते हैं, जिससे सॉल्वर के लिए निहितार्थों (implications) को अधिक कुशलता से प्राप्त करने के लिए "शॉर्टकट" बन जाते हैं।

महत्व और दावे

शोध पत्र का दावा है कि इसका व्यवस्थित डिज़ाइन अध्ययन BCP के लिए SAT एनकोडिंग के संबंध में साहित्य में मौजूद अंतराल को भरता है। जबकि GCP के लिए सिमेट्री ब्रेकिंग और इन्क्रीमेंटल सॉल्विंग का अध्ययन किया गया है, BCP-विशिष्ट एनकोडिंग्स के साथ उनके अनुप्रयोग और इंटरेक्शन का पहले अन्वेषण नहीं किया गया था।

प्राथमिक योगदान हैं:

अनसुलझे को हल करना: यह ढांचा GEOM120b बेंचमार्क को उचित समय के भीतर प्रमाणित अनुकूलता तक हल करने वाला पहला फ्रेमवर्क है, जो कि पिछली सटीक विधियाँ एक घंटे के भीतर पूरा नहीं कर सकी थीं।
एकीकृत ढांचा: यह छह एनकोडिंग विधियों और उनकी कॉन्फ़िगर करने योग्य विशेषताओं का एक व्यापक तुलनात्मक अध्ययन प्रदान करता है, यह पहचानते हुए कि ब्लॉक एनकोडिंग्स सबसे कठिन इंस्टेंस के लिए श्रेष्ठ हैं, जबकि ऑर्डर-बेस्ड एनकोडिंग्स (जैसे 2L और 1G) सामान्य मामलों के लिए कार्यान्वयन जटिलता और प्रदर्शन के बीच एक अनुकूल व्यापार-बंद (trade-off) प्रदान करते हैं।
इंटरेक्शन अंतर्दृष्टि: यह कार्य रेखांकित करता है कि एनकोडिंग विशेषताएँ स्वतंत्र रूप से कार्य नहीं करती हैं। विशेष रूप से, इन्क्रीमेंटल सॉल्विंग और सिमेट्री ब्रेकिंग को विशिष्ट एनकोडिंग प्रकार के आधार पर सावधानीपूर्वक चुना जाना चाहिए, क्योंकि वे सहक्रियात्मक (synergistic) या प्रतिकूल (antagonistic) प्रभाव दे सकते हैं।

लेखक निष्कर्ष निकालते हैं कि जबकि ब्लॉक एनकोडिंग सबसे चुनौतीपूर्ण इंस्टेंस के लिए सर्वोत्तम प्रदर्शन प्रदान करते हैं, BCP के सटीक सॉल्वर को आगे बढ़ाने के लिए एनकोडिंग डिज़ाइन विकल्पों का व्यवस्थित अन्वेषण आवश्यक है। भविष्य के कार्य के रूप में बैंडविड्थ मल्टी-कलरिंग प्रॉब्लम (BMCP) तक ढांचे के विस्तार और अनुकूलित कॉन्फ़िगरेशन चयन तंत्र विकसित करने का सुझाव दिया गया है।