ब्लॉक डिजाइन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 12: Line 12:
एक ब्लॉक संरचना जिसमें सभी ब्लॉकों का आकार समान होता है (सामान्यतः 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 | मल्टीसेट]] के अतिरिक्त एक [[सेट (गणित)|समुच्चय (गणित)]] है।
ब्लॉक संरचना में बार-बार ब्लॉक हो भी सकते हैं और नहीं भी। दोहराए गए ब्लॉक के बिना संरचना सरल कहलाते हैं,<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 |मल्टीसेट]] के अतिरिक्त एक [[सेट (गणित)|समुच्चय (गणित)]] है।


आँकड़ों में, एक ब्लॉक संरचना की अवधारणा को गैर-बाइनरी ब्लॉक संरचनाों तक बढ़ाया जा सकता है, जिसमें ब्लॉक में एक तत्व की कई प्रतियां हो सकती हैं (ब्लॉकिंग (आँकड़े) देखें)। वहां, एक संरचना जिसमें प्रत्येक तत्व एक ही कुल संख्या में होता है, उसे समकक्ष कहा जाता है, जिसका अर्थ केवल एक नियमित संरचना होता है, जब संरचना भी द्विआधारी होता है। एक गैर-बाइनरी संरचना की घटना मैट्रिक्स प्रत्येक ब्लॉक में प्रत्येक तत्व के दोहराए जाने की संख्या को सूचीबद्ध करती है।
आँकड़ों में, एक ब्लॉक संरचना की अवधारणा को गैर-बाइनरी ब्लॉक संरचनाों तक बढ़ाया जा सकता है, जिसमें ब्लॉक में एक तत्व की कई प्रतियां हो सकती हैं (ब्लॉकिंग (आँकड़े) देखें)। वहां, एक संरचना जिसमें प्रत्येक तत्व एक ही कुल संख्या में होता है, उसे समकक्ष कहा जाता है, जिसका अर्थ केवल एक नियमित संरचना होता है, जब संरचना भी द्विआधारी होता है। एक गैर-बाइनरी संरचना की घटना मैट्रिक्स प्रत्येक ब्लॉक में प्रत्येक तत्व के दोहराए जाने की संख्या को सूचीबद्ध करती है।
Line 52: Line 52:
=== उदाहरण ===
=== उदाहरण ===
अद्वितीय (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    235।
: 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    2456।
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    346।
013 026 045 124 156 235 346।


यह संरचना [[फानो विमान]] के साथ जुड़ा हुआ है, संरचना फ़ानो प्लेन के तत्वों और ब्लॉकों के साथ # प्लेन के पॉइंट्स और लाइन्स के लिए ब्लॉक संरचना सिद्धांत है। इसके संबंधित घटना मैट्रिक्स भी सममित हो सकते हैं, यदि लेबल या ब्लॉक को सही तरीके से क्रमबद्ध किया गया हो:
यह संरचना [[फानो विमान]] के साथ जुड़ा हुआ है, संरचना फ़ानो प्लेन के तत्वों और ब्लॉकों के साथ # प्लेन के पॉइंट्स और लाइन्स के लिए ब्लॉक संरचना सिद्धांत है। इसके संबंधित घटना मैट्रिक्स भी सममित हो सकते हैं, यदि लेबल या ब्लॉक को सही तरीके से क्रमबद्ध किया गया हो:
Line 119: Line 119:
* ऑर्डर 2 बाइप्लेन फ़ानो प्लेन का पूरक है: इसके 7 बिंदु हैं (और आकार 4 की रेखाएँ; एक 2-(7,4,2)), जहाँ रेखाएँ (3-बिंदु) के पूरक के रूप में दी गई हैं ) फ़ानो विमान में लाइनें है।<ref>{{harvnb|Assmus|Key|1992|loc=pg.55}}</ref>
* ऑर्डर 2 बाइप्लेन फ़ानो प्लेन का पूरक है: इसके 7 बिंदु हैं (और आकार 4 की रेखाएँ; एक 2-(7,4,2)), जहाँ रेखाएँ (3-बिंदु) के पूरक के रूप में दी गई हैं ) फ़ानो विमान में लाइनें है।<ref>{{harvnb|Assmus|Key|1992|loc=pg.55}}</ref>
* ऑर्डर 3 बाइप्लेन में 11 बिंदु हैं (और आकार 5 की रेखाएं; एक 2-(11,5,2)), और इसे के रूप में भी जाना जाता है {{visible anchor|पाले बाइप्लेन}} [[रेमंड पाले]] के बाद; यह ऑर्डर 11 के [[पाले डिग्राफ]] से जुड़ा है, जो 11 तत्वों के साथ क्षेत्र का उपयोग करके बनाया गया है, और हैडमार्ड 2-संरचना'''। हैडमार्ड 2-संरचना आकार''' 12 हैडमार्ड मैट्रिक्स से जुड़ा है; पाले निर्माण देखें '''# पाले निर्माण I.'''
* ऑर्डर 3 बाइप्लेन में 11 बिंदु हैं (और आकार 5 की रेखाएं; एक 2-(11,5,2)), और इसे के रूप में भी जाना जाता है {{visible anchor|पाले बाइप्लेन}} [[रेमंड पाले]] के बाद; यह ऑर्डर 11 के [[पाले डिग्राफ]] से जुड़ा है, जो 11 तत्वों के साथ क्षेत्र का उपयोग करके बनाया गया है, और हैडमार्ड 2-संरचना'''। हैडमार्ड 2-संरचना आकार''' 12 हैडमार्ड मैट्रिक्स से जुड़ा है; पाले निर्माण देखें '''# पाले निर्माण I.'''
: बीजगणितीय रूप से यह 'पीएसएल' (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>
: बीजगणितीय रूप से यह 'पीएसएल' (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>
Line 136: Line 136:
एक हल करने योग्य 2-संरचना एक BIBD है जिसके ब्लॉक को समुच्चय में विभाजित किया जा सकता है (जिसे 'समानांतर वर्ग' कहा जाता है), जिनमें से प्रत्येक BIBD के बिंदु समुच्चय का विभाजन बनाता है। समांतर कक्षाओं के समुच्चय को संरचना का रिज़ॉल्यूशन कहा जाता है।
एक हल करने योग्य 2-संरचना एक BIBD है जिसके ब्लॉक को समुच्चय में विभाजित किया जा सकता है (जिसे 'समानांतर वर्ग' कहा जाता है), जिनमें से प्रत्येक BIBD के बिंदु समुच्चय का विभाजन बनाता है। समांतर कक्षाओं के समुच्चय को संरचना का रिज़ॉल्यूशन कहा जाता है।


अगर एक 2-(''v'',''k'',λ) हल करने योग्य संरचना में ''c'' समानांतर वर्ग हैं, तो ''b''  ≥ ''v'' + ''c'' − 1 .<ref>{{harvnb|Hughes|Piper|1985|loc=pg. 156, Theorem 5.4}}</ref>
अगर एक 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>
Line 156: Line 156:
इस प्रमेय का एक परिणाम यह है कि t ≥ 2 वाला प्रत्येक t-संरचना भी 2-संरचना है।
इस प्रमेय का एक परिणाम यह है कि t ≥ 2 वाला प्रत्येक t-संरचना भी 2-संरचना है।


एक t-(v,के,1)-संरचना को [[ स्टेनर प्रणाली ]] कहा जाता है।
एक t-(v,के,1)-संरचना को [[ स्टेनर प्रणाली |स्टेनर प्रणाली]] कहा जाता है।


ब्लॉक संरचना शब्द का अर्थ सामान्यतः 2-संरचना होता है।
ब्लॉक संरचना शब्द का अर्थ सामान्यतः 2-संरचना होता है।
Line 173: Line 173:
यदि डी, एक सममित 2-(''v'',''k'',λ) संरचना, विस्तार योग्य है, तो निम्न में से एक धारण करता है:
यदि डी, एक सममित 2-(''v'',''k'',λ) संरचना, विस्तार योग्य है, तो निम्न में से एक धारण करता है:
# D एक हैडमार्ड 2-संरचना है,
# D एक हैडमार्ड 2-संरचना है,
# ''v''  =  (λ + 2)(λ2 + 4λ + 2), K = λ2 + 3λ + 1<sup>,
# ''v'' = (λ + 2)(λ2 + 4λ + 2), K = λ2 + 3λ + 1<sup>,
# v = 495, के = 39, λ = 3।
# v = 495, के = 39, λ = 3।


Line 194: Line 194:
== आंशिक रूप से संतुलित संरचना (पीबीआईबीडीएस) ==
== आंशिक रूप से संतुलित संरचना (पीबीआईबीडीएस) ==


एक n-क्लास एसोसिएशन स्कीम में आकार v का एक समुच्चय (गणित) X होता है, साथ में X × X के एक समुच्चय S के विभाजन के साथ n + 1 बाइनरी संबंध, R<sub>0</sub>, R<sub>1</sub>, ..., R<sub>n</sub>. संबंध R में तत्वों की एक जोड़ी<sub>i</sub> R<sub>i</sub>-सहयोगी कहा जाता है। X के प्रत्येक अवयव में ''n''<sub>i</sub> '''है<sub>i</sub>ith''' सहयोगी कहते है। '''आगे''':
एक n-क्लास एसोसिएशन स्कीम में आकार v का एक समुच्चय (गणित) X होता है, साथ में X × X के एक समुच्चय S के विभाजन के साथ n + 1 बाइनरी संबंध, R<sub>0</sub>, R<sub>1</sub>, ..., R<sub>n</sub>. संबंध R में तत्वों की एक जोड़ी<sub>i</sub> R<sub>i</sub>-सहयोगी कहा जाता है। X के प्रत्येक अवयव में ''n''<sub>i</sub> '''है<sub>i</sub>ith''' सहयोगी कहते है। '''आगे''':


*<math>R_{0}=\{(x,x):x\in X\}</math> और इसे [[पहचान संबंध]] कहा जाता है।
*<math>R_{0}=\{(x,x):x\in X\}</math> और इसे [[पहचान संबंध]] कहा जाता है।
Line 213: Line 213:
! &nbsp;!! 1!! 2!! 3!! 4!! 5!! 6
! &nbsp;!! 1!! 2!! 3!! 4!! 5!! 6
|-
|-
| '''1''' || <span style="color:white; background:blue"> &nbsp;0&nbsp;</span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:lime"> &nbsp;2&nbsp; </span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
| '''1''' || <span style="color:white; background:blue"> &nbsp;0&nbsp;</span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:lime"> &nbsp;2&nbsp; </span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|-
|-
|'''2'''|| <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:blue"> &nbsp;0&nbsp; </span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:lime"> &nbsp;2&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|'''2'''|| <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:blue"> &nbsp;0&nbsp; </span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:lime"> &nbsp;2&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span>
|-
|-
| '''3''' || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:blue"> &nbsp;0&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:lime"> &nbsp;2&nbsp;</span>
| '''3''' || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:blue"> &nbsp;0&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:lime"> &nbsp;2&nbsp;</span>
|-
|-
| '''4''' || <span style="color:white; background:lime"> &nbsp;2&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:blue"> &nbsp;0&nbsp;</span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span>
| '''4''' || <span style="color:white; background:lime"> &nbsp;2&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:blue"> &nbsp;0&nbsp;</span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span>
|-
|-
| '''5''' || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:lime"> &nbsp;2&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:blue">&nbsp;0&nbsp;</span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span>
| '''5''' || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:lime"> &nbsp;2&nbsp;</span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:blue">&nbsp;0&nbsp;</span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span>
|-
|-
| '''6''' || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp; </span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:lime"> &nbsp;2&nbsp;</span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:blue">&nbsp;0&nbsp;</span>
| '''6''' || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp; </span> || <span style="color:white; background:fuchsia"> &nbsp;3&nbsp;</span> || <span style="color:white; background:lime"> &nbsp;2&nbsp;</span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:red"> &nbsp;1&nbsp; </span> || <span style="color:white; background:blue">&nbsp;0&nbsp;</span>
Line 232: Line 232:
|&nbsp;125&nbsp;||&nbsp;136&nbsp;||&nbsp;236&nbsp;||&nbsp;456&nbsp;
|&nbsp;125&nbsp;||&nbsp;136&nbsp;||&nbsp;236&nbsp;||&nbsp;456&nbsp;
|}
|}
इस पीबीआईबीडी(3) के पैरामीटर हैं: v  =  6, b =  8, k =  3, r =  4 और λ<sub>1</sub> = λ<sub>2</sub> = 2 और λ<sub>3</sub>= 1. साथ ही, संबद्धता योजना के लिए हमारे पास n है ''n''<sub>0</sub>  =  ''n''<sub>2</sub>  =  1 और ''n''<sub>1</sub>  =  ''n''<sub>3</sub>  =  2..<ref>{{harvnb|Street|Street|1987|loc=pg. 238}}</ref> घटना मैट्रिक्स M है
इस पीबीआईबीडी(3) के पैरामीटर हैं: v = 6, b = 8, k = 3, r = 4 और λ<sub>1</sub> = λ<sub>2</sub> = 2 और λ<sub>3</sub>= 1. साथ ही, संबद्धता योजना के लिए हमारे पास n है ''n''<sub>0</sub> = ''n''<sub>2</sub> = 1 और ''n''<sub>1</sub> = ''n''<sub>3</sub> = 2..<ref>{{harvnb|Street|Street|1987|loc=pg. 238}}</ref> घटना मैट्रिक्स M है


