बैकप्रेशर रूटिंग

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

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

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

बैकप्रेशर रूटिंग का अध्ययन मुख्य रूप से सैद्धांतिक रूप से किया गया है प्रसंग। व्यवहार में, तदर्थ वायरलेस नेटवर्क में आमतौर पर शॉर्टेस्ट के आधार पर वैकल्पिक रूटिंग विधियों को लागू किया पथ संगणना या नेटवर्क बाढ़, जैसे तदर्थ तदर्थ ऑन-डिमांड दूरी वेक्टर रूटिंग| तदर्थ ऑन-डिमांड डिस्टेंस वेक्टर रूटिंग (AODV), भौगोलिक रूटिंग, और ExOR (वायरलेस नेटवर्क प्रोटोकॉल) (ExOR)। हालाँकि, बैकप्रेशर की गणितीय इष्टतमता गुण इसके उपयोग के हाल के प्रायोगिक प्रदर्शनों को प्रेरित किया है दक्षिणी कैलिफोर्निया विश्वविद्यालय में वायरलेस टेस्टबेड पर और उत्तरी कैरोलिना स्टेट यूनिवर्सिटी में।

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

यह कैसे काम करता है
बैकप्रेशर रूटिंग को निर्णय लेने के लिए डिज़ाइन किया गया है जो (मोटे तौर पर) क्यू बैकलॉग के वर्गों के योग को कम करता है नेटवर्क में एक समयावधि से दूसरे समय तक। इस तकनीक का सटीक गणितीय विकास में वर्णित है बाद के खंड। यह खंड सामान्य नेटवर्क मॉडल और सम्मान के साथ बैकप्रेशर रूटिंग के संचालन का वर्णन करता है इस मॉडल को।

मल्टी-हॉप क्यूइंग नेटवर्क मॉडल
एन नोड्स के साथ एक बहु-हॉप नेटवर्क पर विचार करें (एन = 6 के साथ उदाहरण के लिए चित्र 1 देखें)। नेटवर्क में काम करता है स्लॉटेड समय $$t \in \{0, 1, 2, \ldots\}$$. हर स्लॉट पर नया डेटा आ सकता है नेटवर्क, और रूटिंग और ट्रांसमिशन शेड्यूलिंग निर्णय लिए जाते हैं सभी डेटा को उसके उचित गंतव्य तक पहुंचाने के प्रयास में। नियत डेटा दें नोड के लिए $$c \in \{1, \dots, N\}$$ कमोडिटी सी डेटा के रूप में लेबल किया जाना चाहिए। प्रत्येक नोड में डेटा को उसकी वस्तु के अनुसार संग्रहीत किया जाता है। के लिए $$n \in \{1, \ldots, N\}$$ और $$c \in \{1, \ldots, N\}$$, होने देना $$Q_n^{(c)}(t)$$ नोड एन में कमोडिटी सी डेटा की वर्तमान मात्रा हो, जिसे क्यू बैकलॉग भी कहा जाता है। एक नोड के अंदर क्यू बैकलॉग का क्लोज़अप चित्र 2 में दिखाया गया है। की इकाइयां $$Q_n^{(c)}(t)$$ समस्या के संदर्भ पर निर्भर करता है। उदाहरण के लिए, बैकलॉग पैकेट की पूर्णांक इकाइयाँ ले सकता है, जो उन मामलों में उपयोगी होता है जब डेटा को निश्चित लंबाई के पैकेट में विभाजित किया जाता है। वैकल्पिक रूप से, यह बिट्स की वास्तविक मूल्यवान इकाइयां ले सकता है। यह मान लिया है कि $$Q_c^{(c)}(t)=0$$ सभी के लिए $$c \in \{1, \ldots, N\}$$ और सभी टाइम स्लॉट टी, क्योंकि कोई भी नोड डेटा को अपने लिए निर्धारित नहीं करता है। प्रत्येक टाइमलॉट, नोड दूसरों को डेटा संचारित कर सकते हैं। डेटा जो एक नोड से दूसरे नोड में प्रेषित होता है, उसे पहले नोड की कतार से हटा दिया जाता है और दूसरे नोड की कतार में जोड़ दिया जाता है। अपने डेस्टिनेशन पर ट्रांसमिट होने वाले डेटा को नेटवर्क से हटा दिया जाता है। डेटा भी बाहरी रूप से नेटवर्क में आ सकता है, और $$A_n^{(c)}(t)$$ स्लॉट टी पर नोड एन में आने वाले नए डेटा की मात्रा के रूप में परिभाषित किया गया है जो अंततः होना चाहिए नोड सी को वितरित किया जाएगा।

होने देना $$\mu_{ab}(t)$$ स्लॉट टी पर लिंक (ए, बी) पर नेटवर्क द्वारा उपयोग की जाने वाली ट्रांसमिशन दर हो, यह वर्तमान स्लॉट पर नोड ए से नोड बी में स्थानांतरित किए जा सकने वाले डेटा की मात्रा का प्रतिनिधित्व करता है। होने देना $$(\mu_{ab}(t))$$ संचरण दर मैट्रिक्स हो। इन संचरण दरों को संभवतः समय-भिन्न विकल्पों के एक सेट के भीतर चुना जाना चाहिए। विशेष रूप से, नेटवर्क में समय-भिन्न चैनल और नोड हो सकते हैं गतिशीलता, और यह इसकी संचरण क्षमताओं को हर स्लॉट को प्रभावित कर सकता है। इसे मॉडल करने के लिए, एस (टी) नेटवर्क की टोपोलॉजी स्थिति का प्रतिनिधित्व करते हैं, जो कैप्चर करता है स्लॉट टी पर नेटवर्क के गुण जो ट्रांसमिशन को प्रभावित करते हैं। होने देना $$\Gamma_{S(t)}$$ सेट का प्रतिनिधित्व करें टोपोलॉजी राज्य एस (टी) के तहत उपलब्ध संचरण दर मैट्रिक्स विकल्प। प्रत्येक स्लॉट टी, नेटवर्क नियंत्रक एस (टी) को देखता है और ट्रांसमिशन चुनता है दरें $$(\mu_{ab}(t))$$ सेट के भीतर $$\Gamma_{S(t)}$$. जिसका चुनाव $$(\mu_{ab}(t))$$ आव्यूह प्रत्येक स्लॉट टी पर चयन करने के लिए अगले उपधारा में वर्णित किया गया है।

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

