टीसीएस में पैदल सेना के उदाहरण


15

लैरी वासरमैन के पास एक हालिया पोस्ट है जहां वह "पी-वैल्यू पुलिस" के बारे में बात करते हैं। वह एक दिलचस्प बिंदु बनाता है (सभी जोर मेरा) (इटैलिक्स में आधार जो मैंने जोड़ा, और इसके नीचे उसकी प्रतिक्रिया):

सबसे आम शिकायत यह है कि भौतिकविदों और पत्रकारों ने पी-मूल्य के अर्थ को गलत तरीके से समझाया है। उदाहरण के लिए, यदि p- मान 0.000001 है तो हम "99.9999% विश्वास है कि संकेत वास्तविक है" जैसे कथन देखेंगे। हम तब कथन को सही करने के लिए मजबूर महसूस करते हैं: यदि कोई प्रभाव नहीं है, तो कुछ के रूप में या अधिक चरम का मौका 0.000001 है।

काफी उचित। लेकिन क्या वाकई इससे फर्क पड़ता है? बड़ी तस्वीर है: प्रभाव के लिए सबूत भारी है। क्या यह वास्तव में मायने रखता है अगर शब्दांकन थोड़ा भ्रामक है? मुझे लगता है कि अगर हम इस बारे में शिकायत करते हैं तो हम अपनी छवि को पेडेंट के रूप में मजबूत करते हैं।

जो मुझे सोच रहा था -

क्या टीसीएस में पैदल सेना के अच्छे उदाहरण हैं? इस तरह के उदाहरण से मिलकर बनेगा

  • एक दावा जो आमतौर पर लोकप्रिय प्रेस में किया जाता है
  • एक मानक सुधार जिसे लोग बनाने पर जोर देते हैं
  • सही "बड़ी तस्वीर" जो दावा अधीर होते हुए भी कब्जा कर लेती है।

जहां दावा गणितीय रूप से गलत है लेकिन "नैतिक रूप से सही" है और सुधार तकनीकी रूप से सही है लेकिन सहज ज्ञान को नहीं बदलता है।

चीजों को बंद करने के लिए, मेरा उदाहरण होगा:

  • दावा - एनपी-पूर्ण समस्याओं को हल करने के लिए घातीय समय लगता है
  • सुधार - वास्तव में हम सिर्फ यह नहीं जानते हैं कि क्या उन्हें बहुपद समय में हल किया जा सकता है
  • बड़ी तस्वीर - एनपी-पूर्ण समस्याएं HARD हैं

सावधानी: मुझे पता है कि इस मंच पर कई ऐसे हैं जिनके सिर उन दावों के विचार में विस्फोट करेंगे जो गलत हैं लेकिन "नैतिक रूप से सही" :)। याद रखें कि ये एक शोध पत्र में दिए गए बयानों के बजाय जनता की ओर लक्षित बयान हैं (जहाँ कुछ हद तक लाइसेंस की अनुमति दी जा सकती है)।


1
इस बारे में निश्चित नहीं है, लेकिन "सत्य यादृच्छिकता" योग्य हो सकती है? लोग अक्सर दावा कर सकते हैं कि कुछ (सही मायने में) यादृच्छिक है, जब वास्तव में हम नहीं जानते। चूँकि एक स्ट्रिंग x का अपरिहार्य है, हम यादृच्छिकता के दावे को सत्यापित नहीं कर सकते हैं। फिर भी, यादृच्छिकता उत्पन्न करने के कई स्रोत अक्सर अभ्यास में यादृच्छिक रूप से पर्याप्त होते हैं। K(x)x
जुहो

यह एक दिलचस्प विचार है, लेकिन क्या लोकप्रिय प्रेस में सच्ची यादृच्छिकता के बारे में बहुत कुछ है?
सुरेश वेंकट

मुझे लगता है कि यह थोड़ा व्यक्तिपरक है - शायद एनपी-पूर्णता के बारे में लोकप्रिय प्रेस वार्ता जितना? लेकिन हां, मुझे लगता है कि यादृच्छिकता विभिन्न संदर्भों में सामने आती है, लेकिन आमतौर पर छद्मता और (सत्य) यादृच्छिकता के बीच कोई अंतर नहीं होता है।
जुहो

