คำถามติดแท็ก survey

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

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

22
คุณรู้จักลำดับชั้นและ / หรือทฤษฎีบทลำดับชั้นอย่างไร
ฉันกำลังเขียนแบบสำรวจเกี่ยวกับทฤษฎีบทลำดับชั้นใน TCS การค้นหาเอกสารที่เกี่ยวข้องฉันสังเกตเห็นว่าลำดับชั้นเป็นแนวคิดพื้นฐานไม่เพียง แต่ใน TCS และคณิตศาสตร์ แต่ในวิทยาศาสตร์จำนวนมากตั้งแต่เทววิทยาและสังคมวิทยาไปจนถึงชีววิทยาและเคมี เมื่อเห็นว่าจำนวนข้อมูลมีมากมายฉันหวังว่าฉันจะขอความช่วยเหลือจากชุมชนนี้ได้ แน่นอนฉันไม่ต้องการให้คุณค้นหาบรรณานุกรมสำหรับฉัน แต่ฉันต้องการข้อมูลสองชนิด: ลำดับชั้นและทฤษฎีลำดับชั้นที่เป็นผลมาจากการทำงานของคุณหรือผลงานของเพื่อนร่วมงานหรือคนอื่น ๆ ที่คุณคุ้นเคยและคุณคิดว่าไม่เป็นที่รู้จัก นี่อาจเป็นตัวอย่างของทฤษฎีบทลำดับชั้นสำหรับแบบจำลองการคำนวณคลุมเครือที่คุณสนใจหรือลำดับชั้นของคลาสเฉพาะเช่นที่เกี่ยวข้องกับทฤษฎีเกม ลำดับชั้นและทฤษฎีลำดับชั้นที่คุณเห็นว่าจำเป็นอย่างยิ่งที่จะต้องรวมอยู่ในการสำรวจประเภทนี้ นี่อาจเป็นที่รู้จักสำหรับฉันอยู่แล้ว แต่มันจะมีประโยชน์ในการดูว่าลำดับชั้นใดที่คุณพิจารณาว่ามีความสำคัญมากกว่าและทำไม นี่อาจเป็นของประเภท "ฉันคิดว่าสำคัญมากเพราะหากไม่มีเราจะไม่สามารถทำการวิจัยประเภทนี้" หรือ "แม้ว่าจะไม่เป็นที่รู้จักกันดีใน TCS ที่ใช้ตรรกะเราใช้ลำดับชั้นนี้ตลอดเวลาและฉันเห็นว่า มันเป็นเครื่องมือสำคัญ " . และใช่ฉันเชื่อว่าผู้คนจากลอจิกมีลำดับชั้นมากมายที่จะพูดถึงอย่างไรก็ตามโปรดจำไว้ว่าเรากำลังพูดถึงปัญหาลำดับชั้นของปัญหาPHPHPH ฉันจะเก็บรายการที่อัปเดตไว้ที่นี่: DTIMEDTIMEDTIMEลำดับชั้นของ NTIMENTIMENTIMEลำดับชั้นของ SPACESPACESPACEลำดับขั้นของ เลขคณิต (หรือเรียกอีกอย่างว่า Kleene) ลำดับขั้น ลำดับชั้น Hyperarithmetical ลำดับขั้นการวิเคราะห์ Chomsky Hierarchy ลำดับชั้นของ Grzegorczyk และที่เกี่ยวข้อง: ลำดับชั้นของ Wainer (เติบโตเร็ว), ลำดับชั้นของ Hardy (เติบโตช้า) และลำดับชั้นของ …