<डिव वर्ग = केंद्र><math>\begin{pmatrix}
<डिव वर्ग = केंद्र><math>\begin{pmatrix}
Line 320: Line 320:


मूलभूत संबंधों का उपयोग करके हम गणना करते हैं कि हमें क्या चाहिए {{math|1=''b'' = 3}} ब्लॉक, यानी 3 लोगों को एक संतुलित अधूरा ब्लॉक संरचना प्राप्त करने के लिए परीक्षण करें। ब्लॉकों को लेबल करना {{math|''A'', ''B''}} और {{mvar|C}}, भ्रम से बचने के लिए, हमारे पास ब्लॉक संरचना है,
मूलभूत संबंधों का उपयोग करके हम गणना करते हैं कि हमें क्या चाहिए {{math|1=''b'' = 3}} ब्लॉक, यानी 3 लोगों को एक संतुलित अधूरा ब्लॉक संरचना प्राप्त करने के लिए परीक्षण करें। ब्लॉकों को लेबल करना {{math|''A'', ''B''}} और {{mvar|C}}, भ्रम से बचने के लिए, हमारे पास ब्लॉक संरचना है,
: {{math|1=''A'' = {2, 3}}},    {{math|1=''B'' = {1, 3}}} और {{math|1=''C'' = {1, 2}}}.
: {{math|1=''A'' = {2, 3}}}, {{math|1=''B'' = {1, 3}}} और {{math|1=''C'' = {1, 2}}}.


