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

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

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

9
มีหนังสือเกี่ยวกับความหมายเชิงปรัชญาของวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีหรือไม่?
ฉันหาหนังสือบางเล่มเกี่ยวกับคอมพิวเตอร์ แต่ทั้งหมดเกี่ยวกับเทคโนโลยี ฉันต้องการบางสิ่งที่เชื่อมโยงกับทฤษฎีมากขึ้น

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

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

1
ทำไมSchönfinkelทำงานเกี่ยวกับการกำจัด "ตัวแปรที่ถูกผูกไว้" ในตรรกะอย่างยิ่งที่สำคัญ?
AFAIK หลักฐานแรกของการใช้ฟังก์ชั่นการสั่งซื้อที่สูงขึ้นกลับไปที่หน้ากระดาษของSchönfinkelในปี 1924: "ในหน่วยการสร้างของคณิตศาสตร์ตรรกะ" - ซึ่งเขาอนุญาตให้หนึ่งผ่านหน้าที่เป็นข้อโต้แย้งไปยังฟังก์ชั่นอื่น ๆ ดูเหมือนว่าน่าสนใจ อย่างไรก็ตามทุกอย่างที่ฉันได้อ่านเกี่ยวกับงานของเขา (และส่วนขยายของ Curry) ดูเหมือนจะพูดถึงสิ่งหนึ่งในบางรูปแบบหรืออย่างอื่น: [ฟังก์ชั่นการสั่งซื้อที่สูงกว่า] ... สิ่งนี้ไม่จำเป็นต้องมีตัวแปรผูกพัน ... สิ่งที่ฉันไม่สามารถคาดศีรษะได้คือเรื่องใหญ่อะไร ทำไมนักตรรกวิทยาและนักคณิตศาสตร์ในสมัยนั้นถึงสนใจเรื่องนี้ และในฐานะนักทฤษฎีเราสนใจวันนี้ไหม? เหตุใดจึง "แหวกแนว" เพื่อกำจัดตัวแปรที่ถูกผูกไว้และสิ่งที่มีผลกระทบ (หรือไม่) ที่มีต่อการคำนวณ (ตามหลักวิชา) ที่เรารู้ PS: ฉันรู้วิธีการทำงานของเขาปูทางสำหรับแคลคูลัสและผลกระทบของ "มัน" บนคอมพิวเตอร์และการเขียนโปรแกรมการทำงานโดยทั่วไป คำถามของฉันมักจะถูกนำไปสู่เวลา "ก่อนหน้า" ในการสร้างλ -calculus และ "หลังจาก" กระดาษของSchönfinkel ความจริงที่ว่าแกงกะหรี่หยิบขึ้นมาเป็นแนวของการทำงานซึ่งต่อมาเป็นที่รู้จักกันในชื่อλλ\lambdaλλ\lambda

5
ตัวอย่างของ pedantry ใน TCS
Larry Wasserman มีโพสต์เมื่อเร็ว ๆ นี้ที่เขาพูดถึง "ตำรวจ p-value" เขาสร้างประเด็นที่น่าสนใจ (เน้นทุกเรื่อง) (หลักฐานในตัวเอียงที่ฉันเพิ่มและการตอบสนองของเขาด้านล่าง): การร้องเรียนที่พบบ่อยที่สุดคือนักฟิสิกส์และนักข่าวอธิบายความหมายของค่า p อย่างไม่ถูกต้อง ตัวอย่างเช่นหากค่า p เป็น 0.000001 เราจะเห็นข้อความเช่น“ มีความมั่นใจ 99.9999% ว่าสัญญาณเป็นจริง” จากนั้นเรารู้สึกว่าถูกบังคับให้แก้ไขคำสั่ง: หากไม่มีผลกระทบโอกาสของบางสิ่งบางอย่าง มากหรือมากกว่านั้นคือ 0.000001 ยุติธรรมพอสมควร แต่มันสำคัญจริงๆหรือ ภาพใหญ่คือหลักฐานของผลกระทบที่เกิดขึ้นนั้นรุนแรงมาก มันเป็นเรื่องสำคัญจริง ๆ หรือไม่ถ้าถ้อยคำนั้นทำให้เข้าใจผิดเล็กน้อย? ฉันคิดว่าเราเสริมสร้างภาพลักษณ์ของเราในฐานะคนรับใช้ถ้าเราบ่นเกี่ยวกับเรื่องนี้ ซึ่งทำให้ฉันคิด - มีตัวอย่างที่ดีของ pedantry ใน TCS หรือไม่ ตัวอย่างดังกล่าวจะประกอบด้วย คำกล่าวอ้างที่ใช้กันทั่วไปในสื่อยอดนิยม การแก้ไขมาตรฐานที่ผู้คนยืนยันในการทำ "ภาพใหญ่" ที่ถูกต้องที่การอ้างสิทธิ์จับได้แม้ในขณะที่ไม่แน่ชัด เมื่อการอ้างสิทธิ์ผิดทางคณิตศาสตร์ แต่ "ถูกต้องตามหลักจริยธรรม" และการแก้ไขนั้นถูกต้องทางเทคนิค แต่ไม่เปลี่ยนความเข้าใจที่เข้าใจง่าย ตัวอย่างของฉันคือ: …

