पारिवारिक संपत्ति का जटिल बंटवारा हो, कानूनी तलाक के समय संसाधनों का विभाजन हो, या फ्लैटमेट्स के बीच कमरों और किराए का आवंटन, मानव समाज अनादि काल से निष्पक्षता और न्याय (Fairness) की चुनौती से रूबरू होता रहा है।
दो व्यक्तियों के बीच संसाधनों को बांटने की सबसे प्राचीन और लोकप्रिय नीति है: «एक काटेगा, दूसरा चुनेगा (Cut and Choose)»। काटने वाला अपने नुकसान से बचने के लिए वस्तु को दो सटीक बराबर हिस्सों में विभाजित करता है, और चुनने वाला अपनी सबसे पसंदीदा वस्तु को पहले चुन लेता है। इस सरल प्रक्रिया से दोनों पक्षों के बीच पूर्ण शांति बनी रहती है।
लेकिन क्या होगा जब प्रतिभागियों की संख्या तीन या उससे अधिक हो जाए? और क्या होगा यदि विभाजित की जाने वाली वस्तु एकसमान न हो — जैसे केक के एक तरफ स्वादिष्ट चॉकलेट हो और दूसरी तरफ खट्टी-मीठी स्ट्रॉबेरी — और प्रत्येक प्रतिभागी की व्यक्तिगत पसंद और मूल्य-माप पूरी तरह भिन्न हों? यदि इसे विशुद्ध ज्यामितीय आधार पर तीन बराबर टुकड़ों में काट दिया जाए, तो स्ट्रॉबेरी नापसंद करने वाला व्यक्ति खुद को ठगा हुआ महसूस करेगा और विवाद पैदा होगा।
क्या कोई ऐसा ठोस गणितीय एल्गोरिदम मौजूद है जो यह सुनिश्चित कर सके कि प्रत्येक व्यक्ति अपने व्यक्तिगत पैमाने के अनुसार यह माने कि उसे निष्पक्ष हिस्सा मिला है, और समाज में कोई भी व्यक्ति किसी अन्य के हिस्से से तनिक भी ईर्ष्या न करे?
यही गूढ़ प्रश्न निष्पक्ष विभाजन सिद्धांत (Fair Division Theory) अथवा केक काटने की समस्या (Cake-Cutting Problem) का केंद्र बिंदु है। 1940 के दशक में प्रसिद्ध पोलिश गणितज्ञ ह्यूगो स्टीनहॉस द्वारा प्रतिपादित यह सिद्धांत आज माप सिद्धांत (Measure Theory), बीजगणितीय टोपोलॉजी (स्पर्नर की प्रमेय और निश्चित बिंदु प्रमेय), एल्गोरिदम और खेल सिद्धांत का एक समृद्ध क्षेत्र बन चुका है। 2016 में कंप्यूटर वैज्ञानिक हारिस अज़ीज़ और साइमन मैकेंज़ी ने एक ऐतिहासिक उपलब्धि हासिल करते हुए किसी भी संख्या $n$ के लिए पहली परिमित ईर्ष्या-मुक्त एल्गोरिदम प्रस्तुत की।
1. निष्पक्षता के चार प्रमुख मापदंड
| मापदंड | गणितीय परिभाषा | सामाजिक अर्थ |
|---|---|---|
| आनुपातिकता (PROP) | $\forall i, \quad V_i(X_i) \ge \frac{1}{n}$ | प्रत्येक प्रतिभागी को अपने व्यक्तिगत मूल्यांकन के अनुसार कम से कम $1/n$ हिस्सा मिले |
| ईर्ष्या-मुक्ति (EF) | $\forall i, j, \quad V_i(X_i) \ge V_i(X_j)$ | कोई भी व्यक्ति किसी दूसरे के हिस्से को अपने से बेहतर न समझे |
| समानता (EQ) | $\forall i, j, \quad V_i(X_i) = V_j(X_j)$ | सभी का व्यक्तिपरक संतोष संख्यात्मक रूप से बिल्कुल बराबर हो |
| पैरिटो दक्षता (PE) | किसी को नुकसान पहुंचाए बिना किसी अन्य का लाभ संभव न हो | संसाधनों का बिना किसी बर्बादी के पूर्ण उपयोग |
तीन या अधिक व्यक्तियों में केवल आनुपातिकता पर्याप्त नहीं होती। यदि किसी को $35\%$ ($> 33.3\%$) मिलता है, लेकिन वह देखता है कि दूसरे को उसकी दृष्टि में $50\%$ मिल गया है, तो समाज में तीव्र ईर्ष्या (Envy) भड़क उठती है। इसलिए ईर्ष्या-मुक्ति (Envy-Freeness) स्थायी सामाजिक शांति का सर्वोच्च मापदंड है।
2. सेल्फ़्रिज-कॉनवे तीन-खिलाड़ी प्रोटोकॉल (1960)
जॉन सेल्फ़्रिज और जॉन हॉर्टन कॉनवे द्वारा तैयार किया गया यह जादुई प्रोटोकॉल दो चरणों और अधिकतम 5 कटों में हल प्रस्तुत करता है:
- चरण 1 (मुख्य केक काटना और छांटना):
- खिलाड़ी 1 केक को अपने अनुसार 3 बराबर भागों में काटता है ($A, B, C$)।
- खिलाड़ी 2 सबसे बड़े टुकड़े में से थोड़ी कतरन ($T$) काटकर उसे दूसरे सबसे बड़े टुकड़े के बराबर मूल्यवान बनाता है ($A'$)।
- चयन क्रम: खिलाड़ी 3 पहले चुनता है, फिर खिलाड़ी 2 (यदि खिलाड़ी 3 ने $A'$ नहीं लिया तो खिलाड़ी 2 इसे लेने के लिए बाध्य है), और अंत में खिलाड़ी 1।
- खिलाड़ी 1 को $1/3$ मूल्य का अखंड टुकड़ा मिलता है, जिससे इस चरण में कोई ईर्ष्या नहीं होती!
- चरण 2 (कतरन $T$ का ईर्ष्या-मुक्त बंटवारा):
- कतरन $T$ को वह खिलाड़ी तीन बराबर भागों में काटता है जिसने $A'$ नहीं लिया था।
- चयन क्रम: $A'$ लेने वाला $\to$ खिलाड़ी 1 $\to$ कतरन काटने वाला।
- खिलाड़ी 1 कभी ईर्ष्या नहीं कर सकता, क्योंकि उसके पैमाने पर $A' \cup T$ का संपूर्ण मूल्य भी $1/3$ से अधिक नहीं था!
3. कमरे और किराए का विभाजन: स्पर्नर का लेम्मा
फ्रांसिस सु ने 1999 में टोपोलॉजी के स्पर्नर के लेम्मा (Sperner’s Lemma) का उपयोग कर यह सिद्ध किया कि एक फ्लैट में रहने वाले 3 या अधिक दोस्तों के लिए कमरों और किराए का ऐसा सामंजस्यपूर्ण संतुलन हमेशा मौजूद होता है जहां सभी को अपनी पसंद का कमरा मिलता है और किराया पूरी तरह ईर्ष्या-मुक्त होता है (Rental Harmony)।
4. निष्कर्ष
निष्पक्षता का अर्थ सबको एक लाठी से हांकना नहीं, बल्कि हर व्यक्ति की विशिष्ट प्राथमिकताओं का सम्मान करना है। खेल सिद्धांत और गणितीय नियम हमें सिखाते हैं कि कैसे ईर्ष्या को समाप्त कर परस्पर सहयोग का सुंदर समाज बनाया जा सकता है।