ผู้เชี่ยวชาญใน TCS ควรคิดเงินเพื่ออ่านหลักฐานที่ P! = NP หรือไม่?


18

เป็นที่รู้จักกันดีว่ามีมือสมัครเล่นมากมาย - รวมอยู่ด้วยตัวเอง - ผู้ที่มีความสนใจในปัญหา P กับ NP นอกจากนี้ยังมีมือสมัครเล่นหลายคนที่ยังพยายามรวมตัวกันเพื่อแก้ไขปัญหา

ปัญหาหนึ่งที่ฉันคิดว่าชุมชน TCS ทนทุกข์ทรมานจากอัตราส่วนความสนใจสมัครเล่นต่อผู้เชี่ยวชาญค่อนข้างสูง สิ่งนี้นำไปสู่ผู้เชี่ยวชาญที่ถูกน้ำท่วมพร้อมหลักฐานพิสูจน์ว่า P! = NP และฉันได้อ่านว่าพวกเขาผิดหวังและท่วมท้นค่อนข้างเข้าใจได้จากสถานการณ์นี้ Oded Goldreich ได้เขียนเกี่ยวกับปัญหานี้และระบุว่าเขาปฏิเสธที่จะตรวจสอบหลักฐาน

ในขณะเดียวกันเมื่อพูดจากมุมมองของมือสมัครเล่นฉันสามารถยืนยันได้ว่ามีบางสิ่งที่น่าผิดหวังสำหรับผู้ที่ชื่นชอบ TCS ที่ไม่ใช่ผู้เชี่ยวชาญในทุกระดับของความสามารถมากกว่าสร้างหลักฐานที่ดูเหมือนจะถูก แต่ขาดทั้งสองอย่าง ความสามารถในการค้นหาข้อผิดพลาดในการพิสูจน์ตัวเองและความสามารถในการพูดคุยกับทุกคนที่สามารถพบข้อผิดพลาดในการพิสูจน์ของคุณ เมื่อเร็ว ๆ นี้ RJ ลิปตันเขียนถึงปัญหาของมือสมัครเล่นที่พยายามจริงจัง

ฉันมีข้อเสนอสำหรับการแก้ไขปัญหานี้และคำถามของฉันคือคนอื่นคิดว่ามันสมเหตุสมผลหรือไม่หรือมีปัญหา

ฉันคิดว่าผู้เชี่ยวชาญควรเรียกเก็บเงินจำนวนมาก แต่สมเหตุสมผล (พูดว่า 200 - 300 USD) เพื่อแลกเปลี่ยนเพื่อยอมรับการอ่านหลักฐานในรายละเอียดและค้นหาข้อผิดพลาดเฉพาะในนั้น สิ่งนี้จะทำให้สำเร็จสามสิ่ง:

  1. มือสมัครเล่นจะมีวิธีที่ชัดเจนในการพิสูจน์และประเมินผลของพวกเขาอย่างจริงจัง
  2. ผู้เชี่ยวชาญจะได้รับการชดเชยตามเวลาและพลังงานที่ใช้ไป
  3. จะมีค่าใช้จ่ายสูงมากที่กำหนดในการตรวจสอบหลักฐานว่าจำนวนการพิสูจน์ที่มือสมัครเล่นส่งไปลงอย่างมาก

คำถามของฉันคือคำถามนี้เป็นข้อเสนอที่สมเหตุสมผลหรือไม่ เห็นได้ชัดว่าฉันไม่มีความสามารถที่จะทำให้ผู้เชี่ยวชาญยอมรับสิ่งที่ฉันแนะนำ อย่างไรก็ตามฉันหวังว่าผู้เชี่ยวชาญจะอ่านสิ่งที่ฉันเขียนและตัดสินใจว่ามันสมเหตุสมผล


4
นี่เป็นข้อเสนอที่น่าสนใจ แต่ฉันไม่เห็นคำถามใด ๆ ในโพสต์ของคุณ โหวตให้ปิดไม่ใช่คำถามจริง
Tsuyoshi Ito

คำตอบ:


34