1
วิชาบังคับก่อนสำหรับการเรียนรู้ GCT
ดูเหมือนว่าทฤษฎีความซับซ้อนเชิงเรขาคณิตต้องการความรู้มากมายเกี่ยวกับคณิตศาสตร์บริสุทธิ์เช่นเรขาคณิตเชิงพีชคณิตทฤษฎีการเป็นตัวแทน ในขณะที่ฉันเป็นนักเรียน CS และไม่มีคลาสของคณิตศาสตร์ที่เป็นนามธรรมและบริสุทธิ์มากฉันสนใจโปรแกรมนี้ มีรายการของ "ความรู้ขั้นต่ำ" สำหรับการเรียนรู้ทฤษฎีนี้หรือไม่? รายการนี้รวมถึงบันทึกการบรรยายของฝ่าย CS หรือคณิตศาสตร์การสำรวจวารสารหรือการประชุมใด ๆ และหนังสือตำราคณิตศาสตร์บริสุทธิ์ [ แก้ไข: เพิ่มในภายหลัง ] ขอบคุณสำหรับความคิดเห็นของคุณ ทฤษฎีทั่วไปของการคำนวณ: ฉันอ่านหนังสือของ Sipser ที่มีชื่อ "รู้เบื้องต้นเกี่ยวกับทฤษฎีการคำนวณ" ทฤษฎีความซับซ้อน: โดยเฉพาะฉันสนใจในแบบจำลองคอนกรีตเพื่อลดความซับซ้อนลง ดังนั้นฉันอ่านส่วนของ "ขอบเขตล่างที่เป็นรูปธรรม" ในหนังสือเรียนของ Arora-Barak ฉันยังมีความรู้พื้นฐานในหนังสือหลายเล่มของหนังสือความซับซ้อนในการสื่อสารที่เขียนโดยนิสัน คณิตศาสตร์พื้นฐาน: ฉันได้เรียนรู้เกี่ยวกับพีชคณิตเชิงเส้นที่ใช้การพิสูจน์เช่นคำจำกัดความทั่วไปของเวกเตอร์สเปซ ฯลฯ และการโต้แย้งอย่างละเอียดของแคลคูลัสตามอาร์กิวเมนต์ epsilon-delta พีชคณิต: ฉันได้เรียนรู้เกี่ยวกับคำจำกัดความและตัวอย่างของกลุ่มแหวนและฟิลด์ ฉันมีชั้นเรียนสำหรับนักเรียน cs และยังไม่ได้เรียนรู้เกี่ยวกับความรู้ทั่วไปของระบบพีชคณิตนี้

4
บทความ Wikipedia หายไป
หัวข้อ TCS ใดที่ขาดหายไปใน Wikipedia คุณต้องการให้มีบทความเกี่ยวกับอะไรมากที่สุด พวกเขาอาจมองข้ามการละเว้นหรือเพียงแค่หัวข้อที่คุณคิดว่าควรมีบทความจริงๆ โปรดหนึ่งหัวข้อต่อคำตอบเพื่อให้คนที่ต้องการมากที่สุดสามารถลงคะแนนได้ ปรับปรุง 2017/05/02 : Shuchi Chawla เป็นผู้นำความพยายามไปสู่การปรับปรุงความครอบคลุม TCS ในวิกิพีเดีย ฉันกำลังเพิ่มการอัปเดตนี้ด้วยความหวังว่าผู้คนจะอัปเดตคำตอบของพวกเขาตามความเหมาะสมเพิ่มคำตอบเพิ่มเติมและ / หรือมีส่วนร่วมในความพยายาม!

4
คู่มือโครงสร้างข้อมูลขั้นสูง
ฉันกำลังมองหาหนังสือเกี่ยวกับโครงสร้างข้อมูลขั้นสูงที่นอกเหนือไปจากที่ครอบคลุมในตำรามาตรฐานเช่น Cormen, Leiserson, Rivest และ Stein "Introduction to Algorithms" หนังสือที่สามารถใช้สำหรับการสอนหลักสูตรระดับบัณฑิตศึกษาเกี่ยวกับโครงสร้างข้อมูลขั้นสูงเช่น Erik Demaine และหลักสูตรโครงสร้างข้อมูลขั้นสูงของAndré Schulz ที่ MIT คู่มือสารานุกรมของโครงสร้างข้อมูลจะยิ่งดีกว่า

