คำถามติดแท็ก soft-question

หลายปีที่ฉันคุ้นเคยกับการเห็นทฤษฎีบท TCS จำนวนมากที่พิสูจน์แล้วโดยใช้การวิเคราะห์ฟูริเยร์แบบไม่ต่อเนื่อง การแปลง Walsh-Fourier (Hadamard) มีประโยชน์ในแทบทุกสาขาย่อยของ TCS รวมถึงการทดสอบคุณสมบัติการปลอมแปลงความซับซ้อนการสื่อสารและการคำนวณควอนตัม ในขณะที่ฉันรู้สึกสบายใจกับการใช้การวิเคราะห์ฟูริเยร์ของฟังก์ชั่นบูลีนเป็นเครื่องมือที่มีประโยชน์มากเมื่อฉันจัดการกับปัญหาและแม้ว่าฉันจะมีลางสังหรณ์ที่ดีซึ่งกรณีที่ใช้การวิเคราะห์ฟูริเยร์อาจให้ผลลัพธ์ที่ดี ฉันต้องยอมรับว่าฉันไม่แน่ใจจริงๆว่ามันคืออะไรที่ทำให้การเปลี่ยนแปลงพื้นฐานนี้มีประโยชน์มาก ไม่มีใครมีสัญชาตญาณว่าทำไมการวิเคราะห์ฟูริเยร์จึงมีผลในการศึกษา TCS หรือไม่? ทำไมปัญหาที่ยากลำบากมากมายดูเหมือนจะได้รับการแก้ไขโดยการเขียนส่วนขยายฟูริเยร์และดำเนินการจัดการบางอย่าง? หมายเหตุ: ปรีชาหลักของฉันป่านนี้น้อยอาจเป็นว่าเรามีความเข้าใจที่ดีเกี่ยวกับวิธีการทำงานของพหุนามและการแปลงฟูริเยร์เป็นวิธีธรรมชาติของการดูฟังก์ชั่นเป็นพหุนามหลายชั้น แต่ทำไมฐานนี้โดยเฉพาะ มีอะไรพิเศษในฐานของความเท่าเทียมกัน?

59 soft-question  boolean-functions  fourier-analysis 

แนวทางทั่วไปในการตรวจสอบหลักฐานของคุณคืออะไร? ฉันเชื่อว่านี่เป็นสิ่งสำคัญสำหรับนักศึกษาระดับบัณฑิตศึกษาอย่างฉัน ฉันรู้แล้วว่าเราต้องทำอะไรเพื่อพิสูจน์บางสิ่ง แต่คุณต้องตรวจสอบทุกสิ่งก่อนส่งออกไป แม้กระทั่งที่ปรึกษาของคุณเอง ฉันพัฒนากลยุทธ์ด้วยตัวเองโดยการลองผิดลองถูกและได้รับคำแนะนำมากมายจากที่ปรึกษาของฉัน แต่นี่เป็นงานที่น่าเบื่อเสมอ โดยปกติเมื่อคุณทำอะไรซักอย่างเสร็จคุณก็แค่อยากจะแก้ปัญหาต่อไป แต่คุณยังต้องยึดติดกับปัญหาในปัจจุบันจนกระทั่งทุกอย่างสมบูรณ์แบบ ที่นี่ฉันนำเสนอตัวอย่างของรายการของเทคนิค: กรอกรายละเอียด มีข้อผิดพลาดมากมายในสถานที่ที่คุณเขียนว่า "ชัดเจนว่า ... ", "โดยไม่สูญเสียความเป็นไปได้ ... " ฯลฯ ลองตัวเลข ลองใช้กรณีที่รุนแรงเช่น "จะเกิดอะไรขึ้นเมื่อฉันตั้งค่าหรือ "n = 1,000n = 1n=1n=1n = 1,000n=1000n=1000 เก็บสมุดบันทึกที่สะอาด เขียนทุกวันและเปรียบเทียบกับโน้ตย่อของคุณ ฉันพยายามเขียนด้วยน้ำยางด้วยฉันพบข้อผิดพลาดมากมายเช่นนี้ กลยุทธ์ทั่วไปที่คุณใช้ในการตรวจสอบหลักฐานของคุณคืออะไร? วัตถุประสงค์ของคำถามนี้คือทำให้ชุมชนเป็นวิกิ

59 soft-question  research-practice  writing 

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

59 soft-question  open-problem  dfa 