ให้ฉันตอบข้อเสนอแนะของคุณด้วยการตอบโต้ข้อเสนอแนะ: ทำไมคุณไม่ลองตั้งธุรกิจทำหน้าที่เป็นคนกลางระหว่างมือสมัครเล่นและผู้เชี่ยวชาญ มือสมัครเล่นจ่ายเงินเพื่อพิสูจน์หลักฐานของพวกเขา คุณหาผู้เชี่ยวชาญและจ่ายเงินให้ผู้เชี่ยวชาญเพื่อประเมินผลการพิสูจน์เอาเงินสำหรับบทบาทคนกลางของคุณ การพยายามดำเนินธุรกิจดังกล่าวเป็นวิธีที่น่าเชื่อถือที่สุดในการค้นหาว่าความคิดของคุณเป็นไปได้หรือไม่


3
ที่เป็นข้อเสนอแนะที่สร้างสรรค์ :)
Suresh Venkat

2
นั่นจะเป็นเหมือนการแลกเปลี่ยนเงินตรากับเงิน ทำไมจะไม่ล่ะ?
Raphael

4
อนิจจาเพื่อเปลี่ยนคะแนนชื่อเสียงเป็นดอลลาร์! ;)
Daniel Apon

6
เหตุใดธุรกิจดังกล่าวจึงเลิกกิจการโดยยืนยันหลักฐานที่ถูกต้องควรส่งจริงหรือไม่ และจะทำอย่างไรกับมือสมัครเล่นที่ไม่เข้าใจว่าทำไมการพิสูจน์ของพวกเขาจึงผิด?
Andrej Bauer

4
@Andrej: ธุรกิจจะไม่นำตัวเองออกจากธุรกิจโดยยืนยันหลักฐานที่ถูกต้องเว้นแต่ว่าจงใจ จำกัด ตัวเองให้อยู่ในชุดของปัญหาที่ จำกัด มาก สำหรับมือสมัครเล่นที่ไม่ได้หรือปฏิเสธที่จะเข้าใจว่าทำไมการพิสูจน์ของพวกเขาจึงไม่ถูกต้องความงามของระบบก็คือเนื่องจากเงินมีส่วนเกี่ยวข้องผู้สมัครเล่นจะจ่ายค่าความสนใจเพิ่มเติมหรือหายไป ธุรกิจไม่จำเป็นต้อง (และไม่ควรแน่นอน) รับประกันได้ว่ามือสมัครเล่นจะยอมรับคำตัดสินของผู้เชี่ยวชาญเฉพาะที่ผู้เชี่ยวชาญจะให้การประเมินผู้เชี่ยวชาญ
Timothy Chow

39

ฉันมี "ประสบการณ์ในโลกแห่งความเป็นจริง" ในอุตสาหกรรมที่พึ่งเกิดขึ้น (และไม่ฉันไม่ได้พูดถึงข้อเสนอ 200,000 ดอลลาร์ของฉันที่ Deolalikar :-))

ในเดือนมกราคมผู้พัฒนาซอฟต์แวร์ส่งอีเมลถึงฉันว่าเขามีหลักฐานการพยายาม P ≠ NP และในขณะที่เขาเกือบจะแน่ใจว่ามีข้อผิดพลาดเขาไม่สามารถหาได้ เขาถามว่าฉันรู้จักนักเรียนระดับปริญญาคนใดที่ยินดีที่จะพบข้อผิดพลาดสำหรับเขาเพื่อแลกกับเงินสองสามร้อยเหรียญ

เพื่อให้บริบทคุณ: ฉันได้รับหลักฐานของ P P NP หรือ P = NP ในกล่องจดหมายของฉันประมาณเดือนละครั้ง อีเมลเหล่านี้จำนวนมากไปที่รายการนักทฤษฎีที่ซับซ้อนจำนวนมาก (Cook, Karp, Fortnow, Sipser ... ); พวกเขามักจะรวมถึงการเปล่งแสงทางศาสนาหรืออภิปรัชญาเช่นเดียวกับคำแนะนำที่มืดเกี่ยวกับการวางแผนการศึกษา (ในกรณีหนึ่งมีการขู่ว่าจะฆ่าฉันซึ่งทำให้ฉันติดต่อตำรวจ) แทบไม่มีใครยอมรับความเป็นไปได้ที่การพิสูจน์อาจผิดหรือผู้เขียนอาจเข้าใจผิดคำถาม และเมื่อกลับไปเรียนระดับมัธยมปลายฉันพยายามที่จะติดต่อกับผู้แต่งฉันพบว่าพวกเขาทุกคนเป็นผู้ศรัทธาอย่างแรงกล้าในคติพจน์ของ Churchill "ไม่เคยไม่เคยไม่เคยไม่ยอมแพ้"

