क्या टीसीएस के विशेषज्ञों को सबूत पढ़ने के लिए पैसे चार्ज करने चाहिए कि पी! = एनपी।


18

यह सर्वविदित है कि टन के शौकीन हैं - खुद में शामिल हैं - जो पी बनाम एनपी समस्या में रुचि रखते हैं। कई एमुटर भी हैं - खुद अभी भी शामिल हैं - जिन्होंने समस्या को हल करने के प्रयास किए हैं।

एक समस्या जो मुझे लगता है कि टीसीएस समुदाय से ग्रस्त है, एक अपेक्षाकृत उच्च इच्छुक-शौकिया-से-विशेषज्ञ अनुपात है; इससे विशेषज्ञों को पी! = एनपी के सबूतों के साथ बाढ़ हो जाती है, और मैंने पढ़ा है कि वे निराश और अभिभूत हैं, काफी समझ से, इस स्थिति से। Oded Goldreich ने इस मुद्दे पर लिखा है , और साक्ष्यों की जांच करने से इनकार करने का संकेत दिया है।

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

मेरे पास इस समस्या को हल करने के लिए एक प्रस्ताव है, और मेरा सवाल यह है कि क्या अन्य लोग इसे उचित समझते हैं या नहीं, या यदि इसके साथ कोई समस्या है।

मुझे लगता है कि विशेषज्ञों को विस्तार से सबूत पढ़ने और उनमें विशिष्ट त्रुटियां खोजने के लिए सहमत होने के बदले में एक महत्वपूर्ण (लेकिन 200 - 300 यूएसडी) धनराशि का उचित शुल्क लेना चाहिए। यह तीन चीजों को पूरा करेगा:

  1. एमेच्योर के पास अपने सबूतों का मूल्यांकन करने और गंभीरता से लेने का एक स्पष्ट तरीका होगा।
  2. विशेषज्ञों को उनके समय और ऊर्जा व्यय के लिए मुआवजा दिया जाएगा।
  3. प्रूफ-चेकिंग पर काफी उच्च लागत लगाई जाएगी, जो कि शौकीनों द्वारा प्रस्तुत किए जाने वाले सबूतों की संख्या नाटकीय रूप से कम हो जाएगी।

फिर, मेरा सवाल यह है कि यह एक उचित प्रस्ताव है या नहीं। जाहिर है, मेरे पास विशेषज्ञों की कोई क्षमता नहीं है कि मैं जो सुझाता हूं उसे अपनाऊं; हालाँकि, मैं उम्मीद कर रहा हूँ कि विशेषज्ञ वही लिखेंगे जो मैंने लिखा है और तय करेगा कि यह उचित है।


4
यह एक दिलचस्प प्रस्ताव है, लेकिन मैं आपकी पोस्ट में कोई प्रश्न नहीं देख सकता। एक असली सवाल नहीं के रूप में बंद करने के लिए वोट दिया।
त्सुयोशी इतो

जवाबों:


34

मुझे अपने सुझाव का जवाब एक काउंटर-सुझाव के साथ दें: आप एक व्यवसाय स्थापित करने की कोशिश क्यों नहीं करते हैं, शौकीनों और विशेषज्ञों के बीच एक बिचौलिया के रूप में कार्य करते हैं? एमेच्योर अपने सबूतों का मूल्यांकन करने के लिए भुगतान करते हैं। आप एक विशेषज्ञ को ढूंढते हैं और सबूत का मूल्यांकन करने के लिए विशेषज्ञ का भुगतान करते हैं, जो आपकी बिचौलिया भूमिका के लिए धन की कटौती करता है। इस तरह के व्यवसाय को चलाने की कोशिश करना यह पता लगाने का सबसे विश्वसनीय तरीका है कि क्या आपका विचार एक व्यवहार्य है।


3
यह एक रचनात्मक सुझाव है :)
सुरेश वेंकट

2
यह पैसे के साथ स्टैकटेक्चेंज जैसा होगा। क्यों नहीं?
राफेल

4
काश, डॉलर में प्रतिष्ठा बिंदुओं को चालू करने के लिए! ;)
डैनियल अपॉन

