คำถามติดแท็ก big-list

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

66 soft-question  big-list  advice-request  career 

แก้ไข AT 10/12/08: ฉันจะพยายามแก้ไขคำถามเพื่อให้ผู้คนสนใจแบ่งปันความคิดเห็นมากขึ้น เราต้องการความช่วยเหลือของคุณ! โพสต์นี้เป็นแรงบันดาลใจโดยหนึ่งในโม: ตัวอย่างของความเชื่อผิด ๆ ที่พบบ่อยในวิชาคณิตศาสตร์ รายการใหญ่ ๆ บางครั้งสร้างคำตอบจำนวนมากซึ่งเป็นคุณสมบัติที่ควบคุมได้ยาก แต่หลังจากความสำเร็จของการโพสต์ที่เกี่ยวข้องใน MO ฉันเชื่อว่ามันจะเป็นประโยชน์ในการแสดงรายการความเชื่อที่ผิด ๆ ทั่วไปใน TCS ถึงกระนั้นเนื่องจากเว็บไซต์ถูกออกแบบมาเพื่อตอบคำถามระดับการวิจัยตัวอย่างเช่นหมายถึงเวลาที่ไม่ใช่พหุนามไม่ควรอยู่ในรายการ ในขณะเดียวกันเราต้องการตัวอย่างที่อาจไม่ยาก แต่หากไม่มีรายละเอียดก็ดูสมเหตุสมผลเช่นกัน เราต้องการให้ตัวอย่างเป็นทางการศึกษาและมักจะปรากฏขึ้นเมื่อเรียนวิชานี้ในครั้งแรกNPNP\mathsf{NP} ตัวอย่างของความเชื่อที่ผิด ๆ ทั่วไปในวิชาวิทยาการคอมพิวเตอร์เชิงทฤษฎีมีอะไรบ้างที่ปรากฏแก่ผู้ที่กำลังศึกษาอยู่ในพื้นที่นี้ จะแม่นยำเราต้องการตัวอย่างแตกต่างจากผลที่น่าแปลกใจและผล counterintuitiveใน TCS; ผลลัพธ์ประเภทนี้ทำให้ผู้คนยากที่จะเชื่อ แต่เป็นจริง ที่นี่เรากำลังขอตัวอย่างที่น่าแปลกใจที่ผู้คนอาจคิดว่ามันเป็นความจริงในแวบแรก แต่หลังจากที่คิดลึกลงไปว่ามีความผิดเกิดขึ้นภายใน เป็นตัวอย่างของคำตอบที่ถูกต้องในรายการสิ่งนี้มาจากเขตข้อมูลของอัลกอริธึมและทฤษฎีกราฟ: สำหรับ -node กราฟเป็น -edge คั่นเป็นส่วนหนึ่งของขอบของขนาดที่โหนดของสามารถพาร์ทิชันออกเป็นสองส่วนที่ไม่ใช่ที่อยู่ติดกันแต่ละประกอบด้วยที่มากที่สุดโหนด . เรามี "บทแทรก" ดังต่อไปนี้:G k S k G ∖ S 3 n …

62 big-list  examples 

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

62 soft-question  big-list  paper-review 

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

61 soft-question  big-list  research-practice  conferences 

ฉันกำลังมองหาตัวอย่างของปัญหา parametrized โดยจำนวนที่แข็งปัญหาคือไม่ใช่เนื่องในkปัญหาส่วนใหญ่ (จากประสบการณ์ของฉัน) มีการเปลี่ยนเฟสเดียวเช่น -SAT มีการเปลี่ยนเฟสเดียวจาก (โดยที่ปัญหาอยู่ใน P) เป็น (โดยที่ ปัญหาคือ NP-complete) ฉันสนใจในปัญหาที่มีการเปลี่ยนเฟสทั้งสองทิศทาง (จากง่ายไปหายากและในทางกลับกัน) เมื่อเพิ่มขึ้น k k k ∈ { 1 , 2 } k ≥ 3 kk∈Nk∈Nk \in \mathbb{N}kkkkkkk∈{1,2}k∈{1,2}k \in \{1,2\}k≥3k≥3k \ge 3kkk คำถามของฉันค่อนข้างคล้ายกับคำถามที่พบในHardness Jumps ในการคำนวณเชิงซ้อนและในความเป็นจริงแล้วคำตอบบางข้อนั้นเกี่ยวข้องกับคำถามของฉัน ตัวอย่างที่ฉันทราบ: k = 3kkk -colorability ของกราฟระนาบ: ใน P ยกเว้นเมื่อโดยที่ NP-completek=3k=3k=3 ต้นไม้ Steiner …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

เราใน TCS มักจะใช้ผลลัพธ์ที่มีประสิทธิภาพและความคิดจากคณิตศาสตร์คลาสสิก (พีชคณิต, โทโพโลยี, การวิเคราะห์, เรขาคณิตและอื่น ๆ ) มีตัวอย่างอะไรบ้างเมื่อมันไปทางอื่น? นี่คือบางส่วนที่ฉันรู้ (และเพื่อให้ได้รสชาติของผลลัพธ์ที่ฉันถาม): โฟมทรงลูกบาศก์ (Guy Kindler, Ryan O'Donnell, Anup Rao และ Avi Wigderson: ทรงกลมลูกบาศก์และการปัดเศษในมิติสูง, FOCS 2008) โปรแกรมทฤษฎีเชิงซ้อนเชิงเรขาคณิต. (แม้ว่านี่จะเป็นการประยุกต์ใช้ทฤษฎีพีชคณิตเชิงพีชคณิตและทฤษฎีการเป็นตัวแทนของ TCS แต่พวกเขาก็ถูกนำไปสู่การแนะนำกลุ่มควอนตัมใหม่และแนวคิดพีชคณิตเชิงพีชคณิตและการเป็นตัวแทนในการแสวงหา P vs NP ทำงานเกี่ยวกับตัวชี้วัดที่ได้รับแรงบันดาลใจจากอัลกอริธึมการประมาณและผลลัพธ์ที่ไม่สามารถทำได้ โดยเฉพาะอย่างยิ่งฉันไม่ได้มองหาการใช้งานของ TCS กับตรรกะ (ทฤษฎีแบบ จำกัด , ทฤษฎีการพิสูจน์ ฯลฯ ) เว้นแต่พวกเขาจะน่าประหลาดใจเป็นพิเศษ - ความสัมพันธ์ระหว่าง TCS และตรรกะนั้นใกล้เกินไปและเป็นมาตรฐานและประวัติศาสตร์สำหรับวัตถุประสงค์ของคำถามนี้

60 reference-request  big-list 

คุณรู้หรือไม่ว่าอัลกอริธึมที่สมเหตุสมผลที่ทำงานในเวลาพหุนามใน (ความยาวอินพุต + ความยาวเอาท์พุท) แต่มีเวลาทำงานเชิงซีมโทติคในการวัดเดียวกันมีเลขชี้กำลัง / ค่าคงที่ขนาดใหญ่มาก (อย่างน้อย วิธีดังกล่าว)?

59 ds.algorithms  big-list 

ในหัวข้อปัญหาที่สำคัญยังไม่แก้ในวิทยาศาสตร์คอมพิวเตอร์ทฤษฎี? , Iddo Tzameret แสดงความคิดเห็นที่ยอดเยี่ยมต่อไปนี้: ผมคิดว่าเราควรแยกแยะระหว่างปัญหาที่สำคัญเปิดที่ถูกมองว่าเป็นปัญหาพื้นฐานเช่นและปัญหาเปิดที่สำคัญซึ่งจะก่อให้เกิดความก้าวหน้าทางเทคนิคถ้าแก้ไขได้ แต่ไม่จำเป็นต้องเป็นพื้นฐานเช่นขอบเขตที่ต่ำกว่าการชี้แจงเกี่ยวกับวงจร (เช่นAC ^ 0 + \ mod 6 เกตส์ ) ดังนั้นเราจึงควรเปิดวิกิชุมชนใหม่ที่มีชื่อว่า "ปัญหาเปิดในเขตแดนของ TCS" หรือสิ่งที่คล้ายกันP≠NPP≠NP P\neq NP AC0(6)AC0(6) AC^0(6) AC0+mod6AC0+mod6 AC^0+\mod 6 เนื่องจาก Iddo ไม่ได้เริ่มกระทู้ฉันจึงคิดว่าฉันจะเริ่มกระทู้นี้ บ่อยครั้งที่นักวิจัยทำงานในสาขาที่เกี่ยวข้องกับปัญหาที่เปิดกว้างของสาขาที่เกี่ยวข้อง แต่ประเด็นที่งานวิจัยปัจจุบันติดอยู่ไม่เป็นที่รู้จักของคนนอก ตัวอย่างที่ยกมาเป็นตัวอย่างที่ดี ในฐานะที่เป็นบุคคลภายนอกเป็นที่ชัดเจนว่าหนึ่งในปัญหาที่ใหญ่ที่สุดในความซับซ้อนของวงจรคือการแสดงให้เห็นว่า NP ต้องการวงจรขนาดพหุนาม แต่บุคคลภายนอกอาจไม่ทราบว่าจุดที่เราติดอยู่นั้นกำลังพยายามพิสูจน์ขอบเขตล่างของเอ็กซ์โพเนนเชียลสำหรับวงจรAC 0 ที่มีประตู mod 6 (แน่นอนอาจจะมีปัญหาวงจรซับซ้อนอื่น ๆ ของความยากลำบากที่คล้ายกันซึ่งจะอธิบายการที่เราจะติดอยู่. นี้จะไม่ซ้ำ.) อีกตัวอย่างหนึ่งคือการแสดงเวลาพื้นที่ขอบเขตที่ต่ำกว่าสำหรับ SAT ดีกว่า n 1.801 …

58 big-list  open-problem 

เมื่อเร็ว ๆ นี้เมื่อพูดคุยกับนักฟิสิกส์ฉันอ้างว่าจากประสบการณ์ของฉันเมื่อมีปัญหาที่ดูเหมือนว่าไร้เดียงสามันควรจะใช้เวลาชี้แจงเป็นปรากฎโดยไม่ตั้งใจว่าจะอยู่ใน P หรือ BPP "เหตุผลครอบคลุม" ทำไมโดยทั่วไป --- และเกือบทุกครั้งเหตุผลนั้นเป็นของรายชื่อผู้ต้องสงสัย "ปกติหรือโหล" หรือน้อยกว่า (ตัวอย่างเช่น: การเขียนโปรแกรมแบบไดนามิกพีชคณิตเชิงเส้น ... ) อย่างไรก็ตามนั่นทำให้ฉันคิดว่า: เราสามารถเขียนรายการที่เหมาะสมด้วยเหตุผลดังกล่าวได้หรือไม่? นี่เป็นความพยายามครั้งแรกที่ไม่สมบูรณ์ที่หนึ่ง: (0) ลักษณะทางคณิตศาสตร์ ปัญหามีลักษณะของ "ทางคณิตศาสตร์ล้วนๆ" ที่ไม่ชัดเจนซึ่งเป็นที่รู้จักกันในทันทีทำให้คุณสามารถค้นหาได้อย่างรวดเร็วผ่านรายการโพลี (n) ที่เป็นไปได้ ตัวอย่าง: กราฟ planarity ซึ่ง O (n 6 ) อัลกอริทึมดังต่อไปนี้จากทฤษฎีบทของ Kuratowski (ดังที่ "ระนาบ" ชี้ให้เห็นด้านล่างนี่เป็นตัวอย่างที่ไม่ดี: แม้ว่าคุณจะรู้ลักษณะเชิงระนาบของ combinatorial แล้วให้อัลกอรึทึมเวลาแบบพหุนามยังคงไม่น่าสนใจดังนั้นขอผมลองแทนตัวอย่างที่ดีกว่านี้ พูดว่า "ให้อินพุต n เขียนด้วยเลขฐานสองคำนวณว่าต้องใช้สีกี่สีในการทำแผนที่โดยพลการที่ฝังอยู่บนพื้นผิวที่มีรู n รู" มันไม่ชัดเจนเลยว่านี่จะคำนวณได้ทั้งหมด (หรือแม้แต่ …

56 big-list  big-picture 

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

55 soft-question  big-list  research-practice  writing 

อะไรคือตัวอย่างที่คุณชื่นชอบที่ใช้ทฤษฎีข้อมูลเพื่อพิสูจน์คำสั่ง combinatorial อย่างเรียบง่าย? ตัวอย่างที่ฉันคิดว่าเกี่ยวข้องกับขอบเขตที่ต่ำกว่าสำหรับรหัสที่ถอดรหัสได้ในท้องถิ่นเช่นในบทความนี้ : สมมติว่าสำหรับกลุ่มของสตริงสตริงของความยาวมันถือได้ว่าสำหรับทุก ๆสำหรับแตกต่างกัน คู่ { },จากนั้นม. เป็นอย่างน้อยชี้แจงใน n โดยที่ตัวแทนขึ้นเป็นเส้นตรงในสัดส่วนเฉลี่ยที่ระดับ mx1,...,xmx1,...,xmx_1,...,x_mnnniiikikik_ij1,j2j1,j2j_1,j_2ei=xj1⊕xj2.ei=xj1⊕xj2.e_i = x_{j_1} \oplus x_{j_2}.ki/mki/mk_i/m อีกตัวอย่าง (ที่เกี่ยวข้อง) คือความไม่เท่าเทียมกันบางอย่างในลูกบาศก์บูลีน (อย่าลังเลที่จะอธิบายรายละเอียดในคำตอบของคุณ) คุณมีตัวอย่างที่ดีกว่านี้ไหม? เด่นกว่าสั้นและง่ายต่อการอธิบาย

54 co.combinatorics  big-list  it.information-theory 

สองวิธีในการวิเคราะห์ประสิทธิภาพของอัลกอริทึมคือ เพื่อใส่ขอบเขตบนเชิงเส้นกำกับบนรันไทม์และ เพื่อเรียกใช้และรวบรวมข้อมูลการทดลอง ฉันสงสัยว่ามีหลายกรณีที่ทราบว่ามีช่องว่างที่สำคัญระหว่าง (1) และ (2) หรือไม่ จากนี้ฉันหมายถึงว่า (a) ข้อมูลการทดลองแสดงให้เห็นว่า asymptotic ที่เข้มงวดมากขึ้นหรือ (b) มีอัลกอริธึม X และ Y ซึ่งการวิเคราะห์เชิงทฤษฎีแสดงให้เห็นว่า X ดีกว่า Y มากและข้อมูลการทดลองแสดงว่า Y นั้นดีกว่า เอ็กซ์ เนื่องจากการทดลองมักจะเปิดเผยพฤติกรรมกรณีโดยเฉลี่ยฉันคาดหวังคำตอบที่น่าสนใจที่สุดในการอ้างถึงขอบเขตบนของกรณีโดยเฉลี่ย อย่างไรก็ตามฉันไม่ต้องการแยกแยะคำตอบที่น่าสนใจซึ่งพูดถึงขอบเขตที่ต่างกันเช่นคำตอบของ Noam เกี่ยวกับ Simplex รวมถึงโครงสร้างข้อมูล โปรดใส่หนึ่งอัลโก / ds ต่อคำตอบ

52 ds.algorithms  big-list  ds.data-structures 

คำถามนี้เป็นแรงบันดาลใจคำถามเกี่ยวกับสิ่งใหม่ใน PFDs ตั้งแต่การตีพิมพ์หนังสือ Okasaki ในปี 1998 ฉันจะเริ่มด้วยคำถามสองข้อที่ฉันมี: มีโครงสร้างข้อมูลชุดการทำงานอย่างหมดจดที่ใกล้ความเร็วของตารางแฮช? ความพยายามยังไม่จบ มีต้นไม้นิ้วที่ทำงานได้อย่างหมดจดด้วย O (1) ต่อท้าย? สิ่งที่ดีที่สุดคือ O (lg lg n) ซึ่งคิดค้นโดย Kaplan และ Tarjan ปัญหาโครงสร้างข้อมูลที่ทำงานได้อย่างแท้จริงอื่นใดที่เปิดอยู่?

51 big-list  ds.data-structures  functional-programming 

ฉันมักถามว่านักวิทยาศาสตร์คอมพิวเตอร์ในทางทฤษฎีทำอะไร จะเป็นการดีถ้ามีคำตอบที่ดีสำหรับคำถามนี้ ฉันมักจะถอยกลับไปที่ศัพท์แสงทางเทคนิคและสายตาของผู้คนมักจะจ้องมองไปที่จุดนี้ นักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีทำอะไรในแง่ที่สามารถเข้าใจได้โดยคนที่ไม่ใช่นักวิทยาศาสตร์คอมพิวเตอร์? คำตอบที่ดีควรจะคล่องแคล่วแม่นยำในจิตใจโดยไม่ทำให้เกิดความคลุมเครือหรือซ้ำซาก สำหรับคะแนนโบนัสคำตอบควรบอกเหตุผลว่าทำไมนักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีไม่ใช่นักคณิตศาสตร์หรือผู้ประกอบการด้านไอที คำถามนี้ได้รับแรงบันดาลใจจากคำถาม 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