ดังนั้นคำขอของผู้พัฒนาซอฟต์แวร์จึงทำให้ฉันประทับใจจริงๆ ! นี่เป็นครั้งแรกที่ฉันเคยเห็นหลักฐาน P ≠ NP มาพร้อมกับการรับรู้ในระดับนี้ --- ทั้งเกี่ยวกับการกำหนดเวลาของผู้คนและ (ที่สำคัญกว่า) เกี่ยวกับโอกาสที่จะเกิดข้อผิดพลาด ในขณะที่มันเกิดขึ้นนักศึกษาปริญญาเอกของฉัน Michael Forbes ได้ส่งรายงานที่สวยงามและมีรายละเอียดที่อธิบายถึงปัญหาด้วยแนวทาง ผู้เขียนขอบคุณไมเคิลและ (ฉันคิดว่า! :-)) ได้รับค่าจ้างตามที่สัญญาไว้

ใช่แล้ว: สำหรับมือสมัครเล่นที่ต้องการให้ใครสักคนตรวจสอบหลักฐานของ P vs. NP (หรืองานที่คล้ายกัน) ฉันคิดว่าการจ่ายเงินให้นักเรียนที่เรียนจบปริญญาไม่กี่ร้อยเหรียญเป็นวิธีที่ยอดเยี่ยม (โปรดทราบว่านักเรียนที่สำเร็จการศึกษาเป็นตัวเลือกที่ดีกว่าอาจารย์: พวกเขามีพลังและความกระตือรือร้นมากกว่าสำหรับสิ่งเหล่านี้ แต่พวกเขาต้องการเงินมากขึ้นด้วย) ฉันหวังว่ามือสมัครเล่นจะใช้ประโยชน์จากตัวเลือกนี้มากขึ้น


+1 น่าสนใจจริงๆ! ฉันไม่รู้ว่าหลักฐาน P กับ NP ถูกสร้างขึ้นในอัตรานั้น (หนึ่งครั้งต่อเดือน) เนื่องจากนักทฤษฎีและนักเรียนระดับบัณฑิตศึกษาบางครั้งอ่านและรายงานปัญหาด้วยความพยายามในการพิสูจน์ใด ๆ มันจะเป็นความคิดที่ดีที่จะเก็บฐานข้อมูลสาธารณะของ "ความพยายามในการพิสูจน์ P กับ NP และปัญหาของพวกเขา" พหูสูตรวมถึงความพยายามของ Deolalikar โดยทั่วไปชื่อผู้พิสูจน์จะต้องไม่ระบุชื่อตราบใดที่พวกเขาต้องการ
MS Dousti

13
มีฐานข้อมูลดังกล่าวอยู่แล้วอย่างน้อยหนึ่งฐานข้อมูลที่ได้รับแรงขึ้นอีกเล็กน้อย ปรับปรุงโดย Gerhard Woeginger: win.tue.nl/~gwoegi/P-versus-NP.htm
Suresh Venkat

@Suresh: ขอบคุณมาก ฉันไม่ได้มาที่หน้านั้น อาจเป็นไปได้ว่านักทฤษฎีที่ได้รับความพยายามที่ผิดจำนวนมากควรโฆษณามันสักหน่อย) และอืมไม่มีรายงานของ Michael Forbes
MS Dousti

@SadeqDousti: นั่นคือเหตุผลที่เขาขอให้ผู้คนส่งอีเมลถึงเขา
Suresh Venkat

รอ. หลักฐาน P vs NP ที่ถูกกล่าวหาถูกสร้างขึ้นหนึ่งครั้งต่อเดือนและสกอตต์ได้รับหนึ่งในกล่องจดหมายต่อเดือน นั่นเป็นอัตราส่วนที่น่าประทับใจมาก
Zsbán Ambrus

31

