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

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

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

หากคุณสามารถเปลี่ยนชื่อการเขียนโปรแกรมแบบไดนามิกคุณจะเรียกมันว่าอะไร?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

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

42 soft-question  quantum-computing  statistical-physics  physics 

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

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

ใน 1,937 ทัวริงอธิบายเครื่องทัวริง. ตั้งแต่นั้นมาแบบจำลองการคำนวณจำนวนมากได้ถูก decribed ในความพยายามที่จะหารูปแบบที่เหมือนคอมพิวเตอร์จริง แต่ก็ยังง่ายพอที่จะออกแบบและวิเคราะห์อัลกอริทึม ด้วยเหตุนี้เราจึงมีอัลกอริทึมหลายสิบตัวอย่างเช่น SORT-problem สำหรับแบบจำลองการคำนวณที่แตกต่างกัน น่าเสียดายที่เราไม่สามารถมั่นใจได้ว่าการใช้อัลกอริทึมที่มีเวลารัน O (n) ใน word RAM ที่อนุญาตให้ใช้บิต - เวกเตอร์จะทำงานได้เร็วกว่าการใช้อัลกอริทึมที่มีรันไทม์ O (n⋅logn) ใน คำ RAM (ฉันกำลังพูดถึงการใช้งาน "ดี" เท่านั้นแน่นอน) ดังนั้นฉันต้องการเข้าใจว่าแบบจำลองใดที่มีอยู่ "ดีที่สุด" สำหรับการออกแบบอัลกอริทึมและฉันกำลังมองหาการสำรวจที่ทันสมัยและมีรายละเอียดเกี่ยวกับแบบจำลองการคำนวณซึ่งให้ข้อดีข้อเสียของแบบจำลองและความใกล้ชิดกับความเป็นจริง

41 ds.algorithms  reference-request  soft-question  machine-models 

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

41 soft-question  research-practice 

บน MathOverflow Timothy Gowers ได้ถามคำถามที่ชื่อว่า " แสดงให้เห็นว่าความแม่นยำนั้นสำคัญ " การอภิปรายส่วนใหญ่มีเกี่ยวกับกรณีที่แสดงความสำคัญของการพิสูจน์ซึ่งคนใน CSTheory อาจไม่จำเป็นต้องเชื่อ ในการพิสูจน์ประสบการณ์ของฉันจะต้องเข้มงวดมากขึ้นในวิทยาการคอมพิวเตอร์เชิงทฤษฎีมากกว่าในหลายส่วนของคณิตศาสตร์ต่อเนื่องเพราะสัญชาตญาณของเรามักจะกลายเป็นผิดสำหรับโครงสร้างที่ไม่ต่อเนื่องและเนื่องจากไดรฟ์เพื่อสร้างการใช้งานสนับสนุนข้อโต้แย้งรายละเอียดเพิ่มเติม นักคณิตศาสตร์อาจเป็นเนื้อหาที่มีการพิสูจน์การมีอยู่ แต่นักวิทยาศาสตร์คอมพิวเตอร์ในทางทฤษฎีมักจะพยายามที่จะหาหลักฐานที่สร้างสรรค์ Lovász Local Lemma เป็นตัวอย่างที่ดี [1] ฉันอยากรู้ มีตัวอย่างที่เฉพาะเจาะจงในวิทยาการคอมพิวเตอร์เชิงทฤษฎีที่การพิสูจน์อย่างเข้มงวดของคำแถลงที่เชื่อว่าเป็นจริงได้นำไปสู่การเข้าใจใหม่เกี่ยวกับธรรมชาติของปัญหาพื้นฐานหรือไม่? ตัวอย่างล่าสุดที่ไม่ได้มาโดยตรงจากอัลกอริทึมและทฤษฎีความซับซ้อนคือการสังเคราะห์เชิงทฤษฎีการพิสูจน์โดยอัตโนมัติของอัลกอริทึมที่ถูกต้องและมีประสิทธิภาพจากก่อนและหลังเงื่อนไข [2] [1] Robin A. Moser และGábor Tardos หลักฐานอันสร้างสรรค์ของนายพลLovász Local Lemma , JACM 57 , บทความ 11, 2010 http://doi.acm.org/10.1145/1667053.1667060 [2] Saurabh Srivastava, Sumit Gulwani และ Jeffrey S. Foster จากการตรวจสอบโปรแกรมจนถึงการสังเคราะห์โปรแกรม …

41 big-list  soft-question  proofs 

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

40 soft-question  career 

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

40 soft-question  research-practice  advice-request  career 

การปฏิเสธความรับผิด: นี่เป็นคำถามปลายเปิดและคนเจ้าระเบียบกองแลกเปลี่ยนอาจจะรู้สึกกระตุ้นพิเศษที่จะลงคะแนนให้การให้อภัย อย่างไรก็ตามฉันไม่สามารถนึกถึงฟอรัมอื่นที่เหมาะสมกว่าและสัญญาว่าจะตอบคำถามนี้ได้ ขณะที่การทำงานในการแก้ปัญหาการวิจัยสำหรับโครงการแน่นอนผมรู้ว่าถ้าผมรูปแบบปัญหาของฉันในทางหนึ่งฉันจะใช้เทคนิคจากผู้เชี่ยวชาญติดตาม [สำหรับกรณีที่ผ่านมา - ปาสคาลตระหนักถึงข้อความท้าทาย entailment ] หลังจากเริ่มต้นความปิติยินดีฉันมักจะงงกับเอกสารจำนวนมากที่มีทั้งหมดของพวกเขาตะโกนเงียบ ๆ "อ่านฉันอื่นคุณจะพลาดวิธีที่ดีที่สุดในการแก้ปัญหา!" เราเรียนรู้วิธีกรองกระดาษใบไหนที่จะอ่านและใบไหนที่จะทิ้งในหน้าสุดท้าย มีอะไรอื่นนอกจาก sort_by_citation นับ?

40 soft-question  advice-request 

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

39 soft-question  advice-request 

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

38 soft-question  teaching 

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

37 soft-question  fl.formal-languages  automata-theory  teaching 

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

37 soft-question  advice-request  research-practice 

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

37 soft-question  research-practice  authorship