बैकप्रेसर नियंत्रण निर्णय
प्रत्येक स्लॉट टी बैकप्रेशर नियंत्रक एस (टी) को देखता है और निम्नलिखित 3 चरणों का पालन करता है:
 * सबसे पहले, प्रत्येक लिंक (ए, बी) के लिए, यह एक इष्टतम वस्तु का चयन करता है $$c_{ab}^{opt}(t)$$ उपयोग करने के लिए।
 * अगला, यह निर्धारित करता है कि क्या $$(\mu_{ab}(t))$$ मैट्रिक्स में $$\Gamma_{S(t)}$$ उपयोग करने के लिए।
 * अंत में, यह वस्तु की मात्रा निर्धारित करता है $$c_{ab}^{opt}(t)$$ यह लिंक (ए, बी) पर संचारित होगा (ज्यादा से ज्यादा $$\mu_{ab}(t)$$, लेकिन संभवतः कुछ मामलों में कम हो रहा है)।

इष्टतम वस्तु का चयन
प्रत्येक नोड अपनी कतार के बैकलॉग और अपने वर्तमान में बैकलॉग को देखता है पड़ोसियों। नोड ए का वर्तमान पड़ोसी एक नोड बी है जैसे कि इसे चुनना संभव है गैर-शून्य संचरण दर $$\mu_{ab}(t)$$ वर्तमान स्लॉट पर। इस प्रकार, पड़ोसियों को सेट द्वारा निर्धारित किया जाता है $$\Gamma_{S(t)}$$. चरम मामले में, ए नोड में पड़ोसी के रूप में सभी N − 1 अन्य नोड हो सकते हैं। हालाँकि, सेट का उपयोग करना आम है $$\Gamma_{S(t)}$$ जो एक निश्चित भौगोलिक दूरी से अधिक अलग किए गए नोड्स के बीच प्रसारण को रोकते हैं, या जिसकी एक निश्चित सीमा के नीचे प्रचारित सिग्नल शक्ति होगी। इस प्रकार, यह पड़ोसियों की संख्या के लिए विशिष्ट है N − 1 से बहुत कम होना। चित्र 1 में उदाहरण पड़ोसियों को लिंक कनेक्शन द्वारा दिखाता है, ताकि नोड 5 में पड़ोसी 4 और 6 हों। उदाहरण पड़ोसियों के बीच एक सममित संबंध का सुझाव देता है (ताकि यदि 5, 4 का पड़ोसी हो, तो 4 5 का पड़ोसी है), लेकिन यह सामान्य रूप से मामला नहीं होना चाहिए।

किसी दिए गए बिंदु के निकटवर्तियों का सम्मुच्चय बर्हिगामी सम्बंध के सम्मुच्चय को निर्धारित करता है जिसका उपयोग वह वर्तमान व्याकरणिक स्थान पर संचारण के लिए कर सकता है। प्रत्येक बर्हिगामी सम्बंध $$(a,b)$$ के लिए इष्टतम पण्य $$c_{ab}^{opt}(t)$$ को पण्य $$c \in \{1, \ldots, N\}$$ के रूप में परिभाषित किया गया है जो निम्नलिखित अवकल बैकलॉग मात्रा को अधिकतम करता है:


 * $$ Q_{a}^{(c)}(t) - Q_b^{(c)}(t) $$

इष्टतम पण्य का चयन करने में किसी भी संबंध को स्वेच्छतः विघटित कर दिया जाता है।

एक उदाहरण चित्र संख्या 2 में प्रदर्शित किया गया है। उदाहरण के लिए, वह कल्पना करता है कि प्रत्येक पंक्ति के पास वर्तमान में लाल, हरा और नीला केवल 3 पण्य हैं और इन्हें पैकेट की पूर्णांक इकाइयों में मापा जाता है। निर्देशित सम्बंध (1,2) पर ध्यान केंद्रित करने से अवकल बैकलॉग हैं:

Q_1^{(\text{red})}(t) - Q_2^{(\text{red})}(t) = 1 $$

Q_1^{(\text{green})}(t) - Q_2^{(\text{green})}(t) = 2 $$

Q_1^{(\text{blue})}(t) - Q_2^{(\text{blue})}(t) = -1 $$ इसलिए, व्याकरणिक स्थान t पर सम्बंध (1,2) प्रेषित करने के लिए इष्टतम पण्य का रंग हरा है। दूसरी ओर, व्याकरणिक स्थान t पर उत्क्रमित सम्बंध (2,1) प्रेषित करने के लिए इष्टतम पण्य का रंग नीला है।

μab(t) आव्यूह का चयन करना
एक बार प्रत्येक सम्बंध $$(a,b)$$ के लिए इष्टतम पण्य निर्धारित हो जाने पर नेटवर्क नियंत्रक निम्नलिखित भार $$W_{ab}(t)$$ की गणना करता है:


 * $$ W_{ab}(t) = \max\left[Q_a^{(c_{ab}^\mathrm{opt}(t))}(t) - Q_b^{(c_{ab}^{opt}(t))}(t), 0\right] $$

भार $$W_{ab}(t)$$ सम्बंध $$(a,b)$$ के लिए इष्टतम पण्य से संबद्ध अवकल बैकलॉग मान है, जो 0 से अधिकतम है। तत्पश्चात नियंत्रक निम्नलिखित अधिकतम-भार समस्या (स्वेच्छतः संबंधों को तोड़ना) के समाधान के रूप में संचारण दरों का चयन करता है:



\text{(Eq. 1)} \qquad \text{Maximize: } \sum_{a=1}^N\sum_{b=1}^N\mu_{ab}(t)W_{ab}(t) $$

