ब्लॉक डिजाइन: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{about|निश्चित ब्लॉक आकार के साथ ब्लॉक डिजाइन (वर्दी)|चर ब्लॉक आकार के साथ ब्लॉक डिजाइन|संयोजन डिजाइन|[[प्रयोगों का डिजाइन|प्रायोगिक डिजाइन]] [[सांख्यिकी]] में|यादृच्छिक खण्ड अभिकल्पना}} | {{about|निश्चित ब्लॉक आकार के साथ ब्लॉक डिजाइन (वर्दी)|चर ब्लॉक आकार के साथ ब्लॉक डिजाइन|संयोजन डिजाइन|[[प्रयोगों का डिजाइन|प्रायोगिक डिजाइन]] [[सांख्यिकी]] में|यादृच्छिक खण्ड अभिकल्पना}} | ||
[[साहचर्य]] गणित में, | [[साहचर्य]] गणित में, ब्लॉक संरचना [[घटना संरचना]] है जिसमें उपसमुच्चय के परिवार के साथ मिलकर समुच्चय होता है जिसे 'ब्लॉक' के रूप में जाना जाता है, इस तरह चुना जाता है कि तत्वों की आवृत्ति कुछ शर्तों को पूरा करती है जिससे ब्लॉक का संग्रह [[समरूपता]] (संतुलन) प्रदर्शित करता है। ब्लॉक संरचनाों में प्रयोगात्मक संरचना, [[परिमित ज्यामिति]], [[भौतिक रसायन]] शास्त्र, [[सॉफ़्टवेयर परीक्षण]], [[क्रिप्टोग्राफी]] और [[बीजगणितीय ज्यामिति]] सहित कई क्षेत्रों में अनुप्रयोग हैं। | ||
आगे विशिष्टताओं के बिना 'ब्लॉक संरचना' शब्द सामान्यतः | आगे विशिष्टताओं के बिना 'ब्लॉक संरचना' शब्द सामान्यतः संतुलित अपूर्ण ब्लॉक संरचना (बीआईबीडी) को संदर्भित करता है, विशेष रूप से (और समानार्थक रूप से) 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) संरचना' के रूप में जाना जाता है, जिनकी कक्षाएं [[संघ योजना]] बनाती हैं। | |||
संरचना को सामान्यतः अधूरा कहा जाता है (या माना जाता है), जिसका अर्थ है कि किसी भी ब्लॉक में समुच्चय के सभी तत्व नहीं होते हैं, इस प्रकार | संरचना को सामान्यतः अधूरा कहा जाता है (या माना जाता है), जिसका अर्थ है कि किसी भी ब्लॉक में समुच्चय के सभी तत्व नहीं होते हैं, इस प्रकार तुच्छ संरचना को बेकार कर दिया जाता है। | ||
ब्लॉक संरचना जिसमें सभी ब्लॉकों का आकार समान होता है (सामान्यतः 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 |मल्टीसेट]] के अतिरिक्त | ब्लॉक संरचना में बार-बार ब्लॉक हो भी सकते हैं और नहीं भी। दोहराए गए ब्लॉक के बिना संरचना सरल कहलाते हैं,<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-संरचना या बीआईबीडी) == | == जोड़ीदार संतुलित वर्दी संरचना (2-संरचना या बीआईबीडी) == | ||
परिमित समुच्चय 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 33: | Line 33: | ||
| ''r'' || दिए गए बिंदु वाले ब्लॉकों की संख्या | | ''r'' || दिए गए बिंदु वाले ब्लॉकों की संख्या | ||
|- | |- | ||
| ''k'' || | | ''k'' || ब्लॉक में अंकों की संख्या | ||
|- | |- | ||
| ''λ'' || किसी भी 2 (या अधिक सामान्यतः t) अलग-अलग बिंदुओं वाले ब्लॉक की संख्या | | ''λ'' || किसी भी 2 (या अधिक सामान्यतः t) अलग-अलग बिंदुओं वाले ब्लॉक की संख्या | ||
| Line 40: | Line 40: | ||
संरचना को 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, 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 की गणना अन्य मापदंडों से की जा सकती है। | |||
ये शर्तें पर्याप्त नहीं हैं, उदाहरण के लिए, (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 है। | |||
=== उदाहरण === | === उदाहरण === | ||
| Line 54: | Line 54: | ||
: 012 013 024 035 045 125 134 145 234 235। | : 012 013 024 035 045 125 134 145 234 235। | ||
और संबंधित घटना मैट्रिक्स | और संबंधित घटना मैट्रिक्स v × b बाइनरी मैट्रिक्स निरंतर पंक्ति योग r और निरंतर स्तंभ योग k के साथ) है: | ||
:<math>\begin{pmatrix} | :<math>\begin{pmatrix} | ||
| Line 64: | Line 64: | ||
0 & 0 & 0 & 1 & 1 & 1 & 0 & 1 & 0 & 1 \\ | 0 & 0 & 0 & 1 & 1 & 1 & 0 & 1 & 0 & 1 \\ | ||
\end{pmatrix}</math> | \end{pmatrix}</math> | ||
चार गैर-समरूपी (8,4,3)-संरचनाों में से | चार गैर-समरूपी (8,4,3)-संरचनाों में से में 14 ब्लॉक हैं जिनमें प्रत्येक तत्व को 7 बार दोहराया गया है। प्रतीकों 0 − 7 का उपयोग करते हुए ब्लॉक निम्नलिखित 4-ट्यूपल हैं:<ref name="ex" />: | ||
0123 0124 0156 0257 0345 0367 0467 1267 1346 1357 1457 2347 2356 2456। | 0123 0124 0156 0257 0345 0367 0467 1267 1346 1357 1457 2347 2356 2456। | ||
| Line 86: | Line 86: | ||
== सममित 2-संरचना (बाइंड) == | == सममित 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-संरचनाों में सच नहीं है, सममित संरचना में प्रत्येक दो अलग-अलग ब्लॉक λ बिंदुओं में मिलते हैं।<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 पर मजबूत प्रतिबंध लगाता है, इसलिए अंकों की संख्या मनमानी से दूर है। ब्रुक-रेज़र-चावला प्रमेय इन मापदंडों के संदर्भ में सममित संरचना के अस्तित्व के लिए आवश्यक, लेकिन पर्याप्त नहीं, शर्तें देता है। | ||
निम्नलिखित सममित 2-संरचनाों के महत्वपूर्ण उदाहरण हैं: | निम्नलिखित सममित 2-संरचनाों के महत्वपूर्ण उदाहरण हैं: | ||
| Line 104: | Line 104: | ||
चूँकि 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 प्रक्षेपी तल की रेखाओं की संख्या है। λ = 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> वे परिमित प्रक्षेपी विमानों के समान हैं, दूसरा इसके लिए रेखा (और बिंदु को निर्धारित करने वाली दो रेखाएं) निर्धारित करने वाले दो बिंदुओं के बजाय, दो बिंदु दो रेखाओं (क्रमशः, अंक) का निर्धारण करते हैं। क्रम 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) संरचना); यह दो बिंदु हैं, दो ब्लॉक के साथ, प्रत्येक में दोनों बिंदु होते हैं। ज्यामितीय रूप से, यह डिगॉन है। | * (तुच्छ) ऑर्डर 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 हैडमार्ड मैट्रिक्स से जुड़ा है; पाले निर्माण देखें '''I.''' | ||
: बीजगणितीय रूप से यह 'पीएसएल' (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 की रेखाएं; | * ऑर्डर 4 (और 16 अंक, आकार 6 की रेखाएं; 2- (16,6,2)) के तीन बाइप्लेन हैं। कुमेर विन्यास है। ये तीन संरचना [[नियमित हैडमार्ड मैट्रिक्स]] भी हैं। | ||
* ऑर्डर 7 (और 37 अंक, आकार 9 की रेखाएं; | * ऑर्डर 7 (और 37 अंक, आकार 9 की रेखाएं; 2-(37,9,2)) के चार बाइप्लेन हैं।<ref>{{harvnb|Salwach|Mezzaroba|1978}}</ref> | ||
* ऑर्डर 9 के पांच बाइप्लेन हैं (और 56 अंक, आकार 11 की रेखाएं; | * ऑर्डर 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 × m मैट्रिक्स 'H' है जिसकी प्रविष्टियाँ ±1 ऐसी हैं कि 'HH'<sup>⊤</sup> = mi<sub>m</sub>, जहां H<sup>⊤</sup> H और I<sub>''m''</sub> का स्थानान्तरण है<sub>''m''</sub> m × m पहचान मैट्रिक्स है। हैडमार्ड मैट्रिक्स को मानकीकृत रूप में रखा जा सकता है (अर्थात, समकक्ष हैडमार्ड मैट्रिक्स में परिवर्तित) जहां पहली पंक्ति और पहली कॉलम प्रविष्टियां सभी +1 हैं। यदि आकार m > 2 है तो m 4 का गुणक होना चाहिए। | ||
मानकीकृत रूप में आकार 4a के | मानकीकृत रूप में आकार 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-संरचना == | == हल करने योग्य 2-संरचना == | ||
हल करने योग्य 2-संरचना बीआईबीडी है जिसके ब्लॉक को समुच्चय में विभाजित किया जा सकता है (जिसे 'समानांतर वर्ग' कहा जाता है), जिनमें से प्रत्येक BIBD के बिंदु समुच्चय का विभाजन बनाता है। समांतर कक्षाओं के समुच्चय को संरचना का रिज़ॉल्यूशन कहा जाता है। | |||
अगर | अगर 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> | ||
आर्किटेपिकल रिज़ॉल्वेबल 2-संरचना परिमित प्रक्षेपी प्लेन#एफ़ाइन समतल हैं। प्रसिद्ध [[15 छात्रा समस्या]] का समाधान 2-(15,3,1) संरचना का समाधान है।<ref>{{harvnb|Beth|Jungnickel|Lenz|1986|loc=pg. 40 Example 5.8}}</ref> | आर्किटेपिकल रिज़ॉल्वेबल 2-संरचना परिमित प्रक्षेपी प्लेन#एफ़ाइन समतल हैं। प्रसिद्ध [[15 छात्रा समस्या]] का समाधान 2-(15,3,1) संरचना का समाधान है।<ref>{{harvnb|Beth|Jungnickel|Lenz|1986|loc=pg. 40 Example 5.8}}</ref> | ||
| Line 145: | Line 145: | ||
== सामान्य संतुलित संरचना (t-संरचना) == | == सामान्य संतुलित संरचना (t-संरचना) == | ||
किसी भी सकारात्मक पूर्णांक t को देखते हुए, | किसी भी सकारात्मक पूर्णांक t को देखते हुए, t-संरचना B, x के के-तत्व सबसमुच्चय का वर्ग है, जिसे ब्लॉक कहा जाता है, जैसे X में प्रत्येक बिंदु x बिल्कुल r ब्लॉक में दिखाई देता है, और प्रत्येक t-तत्व सबसमुच्चय t बिल्कुल λ ब्लॉक में दिखाई देता है। . संख्या v (X के तत्वों की संख्या), b (ब्लॉक की संख्या), k, r, λ, और t संरचना के पैरामीटर हैं। संरचना को t-(v,k,λ)-संरचना कहा जा सकता है। फिर से, ये चार संख्याएँ b और r निर्धारित करती हैं और चार संख्याओं को स्वयं मनमाने ढंग से नहीं चुना जा सकता है। समीकरण हैं | ||
:<math> \lambda_i = \lambda \left.\binom{v-i}{t-i} \right/ \binom{k-i}{t-i} \text{ for } i = 0,1,\ | |||