जवाबों:


17

Hm, TCS के बारे में दावों के उदाहरणों के बारे में सोचना कठिन है, जो इसे लोकप्रिय प्रेस के लिए बनाते हैं।

क्रिप्टोग्राफी की व्याख्या करते समय एक बात जो मैंने कभी-कभार देखी है, वह दावा है कि फैक्टरिंग एनपी-हार्ड है। यह दावा करने की कम सहज त्रुटि से संबंधित है कि क्वांटम कंप्यूटर एनपी कठिन समस्याओं को हल कर सकते हैं, लेकिन क्रिप्टोग्राफी के संदर्भ तक ही सीमित है, यह एक अपेक्षाकृत मामूली त्रुटि है। मुद्दा सिर्फ इतना है कि हम (क्रिप्टोग्राफी के उपयोगकर्ता) यह मानते हैं कि समस्या को हल करने के लिए कोई कुशल एल्गोरिदम नहीं है। इस अनुमान को सही ठहराने के लिए हम जो विशेष अनुमान लगाते हैं, वह बिंदु के अलावा है।


12
  • प्रेस द्वारा दावा: उन चीजों के बारे में जो "तेजी से" बढ़ती हैं यानी ओ का दावा (k ^ n)

  • वास्तव में सच है: अक्सर, एक निरंतर शक्ति O (n ^ k)

  • बड़ी तस्वीर: यह काफी तेजी से बढ़ता है, बिलकुल ठीक


वह अच्छा है। मैं उसी के बारे में सोच रहा था।
सुरेश वेंकट

8
मैं वास्तव में इनमें से एक को अपने वेबपेज पर रखता हूं: cg.scs.carleton.ca/~morin/misc/nortel
Pat Morin

1
सिवाय इसके कि इस मामले में DID को फर्क पड़ता है :)
सुरेश वेंकट

4
घातीय ने सुपरलाइनियर से बढ़ने वाली किसी भी चीज़ का अर्थ लिया है
शाफ़्ट फ्रीक

शब्द "घातीय" सबसे अधिक दुरुपयोग में से एक है। यहाँ मैंने कुछ उदाहरण देखे हैं: "[कुछ फ़ुटबॉल खिलाड़ी] द्वारा किए गए लक्ष्यों की संख्या प्रत्येक सीज़न से अगले तक तेज़ी से बढ़ रही है" , "मैं अपनी टीम के कामकाजी रवैये में सुधार करने में सक्षम रहा हूँ" साल " , " उपग्रह टीवी के माध्यम से उपलब्ध चैनलों की संख्या घातीय है"
जियोर्जियो कैमरानी

11
  • प्रेस द्वारा दावा करें: एक महत्वपूर्ण व्यावहारिक समस्या के लिए पहले बहुपद समय एल्गोरिथ्म जरूरी हमारे जीवन को बदल देगा, कटा हुआ ब्रेड, आदि के बाद अगली सबसे अच्छी बात होगी।

उदाहरण के लिए, दीर्घवृत्त एल्गोरिथ्म के बारे में किसी भी प्रेस लेख को उस समय से खोजा गया था जब यह कहानी का महान विवरण था: http://www.springerlink.com/content/vh32532p5048062u/ )। प्रेस ने दावा किया कि यह नई महान गणितीय खोज हर किसी के जीवन को प्रभावित करेगी, टीएसपी को हल करेगी (जो उन्होंने विशेष रूप से विडंबना को देखते हुए कहा कि यूएसएसआर में कितने ट्रैवलिंग सेल्समैन थे!), क्रिप्टो को उल्टा कर दें, आदि।

फिर AKS है, जो कुछ रिपोर्टों में फैक्टरिंग को हल करने के लिए भी निहित था..और कम से कम उद्योग-बदलते नवाचार के लिए।