คำถามนี้เป็นคำถามที่ฉันสงสัยมาระยะหนึ่งแล้ว เมื่อผู้คนอธิบายปัญหาของ P กับ NP พวกเขามักเปรียบเทียบระดับ NP กับความคิดสร้างสรรค์ พวกเขาทราบว่าการเขียนซิมโฟนีที่มีคุณภาพของโมซาร์ท (คล้ายกับงาน NP) ดูเหมือนว่าจะยากกว่าการตรวจสอบว่าซิมโฟนีที่แต่งขึ้นแล้วนั้นคือคุณภาพของโมซาร์ท (ซึ่งคล้ายกับงาน P) แต่ NP เป็น "คลาสความคิดสร้างสรรค์" จริงหรือ มีผู้สมัครคนอื่น ๆ อีกมากมายใช่ไหม มีคนพูดว่า: "บทกวีไม่จบแค่ทิ้ง" ฉันไม่ใช่กวี แต่สำหรับฉันนี่เป็นการระลึกถึงความคิดบางอย่างที่ไม่มีคำตอบที่ชัดเจนที่สามารถตรวจสอบได้อย่างรวดเร็ว ... ทำให้ฉันนึกถึง coNP และปัญหาเช่น TAUTOLOGY มากกว่า NP หรือ SAT ฉันเดาว่าสิ่งที่ฉันได้รับคือง่ายต่อการตรวจสอบเมื่อบทกวีนั้น "ผิด" และต้องได้รับการปรับปรุง แต่ก็ยากที่จะตรวจสอบเมื่อบทกวีนั้น "ถูกต้อง" หรือ "เสร็จสิ้น" ที่จริงแล้ว NP ทำให้ฉันนึกถึงตรรกะและความคิดที่มีสติเหลืออยู่มากกว่าความคิดสร้างสรรค์ การพิสูจน์ปัญหาทางวิศวกรรมปริศนาของซูโดกุและปัญหาอื่น ๆ "ปัญหาสมองซ้าย" โดยทั่วไปนั้นเป็นปัญหา NP …

59 cc.complexity-theory  complexity-classes  soft-question 

ฉันยังใหม่กับไซต์ ใน mathoverflow นี่เป็นวิกิชุมชน แต่ฉันไม่เห็นวิธีการตั้งค่าที่นี่ ไม่ใช่คำถามการวิจัย แต่หวังว่าจะได้รับความสนใจจากนักวิทยาศาสตร์คอมพิวเตอร์ทางทฤษฎีมืออาชีพ ฉันเป็นนักเรียนชั้นปีที่ 2 ในทางทฤษฎีและฉันสงสัยว่าชุมชนมีคำแนะนำอย่างไรในสิ่งที่ฉันควรจะทำตอนนี้เพื่อตั้งเป้าหมายในอาชีพด้านการศึกษา ฉันรู้ว่าฉันควร "ทำการวิจัยที่ยอดเยี่ยม" - ใช่ฉันลองแล้ว :-) ฉันกำลังมองหาคำแนะนำที่ชัดเจนน้อยลง ด้านสังคมมีความสำคัญอย่างไร? กำลังจะมีการประชุม ฉันมีข้อเสียอย่างใหญ่หลวงหากที่ปรึกษา / โรงเรียนของฉันไม่มีชื่อเสียงหรือไม่? บล็อกช่วย / ทำร้ายโอกาสของฉันหรือไม่ ขอบคุณ!

59 soft-question  career  advice-request 

ด้วยการกำเนิดของอินเทอร์เน็ต (และสามัญสำนึก) มีความต้องการมากขึ้นสำหรับการวิจัยแบบเปิดการเข้าถึง นักวิจัยหลายคน (รวมถึงฉัน) พบว่ามันน่าผิดหวังที่บทความวิจัยที่ได้รับการตรวจสอบโดยเพื่อนที่ตีพิมพ์อยู่เบื้องหลัง paywalls ฉันกำลังมองหาวารสารและการประชุม (เกี่ยวข้องกับวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีทฤษฎีกราฟ, combinatorics, การเพิ่มประสิทธิภาพ combinatorial) ที่ทำให้ทุกคนได้รับการยอมรับสิ่งพิมพ์ได้อย่างอิสระ วารสารบางเล่มเช่นทฤษฎีคอมพิวเตอร์ , วารสารอิเล็กทรอนิกส์ของ Combinatorics , วิธีการเชิงตรรกะในวิทยาการคอมพิวเตอร์ หากคุณรู้จักการประชุมวารสาร (หรือ) เพิ่มเติมโปรดพูดถึงพวกเขาในคำตอบของคุณ แก้ไข: ตามคำแนะนำของ David Eppstein ในคำตอบของเขาฉันกำลังเพิ่มข้อ จำกัด อีกหนึ่งข้อ กรุณาเขียนเฉพาะวารสาร / การประชุมที่ไม่เรียกเก็บค่าธรรมเนียมผู้เขียนสูงเกินไปในการเผยแพร่

