ब्लॉक डिजाइन: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (9 intermediate revisions by 4 users not shown) | |||
| Line 3: | Line 3: | ||
[[साहचर्य]] गणित में, ब्लॉक संरचना [[घटना संरचना]] है जिसमें उपसमुच्चय के परिवार के साथ मिलकर समुच्चय होता है जिसे 'ब्लॉक' के रूप में जाना जाता है, इस तरह चुना जाता है कि तत्वों की आवृत्ति कुछ शर्तों को पूरा करती है जिससे ब्लॉक का संग्रह [[समरूपता]] (संतुलन) प्रदर्शित करता है। ब्लॉक संरचनाों में प्रयोगात्मक संरचना, [[परिमित ज्यामिति]], [[भौतिक रसायन]] शास्त्र, [[सॉफ़्टवेयर परीक्षण]], [[क्रिप्टोग्राफी]] और [[बीजगणितीय ज्यामिति]] सहित कई क्षेत्रों में अनुप्रयोग हैं। | [[साहचर्य]] गणित में, ब्लॉक संरचना [[घटना संरचना]] है जिसमें उपसमुच्चय के परिवार के साथ मिलकर समुच्चय होता है जिसे 'ब्लॉक' के रूप में जाना जाता है, इस तरह चुना जाता है कि तत्वों की आवृत्ति कुछ शर्तों को पूरा करती है जिससे ब्लॉक का संग्रह [[समरूपता]] (संतुलन) प्रदर्शित करता है। ब्लॉक संरचनाों में प्रयोगात्मक संरचना, [[परिमित ज्यामिति]], [[भौतिक रसायन]] शास्त्र, [[सॉफ़्टवेयर परीक्षण]], [[क्रिप्टोग्राफी]] और [[बीजगणितीय ज्यामिति]] सहित कई क्षेत्रों में अनुप्रयोग हैं। | ||
आगे विशिष्टताओं के बिना 'ब्लॉक संरचना' शब्द सामान्यतः संतुलित अपूर्ण ब्लॉक संरचना (बीआईबीडी) को संदर्भित करता है, विशेष रूप से (और समानार्थक रूप से) 2-संरचना, जो संरचना में इसके अनुप्रयोग के कारण ऐतिहासिक रूप से सबसे गहन अध्ययन प्रकार रहा है। | आगे विशिष्टताओं के बिना 'ब्लॉक संरचना' शब्द सामान्यतः संतुलित अपूर्ण ब्लॉक संरचना (बीआईबीडी) को संदर्भित करता है, विशेष रूप से (और समानार्थक रूप से) 2-संरचना, जो संरचना में इसके अनुप्रयोग के कारण ऐतिहासिक रूप से सबसे गहन अध्ययन प्रकार रहा है।<ref>{{harvnb|Colbourn|Dinitz|2007|loc=pp.17−19}}</ref><ref>{{harvnb|Stinson|2003|loc=p.1}}</ref> इसके प्रयोगों का सामान्यीकरण को t-संरचना के रूप में जाना जाता है। | ||
== अवलोकन == | == अवलोकन == | ||
संरचना को संतुलित (t तक) कहा जाता है यदि मूल समुच्चय के सभी t-उपसमुच्चय समान रूप से कई (यानी, λ) ब्लॉकों में होते हैं। जब t निर्दिष्ट नहीं होता है, तो इसे सामान्यतः 2 माना जा सकता है, जिसका अर्थ है कि तत्वों की प्रत्येक जोड़ी समान संख्या में ब्लॉक में पाई जाती है और संरचना जोड़ीदार संतुलित है। t = 1 के लिए, प्रत्येक तत्व समान संख्या में ब्लॉक (प्रतिकृति संख्या, निरूपित r) में होता है और संरचना को नियमित कहा जाता है। t तक संतुलित कोई भी संरचना t के सभी निचले मूल्यों (चूंकि विभिन्न λ-मानों के साथ) में भी संतुलित है, इसलिए उदाहरण के लिए जोड़ीदार संतुलित (t = 2) संरचना भी नियमित (t = 1) है। जब संतुलन की आवश्यकता विफल हो जाती है, तब भी संरचना आंशिक रूप से संतुलित हो सकता है यदि t-उपसमुच्चय को n वर्गों में विभाजित किया जा सकता है, प्रत्येक का अपना (अलग) λ-मूल्य है। t = 2 के लिए इन्हें 'पीबीआईबीडी (n) संरचना' के रूप में जाना जाता है, जिनकी कक्षाएं [[संघ योजना]] बनाती हैं। | संरचना को संतुलित (t तक) कहा जाता है यदि मूल समुच्चय के सभी t-उपसमुच्चय समान रूप से कई (यानी, λ) ब्लॉकों में होते हैं। जब t निर्दिष्ट नहीं होता है, तो इसे सामान्यतः 2 माना जा सकता है, जिसका अर्थ है कि तत्वों की प्रत्येक जोड़ी समान संख्या में ब्लॉक में पाई जाती है और संरचना जोड़ीदार संतुलित है। t = 1 के लिए, प्रत्येक तत्व समान संख्या में ब्लॉक (प्रतिकृति संख्या, निरूपित r) में होता है और संरचना को नियमित कहा जाता है। t तक संतुलित कोई भी संरचना t के सभी निचले मूल्यों (चूंकि विभिन्न λ-मानों के साथ) में भी संतुलित है, इसलिए उदाहरण के लिए जोड़ीदार संतुलित (t = 2) संरचना भी नियमित (t = 1) है। जब संतुलन की आवश्यकता विफल हो जाती है, तब भी संरचना आंशिक रूप से संतुलित हो सकता है यदि t-उपसमुच्चय को n वर्गों में विभाजित किया जा सकता है, प्रत्येक का अपना (अलग) λ-मूल्य है। t = 2 के लिए इन्हें 'पीबीआईबीडी (n) संरचना' के रूप में जाना जाता है, जिनकी कक्षाएं [[संघ योजना]] बनाती हैं। | ||
संरचना को सामान्यतः अधूरा कहा जाता है (या माना जाता है), जिसका अर्थ है कि किसी भी ब्लॉक में समुच्चय के सभी तत्व नहीं होते हैं, इस प्रकार तुच्छ संरचना को | संरचना को सामान्यतः अधूरा कहा जाता है (या माना जाता है), जिसका अर्थ है कि किसी भी ब्लॉक में समुच्चय के सभी तत्व नहीं होते हैं, इस प्रकार तुच्छ संरचना को निष्फल कर दिया जाता है। | ||
ब्लॉक संरचना जिसमें सभी ब्लॉकों का आकार समान होता है (सामान्यतः k को निरूपित किया जाता है) को समान या उचित कहा जाता है। इस आलेख में चर्चा की गई संरचना सभी समान हैं। ब्लॉक संरचना जो आवश्यक रूप से एक समान नहीं हैं, का भी अध्ययन किया गया है; t = 2 के लिए वे साहित्य में सामान्य नाम कॉम्बिनेटरियल संरचना | ब्लॉक संरचना जिसमें सभी ब्लॉकों का आकार समान होता है (सामान्यतः k को निरूपित किया जाता है) को समान या उचित कहा जाता है। इस आलेख में चर्चा की गई संरचना सभी समान हैं। ब्लॉक संरचना जो आवश्यक रूप से एक समान नहीं हैं, का भी अध्ययन किया गया है; t = 2 के लिए वे साहित्य में सामान्य नाम कॉम्बिनेटरियल संरचना जोड़ीदार संतुलित संरचना (पीबीडी) के अंतर्गत जाने जाते हैं। | ||
ब्लॉक संरचना में बार-बार ब्लॉक हो भी सकते हैं और नहीं | ब्लॉक संरचना में बार-बार ब्लॉक हो भी सकते हैं और नहीं भी दोहराए गए ब्लॉक के बिना संरचना सरल कहलाते हैं,<ref>{{Cite journal|last=P. Dobcsányi, D.A. Preece. L.H. Soicher|date=2007-10-01|title=दोहराए गए ब्लॉकों के साथ संतुलित अपूर्ण-ब्लॉक डिज़ाइनों पर|journal=[[European Journal of Combinatorics]]|language=en|volume=28|issue=7|pages=1955–1970|doi=10.1016/j.ejc.2006.08.007|issn=0195-6698|doi-access=free}}</ref> इस स्थितियों में ब्लॉक का परिवार [[ multiset |बहु-समुच्चय]] के अतिरिक्त [[सेट (गणित)|समुच्चय (गणित)]] है। | ||
आँकड़ों में, ब्लॉक संरचना की अवधारणा को गैर-बाइनरी ब्लॉक संरचनाों तक बढ़ाया जा सकता है, जिसमें ब्लॉक में तत्व की कई प्रतियां हो सकती हैं (ब्लॉकिंग (आँकड़े) देखें)। वहां, संरचना जिसमें प्रत्येक तत्व एक ही कुल संख्या में होता है, उसे समकक्ष कहा जाता है, जिसका अर्थ केवल नियमित संरचना होता है, जब संरचना भी द्विआधारी होता है। गैर-बाइनरी संरचना की घटना मैट्रिक्स प्रत्येक ब्लॉक में प्रत्येक तत्व के दोहराए जाने की संख्या को सूचीबद्ध करती है। | आँकड़ों में, ब्लॉक संरचना की अवधारणा को गैर-बाइनरी ब्लॉक संरचनाों तक बढ़ाया जा सकता है, जिसमें ब्लॉक में तत्व की कई प्रतियां हो सकती हैं (ब्लॉकिंग (आँकड़े) देखें)। वहां, संरचना जिसमें प्रत्येक तत्व एक ही कुल संख्या में होता है, उसे समकक्ष कहा जाता है, जिसका अर्थ केवल नियमित संरचना होता है, जब संरचना भी द्विआधारी होता है। गैर-बाइनरी संरचना की घटना मैट्रिक्स प्रत्येक ब्लॉक में प्रत्येक तत्व के दोहराए जाने की संख्या को सूचीबद्ध करती है। | ||
== नियमित | == नियमित यूनिफार्म संरचना (विन्यास) == | ||
सबसे सरल प्रकार की संतुलित संरचना (t = 1) को 'सामरिक विन्यास' या '1-संरचना' के रूप में जाना जाता है। [[ज्यामिति]] में संबंधित घटना संरचना को 'विन्यास' के रूप में जाना जाता है, [[विन्यास (ज्यामिति)]] देखें। ऐसा संरचना एक समान और नियमित है: प्रत्येक ब्लॉक में k तत्व होते हैं और प्रत्येक तत्व r ब्लॉक में समाहित होता है। समुच्चय तत्वों की संख्या v और ब्लॉकों की संख्या b से संबंधित हैं <math> bk = vr </math>, जो तत्वों की घटनाओं की कुल संख्या है। | सबसे सरल प्रकार की संतुलित संरचना (t = 1) को 'सामरिक विन्यास' या '1-संरचना' के रूप में जाना जाता है। [[ज्यामिति]] में संबंधित घटना संरचना को 'विन्यास' के रूप में जाना जाता है, [[विन्यास (ज्यामिति)]] देखें। ऐसा संरचना एक समान और नियमित है: प्रत्येक ब्लॉक में k तत्व होते हैं और प्रत्येक तत्व r ब्लॉक में समाहित होता है। समुच्चय तत्वों की संख्या v और ब्लॉकों की संख्या b से संबंधित हैं <math> bk = vr </math>, जो तत्वों की घटनाओं की कुल संख्या है। | ||
निरंतर पंक्ति और स्तंभ योगों वाला प्रत्येक [[बाइनरी मैट्रिक्स]] नियमित | निरंतर पंक्ति और स्तंभ योगों वाला प्रत्येक [[बाइनरी मैट्रिक्स]] नियमित यूनिफार्म ब्लॉक संरचना का [[घटना मैट्रिक्स]] है। इसके अतिरिक्त, प्रत्येक विन्यास में संबंधित [[बिरेगुलर ग्राफ]] [[द्विपक्षीय ग्राफ]] [[ग्राफ (असतत गणित)]] होता है जिसे इसकी घटना या [[लेवी ग्राफ|v ग्राफ]] के रूप में जाना जाता है। | ||
== जोड़ीदार संतुलित | == जोड़ीदार संतुलित यूनिफार्म संरचना (2-संरचना या बीआईबीडी) == | ||
परिमित समुच्चय X (बिंदु कहे जाने वाले तत्वों का) और पूर्णांक k, r, λ ≥ 1 को देखते हुए, हम 2-संरचना (या बीआईबीडी, संतुलित अपूर्ण ब्लॉक संरचना के लिए खड़े) B को परिभाषित करते हैं, जो कि X के k-तत्व | परिमित समुच्चय X (बिंदु कहे जाने वाले तत्वों का) और पूर्णांक k, r, λ ≥ 1 को देखते हुए, हम 2-संरचना (या बीआईबीडी, संतुलित अपूर्ण ब्लॉक संरचना के लिए खड़े) B को परिभाषित करते हैं, जो कि X के k-तत्व उपसमुचय का परिवार है। , ब्लॉक कहा जाता है, जैसे कि X में कोई भी x r ब्लॉक में समाहित है, और X में अलग-अलग बिंदु x और y की कोई भी जोड़ी λ ब्लॉक में समाहित है। यहां, शर्त यह है कि x में कोई भी x r ब्लॉक में निहित है, जैसा कि नीचे दिखाया गया है। | ||
यहाँ v (X के तत्वों की संख्या, जिसे बिंदु कहा जाता है), b (ब्लॉक की संख्या), k, r, और λ संरचना के पैरामीटर हैं। (पतित उदाहरणों से बचने के लिए, यह भी माना जाता है कि v > k, | यहाँ v (X के तत्वों की संख्या, जिसे बिंदु कहा जाता है), b (ब्लॉक की संख्या), k, r, और λ संरचना के पैरामीटर हैं। (पतित उदाहरणों से बचने के लिए, यह भी माना जाता है कि v > k, यद्यपि किसी भी ब्लॉक में समुच्चय के सभी तत्व सम्मिलित न हों। इन संरचनाों के नाम में अपूर्णता का यही अर्थ है।) तालिका में: | ||
:{| class="wikitable" | :{| class="wikitable" | ||
| ''v'' || अंक, x के तत्वों की संख्या | | ''v'' || अंक, x के तत्वों की संख्या | ||
| Line 38: | Line 38: | ||
|- | |- | ||
|} | |} | ||
संरचना को a (v, k, λ)-संरचना या a (v, b, r, k, λ)-संरचना कहा जाता है। पैरामीटर सभी स्वतंत्र नहीं हैं; v, k, और λ b और r निर्धारित करते हैं, और v, k, और λ के सभी संयोजन संभव नहीं हैं। इन मापदंडों को जोड़ने वाले दो मूलभूत समीकरण | संरचना को a (v, k, λ)-संरचना या a (v, b, r, k, λ)-संरचना कहा जाता है। पैरामीटर सभी स्वतंत्र नहीं हैं; v, k, और λ b और r निर्धारित करते हैं, और v, k, और λ के सभी संयोजन संभव नहीं हैं। इन मापदंडों को जोड़ने वाले दो मूलभूत समीकरण हैं। | ||
:<math> bk = vr, </math> | :<math> bk = vr, </math> | ||
:जोड़े (B, p) की संख्या की गणना करके प्राप्त किया गया जहां b | :जोड़े (B, p) की संख्या की गणना करके प्राप्त किया गया जहां b ब्लॉक है और p उस ब्लॉक में बिंदु है। और | ||
:<math> \lambda(v-1) = r(k-1), </math> | :<math> \lambda(v-1) = r(k-1), </math> | ||
निश्चित x के लिए गिनने से प्राप्त ट्रिपल (x, y, B) जहां x और y अलग-अलग बिंदु हैं और B ऐसा ब्लॉक है जिसमें ये दोनों सम्मिलित हैं। प्रत्येक x के लिए यह समीकरण यह भी सिद्ध करता है कि r स्थिर है (x से स्वतंत्र) भले ही इसे स्पष्ट रूप से ग्रहण न किया गया हो, इस प्रकार यह सिद्ध होता है कि x में कोई भी x r ब्लॉक में समाहित है, यह निरर्थक है और r की गणना अन्य मापदंडों से की जा सकती है। | निश्चित x के लिए गिनने से प्राप्त ट्रिपल (x, y, B) जहां x और y अलग-अलग बिंदु हैं और B ऐसा ब्लॉक है जिसमें ये दोनों सम्मिलित हैं। प्रत्येक x के लिए यह समीकरण यह भी सिद्ध करता है कि r स्थिर है (x से स्वतंत्र) भले ही इसे स्पष्ट रूप से ग्रहण न किया गया हो, इस प्रकार यह सिद्ध होता है कि x में कोई भी x r ब्लॉक में समाहित है, यह निरर्थक है और r की गणना अन्य मापदंडों से की जा सकती है। | ||
| Line 46: | Line 46: | ||
ये शर्तें पर्याप्त नहीं हैं, उदाहरण के लिए, (43,7,1)-संरचना उपस्थित नहीं है।<ref>Proved by Tarry in 1900 who showed that there was no pair of orthogonal [[Latin square]]s of order six. The 2-design with the indicated parameters is equivalent to the existence of five mutually orthogonal Latin squares of order six.</ref> | ये शर्तें पर्याप्त नहीं हैं, उदाहरण के लिए, (43,7,1)-संरचना उपस्थित नहीं है।<ref>Proved by Tarry in 1900 who showed that there was no pair of orthogonal [[Latin square]]s of order six. The 2-design with the indicated parameters is equivalent to the existence of five mutually orthogonal Latin squares of order six.</ref> | ||
2-संरचना का क्रम n = r − λ के रूप में परिभाषित किया गया है। 2-संरचना का 'पूरक' बिंदु समुच्चय X में प्रत्येक ब्लॉक को इसके पूरक के साथ बदलकर प्राप्त किया जाता है। यह 2-संरचना भी है और इसके पैरामीटर v′ = v, b′ = b, r′ = b − r हैं , k′ = v − k, λ′ = λ + b − 2r। | 2-संरचना का क्रम n = r − λ के रूप में परिभाषित किया गया है। 2-संरचना का 'पूरक' बिंदु समुच्चय X में प्रत्येक ब्लॉक को इसके पूरक के साथ बदलकर प्राप्त किया जाता है। यह 2-संरचना भी है और इसके पैरामीटर v′ = v, b′ = b, r′ = b − r हैं , k′ = v − k, λ′ = λ + b − 2r। 2-संरचना और उसके पूरक का एक ही क्रम है। | ||
मौलिक प्रमेय, फिशर की असमानता, जिसका नाम सांख्यिकीविद् [[रोनाल्ड फिशर]] के नाम पर रखा गया है, वह किसी भी 2-संरचना में b ≥ v है। | मौलिक प्रमेय, फिशर की असमानता, जिसका नाम सांख्यिकीविद् [[रोनाल्ड फिशर]] के नाम पर रखा गया है, वह किसी भी 2-संरचना में b ≥ v है। | ||
=== उदाहरण === | === उदाहरण === | ||
अद्वितीय (6,3,2)-संरचना (v = 6, k = 3, λ = 2) में 10 ब्लॉक (b = 10) हैं और प्रत्येक तत्व को 5 बार (r = 5) दोहराया जाता है।<ref name="ex">{{harvnb|Colbourn|Dinitz|2007|loc=p. 27}}</ref> प्रतीकों 0 − 5 का उपयोग करते हुए, ब्लॉक निम्नलिखित त्रिगुण | अद्वितीय (6,3,2)-संरचना (v = 6, k = 3, λ = 2) में 10 ब्लॉक (b = 10) हैं और प्रत्येक तत्व को 5 बार (r = 5) दोहराया जाता है।<ref name="ex">{{harvnb|Colbourn|Dinitz|2007|loc=p. 27}}</ref> प्रतीकों 0 − 5 का उपयोग करते हुए, ब्लॉक निम्नलिखित त्रिगुण हैं। | ||
: 012 013 024 035 045 125 134 145 234 | : 012 013 024 035 045 125 134 145 234 235 | ||
और संबंधित घटना मैट्रिक्स v × b बाइनरी मैट्रिक्स निरंतर पंक्ति योग r और निरंतर स्तंभ योग k के साथ) है: | और संबंधित घटना मैट्रिक्स v × b बाइनरी मैट्रिक्स निरंतर पंक्ति योग r और निरंतर स्तंभ योग k के साथ) है: | ||
| Line 66: | Line 66: | ||
चार गैर-समरूपी (8,4,3)-संरचनाों में से में 14 ब्लॉक हैं जिनमें प्रत्येक तत्व को 7 बार दोहराया गया है। प्रतीकों 0 − 7 का उपयोग करते हुए ब्लॉक निम्नलिखित 4-ट्यूपल हैं:<ref name="ex" />: | चार गैर-समरूपी (8,4,3)-संरचनाों में से में 14 ब्लॉक हैं जिनमें प्रत्येक तत्व को 7 बार दोहराया गया है। प्रतीकों 0 − 7 का उपयोग करते हुए ब्लॉक निम्नलिखित 4-ट्यूपल हैं:<ref name="ex" />: | ||
0123 0124 0156 0257 0345 0367 0467 1267 1346 1357 1457 2347 2356 | 0123 0124 0156 0257 0345 0367 0467 1267 1346 1357 1457 2347 2356 2456 | ||
अद्वितीय (7,3,1)-संरचना सममित है और इसमें 7 ब्लॉक हैं जिनमें प्रत्येक तत्व को 3 बार दोहराया गया है। प्रतीकों 0 − 6 का उपयोग करते हुए, ब्लॉक निम्नलिखित त्रिक हैं:<ref name="ex" />: | अद्वितीय (7,3,1)-संरचना सममित है और इसमें 7 ब्लॉक हैं जिनमें प्रत्येक तत्व को 3 बार दोहराया गया है। प्रतीकों 0 − 6 का उपयोग करते हुए, ब्लॉक निम्नलिखित त्रिक हैं:<ref name="ex" />: | ||
013 026 045 124 156 235 | 013 026 045 124 156 235 346 | ||
यह संरचना [[फानो विमान]] के साथ जुड़ा हुआ है, संरचना फ़ानो | यह संरचना [[फानो विमान|फानो समतल]] के साथ जुड़ा हुआ है, संरचना फ़ानो समतल के तत्वों और ब्लॉकों के साथ समतल के बिंदु और रेखा के लिए ब्लॉक संरचना सिद्धांत है। इसके संबंधित घटना मैट्रिक्स भी सममित हो सकते हैं।, यदि लेबल या ब्लॉक को सही विधियों से क्रमबद्ध किया गया हो: | ||
: <math>\left ( \begin{matrix} | : <math>\left ( \begin{matrix} | ||
| Line 88: | Line 88: | ||
फिशर की असमानता में समानता का स्थितियों, अर्थात, समान संख्या में बिंदुओं और ब्लॉकों के साथ 2-संरचना को सममित संरचना कहा जाता है।<ref>They have also been referred to as ''projective designs'' or ''square designs''. These alternatives have been used in an attempt to replace the term "symmetric", since there is nothing symmetric (in the usual meaning of the term) about these designs. The use of ''projective'' is due to P.Dembowski (''Finite Geometries'', Springer, 1968), in analogy with the most common example, projective planes, while ''square'' is due to P. Cameron (''Designs, Graphs, Codes and their Links'', Cambridge, 1991) and captures the implication of v = b on the incidence matrix. Neither term has caught on as a replacement and these designs are still universally referred to as ''symmetric''.</ref> समान अंक वाले सभी 2-संरचनाों में सममित संरचनाों में सबसे कम संख्या में ब्लॉक होते हैं। | फिशर की असमानता में समानता का स्थितियों, अर्थात, समान संख्या में बिंदुओं और ब्लॉकों के साथ 2-संरचना को सममित संरचना कहा जाता है।<ref>They have also been referred to as ''projective designs'' or ''square designs''. These alternatives have been used in an attempt to replace the term "symmetric", since there is nothing symmetric (in the usual meaning of the term) about these designs. The use of ''projective'' is due to P.Dembowski (''Finite Geometries'', Springer, 1968), in analogy with the most common example, projective planes, while ''square'' is due to P. Cameron (''Designs, Graphs, Codes and their Links'', Cambridge, 1991) and captures the implication of v = b on the incidence matrix. Neither term has caught on as a replacement and these designs are still universally referred to as ''symmetric''.</ref> समान अंक वाले सभी 2-संरचनाों में सममित संरचनाों में सबसे कम संख्या में ब्लॉक होते हैं। | ||
सममित संरचना में r = k साथ ही साथ b = v, और, जबकि यह सामान्यतः मनमाना 2-संरचनाों में | सममित संरचना में r = k साथ ही साथ b = v, और, जबकि यह सामान्यतः मनमाना 2-संरचनाों में सही नहीं है, सममित संरचना में प्रत्येक दो अलग-अलग ब्लॉक λ बिंदुओं में मिलते हैं।<ref>{{harvnb|Stinson|2003|loc=pg.23, Theorem 2.2}}</ref> एच जे रायसर का प्रमेय इसका विलोम प्रदान करता है। यदि x एक v-तत्व समुच्चय है, और b के-तत्व उपसमुच्चय (ब्लॉक) का v-तत्व समुच्चय है, जैसे कि किसी भी दो अलग-अलग ब्लॉकों में बिल्कुल λ अंक सामान्य हैं, तो (x, B) सममित ब्लॉक संरचना है।<ref>{{harvnb|Ryser|1963|loc = pp. 102–104}}</ref> | ||
सममित संरचना के पैरामीटर संतुष्ट करते हैं। | |||
::<math> \lambda (v-1) = k(k-1). </math> | ::<math> \lambda (v-1) = k(k-1). </math> | ||
यह v पर मजबूत प्रतिबंध लगाता है, इसलिए अंकों की संख्या मनमानी से दूर है। ब्रुक-रेज़र-चावला प्रमेय इन मापदंडों के संदर्भ में सममित संरचना के अस्तित्व के लिए आवश्यक, लेकिन पर्याप्त नहीं, शर्तें देता है। | यह v पर मजबूत प्रतिबंध लगाता है, इसलिए अंकों की संख्या मनमानी से दूर है। ब्रुक-रेज़र-चावला प्रमेय इन मापदंडों के संदर्भ में सममित संरचना के अस्तित्व के लिए आवश्यक, लेकिन पर्याप्त नहीं, शर्तें देता है। | ||
| Line 99: | Line 99: | ||
{{main|प्रक्षेपी सतह}} | {{main|प्रक्षेपी सतह}} | ||
प्रक्षेपी प्लेन | प्रक्षेपी प्लेन परिमित प्रक्षेपी प्लेन λ = 1 और ऑर्डर n> 1 के साथ सममित 2-संरचना हैं। इन संरचनाों के लिए सममित संरचना समीकरण बन जाता है: | ||
::<math>v-1 = k(k-1).</math> | ::<math>v-1 = k(k-1).</math> | ||
चूँकि k = r हम प्रक्षेपी प्लेन के क्रम को n = k − 1 के रूप में लिख सकते हैं और, ऊपर प्रदर्शित समीकरण से, हम v = (n + 1)n + 1 = n प्राप्त करते हैं n<sup>2</sup> + n + 1 बिंदु क्रम n के प्रक्षेपी तल | चूँकि k = r हम प्रक्षेपी प्लेन के क्रम को n = k − 1 के रूप में लिख सकते हैं और, ऊपर प्रदर्शित समीकरण से, हम v = (n + 1)n + 1 = n प्राप्त करते हैं n<sup>2</sup> + n + 1 बिंदु क्रम n के प्रक्षेपी तल में प्राप्त करते है। | ||
प्रक्षेपी तल के रूप में सममित संरचना है, हमारे पास b = v है, जिसका अर्थ है कि b = n<sup>2</sup> + n + 1 | प्रक्षेपी तल के रूप में सममित संरचना है, हमारे पास b = v है, जिसका अर्थ है कि b = n<sup>2</sup> + n + 1 भी संख्या b प्रक्षेपी तल की रेखाओं की संख्या है। λ = 1 के बाद से कोई भी रेखाएँ दोहराई नहीं जा सकती हैं, इसलिए प्रक्षेपी तल सरल 2-संरचना है जिसमें रेखाओं की संख्या और बिंदुओं की संख्या हमेशा समान होती है। प्रक्षेपी तल के लिए, k प्रत्येक रेखा पर बिंदुओं की संख्या है और यह n + 1 के बराबर है। इसी प्रकार, r = n + 1 उन रेखाओं की संख्या है जिनके साथ दिया गया बिंदु घटना है। | ||
n = 2 के लिए हमें क्रम 2 का प्रक्षेपी तल मिलता है, जिसे फ़ानो तल भी कहा जाता है, जिसमें v = 4 + 2 + 1 = 7 बिंदु और 7 रेखाएँ होती हैं। फ़ानो विमान में, प्रत्येक पंक्ति में n + 1 = 3 बिंदु होते हैं और प्रत्येक बिंदु n + 1 = 3 रेखाओं से संबंधित होता है। | n = 2 के लिए हमें क्रम 2 का प्रक्षेपी तल मिलता है, जिसे फ़ानो तल भी कहा जाता है, जिसमें v = 4 + 2 + 1 = 7 बिंदु और 7 रेखाएँ होती हैं। फ़ानो विमान में, प्रत्येक पंक्ति में n + 1 = 3 बिंदु होते हैं और प्रत्येक बिंदु n + 1 = 3 रेखाओं से संबंधित होता है। | ||
| Line 112: | Line 112: | ||
=== बाइप्लेन === | === बाइप्लेन === | ||
बाइप्लेन या बाइप्लेन ज्योमेट्री ''λ'' = 2 के साथ सममित 2-संरचना है; अर्थात्, दो बिंदुओं का प्रत्येक समुच्चय दो ब्लॉकों (रेखाओं) में समाहित होता है, जबकि कोई भी दो रेखाएँ दो बिंदुओं में प्रतिच्छेद करती हैं।<ref name="Hughes 1985 loc=pg.109">{{harvnb|Hughes|Piper|1985|loc=pg.109}}</ref> वे परिमित प्रक्षेपी विमानों के समान हैं, दूसरा इसके लिए | बाइप्लेन या बाइप्लेन ज्योमेट्री ''λ'' = 2 के साथ सममित 2-संरचना है; अर्थात्, दो बिंदुओं का प्रत्येक समुच्चय दो ब्लॉकों (रेखाओं) में समाहित होता है, जबकि कोई भी दो रेखाएँ दो बिंदुओं में प्रतिच्छेद करती हैं।<ref name="Hughes 1985 loc=pg.109">{{harvnb|Hughes|Piper|1985|loc=pg.109}}</ref> वे परिमित प्रक्षेपी '''विमानों''' के समान हैं, दूसरा इसके लिए रेखा (और बिंदु को निर्धारित करने वाली दो रेखाएं) निर्धारित करने वाले दो बिंदुओं के अतिरिक्त, दो बिंदु दो रेखाओं (क्रमशः, अंक) का निर्धारण करते हैं। क्रम n का बाइप्लेन वह है जिसके ब्लॉक में k = n + 2 बिंदु होते हैं; इसमें v = 1 + (n + 2)(n + 1)/2 अंक हैं। (r = k के बाद से) | ||
18 ज्ञात उदाहरण<ref>{{harvnb|Hall|1986|loc=pp.320-335}}</ref> नीचे सूचीबद्ध हैं। | 18 ज्ञात उदाहरण<ref>{{harvnb|Hall|1986|loc=pp.320-335}}</ref> नीचे सूचीबद्ध हैं। | ||
* ( | * (निरर्थक) ऑर्डर 0 बाइप्लेन में 2 बिंदु हैं (और आकार 2 की रेखाएँ; 2- (2,2,2) संरचना); यह दो बिंदु हैं, दो ब्लॉक के साथ, प्रत्येक में दोनों बिंदु होते हैं। ज्यामितीय रूप से, यह डिगॉन है। | ||
* ऑर्डर 1 बाइप्लेन में 4 बिंदु होते हैं (और आकार 3 की रेखाएँ; | * ऑर्डर 1 बाइप्लेन में 4 बिंदु होते हैं (और आकार 3 की रेखाएँ; 2- (4,3,2) संरचना); यह v = 4 और k = 3 के साथ पूर्ण संरचना है। ज्यामितीय रूप से, बिंदु चतुष्फलक के शीर्ष हैं और ब्लॉक इसके फलक हैं। | ||
* ऑर्डर 2 बाइप्लेन फ़ानो प्लेन का पूरक है: इसके 7 बिंदु हैं (और आकार 4 की रेखाएँ; | * ऑर्डर 2 बाइप्लेन फ़ानो प्लेन का पूरक है: इसके 7 बिंदु हैं (और आकार 4 की रेखाएँ; 2-(7,4,2)), जहाँ रेखाएँ (3-बिंदु) के पूरक के रूप में दी गई हैं ) फ़ानो विमान में लाइनें है।<ref>{{harvnb|Assmus|Key|1992|loc=pg.55}}</ref> | ||
* ऑर्डर 3 बाइप्लेन में 11 बिंदु हैं (और आकार 5 की रेखाएं; | * ऑर्डर 3 बाइप्लेन में 11 बिंदु हैं (और आकार 5 की रेखाएं; 2-(11,5,2)), और इसे के रूप में भी जाना जाता है {{visible anchor|पाले बाइप्लेन}} [[रेमंड पाले]] के बाद; यह ऑर्डर 11 के [[पाले डिग्राफ]] से जुड़ा है, जो 11 तत्वों के साथ क्षेत्र का उपयोग करके बनाया गया है, और हैडमार्ड 2-संरचना 12 हैडमार्ड मैट्रिक्स से जुड़ा है; पाले निर्माण देखें | ||
: बीजगणितीय रूप से यह 'पीएसएल' (2,11) में [[ प्रक्षेपी विशेष रैखिक समूह |प्रक्षेपी विशेष रैखिक समूह]] पीएसएल (2,5) के असाधारण एम्बेडिंग से मेल खाता है | : बीजगणितीय रूप से यह 'पीएसएल' (2,11) में [[ प्रक्षेपी विशेष रैखिक समूह |प्रक्षेपी विशेष रैखिक समूह]] पीएसएल (2,5) के असाधारण एम्बेडिंग से मेल खाता है प्रक्षेपी लीनियर ग्रुप: विवरण के लिए p बिंदुओं पर कार्रवाई है।<ref name="martinsingerman">{{citation | title = From Biplanes to the Klein quartic and the Buckyball | first1 = Pablo | last1 = Martin | first2 = David | last2 = Singerman | date = April 17, 2008 | url = http://www.neverendingbooks.org/DATA/biplanesingerman.pdf | page = 4}}</ref> | ||
* ऑर्डर 4 (और 16 अंक, आकार 6 की रेखाएं; 2- (16,6,2)) के तीन बाइप्लेन हैं। कुमेर विन्यास है। ये तीन संरचना [[नियमित हैडमार्ड मैट्रिक्स]] भी हैं। | * ऑर्डर 4 (और 16 अंक, आकार 6 की रेखाएं; 2- (16,6,2)) के तीन बाइप्लेन हैं। कुमेर विन्यास है। ये तीन संरचना [[नियमित हैडमार्ड मैट्रिक्स]] भी हैं। | ||
* ऑर्डर 7 (और 37 अंक, आकार 9 की रेखाएं; 2-(37,9,2)) के चार बाइप्लेन हैं।<ref>{{harvnb|Salwach|Mezzaroba|1978}}</ref> | * ऑर्डर 7 (और 37 अंक, आकार 9 की रेखाएं; 2-(37,9,2)) के चार बाइप्लेन हैं।<ref>{{harvnb|Salwach|Mezzaroba|1978}}</ref> | ||
* ऑर्डर 9 के पांच बाइप्लेन हैं (और 56 अंक, आकार 11 की रेखाएं; 2- (56,11,2) | * ऑर्डर 9 के पांच बाइप्लेन हैं (और 56 अंक, आकार 11 की रेखाएं; 2- (56,11,2)<ref>{{harvnb|Kaski|Östergård|2008}}</ref> | ||
* दो बाइप्लेन ऑर्डर 11 (और 79 अंक, आकार 13 की रेखाएं; | * दो बाइप्लेन ऑर्डर 11 (और 79 अंक, आकार 13 की रेखाएं; 2- (79,13,2)) के लिए जाने जाते हैं।<ref>{{harvnb|Aschbacher|1971|loc=pp. 279–281}}</ref> | ||
ऑर्डर 5, 6, 8 और 10 के बाइप्लेन उपस्थित नहीं हैं, जैसा कि [[ब्रुक-रायसर-चावला प्रमेय]] द्वारा दिखाया गया है। | ऑर्डर 5, 6, 8 और 10 के बाइप्लेन उपस्थित नहीं हैं, जैसा कि [[ब्रुक-रायसर-चावला प्रमेय]] द्वारा दिखाया गया है। | ||
===हैडमार्ड 2-संरचना === | ===हैडमार्ड 2-संरचना === | ||
m आकार का [[हैडमार्ड मैट्रिक्स]] m × m मैट्रिक्स 'H' है जिसकी प्रविष्टियाँ ±1 ऐसी हैं कि 'HH'<sup>⊤</sup> = mi<sub>m</sub>, जहां H<sup>⊤</sup> H और I<sub>''m''</sub> का स्थानान्तरण है | m आकार का [[हैडमार्ड मैट्रिक्स]] m × m मैट्रिक्स 'H' है जिसकी प्रविष्टियाँ ±1 ऐसी हैं कि 'HH'<sup>⊤</sup> = mi<sub>m</sub>, जहां H<sup>⊤</sup> H और I<sub>''m''</sub> का स्थानान्तरण है m × m पहचान मैट्रिक्स है। हैडमार्ड मैट्रिक्स को मानकीकृत रूप में रखा जा सकता है (अर्थात, समकक्ष हैडमार्ड मैट्रिक्स में परिवर्तित) जहां पहली पंक्ति और पहली कॉलम प्रविष्टियां सभी +1 हैं। यदि आकार m > 2 है तो m 4 का गुणक होना चाहिए। | ||
मानकीकृत रूप में आकार 4a के हैडमार्ड मैट्रिक्स को देखते हुए, पहली पंक्ति और पहले कॉलम को हटा दें और प्रत्येक −1 को 0 में बदलें। परिणामी 0–1 मैट्रिक्स 'M' सममित 2-(4a − 1, का आपतन मैट्रिक्स है, 2a − 1, a − 1) संरचना जिसे 'हैडमार्ड 2-संरचना' कहा जाता है।<ref>{{harvnb|Stinson|2003|loc=pg. 74, Theorem 4.5}}</ref> इसमें है <math>4a-1</math> ब्लॉक अंक; प्रत्येक में सम्मिलित है | मानकीकृत रूप में आकार 4a के हैडमार्ड मैट्रिक्स को देखते हुए, पहली पंक्ति और पहले कॉलम को हटा दें और प्रत्येक −1 को 0 में बदलें। परिणामी 0–1 मैट्रिक्स 'M' सममित 2-(4a − 1, का आपतन मैट्रिक्स है, 2a − 1, a − 1) संरचना जिसे 'हैडमार्ड 2-संरचना' कहा जाता है।<ref>{{harvnb|Stinson|2003|loc=pg. 74, Theorem 4.5}}</ref> इसमें है <math>4a-1</math> ब्लॉक अंक; प्रत्येक में सम्मिलित है इसमें निहित है <math>2a-1</math> अंक ब्लॉक अंकों की प्रत्येक जोड़ी बिल्कुल में समाहित है। <math>a-1</math> ब्लॉक है। | ||
यह निर्माण प्रतिवर्ती है, और इन मापदंडों के साथ सममित 2-संरचना की घटना मैट्रिक्स का उपयोग आकार 4a के हैडमार्ड मैट्रिक्स को बनाने के लिए किया जा सकता है। | यह निर्माण प्रतिवर्ती है, और इन मापदंडों के साथ सममित 2-संरचना की घटना मैट्रिक्स का उपयोग आकार 4a के हैडमार्ड मैट्रिक्स को बनाने के लिए किया जा सकता है। | ||
== हल करने योग्य 2-संरचना == | == हल करने योग्य 2-संरचना == | ||
हल करने योग्य 2-संरचना बीआईबीडी है जिसके ब्लॉक को समुच्चय में विभाजित किया जा सकता है (जिसे 'समानांतर वर्ग' कहा जाता है), जिनमें से प्रत्येक | हल करने योग्य 2-संरचना बीआईबीडी है जिसके ब्लॉक को समुच्चय में विभाजित किया जा सकता है (जिसे 'समानांतर वर्ग' कहा जाता है), जिनमें से प्रत्येक बीआईबीडी के बिंदु समुच्चय का विभाजन बनाता है। समांतर कक्षाओं के समुच्चय को संरचना का रिज़ॉल्यूशन कहा जाता है। | ||
अगर 2-(''v'',''k'',λ) हल करने योग्य संरचना में ''c'' समानांतर वर्ग हैं, तो ''b'' ≥ ''v'' + ''c'' − 1 | अगर 2-(''v'',''k'',λ) हल करने योग्य संरचना में ''c'' समानांतर वर्ग हैं, तो ''b'' ≥ ''v'' + ''c'' − 1 है<ref>{{harvnb|Hughes|Piper|1985|loc=pg. 156, Theorem 5.4}}</ref> | ||
परिणामस्वरूप, सममित संरचना में गैर-तुच्छ (एक से अधिक समांतर वर्ग) संकल्प नहीं हो सकता है।<ref>{{harvnb|Hughes|Piper|1985|loc=pg. 158, Corollary 5.5}}</ref> | परिणामस्वरूप, सममित संरचना में गैर-तुच्छ (एक से अधिक समांतर वर्ग) संकल्प नहीं हो सकता है।<ref>{{harvnb|Hughes|Piper|1985|loc=pg. 158, Corollary 5.5}}</ref> | ||
आर्किटेपिकल रिज़ॉल्वेबल 2-संरचना परिमित प्रक्षेपी प्लेन | आर्किटेपिकल रिज़ॉल्वेबल 2-संरचना परिमित प्रक्षेपी प्लेन एफ़ाइन समतल हैं। प्रसिद्ध [[15 छात्रा समस्या]] का समाधान 2-(15,3,1) संरचना का समाधान है।<ref>{{harvnb|Beth|Jungnickel|Lenz|1986|loc=pg. 40 Example 5.8}}</ref> | ||
== सामान्य संतुलित संरचना (t-संरचना) == | == सामान्य संतुलित संरचना (t-संरचना) == | ||
किसी भी सकारात्मक पूर्णांक t को देखते हुए, | किसी भी सकारात्मक पूर्णांक t को देखते हुए, t-संरचना B, x के के-तत्व सबसमुच्चय का वर्ग है, जिसे ब्लॉक कहा जाता है, जैसे X में प्रत्येक बिंदु x बिल्कुल r ब्लॉक में दिखाई देता है, और प्रत्येक t-तत्व सबसमुच्चय t बिल्कुल λ ब्लॉक में दिखाई देता है। . संख्या v (X के तत्वों की संख्या), b (ब्लॉक की संख्या), k, r, λ, और t संरचना के पैरामीटर हैं। संरचना को t-(v,k,λ)-संरचना कहा जा सकता है। फिर से, ये चार संख्याएँ b और r निर्धारित करती हैं और चार संख्याओं को स्वयं मनमाने ढंग से नहीं चुना जा सकता है। | ||
समीकरण हैं | |||