4
ความซับซ้อนในการคำนวณทางการเงินเชิงปริมาณ
การทำนายตลาดหุ้นเป็นเรื่องยาก! TCS สามารถทำให้ความเชื่อมั่นนี้เป็นทางการมากขึ้นได้หรือไม่? เมื่อเร็ว ๆ นี้ฉันเริ่มคิดถึงการเงินเล็กน้อยและสงสัยว่าความรู้เกี่ยวกับ TCS จะช่วยได้อย่างไร กองทุนป้องกันความเสี่ยงและ บริษัท การลงทุนดูเหมือนว่าจะใช้การซื้อขายอัลกอริทึมการเรียนรู้ของเครื่องจักรและ AI ตลอดเวลา แต่ผลลัพธ์ของ TCS ดูเหมือนจะน้อย โดยเฉพาะฉันรู้แค่เอกสารสองฉบับ: Sanjeev Arora, Boaz Barak, Markus Brunnermeier และ Rong Ge, ความซับซ้อนในการคำนวณและความไม่สมดุลของข้อมูลในผลิตภัณฑ์ทางการเงิน , 2009 Philip Z. Maymin ตลาดมีประสิทธิภาพก็ต่อเมื่อ P = NP , 2011 กระดาษแผ่นแรกแสดงให้เห็นว่าตราสารอนุพันธ์สามารถขยายต้นทุนของความไม่สมดุลของข้อมูล (แทนที่จะเป็นเป้าหมายที่ต้องการลด) สำหรับตัวแทนที่มีขอบเขตการคำนวณ บทความที่สองท้าทายความเชื่อที่เป็นที่นิยมของตลาดที่มีประสิทธิภาพด้วยการแสดงให้เห็นว่าประสิทธิภาพของตลาดสามารถนำมาใช้เพื่อแก้ปัญหา NP-hard ได้ มีหนังสือ / แบบสอบถามหรือเอกสารน้ำเชื้อเกี่ยวกับแนวคิดที่เกี่ยวข้องหรือไม่ โดยเฉพาะอย่างยิ่งสิ่งต่าง ๆ ที่เกี่ยวข้องกับความยากลำบากในการทำนายหรือประมาณตลาดหรือการค้าอย่างเหมาะสม …

4
ทฤษฎีบทอัตโนมัติพิสูจน์ด้วยลอจิกเชิงเส้น
ทฤษฎีบทอัตโนมัติพิสูจน์และพิสูจน์ค้นหาได้ง่ายขึ้นในเชิงตรรกะและเชิงโครงสร้างย่อยแบบลอจิคัลแคลคูลัสเชิงประพจน์ซึ่งไม่มีการหดตัวหรือไม่? ฉันจะอ่านเพิ่มเติมเกี่ยวกับทฤษฎีบทอัตโนมัติที่พิสูจน์ใน logics เหล่านี้และบทบาทของการหดตัวในการค้นหาหลักฐานได้อย่างไร

1
เงื่อนไขที่เพียงพอสำหรับความสม่ำเสมอของภาษาที่ไม่มีบริบท
มันจะเป็นการดีที่จะรวบรวมรายการเงื่อนไขที่บ่งบอกว่าภาษาที่ไม่มีบริบท L เป็นปกตินั่นคือเงื่อนไขของแบบฟอร์ม: "ถ้า CFG / PDA ที่กำหนดมีคุณสมบัติ P แล้วภาษาของมันก็เป็นปกติ" คุณสมบัติ P ไม่จำเป็นต้องระบุลักษณะ CFG ที่สร้างภาษาปกติ นอกจากนี้ P ไม่จำเป็นต้อง decidable และ P ควร "ขึ้นอยู่กับ" ในภาษาที่ปราศจากบริบท บนไม่ใช่สิ่งที่ฉันกำลังมองหา)

