मुझे कई एल्गोरिदम मिले हैं जो को निर्देशित ग्राफ में दृढ़ता से जुड़े घटक खोजने के लिए बताते हैं, लेकिन क्यों आप यह करना चाहते हैं। दृढ़ता से जुड़े घटकों के कुछ अनुप्रयोग क्या हैं?दृढ़ता से जुड़े घटक क्या हैं?
उत्तर
आपको टिम रफगार्डन को Coursera पर एल्गोरिदम कोर्स का परिचय देखना चाहिए। वह प्रत्येक एल्गोरिदम के लिए चला जाता है, वह इसके कुछ अनुप्रयोगों को बताता है। बहुत उपयोगी है, और एल्गोरिदम का अध्ययन करने के मूल्य को देखता है!
दृढ़ता से जुड़े घटकों का उपयोग जो मुझे याद है, वह यह है कि कोई भी उन लोगों के समूह को ढूंढने के लिए इसका उपयोग कर सकता है जो डेटा के विशाल सेट में अधिक निकटता से संबंधित हैं। फेसबुक के बारे में सोचें और वे लोगों को कैसे सलाह देते हैं जो आपके मित्र हो सकते हैं ...
इसका उपयोग जनसंख्या के हिस्सों को देखने के लिए भी किया जा सकता है। कहो, "वाह, इस विशाल घटक में पीछे की ओर चलने का शौक है और मोल्ड पिज्जा खाने पसंद है!" यह सहसंबंध दिखा सकता है। मोल्ड पिज्जा के विज्ञापनदाता इस डेटा का उपयोग उन लोगों को लक्षित करने के लिए करेंगे जो पीछे की ओर चलना पसंद करते हैं। कौन जाने!
एक उदाहरण model checking में है:
प्रभावशाली तरीके से कनेक्ट घटक ढूँढना formal verification में स्पष्ट model checking में किया जाता है।
मॉडल की जाँच में - हम एक राज्य मशीन है, जो हमारे सॉफ्टवेयर/हार्डवेयर के मॉडल का प्रतिनिधित्व करता है, और हम उस पर temporal logic सूत्रों साबित करने के लिए प्रयास करें।
उदाहरण के लिए: सूत्र EG(p)
साधन: वहाँ ग्राफ में एक मार्ग है, जहां प्रत्येक राज्य के लिए - तर्क सूत्र p
पैदावार true
।
algorithm for proving if EG(p) is true on a graph (मॉडल) अधिकतम दृढ़ता से जुड़े घटक (एससीसी) को ढूंढ रहा है, और उसके बाद ग्राफ में इसके पथों की जांच कर रहा है।
ध्यान दें कि मॉडल जांच व्यापक रूप से उद्योग में लागू होती है - खासकर हार्डवेयर घटकों की शुद्धता साबित करने के लिए।
(1) कंप्यूटर विज्ञान के लिए अस्थायी तर्क के महत्व महान है, और इसके आविष्कारक Amir Pnueli इसके लिए एक टूरिंग अवार्ड प्राप्त!
- 1. दृढ़ता अज्ञानता के क्या फायदे हैं?
- 2. दृढ़ता से टाइप किए गए डेटासेट क्या हैं?
- 3. क्या IMAGE_FILE_REMOVABLE_RUN_FROM_SWAP या IMAGE_FILE_NET_RUN_FROM_SWAP से जुड़े जोखिम हैं?
- 4. होस्टिंग तृतीय पक्ष जावास्क्रिप्ट से जुड़े जोखिम क्या हैं?
- 5. दृढ़ता से संस्थाओं
- 6. एआरएम एलडीआर निर्देश से जुड़े # मूल्य का क्या अर्थ है?
- 7. क्या टाइपक्लास के साथ जुड़े रनटाइम पेनल्टी हैं?
- 8. HTTP 403.9 - एक्सेस निषिद्ध: बहुत से उपयोगकर्ता जुड़े हुए हैं
- 9. दृढ़ता अज्ञान स्केल कर सकते हैं?
- 10. क्या यह पता लगाने के लिए कि कौन से आईपी पते डीबी से जुड़े हुए हैं?
- 11. fs.createWriteStream से जुड़े कार्यक्रम node.js
- 12. एक गतिशील रूप से जुड़े निष्पादन योग्य गतिशील रूप से जुड़े निष्पादन योग्य से तेज है?
- 13. क्या दृढ़ता से टाइप किया गया है Asp.Net MVC
- 14. क्या PowerShell एक दृढ़ता से टाइप की गई भाषा है?
- 15. संगम दृढ़ता
- 16. दृढ़ता प्रबंधक
- 17. कक्षा के नाम से जुड़े अंडरस्कोर का अर्थ क्या है?
- 18. क्या स्ट्रिंग-आधारित उपयोगकर्ता-परिभाषित अक्षर दृढ़ता से टाइप किए जा सकते हैं?
- 19. क्या आप दृढ़ता से नामित संदर्भों के विशिष्ट संस्करणों को अनदेखा कर सकते हैं?
- 20. जेनकिंस मेरे स्थानीय गिट भंडार से जुड़े
- 21. एमबीन दृढ़ता
- 22. क्या विशेषता के लिए लेबल टैग सामान्य div से जुड़े हो सकते हैं?
- 23. PHP का एसपीएल: क्या एरे से जुड़े इंटरफेस में सभी सरणी गुण शामिल हैं?
- 24. WeakHashMap और दृढ़ता से संदर्भित मान
- 25. Django, ReportLab पीडीएफ जेनरेशन ईमेल से जुड़े
- 26. क्या किसी के पास .NET Excel IO घटक मानक हैं?
- 27. jQuery डेटपिकर ब्लर इवेंट से जुड़े
- 28. घटक
- 29. एकल टेबल विरासत से जुड़े एचएबीटीएम एसोसिएशन
- 30. क्या डेल्फी (गैर-ओएलई) के लिए OpenOffice.org निर्यात घटक हैं?
गणित के अधिकांश की तरह, यह उन चीजों में से एक है जो पूरी तरह बेकार दिखते हैं जब तक आपको उनकी आवश्यकता न हो। – trutheality