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

นี่เป็นคำถามที่ไม่ใช่ด้านเทคนิค แต่เกี่ยวข้องกับชุมชน TCS อย่างแน่นอน หากพิจารณาว่าไม่เหมาะสมอย่าลังเลที่จะปิด สวนสัตว์ซับซ้อนหน้าเว็บ (http://qwiki.stanford.edu/index.php/Complexity_Zoo) ได้รับอย่างแน่นอนในการให้บริการที่ดีให้กับชุมชน TCS ปีที่ผ่านมา เห็นได้ชัดว่ามันลดลงมาระยะหนึ่งแล้ว ฉันสงสัยว่าถ้ามีคนยังคงรักษามันถ้ามันย้ายถ้ามีเซิร์ฟเวอร์สำรองหรือถ้ามีแผนการอื่น ๆ เพื่อรักษาฐานข้อมูลที่ยอดเยี่ยมนี้ของคลาสที่ซับซ้อนความสัมพันธ์และการอ้างอิงของพวกเขาไปยังสิ่งพิมพ์ที่เกี่ยวข้อง ถ้าไม่ใช่จะมีหน้าเว็บที่สามารถใช้ทดแทนได้หรือไม่? UPDATE (1 ส.ค. ): สวนสัตว์กลับมาออนไลน์อีกครั้งและสก็อตต์กำลังมองหาผู้คนที่อาสาทำกระจกเพื่อหลีกเลี่ยงภาวะขาดหายในอนาคต

36 cc.complexity-theory  reference-request  soft-question 

พื้นหลัง:แรงจูงใจสำหรับคำถามนี้คือสองเท่า ก่อนอื่นฉันต้องการรับข้อมูลที่ยากเพื่อทำความเข้าใจกับการประชุมที่กำลังดำเนินอยู่และการอภิปรายในวารสาร ประการที่สองหากข้อมูลนี้มีอยู่ที่ไหนสักแห่งฉันสามารถตัดสินใจได้อย่างชาญฉลาดยิ่งขึ้นเมื่อส่งเอกสารเพื่อตรวจสอบ ฉันยินดีที่จะให้ความสำคัญกับวารสารที่ผู้แก้ไขเลือกใช้งานได้ดีและเป็นผู้อ้างอิง คำถาม:วารสาร TCS ใดบ้างที่มีการทบทวนอย่างรวดเร็วอย่างต่อเนื่อง ? กฎระเบียบ: ฉันไม่ได้มองหาหลักฐานพอสมควรใด ๆ ; ฉันต้องการดูข้อเท็จจริงที่ยากลำบากเช่น "ตามสถิติของเราในช่วง 3 ปีที่ผ่านมา 98% ของการส่งผลงานของเราได้รับการตรวจสอบในระยะเวลา 4 เดือน" เวลาเท่านั้นจากการส่งครั้งแรกถึงการตัดสินใจครั้งแรกที่นับ ฉันไม่สนใจว่าจะต้องใช้เวลานานเท่าใดในการพิมพ์วารสารทางกายภาพ มันอยู่นอกเหนือการควบคุมของเรา บันทึกประจำวันที่เป็นเพียงชุดของการดำเนินการประชุมไม่นับ เราทุกคนรู้ว่าการทบทวนการประชุมนั้นรวดเร็ว วารสารออนไลน์ที่เข้าถึงได้นั้นสมบูรณ์แบบที่สุด (และถ้าวารสารเป็นที่น่าสงสัยมากจนคุณต้องอายถ้าชื่อของคุณเกี่ยวข้องกับมันให้ข้ามไปเลย)

36 soft-question  research-practice  paper-review  journals 

คำถามนี้มุ่งเป้าไปที่ผู้ที่กำหนดปัญหา: ครูผู้ช่วยนักเรียนอาจารย์ผู้สอน ฯลฯ สิ่งนี้เกิดขึ้นกับฉันสักครู่ในอาชีพ 12 ปีของฉันในฐานะอาจารย์: ฉันรีบมอบหมายปัญหาบางอย่างจากข้อความที่คิดว่า "สิ่งนี้ดูดี" หลังจากนั้นฉันก็รู้ว่าฉันไม่สามารถแก้มันได้ มีเพียงไม่กี่อย่างที่น่าอายกว่านี้ นี่คือตัวอย่างล่าสุด: "ให้อัลกอริทึมเชิงเส้นเวลาที่กำหนดว่า digraphมีรอบความยาวคี่" ฉันได้รับมอบหมายความคิดนี้มันเป็นเรื่องเล็กน้อยเท่านั้นที่จะรู้ในภายหลังว่าวิธีการของฉันจะไม่ทำงานGGG คำถามของฉัน: สิ่งที่คุณคิดว่าเป็น "มืออาชีพ" สิ่งที่ต้องทำ: หมกมุ่นกับปัญหาจนกว่าคุณจะแก้ปัญหาแล้วพูดอะไรกับนักเรียนของคุณ ยกเลิกปัญหาโดยไม่ต้องอธิบายและเดินหน้าต่อไปกับชีวิตของคุณ ขอความช่วยเหลือจาก cstheory.SE (และได้รับการตอบสนอง "นี่เป็นปัญหาการบ้านหรือไม่") หมายเหตุ:ฉันกำลังมองหาข้อเสนอแนะที่เป็นประโยชน์และมุ่งเน้นในระดับที่ฉันอาจไม่เคยนึกถึง ฉันรู้ว่าคำถามของฉันมีองค์ประกอบที่เป็นอัตวิสัยที่แข็งแกร่งเนื่องจากการจัดการสถานการณ์นี้เกี่ยวข้องกับรสนิยมของตัวเองในระดับใหญ่ดังนั้นฉันเข้าใจว่าผู้อ่านต้องการเห็นมันไม่ได้กล่าวถึง

36 soft-question  teaching 

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

36 soft-question  research-practice  software  writing 

ปัญหานี้ได้รับแรงบันดาลใจจากคำถาม MOซึ่งฉันคิดว่าน่าสนใจมาก ปัญหาเปิดที่เก่าแก่ที่สุดใน TCS คืออะไร เห็นได้ชัดว่าคำถามนี้ต้องการคำชี้แจงบางอย่าง ก่อนอื่น TCS คืออะไร ฉันคิดว่าการมีอยู่ของจำนวนที่สมบูรณ์แบบผิดปกติไม่ใช่ TCS ฉันจะบอกว่าปัญหาที่สิบของฮิลแบร์ตคือ TCS ฉันคิดว่าปัญหาเช่น "เราสามารถสร้าง X ด้วยไม้บรรทัดและเข็มทิศ" ก็เป็น TCS ด้วยเช่นกันเพราะพวกเขากำลังขออัลกอริทึมในรูปแบบการคำนวณแบบ จำกัด อาจไม่มีวิธีที่เข้มงวดในการกำหนดว่าปัญหา TCS คืออะไร แต่ใช้วิจารณญาณของคุณ บางทีการทดสอบหนึ่งครั้งคือ "ถ้าสิ่งนี้ได้รับการแก้ไขมันน่าจะปรากฏใน STOC / FOCS หรือไม่นักวิจัยที่แก้ไขมันน่าจะเป็นนักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีหรือไม่" ประการที่สอง "เก่าแก่ที่สุด" คืออะไร? ฉันหมายถึงเก่าที่สุดตามวันที่ วันที่ที่ระบุควรตรวจสอบได้ แต่ฉันไม่คิดว่ามันจะยากเกินไป ประการที่สาม "ปัญหาเปิด" คืออะไร? โดย "ปัญหาเปิด" ฉันหมายถึงปัญหาที่ถูกพิจารณาเป็นการเปิดโดยเฉพาะในบางครั้ง บางทีมันอาจปรากฏในตอนท้ายของบทความในส่วนเปิดปัญหาหรืออาจมีหลักฐานว่าบางคนทำงานและล้มเหลวหรืออาจมีหลักฐานที่ไม่ถูกต้องในวรรณคดีซึ่งแนะนำว่ามีการศึกษา ตัวอย่างของสิ่งที่ไม่ตรงกับเกณฑ์นี้: "ชาวกรีกศึกษาวัตถุ X และ Y. Z …

36 soft-question  open-problem  ho.history-overview 

ในสาระสำคัญคำถามคือ: หน่วยที่ประกาศน้อยที่สุดสำหรับ ArXiv คืออะไร สิ่งที่น่าสนใจเป็นพิเศษคือฟิลด์ที่ใช้ ArXiv อย่างกว้างขวางเช่นการคำนวณควอนตัม แต่ความคิดเห็นเกี่ยวกับสาขาอื่น ๆ และบริการการพิมพ์ล่วงหน้า (เช่น ECCC & ePrint) ก็ยินดีต้อนรับเช่นกัน คำถามโดยละเอียด นี่คือคำถามสองข้อต่อไปนี้: เมื่อใดที่คุณควรพูดในสิ่งที่คุณรู้ คุณจะตัดสินใจอย่างไรเมื่อคุณมีผลงานวิจัยเพียงพอที่จะเขียนบทความและวารสารที่คุณส่งบทความ โดยเฉพาะอย่างยิ่งในความคิดเห็นของ Jukka Suomela ในคำตอบนี้: ฉันคิดว่า ArXiving ผลลัพธ์ของคุณโดยเร็วเป็นความคิดที่ดี โปรดทราบว่าต้นฉบับ ArXiv ไม่จำเป็นต้องมีหน่วยโฆษณาขั้นต่ำ ฉันคิดว่ามันโอเคที่จะส่งหลักฐาน 2 หน้าไปที่ ArXiv อย่างแน่นอนแม้ว่ามันจะสั้นเกินไปสำหรับการประชุมหรือบทความในวารสาร การแก้ไขปัญหาแบบเปิดที่คนอื่นต้องการแก้ไขนั้นมากเกินพอ ในสาขาของฉัน (การคำนวณควอนตัม) ดูเหมือนว่าทุก ๆ ฉบับที่ฉันเห็นบน ArXiv นั้นเป็นกระดาษระดับสิ่งพิมพ์ที่ออกมาก่อนเวลาเพื่อที่เราจะได้ไม่ต้องรอการประชุมหรือการพลิกกลับของวารสาร การข่มขู่ว่าจะส่งสิ่งที่ไม่อยู่ในระดับสิ่งพิมพ์ มันไม่เป็นผลหรือไม่ที่จะนำเสนอผลงานที่มีบางส่วนหรือเพียงส่วนขยายเล็กน้อยของงานที่มีอยู่? มันไม่เป็นไรที่จะนำผลลัพธ์ที่น่าสนใจ (เช่นคุณได้พูดคุยกับพวกเขาและไม่ใช่ทุกคนที่หลับไป) แต่คุณสงสัยว่าจะเข้าร่วมการประชุมหรือวารสารระดับสูงหรือไม่? คุณมีคำแนะนำเกี่ยวกับเวลาที่จะแบ่งปันผลลัพธ์ใน ArXiv หรือเซิร์ฟเวอร์ …

35 soft-question  advice-request  research-practice  paper-review 

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

35 soft-question  advice-request  career 

เมื่อเราทำตามตำรามาตรฐานหรือประเพณีส่วนใหญ่เราจะสอนนิยามของสัญกรณ์โอ๋ใหญ่ในการบรรยายสองสามครั้งแรกของคลาสอัลกอริทึม: f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)).f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)). f = O(g) \mbox{ iff } (\exists c > 0)(\exists n_0 \geq 0)(\forall n \geq n_0)(f(n) \leq c \cdot g(n)). บางทีเราอาจให้รายการทั้งหมดพร้อมตัวปริมาณทั้งหมด: f=o(g) iff (∀c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n))f=o(g) iff (∀c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n))f = o(g) \mbox{ iff } (\forall c > 0)(\exists n_0 \geq 0)(\forall n \geq n_0)(f(n) \leq c \cdot …

35 ds.algorithms  soft-question  teaching 

ขณะนี้ฉันกำลังเริ่มต้นในมหาวิทยาลัย [วิทยาการคอมพิวเตอร์] และที่นั่นเรามีโอกาสมากมายที่จะเริ่มต้นด้วยการค้นคว้า ก่อนที่จะค้นพบเว็บไซต์นี้ฉันไม่ได้ตั้งใจจะทำแบบนี้ [ฉันต้องการทำงานกับ AI อาจเป็นเกม dev] แต่ตอนนี้ฉันสามารถ [หรือต้องการ] เพื่อเลือก คุณช่วยโน้มน้าวให้ฉันเข้าร่วมใน "โลก" นี้หรือไม่? ฉันสามารถติดตาม "กลุ่ม" อะไรได้บ้าง มีหัวข้อเกี่ยวกับประเภทใดบ้างที่นักวิทยาศาสตร์คอมพิวเตอร์หรือนักวิจัยทำงาน

35 soft-question  career 

หนึ่งในคำถามที่กล่าวถึงมากที่สุดในเว็บไซต์ได้รับสิ่งที่มันจะหมายถึงการที่จะพิสูจน์วิทยานิพนธ์โบสถ์ทัวริง ส่วนหนึ่งเป็นเพราะ Dershowitz และ Gurevich ตีพิมพ์หลักฐานของวิทยานิพนธ์ทัวริสตจักรทัวริงเป็น Bulletin ของ Symbolic Logic ในปี 2008 (ฉันจะไม่พูดถึงที่นี่ แต่สำหรับลิงค์และความคิดเห็นที่กว้างขวางโปรดดูคำถามเดิมหรือ - - การโปรโมตตนเองที่ไร้ยางอาย - รายการบล็อกที่ฉันเขียน) คำถามนี้เป็นคำถามเกี่ยวกับการขยายวิทยานิพนธ์โบสถ์ทัวริงซึ่งเป็นสูตรโดยเอียนพาร์เบอร์รีเป็น: เวลาในโมเดลเครื่องที่ "สมเหตุสมผล" นั้นสัมพันธ์กับพหุนาม ขอบคุณ Giorgio Marinelli ฉันได้เรียนรู้ว่าหนึ่งในผู้เขียนร่วมของบทความก่อนหน้านี้ Dershowitz และนักศึกษาปริญญาเอกของเขา Falkovich ได้ตีพิมพ์หลักฐานของวิทยานิพนธ์คริสตจักรทัวริงซึ่งเพิ่งปรากฏที่การประชุมเชิงปฏิบัติการการพัฒนาของ รุ่นคำนวณ 2011 เช้านี้ฉันเพิ่งพิมพ์ออกมาและฉันก็อ่านไม่ออกเลย ผู้เขียนอ้างว่าเครื่องจักรทัวริงสามารถจำลองอุปกรณ์คำนวณแบบลำดับใดก็ได้ที่มีค่าใช้จ่ายส่วนใหญ่ การคำนวณควอนตัมและการคำนวณแบบขนานขนาดใหญ่ไม่ได้ครอบคลุมอย่างชัดเจน คำถามของฉันเกี่ยวข้องกับข้อความต่อไปนี้ในเอกสาร เราได้แสดงให้เห็น - ตามที่ได้รับการคาดการณ์และเชื่อกันอย่างกว้างขวางว่าการใช้งานที่มีประสิทธิภาพทุกครั้งไม่ว่าโครงสร้างข้อมูลใดที่ใช้จะถูกจำลองด้วยเครื่องทัวริง ดังนั้นคำถามของฉัน: นี่คือ "เชื่ออย่างกว้างขวาง" แม้ในกรณีของการคำนวณตามลำดับ "อย่างแท้จริง" โดยไม่มีการสุ่มหรือไม่ เกิดอะไรขึ้นถ้าสิ่งที่สุ่ม? การคำนวณควอนตัมน่าจะเป็นตัวอย่างที่น่าจะเป็นถ้าจริง ๆ แล้วมันสามารถยกตัวอย่างได้ …

35 soft-question  lo.logic  church-turing-thesis 

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

34 soft-question  ho.history-overview 

การเดาว่ามันเป็นคำถามที่พบบ่อย แต่สงสัยว่ามีใครเห็นเนื้อหาที่ทำขึ้นมาเพื่อให้ผู้ชมกลุ่มนี้เห็นได้อย่างชัดเจน

34 soft-question  teaching 

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

34 soft-question  research-practice  paper-review 

ฉันมีฐานที่แข็งแกร่งในพีชคณิตนั่นคือ พีชคณิตสลับ พีชคณิต homological ทฤษฎีสนาม ทฤษฎีหมวดหมู่ และฉันกำลังเรียนเรขาคณิตเชิงพีชคณิต ฉันเป็นวิชาคณิตศาสตร์ที่มีความโน้มเอียงที่จะเปลี่ยนไปใช้วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี การรักษาเขตข้อมูลที่กล่าวถึงข้างต้นในใจซึ่งสาขาใดจะเป็นสาขาที่เหมาะสมที่สุดในวิทยาการคอมพิวเตอร์เชิงทฤษฎีที่จะเปลี่ยน? นั่นคือในทางใดที่ทฤษฎีและคณิตศาสตร์สามารถได้รับวุฒิภาวะโดยการใฝ่หาข้อมูลด้านบนจะถูกนำมาใช้เพื่อประโยชน์ของคน?

33 soft-question  algebra  advice-request  ct.category-theory 

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

32 soft-question  conferences