\text{(Eq. 2)} \qquad \text{Subject to: } (\mu_{ab}(t)) \in \Gamma_{S(t)} $$ अधिकतम-भार निर्णय के एक उदाहरण के रूप में मान लीजिए कि वर्तमान व्याकरणिक स्थान t पर 6 नेटवर्क बिंदु के प्रत्येक सम्बंध पर अवकल बैकलॉग द्वारा दिए गए संबद्ध भार $$W_{ab}(t)$$ की ओर जाता है:


 * $$(W_{ab}(t)) = \left[ \begin{array}{cccccc}

0 & 2 & 1 & 1 & 6 & 0 \\                             1  & 0 & 1 & 2 & 5 & 6 \\                                                          0  & 7 & 0 & 0 & 0 & 0 \\                             1  & 0 & 1 & 0 & 0 & 0 \\                             1  & 0 & 7 & 5 & 0 & 0 \\                             0  & 0 & 0 & 0 & 5 & 0                            \end{array} \right] $$ '''जबकि सेट $$\Gamma_{S(t)}$$ एक बेशुमार अनंत संख्या हो सकती है संभव संचरण दर मैट्रिसेस, सादगी के लिए मान लें कि वर्तमान टोपोलॉजी राज्य केवल 4 संभावितों को स्वीकार करता है विकल्प:'''



\Gamma_{S(t)} = \{\boldsymbol{\mu}_a, \boldsymbol{\mu}_b,  \boldsymbol{\mu}_c,  \boldsymbol{\mu}_d\} $$ वर्तमान सांस्थिति स्थिति s(t) के अंतर्गत 4 संभावित संचरण दर चयनों का चित्रण। विकल्प (a) $$\mu_{15}=2$$ की संचरण दर के साथ एकल सम्बंध (1,5) को सक्रिय करता है। अन्य सभी विकल्प प्रत्येक सक्रिय सम्बंध पर 1 की संचारण दर के साथ दो सम्बंधों का प्रयोग करते हैं।

इन चार संभावनाओं को मैट्रिक्स रूप में निम्न द्वारा दर्शाया गया है:



\boldsymbol{\mu}_a = \left[ \begin{array}{cccccc} 0 & 0 & 0 & 0 & 2 & 0 \\                             0  & 0 & 0 & 0 & 0 & 0 \\                                                          0  & 0 & 0 & 0 & 0 & 0 \\                             0  & 0 & 0 & 0 & 0 & 0 \\                             0  & 0 & 0 & 0 & 0 & 0 \\                             0  & 0 & 0 & 0 & 0 & 0                            \end{array} \right], \quad  \boldsymbol{\mu}_b = \left[ \begin{array}{cccccc} 0 & 0 & 0 & 0 & 0 & 0 \\                             0  & 0 & 1 & 0 & 0 & 0 \\                                                          0  & 0 & 0 & 0 & 0 & 0 \\                             0  & 0 & 0 & 0 & 1 & 0 \\                             0  & 0 & 0 & 0 & 0 & 0 \\                             0  & 0 & 0 & 0 & 0 & 0                            \end{array} \right] $$
 * $$ \boldsymbol{\mu}_c =  \left[ \begin{array}{cccccc}

0 & 0 & 0& 0 & 0 & 0 \\                             1  & 0 & 0 & 0 & 0 & 0 \\                                                          0  & 0 & 0 & 0 & 0 & 0 \\                             0  & 0 & 0 & 0 & 1 & 0 \\                             0  & 0 & 0 & 0 & 0 & 0 \\                             0  & 0 & 0 & 0 & 0 & 0                            \end{array} \right], \quad \boldsymbol{\mu}_d = \left[ \begin{array}{cccccc} 0 & 0 & 0 & 0 & 0 & 0 \\                             0  & 0 & 0 & 0 & 0 & 0 \\                                                          0  & 1 & 0 & 0 & 0 & 0 \\                             0  & 0 & 0 & 0 & 0 & 0 \\                             0  & 0 & 0 & 1 & 0 & 0 \\                             0  & 0 & 0 & 0 & 0 & 0                            \end{array} \right]   $$ ध्यान दें कि बिंदु 6 इनमें से किसी भी संभावना के अंतर्गत न तो प्रेषित कर सकता है और न ही प्राप्त कर सकता है। यह उत्पन्न हो सकता है क्योंकि वर्तमान में बिंदु 6 संचार सीमा से बाहर है। 4 संभावनाओं में से प्रत्येक के लिए दरों का भारित योग इस प्रकार है:
 * विकल्प (a): $$\sum_{ab}W_{ab}(t)\mu_{ab}(t) = 12$$.
 * विकल्प (b): $$\sum_{ab}W_{ab}(t)\mu_{ab}(t) = 1$$.
 * विकल्प (c): $$\sum_{ab}W_{ab}(t)\mu_{ab}(t) = 1$$.
 * विकल्प (d): $$\sum_{ab}W_{ab}(t)\mu_{ab}(t) = 12$$.

'''क्योंकि 12 के अधिकतम वजन के लिए एक टाई है, नेटवर्क नियंत्रक टाई को मनमाने ढंग से तोड़ सकता है कोई भी विकल्प चुनना $$\boldsymbol{\mu}_a$$ या विकल्प $$\boldsymbol{\mu}_d$$.'''

रूटिंग वेरिएबल्स को अंतिम रूप देना
अब मान लीजिए कि इष्टतम वस्तुओं $$c_{ab}^{opt}(t)$$ प्रत्येक लिंक और ट्रांसमिशन के लिए निर्धारित किया गया है दरें $$(\mu_{ab}(t))$$ भी निर्धारित किया गया है। यदि दिए गए लिंक (ए, बी) पर इष्टतम वस्तु के लिए अंतर बैकलॉग ऋणात्मक है, तो कोई डेटा स्थानांतरित नहीं किया जाता है वर्तमान स्लॉट पर इस लिंक पर। अन्यथा, नेटवर्क भेजने की पेशकश करता है $$\mu_{ab}(t)$$ वस्तु की इकाइयाँ $$c_{ab}^\mathrm{opt}(t)$$ इस लिंक पर डेटा। यह रूटिंग वेरिएबल्स को परिभाषित करके किया जाता है $$\mu_{ab}^{(c)}(t)$$ प्रत्येक लिंक के लिए (ए, बी) और प्रत्येक वस्तु सी, जहां:



\mu_{ab}^{(c)}(t) = \begin{cases} \mu_{ab}(t) &\text{ if } c = c_{ab}^{opt}(t) \text{ and }  Q_a^{(c_{ab}^{opt}(t))}(t)-Q_b^{(c_{ab}^{opt}(t))}(t)\geq 0 \\ 0 & \text{ otherwise} \end{cases} $$ का मान है $$\mu_{ab}^{(c)}(t)$$ लिंक पर कमोडिटी सी डेटा को दी जाने वाली ट्रांसमिशन दर का प्रतिनिधित्व करता है (ए, बी) स्लॉट टी पर। हालाँकि, ट्रांसमिशन का समर्थन करने के लिए नोड्स के पास एक निश्चित वस्तु के लिए पर्याप्त नहीं हो सकता है उनके सभी आउटगोइंग लिंक्स पर प्रस्तावित दरों पर। यह नोड एन और कमोडिटी सी के लिए स्लॉट टी पर उत्पन्न होता है यदि:



Q_n^{(c)}(t) < \sum_{b=1}^N\mu_{nb}^{(c)}(t) $$ इस मामले में, सभी $$Q_n^{(c)}(t)$$ डेटा भेजा जाता है, और अशक्त डेटा का उपयोग प्रस्तावित दरों के अप्रयुक्त भागों को भरने के लिए किया जाता है, संबंधित आउटगोइंग लिंक्स (प्रस्तावित दरों के अनुसार) पर मनमाने ढंग से वास्तविक डेटा और अशक्त डेटा आवंटित करना। इसे क्यू अंडरफ्लो स्थिति कहा जाता है। इस तरह के अंडरफ्लो थ्रूपुट को प्रभावित नहीं करते हैं या नेटवर्क की स्थिरता गुण। सहज रूप से, यह अंडरफ्लो के कारण है केवल तभी उत्पन्न होता है जब संचारण नोड में बैकलॉग की मात्रा कम होती है, जिसका अर्थ है नोड को अस्थिरता का खतरा नहीं है।

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

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

वितरित बैकप्रेशर
ध्यान दें कि संचरण दर $$(\mu_{ab}(t))$$ चयनित होने पर, परिसंचरण निर्णय चर $$\mu_{ab}^{(c)}(t)$$ सामान्य वितरित प्रक्रिया से गणना की जा सकती है, जहां प्रत्येक नोड को केवल स्वयं और उनके प्रतिवेशियों के मध्य पंक्तिबद्ध संचित कार्य विभेदक के ज्ञान की आवश्यकता होती है। यद्यपि, संचरण दरों के चयन के लिए समीकरण (1)-(2) में अधिकतम-भार समस्या के समाधान की आवश्यकता होती है।विशेष स्थिति में जब चैनल लांबिक होते हैं, कलनविधि में एक प्राकृतिक वितरित कार्यान्वयन होता है और प्रत्येक नोड पर पृथक निर्णयों को न्यूनतम करता है। यद्यपि, अधिकतम-भार समस्या अंतर चैनल व्यतिकरण वाले नेटवर्क के लिए एक केंद्रीकृत नियंत्रण समस्या है। केंद्रीकृत प्रक्रिया से भी इसे हल करना अधिक कठिन हो सकता है।

सिग्नल-टू-नॉइज़-प्लस-इंटरफेरेंस अनुपात (एसआईएनआर) द्वारा निर्धारित लिंक दरों के साथ व्यतिकरण नेटवर्क के लिए एक वितरित दृष्टिकोण यादृच्छिककरण का उपयोग करके किया जा सकता है। प्रत्येक नोड अव्यवस्थिततः प्रत्येक स्लॉट t को प्रसारित करने का निर्णय लेता है (यदि वर्तमान में प्रेषित करने के लिए पैकेट नहीं है तो "शून्य" पैकेट प्रेषण किया जाता है)। वास्तविक संचरण दर, और प्रेषित करने के लिए संबंधित वास्तविक पैकेट, 2-चरणीय हैंडशेक द्वारा निर्धारित किए जाते हैं: प्राथमिक चरण पर, अव्यवस्थिततः चयनित प्रेषक नोड वास्तविक संचरण के आनुपातिक संकेत सामर्थ्य के साथ एक पायलट संकेत प्रेषित करते हैं। द्वितीय चरण पर, सभी संभावित रिसीवर नोड परिणामी व्यतिकरण को मापते हैं और उस सूचना को पुनः प्रेषक को भेजते हैं। सभी आउटगोइंग लिंक (n, b) के लिए एसआईएनआर स्तर तब सभी नोड्स n के लिए ज्ञात होता है, और प्रत्येक नोड n इस सूचना के आधार पर अपने $$\mu_{nb}(t)$$ और $$(\mu_{nb}^{(c)}(t))$$ चरों के निर्णय ले सकते हैं।  परिणामी संदेश प्रवाह आवश्यक रूप से इष्टतम नहीं है। यद्यपि, अव्यवस्थित संचरण प्रक्रिया को चैनल स्थिति प्रक्रिया के एक भाग के रूप में देखा जा सकता है (किंतु अशक्त पैकेट अंडरफ़्लो के स्थितियों में भेजे जाते हैं, ताकि चैनल स्थिति प्रक्रिया पूर्व निर्णयों पर निर्भर न हो)। इसलिए, इस वितरित कार्यान्वयन का परिणामी संदेश प्रवाह सभी परिसंचरण और अनुसूचीयन कलनविधि के वर्ग पर इष्टतम है जो इस प्रकार के यादृच्छिक प्रसारण का उपयोग करते हैं।

वैकल्पिक वितरित परिपालन को प्रायः दो वर्गों में विभाजित किया जा सकता है: कलनविधि की प्रथम श्रेणी अधिकतम-भार समस्या के निरंतर गुणक कारक अनुमानों पर विचार करती है, और निरंतर-कारक साद्यांत परिणाम उत्पन्न करती है। कलनविधि की द्वितीय श्रेणी समय के साथ अधिकतम-भार समस्या के समाधान को अद्यतन करने के आधार पर, अधिकतम-भार समस्या के योगात्मक अनुमानों पर विचार करती है।

इस द्वितीय श्रेणी में कलनविधि को स्थिर चैनल की स्थिति और दीर्घ (प्रायः गैर-बहुपद) अभिसरण समय की आवश्यकता हो सकती है, यद्यपि वे उपयुक्त धारणाओं के अंतर्गत अधिकतम साद्यांत प्राप्त कर सकते हैं। अप्रचलित पंक्तिबद्ध संचित कार्य जानकारी के साथ परिपालित किए जाने पर पश्चदाब की इष्टतमता सिद्ध करने के लिए योगात्मक सन्निकटन प्रायः उपयोगी होते हैं (नीली पाठ का अभ्यास 4.10 देखें)।