สองสามเดือนเมื่อสิ้นสุดปีการศึกษาและเริ่มต้นปีแรกของการเรียนฉันทำเงิน $ 60 / ชั่วโมงเพื่อแก้ไขข้อพิสูจน์ที่ผิดพลาดของมือสมัครเล่นของทฤษฎีบทสุดท้ายของแฟร์มาต์ ในกรณีนี้บุคคลนั้นเป็นนักวิชาการในสาขาอื่นดังนั้นเขาจึงมีความเข้าใจที่สมเหตุสมผลเกี่ยวกับคุณค่าของเวลาผู้เชี่ยวชาญ มันเป็นประสบการณ์ที่ดีรอบตัวฉันทำเงินหนึ่งพันเหรียญในเวลาที่ฉันไม่มีแหล่งรายได้อื่น ๆ ที่ดีและเขาได้เรียนรู้ข้อผิดพลาดที่เขาทำในร่างหลายฉบับ

ฉันคิดว่าสำหรับคนที่ใช้ความพยายามอย่างแท้จริงและผู้ที่ยินดีจ่ายเงินที่ดีก็ไม่ยากที่จะหาผู้จบการศึกษาที่มีคุณสมบัติหรือนักศึกษาระดับบัณฑิตศึกษาที่ต้องการเงิน


11
ฉันคิดว่าสิ่งนี้อาจกลายเป็นการเริ่มต้นที่ทำกำไรได้มากเนื่องจากจำนวนมือสมัครเล่นทั่วโลกที่พยายามแก้ปัญหา P vs NP :)
Mohammad Al-Turkistany

1
ฉันจะเปลี่ยนและยอมรับของ Timothy Chow ฉันหวังว่าคุณจะไม่โกรธเคือง ... คำตอบของคุณดีมากและฉันก็โหวตขึ้น
Philip White

24

ปัญหาหนึ่งที่ฉันเห็นด้วยข้อเสนอแนะของคุณคือ P-NP ส่วนใหญ่ไม่ใช่ข้อพิสูจน์ที่ไม่ผิดแม้แต่ กล่าวอีกนัยหนึ่งพวกเขามักจะประสบกับความล้มเหลวของคำจำกัดความหรือข้อกำหนดที่ทำให้พวกเขาไม่สามารถตรวจสอบว่าเป็นจริงหรือแสดงเป็นเท็จ ฉันจะดูคุณ (การแจ้งเตือนการโปรโมตตัวเองที่ไร้ยางอาย!) ภาพล้อเลียนของการโต้ตอบทั่วไประหว่างผู้เชี่ยวชาญและผู้ที่ชื่นชอบ P vs NP มือสมัครเล่น : มันยากที่จะเห็นว่าการแนะนำเงินในการสนทนานี้จะปรับปรุงได้อย่างไร

ps การ์ตูนล้อเลียนด้านบนนั้นมีพื้นฐานมาจากการดูซากรถไฟบน comp.theory: Timothy Chowอาจมีมากกว่านี้ที่จะพูดถึงเรื่องนี้


1
อาจจะ. ฉันสงสัยว่าฉันจะทำมัน แต่ฉันอาจให้นักเรียนระดับปรมาจารย์ของฉันทำ :)
Suresh Venkat

2
@Suresh นั่นคือการยืนยันที่ถูกต้องแม่นยำของหน่วยความจำของฉันในบล็อก PvsNP อีกครั้งในช่วงฤดูใบไม้ร่วงที่ผ่านมา (ยกเว้นว่าคุณเขียนไว้ในปี 2004!)
Daniel Apon

3
ไม่โรดิโอครั้งแรกของฉัน :)
Suresh Venkat

4
ที่จะไม่เลือก Suresh แต่ฉันคิดว่าการตอบสนองของเขาจะเป็นคำแนะนำทั่วไปสำหรับสิ่งเหล่านี้ (ไม่ว่าพวกเขาจะคุ้มค่าหรือไม่ก็ตาม) นั่นคือ: "บางทีฉันสงสัยว่าฉันจะทำ แต่ฉันอาจปล่อยให้นักเรียนที่จบของฉันทำมัน :)" สำหรับดีขึ้นหรือแย่ลงสภาพที่เป็นอยู่โดยทั่วไปของการละเว้นการพิสูจน์ P vs NP จนกระทั่งพวกเขา (อย่างใด) ด้านบนของเสาเข็มรองรับความต้องการของชุมชนอย่างเพียงพอแล้ว
Daniel Apon

