रैंडम ग्राफ में त्रिकोणों की गणना का वितरण और विविधता


10

एक Erdos-Renyi यादृच्छिक ग्राफ । कोने का सेट द्वारा लेबल किया गया है । किनारों सेट का निर्माण एक यादृच्छिक प्रक्रिया द्वारा किया जाता है।एन वी वी = { 1 , 2 , , एन } G=(V(n),E(p))nVV={1,2,,n}E

चलो एक संभावना हो , तो प्रत्येक अव्यवस्थित जोड़ी कोने की ( ) में बढ़त के रूप में होता संभावना के साथ स्वतंत्र रूप से अन्य जोड़ों की,।0 < p < 1 { मैं , जे } मैं जे पीp0<p<1{i,j}ijEp

में एक त्रिकोण अलग-अलग चक्करों का एक अनियंत्रित ट्रिपल है, जैसे कि , , और किनारों हैं ।{ आई , जे , के } { आई , जे } { जे , के } { के , आई } जीG{i,j,k}{i,j}{j,k}{k,i}G

संभावित त्रिकोण की अधिकतम संख्या । ग्राफ G में त्रिभुजों की देखी गई गणना होने के लिए यादृच्छिक चर X को परिभाषित करें ।(n3)XG

तीन लिंक एक साथ मौजूद होने की संभावना p3 । इसलिए, X का अपेक्षित मान E(X)=(n3)p3 । Naively, एक अनुमान लगा सकता है कि विचरण E(X2)=(n3)p3(1p3) , लेकिन ऐसा नहीं है।

निम्नलिखित Mathematica कोड समस्या का अनुकरण करता है:

n=50;
p=0.6;
t=100;
myCounts=Table[Length[FindCycle[RandomGraph[BernoulliGraphDistribution[n,p]],3,All]],{tt,1,t}];
N[Mean[myCounts]] // 4216. > similar to expected mean
Binomial[n,3]p^3 // 4233.6
N[StandardDeviation[myCounts]] // 262.078 > not similar to "expected" std
Sqrt[Binomial[n,3](p^3)(1-p^3)] // 57.612
Histogram[myCounts]

X का विचरण क्या है X?

जवाबों:


4

आज्ञा देना iff एक त्रिकोण बनाते हैं। फिर और प्रत्येक । यह वही है जो आपने अपेक्षित मूल्य की गणना करने के लिए उपयोग किया है।{ मैं , जे , कश्मीर } एक्स = Σ मैं , जे , k वाई मैं j कश्मीर Y मैं j कश्मीर ~ बी आर एन यू एल एल मैं ( पी 3 )Yijk=1{i,j,k}X=i,j,kYijkYijkBernoulli(p3)