लयपुनोव बहाव के माध्यम से गणितीय निर्माण
यह भाग प्रदर्शित करता है कि एक व्याकरणिक स्थान से दूसरे व्याकरणिक स्थान में क्यू बैकलॉग के वर्गों के योग में परिवर्तन पर बाध्यता को कम करने के स्वाभाविक परिणाम के रूप में पश्चदाब एल्गोरिदम कैसे उत्पन्न होता है।

नियंत्रण निर्णय बाध्यताएं और पंक्ति अद्यतन समीकरण
उपरोक्त खंड में वर्णित N बिंदु के साथ एक बहुपद नेटवर्क पर विचार करें। प्रत्येक व्याकरणिक स्थान t नेटवर्क नियंत्रक सांस्थिति स्थिति S(t) को प्रेक्षित करता है तथा निम्नलिखित बाधाओं के अधीन संचरण दर $$(\mu_{ab}(t))$$ परिसंचरण चर राशि $$(\mu_{ab}^{(c)}(t))$$ का चयन करता है:



\text{(Eq. 3)} \qquad (\mu_{ab}(t)) \in \Gamma_{S(t)} $$

\text{(Eq. 4)} \qquad 0 \leq \mu_{ab}^{(c)}(t)  \qquad  \forall a, b, c, \forall t $$

\text{(Eq. 5)} \qquad \sum_{c=1}^N\mu_{ab}^{(c)}(t) \leq \mu_{ab}(t) \qquad \forall (a,b), \forall t $$ एक बार परिसंचरण चर निर्धारित हो जाने के पश्चात ही प्रसारण किया जाता है (यदि आवश्यक हो तो निष्क्रिय भरण का उपयोग करके) तथा परिणामी क्यू बैकलॉग निम्नलिखित को संतुष्ट करते हैं:



\text{(Eq. 6)} \qquad Q_n^{(c)}(t+1) \leq \max\left[Q_n^{(c)}(t) - \sum_{b=1}^N\mu_{nb}^{(c)}(t), 0\right] + \sum_{a=1}^N\mu_{an}^{(c)}(t) + A_n^{(c)}(t) $$ जहाँ $$A_n^{(c)}(t)$$ नए पण्य c डेटा की यादृच्छिक मात्रा है जो वाह्य रूप से व्याकरणिक स्थान t पर बिंदु n पर आता है और $$\mu_{nb}^{(c)}(t)$$ व्याकरणिक स्थान t से संबद्ध (एन, बी) पर पण्य c परिवहन के लिए आवंटित संचरण दर है। ध्यान दें कि $$\mu_{nb}^{(c)}(t)$$ पण्य c डेटा की मात्रा से अधिक हो सकता है जो वस्तुतः व्याकरणिक स्थान t से संबद्ध (a,b) पर प्रसारित होता है। ऐसा इसलिए है क्योंकि बिंदु n में पर्याप्त संचित कार्य नहीं हो सकता है। इसी कारण से समीकरण (6) एक समानता की जगह एक असमानता है क्योंकि व्याकरणिक स्थान t पर बिंदु n के लिए पण्य c के वास्तविक अंतर्जात आगमन से $$\sum_{a=1}^N\mu_{an}^{(c)}(t)$$ अधिक हो सकता है। समीकरण (6) की एक महत्वपूर्ण विशेषता यह है कि यद्यपि $$\mu_{ab}^{(c)}(t)$$ निर्णय चर क्यू बैकलॉग से स्वतंत्र रूप से चुने गए हों।

यह माना जाता है कि सभी व्याकरणिक स्थान t और सभी $$c \in \{1, \ldots, N\}$$ के लिए $$Q_c^{(c)}(t) =0$$ क्योंकि कोई क्रमित डेटा को स्वयं के लिए नियत नहीं करता है।

लायपुनोव बहाव
$$\boldsymbol{Q}(t) = (Q_n^{(c)}(t))$$ को वर्तमान क्यू बैकलॉग के आव्यूह के रूप में परिभाषित करें। निम्नलिखित गैर-नकारात्मक फलन को परिभाषित करें जिसे लायपुनोव फलन कहा जाता है:

$$ L(t) = \frac{1}{2}\sum_{n=1}^N\sum_{c=1}^N Q_n^{(c)}(t)^2 $$

यह क्यू बैकलॉग के वर्गों का योग है (तत्पश्चात विश्लेषण में सुविधा के लिए केवल 1/2 से गुणन )। उपरोक्त राशि सभी n, c के योग के समान है जैसे कि $$n\neq c$$ क्योंकि सभी $$c \in \{1, \ldots, N\}$$ और सभी व्याकरणिक स्थान t के लिए $$Q_c^{(c)}(t) = 0$$.

सशर्त लायपुनोव बहाव $$\Delta(t)$$ परिभाषित किया गया है:



\Delta(t) = E\left[L(t+1) - L(t) \mid \boldsymbol{Q}(t)\right] $$ ध्यान दें कि निम्नलिखित असमानता सभी $$q\geq0$$, $$a\geq 0$$, $$b\geq0$$ के लिए प्रयुक्त होती है:


 * $$(\max[q - b, 0] + a)^2 \leq q^2 + b^2 + a^2 + 2q(a-b)$$

क्यू अद्यतन समीकरण (6) को अधिकोरन करके और उपरोक्त असमानता का उपयोग करके यह प्रदर्शित करना मुश्किल नहीं है कि सभी व्याकरणिक स्थान t के लिए तथा किसी भी कलनविधि के अंतर्गत संचारण और परिसंचरण चर $$(\mu_{ab}(t))$$ और $$(\mu_{ab}^{(c)}(t))$$ का चयन करने के लिए:



\text{(Eq. 7)} \qquad \Delta(t) \leq B + \sum_{n=1}^N\sum_{c=1}^NQ_n^{(c)}(t)E\left[\lambda_n^{(c)}(t) + \sum_{a=1}^N\mu_{an}^{(c)}(t) - \sum_{b=1}^N\mu_{nb}^{(c)}(t)|\boldsymbol{Q}(t)\right] $$ जहां B एक परिमित स्थिरांक है जो आगमन के दूसरे क्षणों और संचरण दरों के अधिकतम संभव दूसरे क्षणों पर निर्भर करता है।