7
@Suresh: ถ้าผู้เชี่ยวชาญคิดค่าใช้จ่ายต่อชั่วโมงฉันไม่คิดว่ามันจะเป็นข้อพิสูจน์ว่า "ไม่ผิดแม้แต่" มือสมัครเล่นนั้นจ้างผู้เชี่ยวชาญสำหรับบทเรียน TCS ส่วนตัว แต่คุณพูดถูกว่าถ้ามือสมัครเล่นเรียกร้อง "ค้นหาความผิดพลาดหรือเงินคืน" ไม่มีผู้เชี่ยวชาญที่มีสติจะรับข้อเสนอ แม้ว่าผู้เชี่ยวชาญจะโชคดีและการพิสูจน์มีข้อผิดพลาดชัดเจนผู้สมัครเล่นอาจไม่เข้าใจหรือยอมรับว่ามันผิด
Timothy Chow

2

ฉันจำได้ว่าจะมีการประชุมภาษาประมาณปี 1985 ที่มีการแลกเปลี่ยนต่อไปนี้:

ผู้พูด: ใบของต้นไม้เป็นปัญหาของปัญหา NP-complete แต่ง่ายต่อการแก้ไขด้วยมือ

ฉัน: หากอินสแตนซ์นั้นง่ายต่อการแก้ไขบางทีปัญหาอาจไม่สมบูรณ์

ผู้พูด: ฉันไม่เข้าใจ


$ 300 ดูเหมือนว่าจะเรียกเก็บเงินน้อยเกินไป จ่ายเพียงชั่วโมงหรือ 2 ครั้ง หลักฐานที่สั้น ๆ ได้ถูกตัดออกไปแล้ว


2
คุณแน่ใจว่ามีอัตราเวลามาก อาจารย์ที่ฉันรู้จักได้รับจำนวนสองหลักต่ำ (€) ต่อชั่วโมง
กราฟิลส์

11
@Rafael: ค่าที่ปรึกษาทั่วไปอาจารย์ธุรกิจคิดอย่างน้อย 2 ถึง 3 เท่าของเงินเดือนต่อชั่วโมง ประการที่สองคุณคิดว่าจะต้องใช้เวลากี่ชั่วโมงในการหาข้อบกพร่องในการพิสูจน์? แน่นอนว่าการค้นพบข้อบกพร่องในการพิสูจน์อย่างจริงจังครั้งล่าสุดใช้เวลาอย่างมีนัยสำคัญ (ฉันคาดว่าจะมากกว่า 2 หรือ 3 ชั่วโมง) จากอาจารย์อย่างน้อยหนึ่งโหล แม้แต่ในจำนวน 2 หลักต่ำนั่นอาจจะมากกว่า 300 ดอลลาร์ และในฐานะอาจารย์ฉันควรจะรับ 300 ดอลลาร์สำหรับสิ่งที่ (ใครจะรู้) ซึ่งอาจพาฉันไปที่ไหนสักแห่งระหว่าง 4 ถึง 40 ชั่วโมง? มันค่อนข้างเป็นการพนัน
Peter Shor

7
(ต่อ) ในทางกลับกันหากใครบางคนจ่ายเงินให้ฉันเป็นรายชั่วโมงเพื่อค้นหาข้อบกพร่องในการพิสูจน์พวกเขาไม่มีความคิดว่าจะต้องใช้เวลาเท่าไรและอาจลังเลที่จะยอมรับสิ่งนี้ บางทีมันอาจจะจัดเป็นความท้าทาย: คนแรกที่พบข้อบกพร่องได้รับพันดอลลาร์
Peter Shor

2
ค่าจ้างรายชั่วโมงเป็นรุ่นปกติแม้สำหรับงานที่ไม่มีระยะเวลาที่กำหนดไว้ล่วงหน้าเช่นงานฝีมือหรือการพัฒนาซอฟต์แวร์ มันต้องการแน่นอนไว้วางใจและ / หรือสัญญาที่เหมาะสม
กราฟิลส์

