proofs पर टैग किए गए जवाब

प्रोग्रामिंग कोर्स के लिए मेरे परिचय में, हम एल्गोरिथ्म को साबित करने के प्रारंभिक-रखरखाव-समाप्ति की विधि के बारे में सीख रहे हैं जो हम उससे उम्मीद करते हैं। लेकिन हमें केवल यह साबित करना है कि पहले से ही ज्ञात एक एल्गोरिथ्म सही है, सही है। हमें यह दिखाने के …

15 ds.algorithms  proofs 

इस पत्र के अनुसार , जो सशक्त घातांक समय परिकल्पना (SETH) के एक nondeterministic विस्तार पर चर्चा करता है , "[…] विलियम्स ने हाल ही में k-TAUT के मर्लिन-आर्थर जटिलता के बारे में संबंधित परिकल्पना को दिखाया है"। हालांकि, वह कागज केवल एक व्यक्तिगत संचार का हवाला देता है। SETH …

13 sat  proofs  nondeterminism 

मैं लेस्ली लामपोर्ट द्वारा "फास्ट पैक्सोस" पेपर पढ़ रहा हूं और क्लासिक पैक्सोस और फास्ट पैक्सोस दोनों के शुद्धता प्रमाण के साथ फंस गया हूं । स्थिरता के लिए, चरण में समन्वयक द्वारा उठाए गए मूल्य , जिसे संतुष्ट करना चाहिए2 a ivvv2 ए2a2aमैंii j < i v jसीपी( v …

13 ds.algorithms  dc.distributed-comp  proofs 

तत्व विशिष्टता / विशिष्टता की समस्या (बीजगणितीय गणना के पेड़ों या प्रतिकूल तर्कों के आधार पर) के लिए लॉगलाइनियर लोअर बाउंड के लिए कई सबूत हैं, लेकिन मैं एक ऐसा खोज रहा हूं जो एल्गोरिथ्म विश्लेषण और डिजाइन में पहले कोर्स में उपयोग करने के लिए पर्याप्त सरल है। छँटाई …

13 cc.complexity-theory  lower-bounds  proofs 

मैं हाल ही में इंटरेक्टिव सबूतों के बारे में सीख रहा हूं और मुझे आश्चर्य हो रहा है कि क्या पूरी बात एक सैद्धांतिक जिज्ञासा से ज्यादा कुछ नहीं थी, या यदि यह कोई व्यावहारिक अनुप्रयोग था। मैंने सोचा था कि मैं एक उदाहरण के साथ शुरुआत करूंगा जो मुझे …

13 proofs  puzzles  interactive-proofs 

में HAC (10.4.2) के 10 अध्याय है, हम अच्छी तरह से ज्ञात Feige-फिएट-शमीर पहचान (प्रकल्पित) निकालने वर्ग जड़ों एक समग्र कि कारक के लिए कठिन है सापेक्ष की कठिनाई का उपयोग कर एक शून्य ज्ञान सबूत के आधार पर प्रोटोकॉल देखें। मैं योजना अपने शब्दों में दूंगा (और उम्मीद है …

12 cr.crypto-security  proofs  zero-knowledge 

सबसे पहले, गोडेल के अपूर्णता प्रमेय (और सामान्य रूप में औपचारिक तर्क) पर मेरी समझ बहुत ही भोली है, यह भी सैद्धांतिक कंप्यूटर विज्ञान पर मेरा ज्ञान है (जिसका अर्थ है कि मैं अभी भी एक स्नातक होने के दौरान लिया गया केवल एक स्नातक पाठ्यक्रम), इसलिए यह प्रश्न हो …

11 np-hardness  proofs  p-vs-np 

1996 में, एक लंबे समय से खुली समस्या को एक कंप्यूटर द्वारा हल किया गया था; अर्थात्, रॉबिंस बीजगणित और बूलियन बीजगणित समान हैं। प्रमाण एक स्वचालित प्रमेय कहावत द्वारा पाया गया था। इसके अलावा, चार रंग प्रमेय के ज्ञात प्रमाण में कंप्यूटर से उत्पन्न घटक होते हैं। इस प्रश्न …

11 soft-question  big-list  proofs  automated-theorem-proving 

मैं थोड़ी देर के लिए SAT एल्गोरिथ्म विकसित कर रहा हूं, और एक बिंदु पर पहुंच गया हूं जहां मैं इसे साझा करना चाहता हूं। मुझे कंप्यूटर विज्ञान में बहुत से लोग नहीं जानते हैं, और मुझे यकीन नहीं है कि वास्तव में कहाँ मोड़ना है। मैं सोच रहा हूं …

11 sat  soft-question  proofs