प्रसरण के लिए, समस्या यह है कि स्वतंत्र नहीं हैं। वास्तव में, हमें गणना करने की आवश्यकता है , जो संभावना है कि दोनों त्रिकोण मौजूद हैं। कई मामले हैं: एक्स 2 = Σ मैं , जे , कश्मीर Σ मैं ' , जे ' , कश्मीर ' Y मैं j कश्मीर Y मैं ' जे ' कश्मीर '[ Y मैं j कश्मीर Y मैं ' जे ' कश्मीर ' ]Yijk

X2=i,j,ki,j,kYijkYijk.
E[YijkYijk]
  • यदि (वही 3 कोने) तो । नहीं होगा ऐसे दोहरे राशि में शर्तें।{i,j,k}={i,j,k}E[YijkYijk]=p3(n3)
  • यदि सेट और में सामान्य रूप से 2 तत्व हैं, तो हमें दो त्रिभुज प्राप्त करने के लिए 5 किनारों की आवश्यकता है, ताकि । वहाँ हो जाएगा राशि में ऐसे शब्दों।{i,j,k}{i,j,k}E[YijkYijk]=p512(n4)
  • यदि सेट और में 1 तत्व समान है, तो हमें 6 किनारों की आवश्यकता होती है, ताकि । होगा राशि में ऐसे शब्दों।{i,j,k}{i,j,k}E[YijkYijk]=p630(n5)
  • यदि सेट और में 0 तत्व समान है, तो हमें 6 किनारों की आवश्यकता है, ताकि । होगा राशि में ऐसे शब्दों।{i,j,k}{i,j,k}E[YijkYijk]=p620(n6)

यह सत्यापित करने के लिए कि हमने सभी मामलों को कवर कर लिया है, ध्यान दें कि योग तक जुड़ जाता है ।(n3)2

(n3)+12(n4)+30(n5)+20(n6)=(n3)2

अपेक्षित साधनों के वर्ग को घटाना याद रखना, यह सब एक साथ देता है:

E[X2]E[X]2=(n3)p3+12(n4)p5+30(n5)p6+20(n6)p6(n3)2p6

अपने उदाहरण के रूप में समान संख्यात्मक मूल्यों का उपयोग करते हुए, निम्नलिखित आर कोड मानक विचलन की गणना करता है, जो आपके सिमुलेशन से 262 के मूल्य के करीब है।

n=50
p=0.6
sqrt(choose(n, 3)*p^3+choose(n, 2)*(n-2)*(n-3)*p^5+(choose(n, 3)*choose(n-3, 3)+n*choose(n-1, 2)*choose(n-3, 2))*p^6-4233.6^2)
298.7945

निम्नलिखित Mathematica कोड भी मानक विचलन की गणना करता है, जो समान परिणाम देता है।

mySTD[n_,p_]:=Sqrt[Binomial[n,3]p^3+12Binomial[n,4]p^5+30 Binomial[n,5]p^6+20Binomial[n,6]p^6-(Binomial[n,3]p^3)^2]
mySTD[50,0.6] // gives 298.795

2
वास्तव में काफी सीधा है। बहुत बढ़िया! मैंने आपके उत्तर को थोड़ा अद्यतन किया है, भावों को सरल बनाया है और गणितज्ञ कोड जोड़ा है । मैंने अपना सिमुलेशन 10k बार भी चलाया और 295.37 की एक स्टीडी प्राप्त की, जो अपेक्षित मूल्य के बहुत करीब है।
LBogaardt

1
संपादन के लिए धन्यवाद। मुझे खुशी है कि 10k पुनरावृत्तियों के साथ सिमुलेशन उत्तर की पुष्टि करता है!
रॉबिन राइडर

मुझे निर्देशित रेखांकन के लिए मूल संदर्भ मिला: हॉलैंड (1970)। सोशियोमेट्रिक डेटा में संरचना का पता लगाने के लिए एक विधि।
LBogaardt

0

मैं व्युत्पन्न थोड़ा अलग दृष्टिकोण प्रदान करता हूं ।X2

रॉबिन राइडर ने जैसा किया वैसा ही मामला भेद के साथ:

  • यदि यानी 3 कोने समान हैं, तो इस प्रकार हमें n संभव बाहर 3 कोने लेने चाहिए । हमारे पास 3 किनारे मौजूद होंगे । संयुक्त:{i,j,k}={i,j,k}(n3)p3(n3)p3

  • यदि और में दो वर्जन होते हैं, तो इसका मतलब है कि जिसके लिए और इसके विपरीत (प्रत्येक त्रिकोण में एक शीर्ष है जो अन्य त्रिकोण का हिस्सा नहीं है)। Wlog कल्पना और{i,j,k}{i,j,k}v{i,j,k}v{i,j,k}v=kv=k उल्लिखित अव्यवस्थित कोने और = , = । = , = को प्राप्त करने के लिए , हमें n संभव में से समान दो । के लिएiijjiijj(n2)kkहमें बचे हुए शीर्षों में से दो को चुनना होगा। पहला एक: और दूसरा एक: । क्योंकि किनारे और समान हैं, हमारे पास 5 किनारे मौजूद होना चाहिए । संयुक्त:(n2)(n3){i,j}{i,j}p5(n2)(n2)(n3)p5

  • यदि और में केवल एक ही शीर्ष है, तो 4 अव्यवस्थित हैं। कल्पना कीजिए, wlog, कि{i,j,k}{i,j,k}i = । इसका मतलब है कि, n संभव बाहर, हमें 1 चुनना चाहिए । त्रिकोण हम शेष 2 कोने निकालते हैं । त्रिकोण हम शेष , यह इस धारणा के कारण है कि और । क्योंकि हमारे पास केवल एक ही शिखर है, हमारे पास 6 किनारे मौजूद होने चाहिएin{i,j,k}(n1)(n12){i,j,k}(n3)(n32)j{i,j,k}k{i,j,k}p6 । संयुक्त:n(n12)(n32)p6

  • अंतिम मामले के लिए: यदि और का कोई वर्टेक्स नहीं है, तो 2 त्रिकोण अव्यवस्थित हैं। हम पहला त्रिभुज चुनते हैं, n संभव 3 कोने । और दूसरा त्रिभुज, 3 कोने शेष । त्रिकोण अव्यवस्थित हैं, अर्थात वे बिना किनारों और सिरों को साझा करते हैं, इस प्रकार 6 किनारों को होना चाहिए । संयुक्त:{i,j,k}{i,j,k}(n3)(n3)(n33)p6(n3)(n33)p6

जैसा कि रॉबिन राइडर के दृष्टिकोण में, हम यह सत्यापित कर सकते हैं:

(n3)+(n2)(n2)(n3)+n(n12)(n32)+(n3)(n33)=(n3)2 रखती है।

इससे यह होगा:

Var[X]=E[X2]E[X]2=(n3)p3+(n2)(n2)(n3)p5+n(n12)(n32)p6+(n3)(n33)p6(n3)2p6.

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.