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

คำถามอ่อนเป็นคำถาม (อาจเป็นอัตนัย) เกี่ยวกับสาขาวิทยาการคอมพิวเตอร์เชิงทฤษฎีเมื่อเทียบกับการเป็นคำถามในวิทยาการคอมพิวเตอร์เชิงทฤษฎี

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

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

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

4
ผู้เขียนสั่งในเอกสาร TCS
ในขณะที่กฎของหัวแม่มือคือในเอกสาร TCS ผู้เขียนได้รับคำสั่งตามลำดับตัวอักษรมีบางตัวอย่างที่โดดเด่นที่อยู่ในใจซึ่งผู้เขียนได้รับคำสั่งในรูปแบบที่แตกต่างกันเช่น วิธีการทางพีชคณิตสำหรับระบบพิสูจน์การโต้ตอบ [Lund, Fortnow, Karloff, Nisan] วิธีการรับลายเซ็นดิจิตอลและ Cryptosystems สาธารณะ [Rivest, Shamir, Adleman] ปัญหา Word ที่ต้องใช้เวลาเอ็กซ์โปเนนเชียล [Stockmeyer, Meyer] เรื่องราวที่อยู่เบื้องหลังการเขียนเรียงความผิดปกติในเอกสารเหล่านี้คืออะไร? มีตัวอย่างอื่น ๆ ของเอกสาร TCS ที่สำคัญซึ่งคำสั่งของผู้เขียนไม่เรียงตามตัวอักษร?