2
การคาดการณ์ความไว - บล็อกความไว - ผลกระทบ
ให้เป็นฟังก์ชันบูลีนที่มีความไวความไวบล็อกและ(ฉ)fffs(f)s(f)s(f)bs(f)bs(f)bs(f) ความไวบล็อกรัฐไวคาดคะเนการคาดเดาว่ามีดังกล่าวว่าคc>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall f,\mbox{ }bs(f)\leq s(f)^c อะไรคือนัยยะของความจริงและความเท็จของการคาดคะเนนี้? กรุณาอ้างอิงการอ้างอิงเช่นกัน

2
มีการสำรวจความหมายของฟีเจอร์ภาษาการเขียนโปรแกรมต่างๆหรือไม่?
มีแบบสำรวจ (จากบทความในบทหนังสือบทช่วยสอนการเชื่อมโยง ... ) ของความหมายของฟีเจอร์ภาษาการเขียนโปรแกรมต่างๆหรือไม่? เดิมทีฉันมีคุณสมบัติของ D อยู่ที่นี่แล้วhttp://www.digitalmars.com/d/2.0/comparison.html ฉันอยากจะดูว่าฉันจะได้อะไรจากที่นี่แม้ว่าฉันจะถามคำถามแบบเดียวกันกับ stackoverflowและเข้าใจว่าทั้งสองไซต์มีมุมมองที่แตกต่างกัน ขอบคุณคำตอบของคุณจริงๆ! ขอบคุณ Dave Clarke สำหรับคำแนะนำของเขาเกี่ยวกับเมตาดาต้า!

10
แหล่งข้อมูลเพื่อเรียนรู้เกี่ยวกับปัญหา P กับ NP
เมื่อไม่นานมานี้ฉันได้รับการเตือนเกี่ยวกับปัญหากับตามที่อธิบายโดย Stephen A. Cook ใน Clay Mathematics InstituteN PPP\mathsf{P}NPNP\mathsf{NP} มันทำให้ความสนใจของฉันป่องๆและฉันต้องการเรียนรู้เพิ่มเติมเกี่ยวกับเรื่องนี้ ขั้นตอนแรกคือการเพิ่มความเข้าใจปัญหาและความเข้าใจในพื้นที่โดยทั่วไป คุณช่วยแนะนำหนังสือหรือแหล่งข้อมูลอื่น ๆ ที่ฉันสามารถเรียนรู้เพิ่มเติมเกี่ยวกับปัญหาได้หรือไม่?

7
คู่มืออัลกอริธึมขั้นสูง
ฉันกำลังมองหาแหล่งข้อมูล (ควรเป็นคู่มือ) ในหัวข้อขั้นสูงในอัลกอริธึม ประเภทของวัสดุที่สามารถนำมาใช้สำหรับการเรียนการสอนหัวข้อในขั้นตอนวิธีการเรียนการสอนเช่นเอริคเดเมนและเดวิดคาร์เกอร์ของหลักสูตรขั้นสูงอัลกอริทึม ทรัพยากรที่จะให้ภาพรวมของฟิลด์ (เช่นคู่มือ) เป็นที่นิยมมากกว่า แต่แหล่งข้อมูลที่เน้นมากกว่าเช่นหนังสือ "อัลกอริธึมอัลกอริธึม" ของวีเจย์วาซิรานี

1
การสำรวจตัวคั่น?
ขณะนี้มีภูเขาที่เป็นผลลัพธ์ของตัวแยกในกราฟจากตัวคั่นระนาบตัวคั่นต้นไม้กราฟความกว้างของต้นไม้ที่ถูกล้อมรอบกราฟของประเภทที่ถูกล้อมรอบ ฯลฯ และอื่น ๆ เป็นต้นมีแบบสำรวจที่ได้รับการปรับปรุงเกี่ยวกับเรื่องนี้


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