राशियों का स्विचन करके धारा को सीमित करना
पश्चदाब एल्गोरिदम को $$\boldsymbol{Q}(t)$$ और S(t) प्रत्येक व्याकरणिक स्थान t का निरीक्षण करने के लिए रचना की गयी है तथा धारा बाध्य समीकरण (7) के दक्षिण पक्ष को न्यूनतम करने के लिए $$(\mu_{ab}(t))$$ और $$(\mu_{ab}^{(c)}(t))$$ का चयन करें। क्योंकि B और $$\lambda_n^{(c)}$$ स्थिरांक हैं, इसलिए यह अधिकतम करने के लिए है:



E\left[\sum_{n=1}^N\sum_{c=1}^NQ_n^{(c)}(t)\left[  \sum_{b=1}^N\mu_{nb}^{(c)}(t) - \sum_{a=1}^N\mu_{an}^{(c)}(t)  \right] |\boldsymbol{Q}(t)\right] $$ जहाँ अधिकतमीकरण निर्णय को स्पष्ट करने के लिए अपेक्षा द्वारा परिमित योग को प्रेरित किया गया है। समयानुवर्ती रूप से एक अपेक्षा अधिकतमीकरण सिद्धांत द्वारा, उपरोक्त अपेक्षा को उसके अंदर के कार्य का अधिकतमीकरण करके बढाया जाता है (दिए गए प्रेक्षित $$\boldsymbol{Q}(t)$$, $$S(t)$$)। इस प्रकार, अधिकतम करने के लिए समीकरण (3) - (5) की बाध्यताओं के अधीन $$(\mu_{ab}(t))$$ और $$(\mu_{ab}^{(c)}(t))$$ का चयन करता है:



\sum_{n=1}^N\sum_{c=1}^NQ_n^{(c)}(t)\left[ \sum_{b=1}^N\mu_{nb}^{(c)}(t) -  \sum_{a=1}^N\mu_{an}^{(c)}(t)  \right] $$ यह तत्काल स्पष्ट नहीं है कि कौन से निर्णय उपरोक्त को अधिकतम करते हैं। राशियों का स्विचन करके इसे स्पष्ट किया जा सकता है। वास्तव में, उपरोक्त व्यंजक नीचे के समान है:



\sum_{a=1}^N\sum_{b=1}^N\sum_{c=1}^N\mu_{ab}^{(c)}(t)[Q_a^{(c)}(t) - Q_b^{(c)}(t)] $$ भार $$Q_a^{(c)}(t) - Q_b^{(c)}(t)$$ को बिंदु a और b के मध्य पण्य c का वर्तमान अवकल बैकलॉग कहा जाता है। विचार यह है कि निर्णय चर $$(\mu_{ab}^{(c)}(t))$$ का चयन किया जाए जिससे कि उपरोक्त भारित राशि को अधिकतम किया जा सके जहाँ भार अंतरात्मक बैकलॉग हैं। सहज रूप से इसका अर्थ है बड़े अंतर वाले बैकलॉग की दिशा में बड़ी दरों का आवंटन।

जब कभी भी $$Q_a^{(c)}(t) - Q_b^{(c)}(t) < 0$$ हो तो स्पष्ट रूप से $$\mu_{ab}^{(c)}(t) = 0$$ का चयन करना चाहिए। इसके अतिरिक्त, किसी विशेष सम्बन्ध $$(a,b)$$ के लिए दिए गए $$\mu_{ab}(t)$$ को यह प्रदर्शित करना मुश्किल नहीं है कि समीकरण (3) - (5) के अधीन इष्टतम $$\mu_{ab}^{(c)}(t)$$ चयन निम्नानुसार निर्धारित किए गए हैं: सर्वप्रथम पण्य $$c_{ab}^{opt}(t)\in\{1, \ldots, N\}$$ खोजें जो सम्बंध$$(a,b)$$ के लिए अवकल बैकलॉग को अधिकतम करता है। यदि अधिकतमीकरण अवकल बैकलॉग सम्बंध $$(a,b)$$ के लिए नकारात्मक है, तो सम्बंध $$(a,b)$$ पर $$c \in \{1, \ldots, N\}$$ सभी वस्तुओं के लिए $$\mu_{ab}^{(c)}(t) =0$$ निर्दिष्ट करें। अन्यथा, पूरी लिंक दर आवंटित करें $$\mu_{ab}(t)$$ कमोडिटी को $$c_{ab}^{opt}(t)$$, और इस लिंक पर अन्य सभी वस्तुओं के लिए शून्य दर। इस विकल्प के साथ यह इस प्रकार है:



\sum_{c=1}^N\mu_{ab}^{(c)}(t)[Q_a^{(c)}(t) - Q_b^{(c)}(t)] = \mu_{ab}(t)W_{ab}(t) $$ जहाँ $$W_{ab}(t)$$ व्याकरणिक स्थान t(0 के साथ अधिकतम) पर सम्बन्ध $$(a,b)$$ के लिए इष्टतम पण्य का अवकल बैकलॉग है:



W_{ab}(t) = \max[ Q_a^{(c_{ab}^{opt}(t))}(t) - Q_b^{(c_{ab}^{opt}(t))}(t), 0] $$ केवल $$(\mu_{ab}(t)) \in \Gamma_{S(t)}$$का चयन करना शेष है। यह निम्नलिखित को हल करके किया जाता है:



\mathrm{Maximize: } \sum_{a=1}^N\sum_{b=1}^N\mu_{ab}(t)W_{ab}(t) $$

\mathrm{Subject to: } (\mu_{ab}(t)) \in \Gamma_{S(t)} $$ उपरोक्त समस्या समीकरण (1)-(2) में अधिकतम भार समस्या के समान है। पश्चदाब एल्गोरिदम $$(\mu_{ab}(t))$$ के लिए अधिकतम भार निर्णय का उपयोग करता है तथा तत्पश्चात उपरोक्त वर्णित अधिकतम अवकल बैकलॉग के माध्यम से संचरण चर $$(\mu_{ab}^{(c)}(t))$$का चयन करता है।

बैकप्रेसर एल्गोरिथम की एक उल्लेखनीय संपत्ति यह है कि यह केवल देखी गई टोपोलॉजी स्थिति S(t) और क्यू बैकलॉग के आधार पर हर स्लॉट टी पर लालच से काम करता है। $$\boldsymbol{Q}(t)$$ उस स्लॉट के लिए। इस प्रकार, इसे आगमन दर $$(\lambda_n^{(c)})$$ या सांस्थिति अवस्था की संभावनाओं $$\pi_S = Pr[S(t) = S]$$ के ज्ञान की आवश्यकता नहीं है।