6
ऐसा व्यवसाय एक सही प्रमाण की पुष्टि करके खुद को व्यवसाय से बाहर क्यों रखा जाएगा, क्या वास्तव में प्रस्तुत किया जाना चाहिए? और उन एमेच्योर के साथ क्या करना है जो यह नहीं समझते हैं कि उनके प्रमाण गलत क्यों हैं?
बाउर

4
@Andrej: व्यवसाय सही प्रमाणों की पुष्टि करके खुद को व्यवसाय से बाहर नहीं रखेगा, जब तक कि वह जानबूझकर खुद को समस्याओं के एक सीमित दायरे में सीमित न कर दे। जैसे कि शौकीनों के लिए, जो नहीं करते हैं या मना करते हैं, समझें कि उनके प्रमाण गलत क्यों हैं, सिस्टम की सुंदरता यह है कि क्योंकि पैसा शामिल है, शौकिया या तो अतिरिक्त ध्यान देगा या दूर चला जाएगा। व्यवसाय को (और वास्तव में नहीं होना चाहिए) गारंटी देता है कि शौकिया विशेषज्ञ के फैसले को स्वीकार करेगा, केवल उस विशेषज्ञ को एक विशेषज्ञ मूल्यांकन प्रदान करेगा।
टिमोथी चो

39

मुझे इस नवजात उद्योग में कुछ "वास्तविक दुनिया का अनुभव" है (और नहीं, मैं अपने $ 200,000 की पेशकश के बारे में बात नहीं कर रहा हूँ Deolalikar :-))

जनवरी में, एक सॉफ्टवेयर डेवलपर ने मुझे ईमेल किया कि उसके पास P and NP का एक प्रूफेड प्रूफ है, और जब वह लगभग सुनिश्चित कर ले कि कोई त्रुटि थी, तो वह उसे नहीं खोज सका। उन्होंने पूछा कि क्या मैं किसी ऐसे स्नातक छात्रों को जानता हूं जो कुछ सौ डॉलर के बदले में उनके लिए त्रुटि खोजने को तैयार हों।

आपको कुछ संदर्भ देने के लिए: मुझे अपने इनबॉक्स में प्रति माह एक बार P in NP या P = NP दोनों का प्रमाण मिलता है। इन ईमेलों में से कई जटिलता सिद्धांतकारों की एक लंबी सूची में जाते हैं (कुक, कार्प, फोर्टवे, सीपसर ...); वे अक्सर धार्मिक या आध्यात्मिक अभिव्यक्तियों के साथ-साथ अकादमिक साजिशों के बारे में अंधेरे संकेत भी शामिल करते हैं। (एक मामले में, मेरे खिलाफ ग्राफिक मौत की धमकियां थीं, जिसके कारण मुझे पुलिस से संपर्क करना पड़ा।) वस्तुतः कोई नहीं से किसी ने भी इस संभावना को स्वीकार नहीं किया कि प्रमाण गलत हो सकता है, या कि लेखक ने सवाल गलत समझा हो। और जब, धीरे-धीरे स्कूल में, मैंने लेखकों के साथ पत्र-व्यवहार करने की कोशिश की, तो मैंने पाया कि वे सभी चर्चिल के मैक्सिम में "कभी नहीं, कभी नहीं, कभी नहीं, कभी हार नहीं मानने वाले" हैं।

तो सॉफ्टवेयर डेवलपर के अनुरोध ने मुझे वास्तव में प्रभावित किया! यह पहली बार था जब मैंने कभी आत्म-जागरूकता के इस स्तर के साथ एक पी ≠ एनपी सबूत देखा --- दोनों लोगों के समय पर लगाए जाने वाले आरोपों के बारे में और (अधिक महत्वपूर्ण बात) त्रुटि की संभावना के बारे में। जैसा कि हुआ, मेरे पीएचडी छात्र माइकल फोर्ब्स ने लेखक को एक सुंदर, विस्तृत रिपोर्ट भेजी, जिसमें उनके दृष्टिकोण के साथ समस्याओं की व्याख्या की गई; लेखक ने माइकल को धन्यवाद दिया और (मुझे लगता है! :-)) ने वादा किया था।