मुझे यकीन है कि बहुत अधिक उदाहरण हैं।

  • वास्तव में सच है: बहुपद समय का मतलब व्यावहारिक नहीं है! बिंदु में मामला: दीर्घवृत्त एल्गोरिथ्म, उच्च आयामी उत्तल निकायों से नमूना। सबसे खराब मामला घातीय समय का मतलब अव्यावहारिक नहीं है। बिंदु में मामला: सिंप्लेक्स एल्गोरिथ्म। जब नया एल्गोरिथ्म एक समस्या के लिए केवल पहला नियतात्मक बहुपत्नी एल्गोरिथ्म है, तो यह अभ्यास के लिए भी कम प्रासंगिकता है।

  • log5n


6

लोकप्रिय प्रेस अक्सर यह धारणा देता है कि प्राथमिक, यदि एकमात्र नहीं है, तो इसका कारण यह है कि कंप्यूटर अधिक से अधिक कार्यों में सफल हो रहे हैं (शतरंज में कास्परोव की पिटाई करना, जेनरिंग को खतरे में डालना, आदि) कच्चे प्रसंस्करण शक्ति में वृद्धि होती है। एल्गोरिथ्म अग्रिमों को आमतौर पर इतना क्रेडिट नहीं दिया जाता है।

हालाँकि, मैं इस बारे में अस्पष्ट हूं कि क्या एल्गोरिथम अग्रिमों को अधिक वजन दिए जाने पर जोर दिया जा रहा है "पैदल सेना"। एक तरफ, मुझे लगता है कि हम में से जो अधिक सैद्धांतिक रूप से झुके हुए हैं वे कभी-कभी एल्गोरिथम अग्रिमों के महत्व से आगे निकल सकते हैं और केवल प्रसंस्करण शक्ति के महत्व को गंभीरता से स्वीकार कर सकते हैं। दूसरी ओर, मुझे लगता है कि जनता को व्यावहारिक समस्याओं को हल करने में सैद्धांतिक प्रगति की भूमिका के बारे में बेहतर जानकारी होनी चाहिए।


मुझे लगता है कि यह तर्क दिया जा सकता है कि "पैदल सेना" सटीक है। बहुत से लोग हार्डवेयर या सॉफ़्टवेयर (वास्तव में मेरे लिए कम से कम एक आश्चर्यजनक राशि) के बीच अंतर नहीं जानते हैं। निर्जन के लिए, जहां से वास्तव में सुधार आता है, को बालश्रम के रूप में वर्गीकृत किया जा सकता है, भले ही हम जानते हैं कि विशाल संरचनात्मक और वैचारिक मतभेद हैं।
सैमएम

-7

स्कॉट आरोनसन, जबकि एक अग्रणी प्राधिकरण, नियमित रूप से सही ढंग से बाल न काटने के लिए मीडिया को काम पर ले जाता है। जैसे NYT लेख में उनके हाल स्तंभ "क्वांटम कम्प्यूटिंग वादे नई इनसाइट्स, नॉट जस्ट Supermachines" [इटैलिक जोड़ा]

अख़बार के अनुकूल रूपकों में गणित को ढालने के लिए संघर्ष करते हुए, अधिकांश लोकप्रिय लेखकों ने एक क्वांटम कंप्यूटर को एक जादू की मशीन के रूप में वर्णित किया है जो एक समय में उन्हें आज़माने के बजाय समानांतर में हर संभव उत्तर को संसाधित कर सकता है । माना जाता है कि ऐसा इसलिए किया जा सकता है क्योंकि बिट के साथ छेड़छाड़ करने वाले आज के कंप्यूटरों के विपरीत, एक क्वांटम कंप्यूटर क्वांटम बिट्स, या क्वाइबेट्स में हेरफेर करेगा, जो एक साथ 0 और 1 हो सकते हैं।

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

अभी तक समानांतर में एक क्वांटम कंप्यूटर प्रोसेसिंग उत्तरों का रूपक व्यापक और QM कंप्यूटिंग का एक उचित वैचारिक सरलीकरण है, और कई QM कंप्यूटिंग पाठ्यपुस्तकों में संदर्भित है। संभवतः QM सिद्धांत / कंप्यूटिंग से अन्य उदाहरण हैं।