संबंधित घटना मैट्रिक्स निम्न तालिका में निर्दिष्ट है:
संबंधित घटना मैट्रिक्स निम्न तालिका में निर्दिष्ट है:

Revision as of 21:07, 25 March 2023

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

आगे विशिष्टताओं के बिना 'ब्लॉक संरचना' शब्द सामान्यतः एक संतुलित अपूर्ण ब्लॉक संरचना (बीआईबीडी) को संदर्भित करता है, विशेष रूप से (और समानार्थक रूप से) एक 2-संरचना, जो संरचना में इसके अनुप्रयोग के कारण ऐतिहासिक रूप से सबसे गहन अध्ययन प्रकार रहा है। प्रयोगों का।[1][2] इसके प्रयोगों का सामान्यीकरण को t-संरचना के रूप में जाना जाता है।साहचर्य गणित में, एक ब्लॉक संरचना एक घटना संरचना है जिसमें उपसमुच्चय के एक परिवार के साथ मिलकर एक समुच्चय होता है जिसे 'ब्लॉक' के रूप में जाना जाता है, इस तरह चुना जाता है कि तत्वों की आवृत्ति कुछ शर्तों को पूरा करती है जिससे ब्लॉक का संग्रह समरूपता (संतुलन) प्रदर्शित करता है। ब्लॉक संरचनाों में प्रयोगात्मक संरचना, परिमित ज्यामिति, भौतिक रसायन शास्त्र, सॉफ़्टवेयर परीक्षण, क्रिप्टोग्राफी और बीजगणितीय ज्यामिति सहित कई क्षेत्रों में अनुप्रयोग हैं।