तो हाँ: ऐसे शौकीनों के लिए जो चाहते हैं कि कोई उनके पी बनाम एनपी सबूत (या इसी तरह के काम) की जांच करे, मुझे लगता है कि एक छात्र को कुछ सौ रुपये का भुगतान करना एक शानदार तरीका है। (ध्यान दें कि स्नातक छात्र प्रोफेसरों की तुलना में बहुत बेहतर विकल्प हैं: न केवल उनके पास इस तरह की चीजों के लिए अधिक ऊर्जा और उत्साह है, उन्हें पैसे की भी अधिक आवश्यकता है।) मैं चाहता हूं कि अधिक एमेच्योर इस विकल्प का लाभ उठाएं।


+1, वाकई दिलचस्प! मुझे नहीं पता था कि उस दर पर पी बनाम एनपी सबूत उत्पन्न होते हैं (प्रति माह एक बार)। चूंकि सिद्धांतकार और स्नातक छात्र कभी-कभी ऐसे किसी भी प्रूफ प्रयास के साथ समस्याओं को पढ़ते हैं और रिपोर्ट करते हैं, इसलिए "पी बनाम एनपी प्रूफ प्रयासों और उनकी समस्याओं" का सार्वजनिक डेटाबेस रखना एक अच्छा विचार होगा। पोलीमैथ में देओलीकर का प्रयास शामिल है । सामान्य तौर पर, प्रूव करने वालों के नामों को गुमनाम रखा जाना चाहिए, जब तक वे ऐसा चाहते हैं।
एमएस डौस्ती

13
पहले से ही ऐसा एक डेटाबेस है, कम से कम जो थोड़ा अधिक कर्षण प्राप्त करते हैं। इसे गेरहार्ड वेइंगिंगर द्वारा बनाए रखा गया है: win.tue.nl/~gwoegi/P-versus-NP.htm
सुरेश वेंकट

@ सुरेश: बहुत बहुत धन्यवाद। मैं उस पृष्ठ से नहीं आया था। हो सकता है कि जो सिद्धांतकार इतने गलत प्रयासों को प्राप्त करते हैं, वे इसे थोड़ा सा विज्ञापित करें;) और, उम, इसमें माइकल फोर्ब्स की रिपोर्ट का अभाव है।
एमएस डौस्ती

@SadeqDousti: इसीलिए वह लोगों से उसे ईमेल करने के लिए कहता है।
सुरेश वेंकट

रुको। कथित P बनाम NP प्रमाण प्रति माह एक बार उत्पन्न होते हैं और स्कॉट को प्रति माह उसके इनबॉक्स में एक मिलता है? यह काफी प्रभावशाली अनुपात है।
Zsbán Ambrus

31

कॉलेज के अपने वरिष्ठ वर्ष के अंत में कुछ महीनों के लिए और स्नातक विद्यालय के अपने पहले वर्ष की शुरुआत में मैंने फ़र्म के लास्ट प्रमेय के एक शौकिया गलत प्रमाणों को सही करते हुए $ 60 / घंटा कर दिया। इस मामले में व्यक्ति एक अन्य क्षेत्र में एक अकादमिक था, इसलिए उसे विशेषज्ञ समय के मूल्य की उचित समझ थी। यह चारों ओर अच्छा अनुभव था, मैंने एक समय में एक हजार डॉलर कमाए, जहां मेरे पास आय का कोई अन्य अच्छा स्रोत नहीं था, और उन्होंने कई ड्राफ्ट में त्रुटियों को सीखा।

मुझे लगता है कि जो लोग वास्तविक प्रयास कर रहे हैं और जो अच्छे पैसे देने को तैयार हैं, उन्हें योग्य स्नातक या युवा स्नातक छात्रों को ढूंढना मुश्किल नहीं होना चाहिए जिन्हें कुछ पैसे की आवश्यकता है।


11
मुझे लगता है कि इसे दुनिया भर के शौकीनों की संख्या को देखते हुए बहुत ही लाभदायक स्टार्ट-अप में बदल दिया जा सकता है, जो P बनाम NP समस्या को हल करने की कोशिश कर रहे हैं :)
Mohammad Al-Turkistany

1
मैं टिमोथी चाउ को बदलने और स्वीकार करने जा रहा हूं। मुझे आशा है कि आप नाराज नहीं होंगे ... आपका जवाब भी बहुत अच्छा है और मैंने इसे वोट दिया है।
फिलिप व्हाइट २ White

24