1
รักษาความสงบเรียบร้อยในรายการในในเวลา
ปัญหาการบำรุงรักษาคำสั่งซื้อ (หรือ "การรักษาคำสั่งซื้อในรายการ") คือการสนับสนุนการดำเนินงาน: singleton: สร้างรายการที่มีหนึ่งรายการส่งคืนตัวชี้ไปยังรายการนั้น insertAfter: กำหนดตัวชี้ไปยังรายการแทรกรายการใหม่หลังจากส่งคืนตัวชี้ไปยังรายการใหม่ delete: กำหนดตัวชี้ไปยังรายการเอาออกจากรายการ minPointer: กำหนดสองพอยน์เตอร์ให้กับรายการในรายการเดียวกันส่งคืนค่าที่ใกล้กับด้านหน้าของรายการมากขึ้น ฉันทราบวิธีแก้ไขปัญหาสามข้อที่ดำเนินการทั้งหมดในเวลาตัดจำหน่าย พวกเขาทั้งหมดใช้การคูณO ( 1 )O(1)O(1) Athanasios K. Tsakalidis: การรักษาลำดับในรายการที่เชื่อมโยงทั่วไป Dietz, P. , D. Sleator, สองอัลกอริทึมสำหรับการรักษาความสงบเรียบร้อยในรายการ Michael A. Bender, Richard Cole, Erik D. Demaine, Martin Farach-Colton และ Jack Zito“ สองอัลกอริทึมแบบง่ายสำหรับการคงคำสั่งในรายการ” สามารถเก็บรักษาลำดับในรายการในเวลาตัดจำหน่ายโดยไม่ใช้การดำเนินการทางคณิตศาสตร์ใด ๆ ที่ไม่ได้อยู่ในหรือไม่?O ( 1 )O(1)O(1)C0Aค0AC^0

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

10
ความสามารถในการดิ้นรนของปัญหาที่ทำให้สมบรูณ์แบบสมบูรณ์เป็นหลักการของฟิสิกส์ได้หรือไม่?
ฉันรู้สึกทึ่งกับการขาดหลักฐานเชิงตัวเลขจากการทดลองทางคณิตศาสตร์สำหรับหรือต่อต้านคำถาม P vs NP ในขณะที่สมมติฐานของ Riemann มีหลักฐานสนับสนุนบางอย่างจากการตรวจสอบเชิงตัวเลข แต่ฉันไม่ได้ตระหนักถึงหลักฐานที่คล้ายกันสำหรับคำถาม P vs NP นอกจากนี้ฉันไม่ได้ตระหนักถึงผลกระทบทางโลกโดยตรงของการมีอยู่ของปัญหาที่ไม่อาจตัดสินใจได้ (หรือการมีอยู่ของฟังก์ชันที่ไม่สามารถคำนวณได้) การพับโปรตีนเป็นปัญหาสมบูรณ์แบบของ NP แต่ดูเหมือนว่าจะเกิดขึ้นอย่างมีประสิทธิภาพมากในระบบชีวภาพ Scott Aaronson เสนอโดยใช้ NP Hardness Assumption เป็นหลักการของฟิสิกส์ เขากล่าวอย่างไม่เป็นทางการว่า " ปัญหาที่เกิดขึ้นอย่างสมบูรณ์ในโลกทางกายภาพนั้นยากที่จะแก้ปัญหาได้ " การสันนิษฐาน NP Hardness สันนิษฐานว่าทำไมมันยากที่จะออกแบบการทดลองทางวิทยาศาสตร์ที่ตัดสินว่าจักรวาลของเราเคารพการสันนิษฐาน NP Hardness หรือไม่? นอกจากนี้ยังมีหลักฐานเชิงตัวเลขที่ทราบจากการทดลองทางคณิตศาสตร์สำหรับหรือต่อต้านP≠NPP≠NPP\ne NPหรือไม่? แก้ไข:นี่คือการนำเสนอที่ดีโดย Scott Aaronson เรื่องIntractability การคำนวณเป็นกฎหมายของฟิสิกส์

6
แนวคิดการคำนวณควอนตัม
ฉันเป็นนักศึกษาวิทยาศาสตร์คอมพิวเตอร์ระดับปริญญาตรีและฉันกำลังวางแผนสำหรับโครงการที่สำเร็จการศึกษาของฉัน ฉันต้องการความคิดในด้านการคำนวณควอนตัม ความช่วยเหลือใด ๆ

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

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