प्रदर्शन विश्लेषण
यह भाग पश्चदाब एल्गोरिथम की साद्यांत इष्टतमता को सिद्ध करता है। सरलता के लिए उस परिदृश्य पर विचार किया जाता है जहाँ घटनाएँ स्वतंत्र तथा व्याकरणिक स्थान पर समान रूप से वितरित (i.i.d.) होती हैं, हालाँकि समान कलनविधि को गैर-i.i.d परिदृश्यों में कार्य करने के लिए प्रदर्शित किया जा सकता है (गैर-i.i.d. ऑपरेशन और सार्वभौमिक अनुसूचीकरण के अंतर्गत नीचे देखें)।

गतिक आगमन
मान लें कि$$(A_n^{(c)}(t))$$ व्याकरणिक स्थान t पर बहिर्जात आगमन का आव्यूह है। मान लें कि यह आव्यूह स्वतंत्र और समान रूप से वितरित (i.i.d.) व्याकरणिक स्थान पर परिमित दूसरे क्षणों तथा साधनों के साथ है:



\lambda_{n}^{(c)} = E\left[A_n^{(c)}(t)\right] $$ यह माना जाता है कि सभी $$c \in \{1, \ldots, N\}$$ के लिए $$\lambda_c^{(c)} = 0$$ क्योंकि स्वयं के लिए नियत कोई डेटा प्राप्त नहीं होता है। इस प्रकार, आगमन दर $$(\lambda_n^{(c)})$$ का आव्यूह विकर्ण पर शून्य के साथ गैर-ऋणात्मक वास्तविक संख्याओं का $$N\times N$$ आव्यूह है।

नेटवर्क क्षमता क्षेत्र
मान लें कि टोपोलॉजी स्थिति S(t) i.i.d है। संभावनाओं के साथ स्लॉट्स पर $$\pi_S = Pr[S(t)=S]$$ (यदि एस (टी) वास्तविक मूल्यवान प्रविष्टियों वाले वैक्टरों के अनगिनत अनंत सेट में मान लेता है, तब $$\pi_S$$ संभाव्यता वितरण है, संभाव्यता द्रव्यमान समारोह नहीं)। नेटवर्क के लिए एक सामान्य एल्गोरिद्म S(t) प्रत्येक स्लॉट t को देखता है और ट्रांसमिशन दरों को चुनता है $$(\mu_{ab}(t))$$ और रूटिंग चर $$(\mu_{ab}^{(c)}(t))$$ Eq में बाधाओं के अनुसार। (3) - (5)। नेटवर्क क्षमता क्षेत्र $$\Lambda$$ सभी आगमन दर आव्यूहों के सेट का समापन है $$(\lambda_n^{(c)})$$ जिसके लिए एक कलनविधि मौजूद है जो नेटवर्क को स्थिर करता है। सभी कतारों की स्थिरता का अर्थ है कि नेटवर्क में ट्रैफ़िक की कुल इनपुट दर अपने गंतव्य तक पहुँचाए गए डेटा की कुल दर के समान है। यह दिखाया जा सकता है कि किसी भी आगमन दर मैट्रिक्स के लिए $$(\lambda_n^{(c)})$$ क्षमता क्षेत्र में $$\Lambda$$, एक स्थिर और यादृच्छिक एल्गोरिदम है जो निर्णय चर चुनता है $$(\mu_{ab}^*(t))$$ और $$(\mu_{ab}^{*(c)}(t))$$ प्रत्येक स्लॉट टी केवल एस (टी) पर आधारित है (और इसलिए क्यू बैकलॉग से स्वतंत्र) जो सभी के लिए निम्नलिखित देता है $$n \neq c$$:



\text{(Eq. 8)} \qquad E\left[\lambda_n^{(c)} + \sum_{a=1}^N\mu_{an}^{*(c)}(t) - \sum_{b=1}^N\mu_{nb}^{*(c)}(t)\right] \leq 0 $$ इस तरह के एक स्थिर और यादृच्छिक एल्गोरिदम जो केवल एस (टी) पर निर्णय लेते हैं, एस-ओनली एल्गोरिदम कहलाते हैं। यह मान लेना अक्सर उपयोगी होता है $$(\lambda_n^{(c)})$$ का आंतरिक है $$\Lambda$$, ताकि वहाँ एक है $$\epsilon>0$$ ऐसा है कि $$(\lambda_n^{(c)} + \epsilon 1_n^{(c)}) \in \Lambda$$, कहाँ $$1_n^{(c)}$$ 1 है अगर $$n \neq c$$, और शून्य। उस स्थिति में, एक एस-ओनली एल्गोरिथम है जो सभी के लिए निम्नलिखित उत्पन्न करता है $$n \neq c$$:



\text{(Eq. 9)} \qquad E\left[\lambda_n^{(c)} + \sum_{a=1}^N\mu_{an}^{*(c)}(t) - \sum_{b=1}^N\mu_{nb}^{*(c)}(t)\right] \leq -\epsilon $$ तकनीकी आवश्यकता के रूप में, यह माना जाता है कि संचरण दर के दूसरे क्षण $$\mu_{ab}(t)$$ इन दरों को चुनने के लिए किसी भी एल्गोरिदम के तहत परिमित हैं। यह तुच्छ रूप से धारण करता है यदि कोई अधिकतम अधिकतम दर है $$\mu_{max}$$.

केवल-एस एल्गोरिदम की तुलना
क्योंकि पश्चदाब कलनविधि $$\boldsymbol{Q}(t)$$ और S(t) प्रत्येक व्याकरणिक स्थान t को देखता है और बाध्य धारा समीकरण (7) के दाहिने हाथ की ओर कम करने के लिए $$(\mu_{ab}(t))$$ और $$(\mu_{ab}^{(c)}(t))$$ निर्णय का चयन करता है। हमें प्राप्त है:



\text{(Eq. 10)} \qquad \Delta(t) \leq B + \sum_{n=1}^N\sum_{c=1}^NQ_n^{(c)}(t)E\left[\lambda_n^{(c)}(t) + \sum_{a=1}^N\mu_{an}^{*(c)}(t) - \sum_{b=1}^N\mu_{nb}^{*(c)}(t)|\boldsymbol{Q}(t)\right] $$ जहाँ $$(\mu_{ab}^*(t))$$ और $$(\mu_{ab}^{*(c)}(t))$$ कोई वैकल्पिक निर्णय हैं जो समीकरण (3) - (5) को संतुष्ट करते हैं जिसमें यादृच्छिक निर्णय सम्मिलित हैं।