2
@ Peter Shor: ฉันไม่ชอบความคิดเรื่องการท้าทาย หากคุณมองว่ามันเป็นระบบมันอาจจะใช้เวลากับผู้เชี่ยวชาญมากขึ้น ฉันคิดว่ารูปแบบการประมูลเวลาผู้เชี่ยวชาญหรือระบบที่มีชื่อเสียงสำหรับผู้เชี่ยวชาญจากความพึงพอใจของผู้เขียนที่พิสูจน์จากการตอบสนองที่พวกเขาได้รับจากผู้เชี่ยวชาญอาจดีกว่าถ้าเราคิดว่ามันเป็นคำถามการออกแบบตลาด
Kaveh

1

ไม่อย่างแน่นอน. เรายังไม่ต้องการทางเลือกสำหรับสถาบันการศึกษาอื่น บางคนได้ให้ทางเลือกเหล่านั้นแล้วให้นักวิจัยมือสมัครเล่นและมืออาชีพและสังคมด้วยความหวังที่ผิดพลาดในอนาคตของเทคโนโลยีชั้นสูง (ฉันมีสถานที่เฉพาะในใจ แต่ฉันไม่ได้พูดถึงมัน)

ระบบการศึกษานั้นถูกสร้างขึ้นหลังจากหลายศตวรรษมาแล้ว ฉันเห็นความพยายามที่จะข้ามระบบตรวจสอบเพียร์เป็นเพียงแค่ "ข้ามเส้น" หากนักวิจัยมือสมัครเล่นไม่มีทักษะที่จะเข้าใจว่าทำไมข้อพิสูจน์ของเธอไม่ถูกต้องไม่ว่าจะเป็นคนเดียวหรือมีความคิดเห็นบางส่วนจากการตรวจสอบก็มีวิธีแก้ปัญหาที่ง่ายและนั่นคือเธอต้องศึกษาเรื่องยาก ๆ นี่คือเหตุผลที่สถาบันการศึกษาเช่นมหาวิทยาลัยมีอยู่เพื่อรับรองความรู้ของบุคคลบางคน หากบุคคลนั้นเป็นอัจฉริยะที่เข้าใจความรู้ได้ทันทีให้ปรับระดับปริญญาโดยเร็วที่สุดเท่าที่จะทำได้ แต่คนส่วนใหญ่จะต้องได้รับการฝึกฝนเพื่อเห็นแก่ตนเองและเพื่อประโยชน์ของสังคม

คุณจะคิดอย่างไรถ้าธุรกิจนี้ถูกนำมาจากคณิตศาสตร์และถูกนำไปใช้ในทางการแพทย์หรือสาขาอื่นที่มีผลที่ตามมาทันที? นานแค่ไหนจนกว่านักธุรกิจที่ไม่น่าไว้วางใจจะเปลี่ยนแปลงเอกสารสมัครเล่นเพื่อที่พวกเขาจะยากต่อการตรวจสอบหรือสามารถหลอกผู้วิจารณ์ การหลอกนักวิจัยลูกค้ามือสมัครเล่นนั้นเกิดขึ้นเช่นเดียวกับทุกธุรกิจที่ต้องพึ่งพาความรู้อย่างหนัก

คุณจะเห็นว่าจุดของฉันคือว่ามีปัญหาการทำงานก่อนที่จะขุดลงไปในรายละเอียดทางเทคนิค และเนื่องจากฉันกำลังโต้แย้งทางวิศวกรรม "การเขียนโปรแกรม" เป็นตัวอย่างที่ดีของสิ่งที่เกิดขึ้นเมื่อมือสมัครเล่นพยายามทำงานหนักด้วยการฝึกอบรมเพียงเล็กน้อยหรือไม่มีเลย สิ่งสุดท้ายที่ชุมชนวิทยาศาสตร์ต้องการคือสื่อยกย่องนักวิทยาศาสตร์คอมพิวเตอร์ที่สอนด้วยตนเองคนต่อไปซึ่งท้าทายฐานรากของชุมชนวิทยาศาสตร์ทั้งหมดจากโรงรถของเขา "ทำให้วิทยาศาสตร์ที่เปราะบางเป็นของเราซึ่งยังคงพยายามจดจำมันอยู่ สมควรได้รับ

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.