अवलोकन

एक संरचना को संतुलित (t तक) कहा जाता है यदि मूल समुच्चय के सभी t-उपसमुच्चय समान रूप से कई (यानी, λ) ब्लॉकों में होते हैं। जब t निर्दिष्ट नहीं होता है, तो इसे सामान्यतः 2 माना जा सकता है, जिसका अर्थ है कि तत्वों की प्रत्येक जोड़ी समान संख्या में ब्लॉक में पाई जाती है और संरचना जोड़ीदार संतुलित है। t = 1 के लिए, प्रत्येक तत्व समान संख्या में ब्लॉक (प्रतिकृति संख्या, निरूपित r) में होता है और संरचना को नियमित कहा जाता है। t तक संतुलित कोई भी संरचना t के सभी निचले मूल्यों (चूंकि विभिन्न λ-मानों के साथ) में भी संतुलित है, इसलिए उदाहरण के लिए एक जोड़ीदार संतुलित (t = 2) संरचना भी नियमित (t = 1) है। जब संतुलन की आवश्यकता विफल हो जाती है, तब भी एक संरचना आंशिक रूप से संतुलित हो सकता है यदि t-उपसमुच्चय को n वर्गों में विभाजित किया जा सकता है, प्रत्येक का अपना (अलग) λ-मूल्य है। t = 2 के लिए इन्हें 'पीबीआईबीडी (n) संरचना' के रूप में जाना जाता है, जिनकी कक्षाएं एक संघ योजना बनाती हैं।