एक समस्या जो मुझे आपके सुझाव के साथ दिख रही है वह यह है कि अधिकांश P बनाम NP नॉट-प्रूफ भी गलत नहीं हैं। दूसरे शब्दों में, वे आम तौर पर परिभाषा या विनिर्देश की विफलता से पीड़ित होते हैं जो उन्हें या तो सत्य के रूप में सत्यापित करना या झूठे दिखाने के लिए असंभव बनाता है। मैं आपको मेरे (बेशर्म आत्म-प्रचार चेतावनी!) विशेषज्ञों और शौकिया पी बनाम एनपी उत्साही के बीच विशिष्ट बातचीत का कैरिकेचर संदर्भित करूँगा : यह देखना मुश्किल है कि इस चर्चा में पैसा कैसे पेश किया जाएगा।

उपरोक्त कैरिकेचर comp.heory पर trainwrecks देखने पर आधारित है: टिमोथी चाउ के पास इस बारे में कहने के लिए अधिक हो सकता है, क्योंकि वह अक्सर ऐसे लोगों को संलग्न करने के लिए धैर्यपूर्वक प्रयास करता है।


1
शायद। मुझे शक है कि मैं ऐसा करूंगा। लेकिन मैं अपने स्नातक छात्र को ऐसा करने दे सकता हूं :)
सुरेश वेंकट

2
@ सुरेश, यह PvsNP ब्लॉग brouhaha की मेरी स्मृति का एक आश्चर्यजनक सटीक पुनर्मिलन है। (सिवाय इसके कि आपने 2004 में लिखा था!)
डैनियल अपॉन

3
मेरा पहला रोडियो :) नहीं
सुरेश वेंकट

4
सुरेश को लेने के लिए नहीं, लेकिन मुझे लगता है कि उनकी प्रतिक्रिया इन जैसे (चाहे वे सार्थक हों या न हों) सुझावों के लिए विशिष्ट होंगी। वह है: "हो सकता है। मुझे संदेह है कि मैं इसे करूंगा। लेकिन मैं अपने स्नातक छात्र को ऐसा करने दे सकता हूं :)" बेहतर या बदतर के लिए, आमतौर पर पी बनाम एनपी प्रमाणों की अनदेखी करने की स्थिति जब तक वे (किसी तरह) नहीं उठते तब तक ढेर के ऊपर पहले से ही समुदाय की जरूरतों को पर्याप्त रूप से संभालता है।
डैनियल अपॉन

7
@ सुरेश: अगर विशेषज्ञ प्रति घंटा चार्ज करते हैं, तो मुझे नहीं लगता कि यह मायने रखता है कि क्या सबूत "गलत भी नहीं है।" शौकिया मूल रूप से निजी टीसीएस सबक के लिए विशेषज्ञ को काम पर रख रहा है। लेकिन आप सही कह रहे हैं कि यदि शौकिया "गलती या मेरे पैसे वापस खोजें" मांगता है, तो कोई भी विशेषज्ञ इस प्रस्ताव को नहीं उठाएगा। यहां तक ​​कि अगर विशेषज्ञ भाग्यशाली है और सबूत में स्पष्ट गलती है, तो शौकिया इसे समझ नहीं सकता है या यह स्वीकार नहीं कर सकता है कि यह गलत है।
टिमोथी चाउ

2

मुझे याद है कि 1985 के आसपास एक भाषा सम्मेलन में जाने के बाद, जहाँ निम्नलिखित एक्सचेंज हुए:

वक्ता: पेड़ की पत्तियाँ एक एनपी-पूर्ण समस्या के उदाहरण हैं, लेकिन हाथ से हल करना आसान है।

मुझे: यदि उदाहरणों को हल करना आसान है, तो शायद समस्या एनपी-पूर्ण नहीं है।

वक्ता: मुझे समझ नहीं आया।


$ 300 चार्ज करने के लिए बहुत कम लगता है। यह केवल एक घंटे या 2 समय के लिए भुगतान करता है। कोई भी प्रमाण जो पहले ही छोटा हो चुका हो।


2
आपको यकीन है कि एक बड़ी दर है। जिन प्रोफेसरों को मैं जानता हूं, वे प्रति घंटे दो-अंकीय राशि (€) कमाते हैं।
राफेल