58 soft-question  conferences  journals 

คุณใช้เครื่องมืออะไรในการเขียนเอกสาร จากประสบการณ์เล็กน้อยที่ฉันมีนักทฤษฎีใช้เวลาในการเขียนและปรับแต่งเอกสารเป็นจำนวนมากนอกเหนือจากความคิดสร้างสรรค์ นั่นคือการสื่อสารงานของพวกเขากับคนอื่น ๆ บางทีเอกสารอาจไม่ใช่วิธีที่ถูกต้องในการทำเช่นนั้น แต่ควรจะทิ้งไว้ให้มีการอภิปรายอีกครั้ง ไม่ว่าในกรณีใดดูเหมือนว่าเราต้องการลดเวลาที่ใช้ในการเขียนผลลัพธ์โดยใช้เป็นเครื่องมือซอฟต์แวร์ที่ดีที่สุด ดังนั้นคำถามนี้มีจุดมุ่งหมายเพื่อค้นหาสมบัติที่ซ่อนอยู่ในนั้น ฉันคิดว่าพวกเราส่วนใหญ่ใช้ LaTeX และระบบบางอย่างสำหรับการจัดระเบียบเอกสารอ้างอิง แต่ก็ยังมีเสียงเรียกเข้า / emacs และห้องสมุดที่ดีมากซึ่งช่วยประหยัดเวลาได้มากสำหรับฉัน ดังนั้นฉันอยากรู้เกี่ยวกับการตั้งค่าที่คุณใช้สำหรับการเขียนบทความและอาจเป็นบางสิ่งที่คุณพยายามเรียนรู้และไม่ได้ผลสำหรับคุณ ฉันจะให้ความสนใจเป็นพิเศษกับสิ่งต่าง ๆ ที่อาจไม่เป็นที่รู้จัก แต่กลับกลายเป็นสิ่งที่เร่งความเร็วแม้ว่าจะเป็นซอฟต์แวร์ที่เฉพาะเจาะจงสำหรับการวาดกราฟหรือคุณสมบัติการเติมภาพอัตโนมัติ ดอนนูบอกเกี่ยวกับการตั้งค่าของเขาในการให้สัมภาษณ์ที่นี่ ค้นหาคำถาม " ชุดเครื่องมือใดที่คุณใช้ [... ] " UPDATE: Sadeq ชี้ให้ฉันเพื่อการสนทนาเกี่ยวกับเครื่องมือสำหรับการวาดภาพที่นี่

55 soft-question  big-list  research-practice  writing 

มันเป็นคำถามแรกของฉันในเว็บไซต์นี้ ฉันกำลังเรียนหลักสูตรปริญญาโทด้านทฤษฎีการคำนวณ คุณจะอธิบายปัญหา P = NP ให้กับเด็กอายุ 10 ปีได้อย่างไรและทำไมมันถึงได้รางวัลทางการเงินเช่นนี้? ของคุณ ฉันจะอัปเดตคำถามเมื่อหัวของฉันชัดเจน

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

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

53 soft-question 

ฉันมักถามว่านักวิทยาศาสตร์คอมพิวเตอร์ในทางทฤษฎีทำอะไร จะเป็นการดีถ้ามีคำตอบที่ดีสำหรับคำถามนี้ ฉันมักจะถอยกลับไปที่ศัพท์แสงทางเทคนิคและสายตาของผู้คนมักจะจ้องมองไปที่จุดนี้ นักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีทำอะไรในแง่ที่สามารถเข้าใจได้โดยคนที่ไม่ใช่นักวิทยาศาสตร์คอมพิวเตอร์? คำตอบที่ดีควรจะคล่องแคล่วแม่นยำในจิตใจโดยไม่ทำให้เกิดความคลุมเครือหรือซ้ำซาก สำหรับคะแนนโบนัสคำตอบควรบอกเหตุผลว่าทำไมนักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีไม่ใช่นักคณิตศาสตร์หรือผู้ประกอบการด้านไอที คำถามนี้ได้รับแรงบันดาลใจจากคำถาม MO https://mathoverflow.net/questions/3559/colloquial-catchy-statements-encoding-serious-mathematicsแม้ว่าเจตนาจะแตกต่างกัน