अब$$(\lambda_n^{(c)}) \in \Lambda$$ मान लीजिए। तब एक केवल-S एल्गोरिथम उपस्थित होता है जो समीकरण (8) को संतुष्ट करता है। इसे समीकरण (10) के दाईं ओर यह देखते हुए प्लग करना कि इस केवल-S एल्गोरिथम के अंतर्गत $$\boldsymbol{Q}(t)$$ अशर्त अपेक्षा (क्योंकि S(t) i.i.d. स्लॉट्स पर है और S-only एल्गोरिथम वर्तमान क्यू बैकलॉग से स्वतंत्र है) के समान है:



\Delta(t) \leq B \, $$ इस प्रकार द्विघात लायपुनोव फलन का आशय सभी व्याकरणिक स्थान t के लिए नियतांक B से कम या उसके समान है। यह तथ्य इस धारणा के साथ है कि पंक्ति आगमन ने दूसरे क्षणों को सीमित कर दिया है, सभी नेटवर्क पंक्ति के लिए निम्नलिखित का अर्थ है:

\lim_{t\rightarrow\infty} \frac{Q_n^{(c)}(t)}{t} = 0 \text{ with probability 1} $$ '''औसत कतार आकार की एक मजबूत समझ के लिए, आगमन दर मान सकते हैं $$(\lambda_n^{(c)})$$ के आंतरिक हैं $$\Lambda$$, तो वहाँ एक है $$\epsilon>0$$ ऐसा है कि Eq। (9) किसी विकल्प के लिए है एस-केवल एल्गोरिदम।''' समीकरण (9) को समीकरण (10) के दाएँ पक्ष में लगाने पर यह प्राप्त होता है:



\Delta(t) \leq B - \epsilon\sum_{n=1}^N\sum_{c=1}^NQ_n^{(c)}(t) $$ जिससे तत्काल प्राप्त हो जाता है (देखें ):



\limsup_{t\rightarrow\infty} \frac{1}{t}\sum_{\tau=0}^{t-1} \sum_{n=1}^N \sum_{c=1}^N E\left[ Q_n^{(c)}(\tau) \right] \leq \frac{B}{\epsilon} $$ जैसे-जैसे क्षमता क्षेत्र $$\Lambda$$ की सीमा से दूरी $$\epsilon$$ शून्य हो जाती है, यह औसत पंक्ति आकार सीमा बढ़ जाती है। यह आगमन दर $$\lambda$$ और सेवा दर $$\mu$$ के साथ एकल M/M/1 पंक्ति के समान गुणात्मक प्रदर्शन है जहां औसत पंक्ति का आकार $$1/\epsilon$$ के समानुपाती होता है जहां $$\epsilon = \mu-\lambda$$ होता है।

गैर-आई.आई.डी. ऑपरेशन और यूनिवर्सल शेड्यूलिंग
उपरोक्त विश्लेषण i.i.d. सादगी के लिए गुण। हालांकि, वही बैकप्रेशर एल्गोरिद्म गैर-आई.आई.डी. स्थितियों। जब आगमन प्रक्रियाएँ और टोपोलॉजी अवस्थाएँ एर्गोडिक होती हैं, लेकिन जरूरी नहीं कि i.i.d., बैकप्रेशर तब भी सिस्टम को स्थिर करता है जब भी $$(\lambda_n^{(c)}) \in \Lambda$$. अधिक आम तौर पर, एक सार्वभौमिक शेड्यूलिंग दृष्टिकोण का उपयोग करते हुए, यह यादृच्छिक (संभवतः गैर-एर्गोडिक) नमूना पथों के लिए स्थिरता और इष्टतम गुणों की पेशकश करने के लिए दिखाया गया है।

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

नेटवर्क उपयोगिता को अधिकतम करते हुए कतारों को स्थिर करने के लिए वैकल्पिक एल्गोरिदम विकसित किए गए हैं द्रव मॉडल विश्लेषण का उपयोग करना, संयुक्त द्रव विश्लेषण और लैग्रेंज गुणक विश्लेषण, उत्तल अनुकूलन, और स्टोकेस्टिक ग्रेडिएंट्स। ये दृष्टिकोण O(1/V), O(V) उपयोगिता-विलंब परिणाम प्रदान नहीं करते हैं।

यह भी देखें

 * एड हॉक ऑन-डिमांड डिस्टेंस वेक्टर रूटिंग
 * विविधता बैकप्रेशर रूटिंग (DIVBAR) * ड्रिफ्ट प्लस पेनल्टी
 * ExOR (वायरलेस नेटवर्क प्रोटोकॉल)
 * भौगोलिक मार्ग
 * एड तदर्थ रूटिंग प्रोटोकॉल की सूची
 * लायपुनोव अनुकूलन

प्राथमिक स्रोत

 * एल. तस्सिउलास और ए. एफ़्रेमाइड्स, मल्टीहॉप रेडियो नेटवर्क में अधिकतम थ्रूपुट के लिए विवश क्यूइंग सिस्टम और शेड्यूलिंग नीतियों की स्थिरता गुण, स्वचालित नियंत्रण पर IEEE लेनदेन, वॉल्यूम। 37, नहीं. 12, पीपी. 1936-1948, दिसंबर 1992.
 * एल. जोर्जियाडिस, एम.जे. नीली, और एल. तासीउलास, संसाधन आवंटन और वायरलेस नेटवर्क में क्रॉस-लेयर नियंत्रण, नेटवर्किंग में नींव और रुझान, वॉल्यूम। 1, नहीं। 1, पीपी। 1–149, 2006।
 * एम जे नीली। स्टोचैस्टिक नेटवर्क ऑप्टिमाइजेशन विथ एप्लीकेशन टू कम्युनिकेशन एंड क्यूइंग सिस्टम्स, मॉर्गन एंड क्लेपूल, 2010।

श्रेणी:नेटवर्किंग एल्गोरिदम श्रेणी:पंक्ति सिद्धांत श्रेणी:रूटिंग एल्गोरिथम