11
@ राफेल: विशिष्ट परामर्श शुल्क प्रोफेसरों का व्यवसाय प्रति घंटे उनकी सैलरी का कम से कम 2 से 3 गुना है। दूसरा, आपको लगता है कि एक प्रमाण में दोष खोजने में कितने घंटे लगते हैं? निश्चित रूप से सबसे हाल के गंभीर सबूत में दोष का पता लगाने के लिए महत्वपूर्ण समय लगा (कम से कम एक दर्जन प्रोफेसरों से मुझे 2 या 3 घंटे से काफी अधिक अनुमान है)। यहां तक ​​कि कम 2-अंकीय राशि पर, यह 300 डॉलर से बहुत अधिक होगा। और एक प्रोफेसर के रूप में, क्या मैं किसी चीज के लिए 300 डॉलर स्वीकार करने वाला हूं (जो जानता है) मुझे 4 से 40 घंटे के बीच कहीं ले जा सकता है? यह काफी जुआ है।
पीटर शोर

7
(cont) दूसरी ओर, यदि कोई व्यक्ति अपने प्रमाण में दोष का पता लगाने के लिए मुझे घंटे के हिसाब से भुगतान करता है, तो उन्हें इस बात का कोई अंदाजा नहीं है कि इसमें कितना समय लगने वाला है, और इसलिए इससे सहमत होने के लिए अनिच्छुक हो सकते हैं। शायद यह एक चुनौती के रूप में आयोजित किया जा सकता है: दोष खोजने वाले पहले व्यक्ति को एक हजार डॉलर मिलते हैं।
पीटर शोर

2
पे-बाय-घंटे उन कार्यों के लिए भी एक सामान्य मॉडल है जिनकी कोई पूर्वनिर्धारित अवधि नहीं है, जैसे कि शिल्प या सॉफ्टवेयर विकास। यह जरूर है, विश्वास और / या उचित अनुबंध।
राफेल

2
@ पैटर शोर: मुझे चुनौती का विचार पसंद नहीं है। यदि आप इसे एक प्रणाली के रूप में देखते हैं, तो यह उस पर खर्च करने वाले कुल विशेषज्ञ समय को कमर कर सकता है। मुझे लगता है कि विशेषज्ञ समय की नीलामी के कुछ रूप या विशेषज्ञों के लिए प्रतिष्ठा के साथ एक प्रणाली है, जो एक विशेषज्ञ से प्राप्त प्रतिक्रियाओं से प्रमाण लेखकों की संतुष्टि के आधार पर है, अगर हम इसे बाजार के डिजाइन के सवाल के रूप में सोचते हैं तो बेहतर हो सकता है।
Kaveh

1

निश्चित रूप से नहीं। हमें अभी तक एक और अकादमिक विकल्प की आवश्यकता नहीं है। कुछ लोगों ने पहले से ही उन विकल्पों को प्रदान किया है, जो शौकिया और पेशेवर शोधकर्ताओं और समाज दोनों को एक उच्च तकनीक वाले भविष्य की झूठी आशाएं प्रदान करते हैं (मेरे मन में एक विशेष स्थान है, लेकिन मैं इसका उल्लेख नहीं करूंगा)।

शैक्षणिक प्रणाली सदियों से जाली थी कि वह क्या है। मैं सहकर्मी समीक्षा प्रणाली को "लाइन लंघन" के रूप में छोड़ने का प्रयास देखता हूं। यदि एक शौकिया शोधकर्ता के पास यह समझने का कौशल नहीं है कि उसका प्रमाण गलत क्यों है, अकेले या समीक्षा से कुछ टिप्पणियों के साथ, तो एक सरल उपाय है और वह यह है कि उसे विषय का कठिन अध्ययन करना चाहिए। यही कारण है कि विश्वविद्यालयों जैसे शैक्षणिक संस्थान एक निश्चित व्यक्ति के ज्ञान को प्रमाणित करने के लिए मौजूद हैं। यदि वह व्यक्ति ऐसा जीनियस होता है जो क्षेत्र के ज्ञान को तुरंत प्राप्त कर लेता है, तो ठीक है, उस डिग्री को जल्द से जल्द पुरस्कार दें। लेकिन विशाल बहुमत को अपने स्वयं के लिए और समाज के लिए प्रशिक्षण से गुजरना चाहिए।

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

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

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