संरचना को सामान्यतः अधूरा कहा जाता है (या माना जाता है), जिसका अर्थ है कि किसी भी ब्लॉक में समुच्चय के सभी तत्व नहीं होते हैं, इस प्रकार एक तुच्छ संरचना को बेकार कर दिया जाता है।

एक ब्लॉक संरचना जिसमें सभी ब्लॉकों का आकार समान होता है (सामान्यतः k को निरूपित किया जाता है) को समान या उचित कहा जाता है। इस आलेख में चर्चा की गई संरचना सभी समान हैं। ब्लॉक संरचना जो आवश्यक रूप से एक समान नहीं हैं, का भी अध्ययन किया गया है; t = 2 के लिए वे साहित्य में सामान्य नाम कॉम्बिनेटरियल संरचना # जोड़ीदार संतुलित संरचना (पीबीडी) के अंतर्गत जाने जाते हैं।

ब्लॉक संरचना में बार-बार ब्लॉक हो भी सकते हैं और नहीं भी। दोहराए गए ब्लॉक के बिना संरचना सरल कहलाते हैं,[3] इस स्थितियों में ब्लॉक का परिवार मल्टीसेट के अतिरिक्त एक समुच्चय (गणित) है।

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

नियमित वर्दी संरचना (विन्यास)

सबसे सरल प्रकार की संतुलित संरचना (t = 1) को 'सामरिक विन्यास' या '1-संरचना' के रूप में जाना जाता है। ज्यामिति में संबंधित घटना संरचना को 'विन्यास' के रूप में जाना जाता है, विन्यास (ज्यामिति) देखें। ऐसा संरचना एक समान और नियमित है: प्रत्येक ब्लॉक में k तत्व होते हैं और प्रत्येक तत्व r ब्लॉक में समाहित होता है। समुच्चय तत्वों की संख्या v और ब्लॉकों की संख्या b से संबंधित हैं , जो तत्वों की घटनाओं की कुल संख्या है।

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

जोड़ीदार संतुलित वर्दी संरचना (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 ब्लॉक की संख्या
r दिए गए बिंदु वाले ब्लॉकों की संख्या
k एक ब्लॉक में अंकों की संख्या
λ किसी भी 2 (या अधिक सामान्यतः t) अलग-अलग बिंदुओं वाले ब्लॉक की संख्या

संरचना को a (v, k, λ)-संरचना या a (v, b, r, k, λ)-संरचना कहा जाता है। पैरामीटर सभी स्वतंत्र नहीं हैं; v, k, और λ b और r निर्धारित करते हैं, और v, k, और λ के सभी संयोजन संभव नहीं हैं। इन मापदंडों को जोड़ने वाले दो मूलभूत समीकरण हैं

जोड़े (B, p) की संख्या की गणना करके प्राप्त किया गया जहां बी एक ब्लॉक है और पी उस ब्लॉक में एक बिंदु है, और

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

ये शर्तें पर्याप्त नहीं हैं, उदाहरण के लिए, (43,7,1)-संरचना उपस्थित नहीं है।[4]

2-संरचना का क्रम n = r − λ के रूप में परिभाषित किया गया है। 2-संरचना का 'पूरक' बिंदु समुच्चय X में प्रत्येक ब्लॉक को इसके पूरक के साथ बदलकर प्राप्त किया जाता है। यह 2-संरचना भी है और इसके पैरामीटर v′ = v, b′ = b, r′ = b − r हैं , k′ = v − k, λ′ = λ + b − 2r। एक 2-संरचना और उसके पूरक का एक ही क्रम है।

एक मौलिक प्रमेय, फिशर की असमानता, जिसका नाम सांख्यिकीविद् रोनाल्ड फिशर के नाम पर रखा गया है, वह किसी भी 2-संरचना में b ≥ v है।

उदाहरण

अद्वितीय (6,3,2)-संरचना (v = 6, k = 3, λ = 2) में 10 ब्लॉक (b = 10) हैं और प्रत्येक तत्व को 5 बार (r = 5) दोहराया जाता है।[5] प्रतीकों 0 − 5 का उपयोग करते हुए, ब्लॉक निम्नलिखित त्रिगुण हैं:

012 013 024 035 045 125 134 145 234 235।

और संबंधित घटना मैट्रिक्स (एक v × b बाइनरी मैट्रिक्स निरंतर पंक्ति योग r और निरंतर स्तंभ योग k के साथ) है: