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

คำถามที่มีคำตอบคือรายการใหญ่ ๆ (หนังสือทฤษฎีบทซอฟต์แวร์ ... )

6
มีอะไรใหม่ในโครงสร้างข้อมูลที่ใช้งานได้จริงตั้งแต่ Okasaki?
ตั้งแต่ปี 1998 หนังสือของ Chris Okasaki "โครงสร้างข้อมูลที่ใช้งานได้อย่างแท้จริง" ฉันไม่ได้เห็นโครงสร้างข้อมูลที่ทำงานได้อย่างน่าตื่นเต้นจนเกินไปปรากฏขึ้นใหม่ ฉันชื่อไม่กี่: IntMap (คิดค้นโดย Okasaki ในปี 1998 แต่ไม่มีในหนังสือเล่มนั้น) ต้นไม้นิ้ว (และลักษณะทั่วไปของพวกเขามากกว่า monoids) นอกจากนี้ยังมีวิธีที่น่าสนใจในการใช้งาน datastructures ที่รู้จักกันแล้วเช่นการใช้ "nested types" หรือ "datatypes พีชคณิตทั่วไป" เพื่อรับรองค่าคงที่ของต้นไม้ มีแนวคิดใหม่อื่นใดอีกบ้างที่ปรากฏในปี 1998 ในด้านนี้

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

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

30
ทุกคนควรอ่านหนังสืออะไร
[ เส้นเวลา ] คำถามนี้มีจิตวิญญาณเดียวกันของสิ่งที่เอกสารทุกคนควรอ่านและวิดีโอที่ทุกคนควรดู มันขอหนังสือที่น่าทึ่งในสาขาต่าง ๆ ของวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี หนังสือสามารถเป็นคณิตศาสตร์ได้ แต่คุณอาจพบว่ามันยอดเยี่ยมสำหรับนักวิทยาศาสตร์คอมพิวเตอร์ ตัวอย่าง: ความน่าจะเป็น ความไม่เท่าเทียมกัน ตรรกะ ทฤษฎีกราฟ combinatorics การออกแบบและวิเคราะห์อัลกอริทึม ทฤษฎีการคำนวณ / ความซับซ้อนเชิงทฤษฎี โปรดอุทิศแต่ละคำตอบสำหรับหนังสือในหัวข้อเดียวกัน (เช่นหนังสือเกี่ยวกับ combinatorics) หมายเหตุ:ชื่ออาจทำให้เข้าใจผิด นี่คือคำอธิบาย: ให้ X และ Y เป็นสองสาขาในสาขาวิทยาศาสตร์คอมพิวเตอร์ มีหนังสือที่ทุกคนมี ในฟิลด์ X ควรอ่าน ในฟิลด์ Y ควรอ่าน ควรอ่านทั้งสองฟิลด์ คำถามนี้ค้นหาทั้ง 3 ราย กล่าวอีกนัยหนึ่งมันไม่เฉพาะเจาะจงกับกรณีหลัง แก้ไข: ตามคำแนะนำของDai Leโปรดเน้นเหตุผลที่คุณชอบหนังสือเช่นกัน หัวข้อที่เกี่ยวข้อง: การอ้างอิงสำหรับเทคนิคการพิสูจน์ TCS หนังสือเกี่ยวกับทฤษฎีออโตมาตะสำหรับการศึกษาด้วยตนเอง หนังสือสำหรับความน่าจะเป็น หนังสือคณิตศาสตร์ยอดนิยมที่ชอบ …

30
ปัญหาใหญ่ที่ยังไม่คลี่คลายในวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี?
Wikipedia แสดงปัญหาสองอย่างภายใต้"ปัญหาที่ยังไม่แก้ในวิทยาการคอมพิวเตอร์" : P = NP? การดำรงอยู่ของฟังก์ชั่นทางเดียว ปัญหาสำคัญอื่น ๆ ที่ควรเพิ่มในรายการนี้คืออะไร กฎ: ปัญหาเดียวเท่านั้นต่อคำตอบ ระบุคำอธิบายสั้น ๆ และลิงก์ที่เกี่ยวข้อง

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

28
ปัญหาระหว่าง P และ NPC
แฟคตอริ่งและมอร์ฟิซึ่มกราฟเป็นปัญหาใน NP ที่ไม่รู้ว่าอยู่ใน P หรือเป็น NP-Complete อะไรคือปัญหาทางธรรมชาติ (แตกต่างกันพอสมควร) ที่แบ่งปันคุณสมบัตินี้? ตัวอย่างประดิษฐ์ที่มาโดยตรงจากการพิสูจน์ทฤษฎีบทของ Ladner ไม่นับรวม มีตัวอย่างใดบ้างที่พิสูจน์แล้วว่าปัญหา NP-ตัวกลางสมมติว่ามีสมมติฐานบางอย่างที่ "สมเหตุสมผล" หรือไม่?

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

17
ตัวอย่างของราคานามธรรม?
ทฤษฎีวิทยาการคอมพิวเตอร์ได้ให้ตัวอย่างของ "ราคาของนามธรรม" ทั้งสองที่โดดเด่นที่สุดสำหรับการกำจัดแบบเกาส์และการเรียงลำดับ กล่าวคือ: เป็นที่ทราบกันดีว่าการกำจัดแบบเกาส์นั้นดีที่สุดสำหรับการคำนวณคำนวณดีเทอร์มิแนนต์ถ้าคุณ จำกัด การทำงานในแถวและคอลัมน์โดยรวม [1] เห็นได้ชัดว่าอัลกอริธึมของ Strassen ไม่ปฏิบัติตามข้อ จำกัด ดังกล่าวและดีกว่าการกำจัดแบบเกาส์ ในการเรียงลำดับถ้าคุณปฏิบัติต่อองค์ประกอบของรายการเป็นกล่องสีดำที่สามารถนำมาเปรียบเทียบและย้ายไปรอบ ๆ แล้วเรามีมาตรฐานข้อมูลตามทฤษฎีขอบเขตล่าง ทว่าฟิวชั่นก็เอาชนะต้นไม้นี้ได้เท่าที่ฉันเข้าใจมันการใช้การคูณอย่างชาญฉลาดnlognnlog⁡nn \log n มีตัวอย่างอื่น ๆ เกี่ยวกับราคาของสิ่งที่เป็นนามธรรมหรือไม่ เพื่อเป็นทางการมากขึ้นฉันกำลังมองหาตัวอย่างที่ขอบเขตล่างเป็นที่รู้จักโดยไม่มีเงื่อนไขในการคำนวณแบบจำลองที่อ่อนแอ แต่เป็นที่รู้กันว่าถูกละเมิดในรูปแบบที่แข็งแกร่งกว่า นอกจากนี้จุดอ่อนของแบบจำลองที่อ่อนแอควรมาในรูปแบบของนามธรรมซึ่งเป็นที่ยอมรับว่าเป็นความคิดส่วนตัว ตัวอย่างเช่นฉันไม่พิจารณาข้อ จำกัด ของวงจรโมโนโทนที่เป็นนามธรรม หวังว่าตัวอย่างสองตัวอย่างข้างต้นจะทำให้ชัดเจนในสิ่งที่ฉันกำลังมองหา [1] KLYUYEV, VV และ NI KOKOVKIN-SHcHERBAK: ในการลดจำนวนการดำเนินการทางคณิตศาสตร์สำหรับการแก้ปัญหาของระบบพีชคณิตเชิงเส้นของสมการ แปลโดย GI TEE: รายงานทางเทคนิค CS 24 มิถุนายน t4, t965 ภาควิชาวิทยาการคอมพิวเตอร์มหาวิทยาลัยสแตนฟอร์ด

30
หนังสือ TCS ล่าสุดที่มีร่างที่ออนไลน์อยู่มีอะไรบ้าง
ติดตามโพสต์สิ่งที่ทุกคนควรอ่านหนังสือหนังสือฉันสังเกตเห็นว่ามีหนังสือเล่มล่าสุดที่มีแบบร่างออนไลน์ ตัวอย่างเช่นรายการอัลกอริทึมการประมาณของโพสต์ข้างต้นอ้างถึงหนังสือ 2011 (ยังไม่ได้เผยแพร่) ชื่อเรื่องการออกแบบอัลกอริทึมการประมาณการออกแบบขั้นตอนวิธีการประมาณ ฉันคิดว่าการรู้ผลงานล่าสุดมีประโยชน์จริง ๆ สำหรับใครก็ตามที่ต้องการรับรสชาติของแนวโน้ม TCS เมื่อร่างพร้อมใช้งานคุณสามารถตรวจสอบหนังสือก่อนซื้อได้จริง ดังนั้น, หนังสือ TCS ล่าสุดที่มีร่างที่ออนไลน์อยู่มีอะไรบ้าง ที่นี่โดย "ล่าสุด" ฉันหมายถึงบางสิ่งที่ไม่แก่กว่า ~ 5 ปี

5
รายชื่อการประชุม TCS และการประชุมเชิงปฏิบัติการ
ฉันต้องการขอความช่วยเหลือในการรวบรวมรายการการประชุมและการฝึกอบรมที่เกี่ยวข้องกับ TCS ให้ได้มากที่สุด แรงจูงใจหลักของฉันในการทำเช่นนี้คือการวางแผนการครอบคลุมบล็อกที่เป็นไปได้ของสถานที่ทางทฤษฎีมากขึ้น - การค้นหาผู้เข้าร่วมที่เข้าร่วมกิจกรรมเหล่านี้ นอกเหนือจากนั้นฉันหวังว่ารายการเช่นนี้จะทำให้ทุกคนมีความรู้สึกที่ดีขึ้นเกี่ยวกับการวางทฤษฏี ฉันจะตอบคำถามด้วยคำตอบที่มีการประชุม "ชัดเจน" สองสามข้อ โปรดแก้ไขคำตอบของฉันและ / หรือโพสต์คำตอบเพิ่มเติมของคุณเอง ตัวย่อมาตรฐานของการประชุม, ชื่อของการประชุม, หัวข้อ, หมายเหตุเพิ่มเติมใด ๆ มีวัตถุประสงค์เพื่อเป็นวิกิชุมชน

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

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

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

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

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