2
แหล่งข้อมูลสำหรับนักคณิตศาสตร์หวังว่าจะได้เรียนรู้วิทยาศาสตร์คอมพิวเตอร์มากขึ้น
พื้นหลัง : ฉันกำลังจะจบการศึกษาระดับปริญญาโทสาขาคณิตศาสตร์และจะเริ่มปริญญาเอกสาขาตรรกะในเดือนสิงหาคม ยิ่งฉันศึกษาตรรกะมากเท่าไหร่วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีที่ฉันสัมผัสก็ยิ่งมากขึ้นเช่นทฤษฎีการเรียกซ้ำ, แคลคูลัสแลมบ์ดา แต่ CS พื้นฐานนั้นถูกแปรงใต้พรม ประเด็นที่น่าสนใจหลักของฉัน - ทฤษฎีเซตและทฤษฎีหมวดหมู่ - ยังมีการประยุกต์ใช้ในวิทยาการคอมพิวเตอร์ แต่จนถึงตอนนี้ฉันแค่ศึกษาพวกเขาจากมุมมองของคณิตศาสตร์บริสุทธิ์ ปัญหา: บางครั้งการขาดพื้นฐานด้านวิทยาการคอมพิวเตอร์ของฉันทำให้บางครั้งมันยากที่จะเห็นแรงจูงใจหรือสัญชาตญาณเบื้องหลังสิ่งที่เกิดขึ้นหรือวิธีการนำไปใช้ ฉันผ่านไปได้ แต่ฉันรู้สึกว่ามันจะมีสุขภาพที่ดีกว่าการแตกแขนงออกเล็กน้อย ... มันเกิดขึ้นกับฉันว่าเพื่อประโยชน์ของการวิจัยในอนาคตของฉันฉันควรเรียนรู้วิทยาศาสตร์คอมพิวเตอร์บางอย่าง หนังสือ CS ส่วนใหญ่ที่ฉันดูแล้วยังไม่เหมาะกับวัตถุประสงค์ของฉันไม่ว่าจะเป็นพื้นฐานและไม่มีเทคนิคหรือมีพื้นฐานของ CS ที่ฉันไม่มี ดูเหมือนว่าพวกเขาจะมุ่งเป้าไปที่คนที่มีความชำนาญในคอมพิวเตอร์ แต่มีภูมิหลังทางคณิตศาสตร์น้อย - สถานการณ์ของฉันตรงกันข้าม คำถาม: มีหนังสือหรือแหล่งข้อมูลอื่นใดบ้างที่สามารถช่วยนักคณิตศาสตร์ที่หันมาใช้โลจิสติกส์ในเป้าหมายของพวกเขาในการเพิ่มพูนความรู้การทำงานของวิทยาการคอมพิวเตอร์ (ในทางทฤษฎี)? ฉันกำลังมองหาบางสิ่งที่มีประโยชน์มากกว่าการพูดถึงการสัมนาเพียงไม่กี่ครั้งและในเชิงลึกมากกว่าNew Turing Omnibusแต่ฉันไม่มีเวลาหรือทรัพยากรในการทำปริญญาตรีอีกต่อไป (อาจเป็นเพราะฉันกำลังขอสิ่งที่ไม่มีอยู่) ขออภัยหากคำถามนั้นคลุมเครือหรือไม่ถูกต้อง ฉันรู้สึกว่ามันเหมาะสมกว่าที่นี่ในMSEแต่ฉันยินดีที่จะย้ายข้อมูลหากจำเป็น

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

1
ทำไมมาร์ติน - โลฟจึงจำเป็นต้องสร้างทฤษฎีประเภทสัญชาตญาณ?
ฉันได้อ่านเกี่ยวกับ Intuitionistic Type Theory (ITT) แล้วและมันก็สมเหตุสมผลดี แต่สิ่งที่ฉันดิ้นรนเพื่อทำความเข้าใจคือ "ทำไม" มันถูกสร้างขึ้นตั้งแต่แรก? Intuitionistic Logic (IL) และ Simply-typed -calculus (STLC) และทฤษฎีประเภทโดยทั่วไปถือกำเนิดมาร์ติน - ล็อฟเอง! ดูเหมือนว่าเราสามารถทำทุกอย่างใน STLC ที่เป็นไปได้ใน ITT (ฉันอาจจะผิด แต่อย่างน้อยก็รู้สึกอย่างนั้น) λλ\lambda ดังนั้น "นวนิยาย" เกี่ยวกับ ITT คืออะไรและมันได้พัฒนาทฤษฎีการคำนวณอย่างไร? จากสิ่งที่ฉันเข้าใจเขาแนะนำแนวคิด "ประเภทพึ่งพา" แต่ดูเหมือนว่าพวกเขามีอยู่แล้วใน STLC ในทางใดทางหนึ่ง ITT ของเขาเป็นความพยายามที่เป็นนามธรรมหรือไม่ที่จะเข้าใจหลักการพื้นฐานของ STLC และ IL ด้วยกันไหม แต่ STLC ไม่ได้ทำเช่นนั้นใช่ไหม ดังนั้นทำไม ITT จึงถูกสร้างขึ้นตั้งแต่แรก? ประเด็นคืออะไร? นี่คือข้อความที่ตัดตอนมาจากWikipedia …

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