51 big-list  soft-question 

ตามคำถามที่ประสบความสำเร็จใน MOฉันคิดว่ามันจะคุ้มค่าที่จะพูดคุยชื่อกระดาษที่มีชื่อเสียงใน CS เป็นที่ชัดเจนว่าพวกเราส่วนใหญ่อาจถูกดึงดูดให้อ่าน (หรืออย่างน้อยก็มอง) กระดาษที่มีชื่อที่น่าสนใจ (อย่างน้อยฉันก็ทำอย่างนั้นทุกครั้งที่ฉันไปดูรายการเอกสารในการประชุม) หรือหลีกเลี่ยงการอ่านไม่ดี ชื่อบทความ เอกสารใดที่คุณจำได้เพราะชื่อ (และไม่จำเป็นต้องมีเนื้อหา)? รายการโปรดของฉันในขณะที่ไม่ใช่เอกสาร TCS ที่เหมาะสมคือ"โมเดลเชิงสัมพันธ์นั้นตายแล้ว SQL นั้นตายแล้วและฉันรู้สึกไม่ดีเลย" .

49 soft-question  big-list 

ทฤษฎีความซับซ้อนเป็นผลประโยชน์รองที่แข็งแกร่งของฉัน แต่ไม่ใช่งานวิจัยหลักของฉันดังนั้นจึงไม่มีความหวังสำหรับฉันที่จะเข้าร่วมการประชุมทั้งหมดอ่านบล็อกทั้งหมดและตรวจสอบให้แน่ใจว่าฝูงชน "ใน" สำเนาถึงฉันทุกบิตของ ข่าวด่วน. ฉันพยายามทำสิ่งนี้ แต่ฉันสงสัยว่าวิธีการใดที่จะให้ผลตอบแทนสูงสุดแก่เจ้าชู้ (หรือมากกว่าเวลาเนื่องจากเวลาเป็นปัจจัย จำกัด มากกว่าเงินในบริบทนี้) วิธีการบางอย่างที่ฉันพยายามทำ ได้แก่ : ดูกระบวนการของ STOC / FOCS นี่มักจะหมายความว่าฉันไม่ได้ยินเกี่ยวกับความก้าวหน้าจนกว่าจะมีข่าวเก่า (ค่อนข้าง) แต่ก็ไม่เป็นไรจากมุมมองของฉันตราบใดที่ฉันมีแนวโน้มที่จะจับข่าวในที่สุด มีการดำเนินการอื่น ๆ ที่ฉันควรติดตามหรือไม่ สมัครสมาชิกกับ Los Alamos ArXiv นักทฤษฎีที่ซับซ้อนกี่คนใช้สิ่งนี้? มีเซิร์ฟเวอร์ preprint อื่น ๆ ที่ฉันควรดูอีกหรือไม่ อ่านบล็อก ฉันลองสิ่งนี้มาระยะหนึ่ง แต่มีการยอมแพ้ไม่มากก็น้อยเพราะมีบล็อกมากเกินไปและดูเหมือนจะเป็นวิธีที่ไม่มีประสิทธิภาพมากในการติดตามสถานะปัจจุบัน อะไรที่ฉันพลาดไป? อีกครั้งที่ฉันให้ความสำคัญกับการหาวิธีที่ประหยัดเวลามากกว่าที่จะทำทุกสิ่งที่เป็นไปได้เพื่อให้ทัน แก้ไข:ขอบคุณสำหรับคำตอบทั้งหมด; ฉันจะยอมรับมากกว่าหนึ่งคำตอบหากซอฟต์แวร์อนุญาต ทางเลือกโดยพลการของฉันนั้นขึ้นอยู่กับความจริงที่ว่าตอนนี้ฉันจำได้ว่าเคยได้ยิน ECCC และ CCC มาก่อน แต่ฉันไม่รู้ตัวเลยว่าเป็นผู้รวบรวมบล็อก

47 cc.complexity-theory  soft-question  research-practice 

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

47 ds.algorithms  soft-question  lo.logic  proofs 