1
การรวมฐานข้อมูลก่อให้เกิด monoid ได้อย่างไร?
ในcs.stackexchangeฉันถามเกี่ยวกับห้องสมุดalgebird scala บน github โดยคาดการณ์ว่าทำไมพวกเขาอาจต้องการแพ็คเกจพีชคณิตนามธรรม หน้า GitHub มีเบาะแสบางอย่าง: การนำ Monoids ไปใช้สำหรับอัลกอริทึมการประมาณที่น่าสนใจเช่นตัวกรอง Bloom, HyperLogLog และ CountMinSketch สิ่งเหล่านี้ช่วยให้คุณคิดถึงการดำเนินการที่ซับซ้อนเหล่านี้เช่นคุณอาจใช้ตัวเลขและเพิ่มพวกมันใน hadoop หรือออนไลน์เพื่อสร้างสถิติและการวิเคราะห์ที่มีประสิทธิภาพ และอีกส่วนหนึ่งของหน้า GitHub: เดิมได้รับการพัฒนาขึ้นเป็นส่วนหนึ่งของ Matrix API ของ Scalding โดยที่ Matrices มีค่าซึ่งเป็นองค์ประกอบของ Monoids กลุ่มหรือ Rings ต่อจากนั้นเป็นที่ชัดเจนว่ารหัสมีแอปพลิเคชันที่กว้างขึ้นภายใน Scalding และโครงการอื่น ๆ ภายใน Twitter แม้แต่ Oskar Boykin แห่ง Twitter ก็ยังได้: คำตอบหลักคือโดยการใช้ประโยชน์จากโครงสร้างกึ่งกลุ่มเราสามารถสร้างระบบที่ขนานอย่างถูกต้องโดยไม่ทราบว่าการดำเนินการพื้นฐาน (ผู้ใช้มีความสัมพันธ์ที่มีแนวโน้ม) โดยใช้ Monoids เราสามารถใช้ประโยชน์จาก sparsity (เราจัดการกับเมทริกซ์กระจัดกระจายจำนวนมากซึ่งค่าเกือบทั้งหมดเป็นศูนย์ใน …

3
พบหลักฐานจากคอมพิวเตอร์
ในปี 1996 ปัญหาคอมพิวเตอร์เปิดที่ยาวนานได้รับการแก้ไขโดยคอมพิวเตอร์ กล่าวคือพีชคณิต Robbinsและพีชคณิตแบบบูลนั้นเหมือนกัน การพิสูจน์พบโดยนักทฤษฎีบทอัตโนมัติ ยิ่งไปกว่านั้นการพิสูจน์ทฤษฎีบทสี่สีที่รู้จักกันดีประกอบด้วยส่วนประกอบที่สร้างจากคอมพิวเตอร์ จุดประสงค์ของคำถามนี้คือการแสดงรายการการพิสูจน์ที่พบ (โดยสมบูรณ์หรือบางส่วน) โดยคอมพิวเตอร์ (ไม่ว่าจะเป็นการพิสูจน์ที่รู้จักเท่านั้นหรือการค้นพบครั้งแรก )

6
อะไรคือจุดที่เรียกว่า -calculus an algebra?
การเรียก -calculus กับพีชคณิตแทนที่จะเป็นแคลคูลัสแตกต่างกันอย่างไร ฉันตั้งคำถามนี้ขึ้นเพราะฉันอ่านบางบรรทัด " -calculus ไม่ใช่แคลคูลัส แต่เป็นพีชคณิต" (iirc มาจาก Dana Scott) ประเด็นคืออะไร? ขอบคุณλλ\lambdaλλ\lambda

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

2
การจัดแสดงนิทรรศการสำหรับพิพิธภัณฑ์คอมพิวเตอร์
พิพิธภัณฑ์และนิทรรศการทั้งหมดที่เกี่ยวข้องกับคอมพิวเตอร์ฉันรู้ว่าดูเหมือนจะครอบคลุมเฉพาะประวัติศาสตร์ของเครื่องจักรคำนวณ แต่ไม่มีอะไรในหัวข้อวิทยาศาสตร์คอมพิวเตอร์ คุณมีส่วนร่วมในการสร้าง Museum of Computing ใหม่เพื่อให้ความรู้ความบันเทิงและสร้างแรงบันดาลใจให้กับประชาชนทั่วไปในหัวข้อคอมพิวเตอร์ / วิทยาศาสตร์ / การสื่อสาร / คณิตศาสตร์ที่หลากหลาย แม้ว่าประวัติศาสตร์และผู้มีชื่อเสียงสามารถเป็นส่วนหนึ่งของนิทรรศการได้ แต่นี่ไม่ใช่พิพิธภัณฑ์ประวัติศาสตร์ แต่ผู้เข้าชมจะได้เรียนรู้เกี่ยวกับแนวความคิดที่ไร้กาลเวลาที่เปิดใช้งานการคำนวณจากเลเยอร์ฮาร์ดแวร์ขึ้นไป ไม่ได้ระบุงบประมาณ แต่แนวคิดควรมีความทนทานและใช้งานได้จริงสำหรับผู้เยี่ยมชมจำนวนมากในการติดตั้งถาวรโดยใช้วัสดุที่มีพนักงาน / ใช้แล้วทิ้งน้อยที่สุดซึ่งคล้ายกับศูนย์วิทยาศาสตร์ที่ดีที่สุดของโลก คุณจะรวมการจัดแสดงอะไร

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

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

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

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

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

3
มันง่ายแค่ไหนที่จะเปลี่ยนสาขาการวิจัยใน CS (ไปจาก M.Tech เป็น PhD)
ฉันต้องเผชิญกับภาวะที่กลืนไม่เข้าคายไม่ออกค่อนข้างยาก: - ฉันเรียนจบ M.Tech ใน CS 2 ปีที่ผ่านมาโดยทำวิทยานิพนธ์ของฉันให้สำเร็จในสาขาการทดสอบ VLSI ในขณะที่ฉันชอบงานของฉันฉันไม่ต้องการกลับไปเรียนต่อปริญญาเอกของฉันในเรื่องนั้น - ฉันต้องการที่จะเรียนหลักสูตรเชิงทฤษฎี (ในขั้นตอนการประมาณ / ขั้นตอนวิธีออนไลน์) เพื่อให้ได้ปริญญาเอกของฉัน อย่างไรก็ตามเนื่องจากฉันไม่เคยมีประสบการณ์การวิจัยใน TCS (วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี) ฉันกลัวว่าจะทำให้โอกาสในการเข้าเรียนในโรงเรียนที่ดีพอสมควรในสหรัฐอเมริกาในขณะที่ประสบการณ์การวิจัยใน VLSI (เช่นเดียวกับ LORs จากที่ปรึกษา / กรรมการของฉันซึ่งเป็นที่รู้จักกันดีในสาขา VLSI) จะช่วยให้ฉันเข้าโปรแกรมที่ดี (แต่ความกระตือรือร้นของฉันในสาขานั้นได้หมดไปแล้ว) นั่นเป็นเหตุผลที่ฉันต้องการได้ยินจากผู้ที่ประสบความสำเร็จในการย้ายจากการวิจัยขั้นต้น (ในระดับ UG / MS) และสามารถที่จะเริ่มดำเนินการในสาขาที่แตกต่างอย่างสิ้นเชิงสำหรับปริญญาเอกของพวกเขา - คุณอธิบายเหตุผลในการเปลี่ยน SOP ไม่ว่าจะมีผลกระทบต่อโอกาสในการเข้าเรียนในโรงเรียนชั้นนำ ฯลฯ นอกจากนี้สำหรับนักวิชาการที่กำลังดูคำถามคุณจะทำอะไร - คุณชอบนักเรียนที่มีพื้นฐานที่ตรงกับความสนใจของคุณหรือไม่?

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