सार्वजनिक / मीडिया के साथ संवाद करने में टीसीएस और अन्य सैद्धांतिक अनुसंधान में एक स्वाभाविक तनाव है क्योंकि यह कभी-कभी कठोर प्रशिक्षण के हिस्से के रूप में महत्वपूर्ण अंतर / अवधारणाओं पर जोर देने के लिए जाता है जो कि आम लोगों के लिए ज्ञात या महत्वपूर्ण नहीं हैं। दूसरे शब्दों में, कई मामलों में अनुसंधान सिद्धांत विभिन्न वैचारिक "बड़ी तस्वीर" सरलीकरणों के खिलाफ काम करता है जो आम आदमी के लिए वैध हैं।


9
आपको अपना उत्तर सही प्रारूप में डालने की आवश्यकता है :)। लेकिन मुझे नहीं लगता कि आपका जवाब उचित है। क्योंकि "क्वांटम कंप्यूटर समानांतर में सभी मामलों की कोशिश कर सकता है" तर्क महत्वपूर्ण तरीकों से गलत है, और अंतर्ज्ञान के रूप में सहायक नहीं है। इसलिए मुझे नहीं लगता कि एक उच्च "नैतिक सत्य" है
सुरेश वेंकट

5
मैं मानता हूं कि @SureshVenkat एक क्वांटम कंप्यूटर प्रसंस्करण के समानांतर सभी संभावनाएं नैतिक सत्य के करीब है क्योंकि एक संभाव्य कंप्यूटर प्रसंस्करण समानांतर में सभी संभावनाओं को पूरा करता है। यह अंतर्ज्ञान के लिए पूरी तरह से बेकार है और इसमें कोई "तरह की सच्ची" बात नहीं है।
Artem Kaznatcheev

4
जब मैं उन लोगों के बीच दौड़ता हूं जो जोर देते हैं कि क्यूसी किसी समस्या के सभी संभावित आदानों को हल कर सकता है, तो मैं आमतौर पर जवाब देता हूं: "ठीक है, ठीक है। आपको एक जवाब मिलता है । यादृच्छिक पर। आप यह कैसे सुनिश्चित करते हैं कि यह शायद सही है?"
जोसफिन म्यूलर

@ArtemKAznatcheev: मैं निश्चित रूप से कहूंगा कि इस सरलीकरण में कुछ सार्थक है। एक क्वांटम अभिकलन (एक संभाव्यता के विपरीत) में, विभिन्न संभावनाओं के अनुरूप राज्य के घटक (आगे रैखिक कार्यों के माध्यम से) रद्द कर सकते हैं, या अन्यथा "हस्तक्षेप" कर सकते हैं। मैं सहमत हूँ कि यह अंतर्ज्ञान बहुत दूर तक नहीं जाता है कि वास्तव में क्या चल रहा है, लेकिन यह थोड़ा रास्ता तय करता है, और मुझे अभी तक वास्तविक रैखिक बीजगणित में शामिल हुए बिना आगे जाने का कोई भी रास्ता दिखाई नहीं दे रहा है, जो कि ज्यादातर झूठ के लिए है पाठकों को एक पूर्ण बदलाव होगा।
PLL

4
@ एलपीएल: एक नॉनडेटर्मिनिस्टिक मशीन में, शाखाएं हस्तक्षेप नहीं करती हैं। इसलिए जब हमें संदेह होता है कि BQP BPP से कड़ाई से बड़ा है, तो यह क्वांटम कंप्यूटर की तुलना एक nondeterministic Turing मशीन से करने की तुलना में गलत प्रकार की तुलना करता है। आप Parity-P या Gap-P की तुलना में (अभी भी काफी फूहड़) बनाने की कोशिश कर सकते हैं, लेकिन किसी भी तरह से मुझे नहीं लगता है कि यह आपको यह बताने में मदद करेगा कि क्वांटम कंप्यूटर बहुत ज्यादा क्या करते हैं।
निएल डी ब्यूड्रैप
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.