ฉันกำลังแก้ไขต้นฉบับของนักเรียน นักเรียนตั้งข้อสังเกตว่ามันคงจะดีถ้าได้เห็นตัวอย่างของการเขียนที่มีคุณภาพในงานเผยแพร่และฉันก็ตระหนักว่าฉันไม่สามารถหาตัวอย่างที่ดีจากหัวของฉันได้ อะไรคือตัวอย่างที่ดีที่สุดของการเขียนเชิงคณิตศาสตร์ที่มีคุณภาพที่คุณเคยเห็น? กฎ: ฉันต้องการเอกสาร TCS เท่าที่จะทำได้ สไตล์ของเราแตกต่างจากเอกสารคณิตศาสตร์มาตรฐานที่ฉันคิดว่าจะดีกว่าที่จะให้ความสำคัญกับ TCS (และทำไมฉันถึงถามที่นี่ไม่ใช่ MO) มันจะช่วยถ้าคุณพูดถึงสิ่งที่คุณคิดว่ากระดาษทำได้ดี การแสดงออกทุกอย่างไม่ดีสำหรับทุกอย่าง - เอกสารบางฉบับมีโครงร่างที่พิสูจน์ได้ดีบางอย่างใช้สัญกรณ์อย่างมีประสิทธิภาพจริงๆและบางคนก็ใช้สัญชาตญาณอย่างเชี่ยวชาญ ถ้าเป็นไปได้กรุณาลิงค์ไปที่กระดาษ ฉันหวังว่าสิ่งนี้จะกลายเป็นทรัพยากรได้เหมือนกับคำถามทั่วไปอื่น ๆ ของเรา ฉันกำลังทำเครื่องหมาย CW ด้วยเหตุผลนั้น

46 soft-question  writing 

วันนี้ Ryan Williams โพสต์บทความเกี่ยวกับ arXiv (ก่อนหน้านี้ปรากฏใน SIGACT News) ที่มีเวอร์ชันด้านเทคนิคน้อยลงของเทคนิคACC ที่ต่ำกว่าขอบเขตล่าสุดของเขา คำถามของฉันไม่ได้เกี่ยวกับเทคนิคของตัวเอง (แน่นอนว่าสมควรจะได้รับการยกย่องอย่างมาก) แต่มันเกี่ยวกับสไตล์ของกระดาษ ในนามธรรมเขาเขียนว่า: หลักฐานจะถูกอธิบายจากมุมมองของคนที่พยายามค้นหามัน ! น่ากลัว ในส่วนพื้นหลังเขาเพิ่ม: บทความนี้เป็นการสนทนาเกี่ยวกับวิธีการค้นพบหลักฐาน - ทัวร์รอบ ๆ มัน จะไม่ได้รับรายละเอียดทั้งหมด แต่คุณจะเห็นว่าชิ้นส่วนทั้งหมดมาจากไหนและพวกเขามารวมกันอย่างไร เส้นทางจะเกลื่อนกลาดด้วยสัญชาตญาณลำเอียงของฉันเองเกี่ยวกับทฤษฎีความซับซ้อน - สิ่งที่ฉันคิดว่าควรและไม่ควรเป็นจริงและทำไม สัญชาตญาณส่วนใหญ่อาจผิด อย่างไรก็ตามฉันสามารถพูดได้ว่ามันนำฉันไปในทิศทางที่มีประสิทธิผลอย่างน้อยหนึ่งครั้ง นี่เป็นสิ่งที่น่าอัศจรรย์และเป็นครั้งแรกที่ฉันได้เห็นมัน ฉันสงสัยอยู่เสมอว่าทำไมผู้เขียนกระดาษจึงไม่เขียนว่าพวกเขาได้รับการพิสูจน์อย่างไรรวมถึงวิธีการที่ล้มเหลวที่พวกเขาพยายามทำก่อนที่จะถึงเส้นทางที่เป็นผู้นำในการแก้ปัญหา เมื่อฉันเห็นกระดาษของ Ryan บน arXiv ฉันรู้สึกมีแรงบันดาลใจมากที่จะอ่านมัน ฉันคิดว่ามันเป็นเอกสารปฏิวัติจากมุมมองนี้ ส่วนใหญ่สิ่งเดียวที่คุณสามารถทำได้ด้วยกระดาษก็คือการตรวจสอบความถูกต้องของมัน คำถามดังต่อไปนี้: คุณรู้หรือไม่ว่าเอกสารอื่นใน TCS ที่นำเสนอผลการฝ่าฝืนใน "การท่องเที่ยวทั่วไป" แทนที่จะเป็นบทสรุปทางเทคนิค ฉันกำลังพูดถึงสิ่งพิมพ์ในวารสารไม่ใช่บทความในบล็อกหรือรายงานทางเทคนิค นอกจากนี้ฉันติดแท็กมันเป็นรายการใหญ่ด้วยความหวังว่ามันจะเป็นจริง

44 soft-question  big-list