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

ฉันมีปัญหาในการสอนแนวคิดของฟังก์ชันที่คำนวณได้ ฉันพยายามพัฒนาความคิดว่าทำไมนักวิจัยอย่าง Hilbert / Ackermann / Godel / Turing / Church / ... คิดค้นแนวคิดเรื่อง 'ความสามารถคำนวณได้' นักเรียนถามทันที: "ความสามารถในการคำนวณหมายถึงอะไร" และฉันไม่สามารถตอบได้ถ้าฉันไม่สอนเครื่องทัวริงแล้วตอบ "ฟังก์ชันนั้นคำนวณได้ถ้าเครื่องทัวริงคำนวณได้" ดังนั้น, มีคำอธิบายของความสามารถในการคำนวณที่ไม่ต้องใช้เครื่องทัวริง, calcul-แคลคูลัสหรือแบบจำลองการคำนวณที่คล้ายกันหรือไม่? แม้แต่คำอธิบายที่เข้าใจง่ายก็พอเพียง

22 soft-question  computability  turing-machines  teaching 

ฉันกำลังเขียนเอกสารในวิทยาการคอมพิวเตอร์เชิงทฤษฎีบางครั้งการเป็นผู้เขียนเดี่ยวที่ไม่ระบุชื่อ ก่อนหน้านี้ฉันใช้พหูพจน์ของบุคคลที่ 1 ในเอกสารเช่น: เราจะแสดงให้เห็นว่าความซับซ้อนคลาส X และ Y ตรงกัน ฉันไม่ใช่ทั้งเจ้าของภาษาและไม่เก่งภาษาอังกฤษ เมื่อเร็ว ๆ นี้ฉันได้รับคำแนะนำจากเจ้าของภาษา (ซึ่งเป็นวิทยาศาสตร์ แต่ไม่ใช่นักวิทยาศาสตร์คอมพิวเตอร์) เพื่อใช้เอกพจน์บุคคลที่ 1 แทน: ฉันจะแสดงให้เห็นว่าความซับซ้อนคลาส X และ Y ตรงกัน เขาอ้างว่ารูปแบบนี้แพร่หลายใน "ธรรมชาติ" และวารสารระดับสูงอื่น ๆ ฉันไม่ชินกับการเขียนแบบนี้เลย ประโยคในสไตล์ "ฉันได้แสดงให้เห็นแล้วว่าΓมีความชัดเจนในℂ \ ℤ⩽0 " ภายในบทพิสูจน์ดูเหมือนผิดธรรมชาติมากสำหรับฉัน รูปแบบใดที่เหมาะสมกับเอกสารวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีมากกว่า เป็นที่ชัดเจนสำหรับฉันว่าคำถามนี้มีอคติอย่างยิ่งจากพื้นที่ (ไม่เช่นนั้นฉันจะถาม ell.se หรืออ้างถึง/academia//q/2945/7734 ) ดังนั้นฉันจึงถาม ถามที่ cstheory คำถามของฉันถูกส่งไปยังนักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีที่เป็นผู้ใหญ่ซึ่งเป็นเจ้าของภาษาด้วยคำสั่งภาษาอังกฤษที่สมบูรณ์แบบ

21 soft-question  paper-review  writing 

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

21 soft-question  teaching  books 

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

21 soft-question  career 

เมื่อรวมผลลัพธ์เข้าด้วยกันมักจะต้องการไดอะแกรมที่ดูเป็นมืออาชีพมากกว่าที่จะใส่ไดอะแกรมใน MS Paint มาตรฐานสำหรับการวาดโครงสร้างข้อมูลคืออะไร?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

ฉันมีคำถามเชิงประวัติศาสตร์สองข้อ: ใครเป็นคนแรกที่อธิบายการคำนวณแบบ nondeterministic ฉันรู้ว่า Cook อธิบายปัญหาที่เกิดขึ้นกับ NP และ Edmonds เสนอว่าอัลกอริธึม P เป็นอัลกอริธึม "ประสิทธิภาพ" หรือ "ดี" ฉันค้นหานี้บทความวิกิพีเดียและไขมันต่ำ "ในการคำนวณความซับซ้อนของอัลกอริทึม" แต่ไม่พบการอ้างอิงถึงเมื่อคำนวณ nondeterministic ถูกกล่าวถึงครั้งแรก การอ้างอิงแรกไปยังคลาส NP คืออะไร มันเป็นกระดาษ 1971 ของ Cook หรือไม่

20 reference-request  soft-question  ho.history-overview  nondeterminism 

เอกสารส่วนใหญ่ตอนนี้เขียนร่วมกันและผู้ทำงานร่วมกันมักจะอยู่ในที่ต่าง ฉันมักจะใช้ระบบควบคุมเวอร์ชันสำหรับเอกสารและรหัสของฉันและยังพบว่าการควบคุมเวอร์ชันมีความสำคัญสำหรับโครงการซอฟต์แวร์ที่ทำงานร่วมกัน แต่ดูเหมือนว่านักวิจัยหลายคนในทางทฤษฎีหลีกเลี่ยงการใช้งานสำหรับการเขียนเอกสารร่วมกัน เพื่อโน้มน้าวให้ผู้ร่วมงานของฉันเชื่อว่าการควบคุมเวอร์ชัน (การควบคุมการแก้ไข) เป็นความคิดที่ดีสำหรับการทำงานร่วมกันดูเหมือนจะมีข้อกำหนดเบื้องต้นบางประการ ไม่สามารถบังคับให้ทุกคนกังวลเกี่ยวกับชุดของการประชุมที่เฉพาะเจาะจงสำหรับการขึ้นบรรทัดใหม่และย่อหน้าหรือเพื่อหลีกเลี่ยงการแปลงแท็บ / ช่องว่าง มีใครเสนอโฮสติ้งฟรีของที่เก็บเอกสารขนาดเล็กที่ใช้ร่วมกันได้หรือไม่ด้วยการควบคุมเวอร์ชันของเอกสารที่เป็นมิตรกับข้อความที่สามารถจัดการกับความแตกต่างของระดับคำ ( ไม่ใช่แบบบรรทัด) ถ้าไม่เช่นนั้นฉันยินดีรับข้อเสนอแนะอื่น ๆ ที่อ้างอิงจากประสบการณ์ (ลองหลีกเลี่ยงการเก็งกำไรโปรด) ฉันกำลังคิดถึง Git, Subversion, Mercurial, darcs หรือ Bazaar ตั้งขึ้นเพื่อจัดการความแตกต่างระดับคำกับ wdiff พร้อมกับวิธีการตั้งค่าการเข้าถึงที่ปลอดภัยด้วยกุญแจสาธารณะ (เช่นผ่าน ssh) อย่างไรก็ตามไม่มีผู้ให้บริการควบคุมเวอร์ชันที่ฉันดูที่ดูเหมือนจะเสนออะไรเช่นนี้ สำหรับการทำงานร่วมกันทางวิทยาศาสตร์คุณสมบัติ "ระดับองค์กร" ที่เน้นโดยหลาย บริษัท เหล่านี้ไม่ได้สำคัญมาก (มีสาขาจำนวนมากการรวมเข้ากับ trac การตรวจสอบโดยบุคคลที่สามทีมงานโครงการลำดับชั้น) แต่ความแตกต่างระดับคำดูเหมือนสำคัญ แต่ยังไม่ได้รับการสนับสนุน จากประสบการณ์ของฉันด้วยระดับบรรทัดแตกต่างกันสำหรับไฟล์ข้อความทุกคนต้องหลีกเลี่ยงการจัดรูปแบบย่อหน้าและตัวแก้ไขที่เปลี่ยนแท็บเป็นช่องว่างหรือในทางกลับกันทำให้เกิดปัญหา ดูเหมือนว่าจะมีความขัดแย้งในการแก้ไขปลอม ๆ ดูคำถามที่เกี่ยวข้องที่ MO เกี่ยวกับเครื่องมือสำหรับการทำงานร่วมกันและคำถามที่เกี่ยวข้องมากกว่าที่ TeX.SE เกี่ยวกับการควบคุมเวอร์ชันสำหรับเอกสารน้ำยางและแพคเกจสำหรับการควบคุมน้ำยางรุ่น ดูตารางเปรียบเทียบการตรวจสอบ SVN Hostingสำหรับรายชื่อผู้ให้บริการโฮสติ้งจำนวนมากสำหรับระบบควบคุมเวอร์ชันหลักเพียงระบบเดียว …

20 soft-question  research-practice  software  writing 

คำถามนี้คล้ายกับคำถามทั่วไปสำหรับโมเดลทางทฤษฎีที่ถูกต้องของคอมพิวเตอร์ในการออกแบบอัลกอริทึมและโครงสร้างข้อมูลใน ที่นี้ฉันถามเฉพาะเกี่ยวกับคอมพิวเตอร์ประสิทธิภาพสูงในปัจจุบัน (เช่นที่อยู่ในรายการTop 500 ) หรือแม้แต่เกี่ยวกับ ซูเปอร์คอมพิวเตอร์ที่กำลังจะมาถึง ระบุว่าคอมพิวเตอร์เหล่านี้มักจะทำงานกับชุดข้อมูลขนาดใหญ่ (ดูเหมือนว่าบางคนใช้เครื่องดังกล่าวเป็นส่วนใหญ่เนื่องจากมีหน่วยความจำหลักรวมกันมาก) ของ I / O-model (แนะนำโดยAggarwal และ Vitter ในปี 1988 ) และรุ่นขนาน ควรมี PEM ( Arge, Goodrich, Nelson และ Sitchinava ในปี 2008 ) ในทางตรงกันข้ามควรมีบางอย่างเกี่ยวกับการสื่อสารโดยเฉพาะอย่างยิ่งการลงโทษแพคเกจขนาดเล็กพิเศษเพื่อโหนดคอมพิวเตอร์อื่น ๆ ทั้งหมด อย่างที่คุณอาจจินตนาการว่าฉันไม่กลัวว่าฉันจะหมดความคิดเมื่อสร้างแบบจำลองใหม่ แต่ฉันกังวลเล็กน้อยว่าฉันอาจมองข้ามความพยายามก่อนหน้านี้ในการทำเช่นนั้นโดยเฉพาะอย่างยิ่งเพราะฉันมีความรู้สึกว่าปี 1980- 1995 หรือมากกว่านั้นเห็นความพยายามในการสร้างแบบจำลองดังกล่าวจำนวนมาก (เช่น BSP หรือแบบจำลองการเชื่อมโยง) ที่ดูเหมือนจะไม่ได้ใช้กันอย่างแพร่หลาย ฉันควรมองแบบใด

20 reference-request  soft-question  machine-models 

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

19 soft-question  algebra  teaching 

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

19 soft-question  career 

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

19 soft-question  gt.game-theory 

ฉันกำลังเรียนคณิตศาสตร์ อย่างไรก็ตามฉันไม่คิดว่าฉันต้องการเป็นนักคณิตศาสตร์มืออาชีพในอนาคต ฉันกำลังคิดที่จะนำความรู้ด้านคณิตศาสตร์ไปใช้ในการทำวิจัยในด้านปัญญาประดิษฐ์ อย่างไรก็ตามฉันไม่แน่ใจว่าควรทำตามหลักสูตรคณิตศาสตร์กี่หลักสูตร (และหลักสูตร CS ทฤษฎีใดที่ฉันควรปฏิบัติตาม) จาก Quora ฉันเรียนรู้ว่าวิชาพีชคณิตเชิงเส้นสถิติและการปรับให้เหมาะสมที่สุดนั้นเกี่ยวข้องกับการเรียนรู้ของเครื่อง (ดูคำถามนี้ ) บางคนกล่าวว่าต้องเรียนรู้พีชคณิตเชิงเส้นความน่าจะเป็น / สถิติแคลคูลัสอัลกอริทึมพื้นฐานและตรรกะเป็นสิ่งจำเป็นในการศึกษาปัญญาประดิษฐ์ (ดูคำถามนี้ ) ฉันสามารถเรียนรู้เกี่ยวกับทุกวิชาเหล่านี้ได้ในช่วง 1.5 ปีแรกของคณิตศาสตร์ปริญญาตรีที่มหาวิทยาลัยของเรา ฉันสงสัยว่าถ้ามีวิชาคณิตศาสตร์ระดับปริญญาตรีบางวิชาที่มีประโยชน์หรือจำเป็นสำหรับการศึกษาปัญญาประดิษฐ์ สิ่งที่เกี่ยวกับ ODEs, PDEs, โทโพโลยี, ทฤษฎีการวัด, การวิเคราะห์เชิงเส้น, การวิเคราะห์ฟูริเยร์และการวิเคราะห์เกี่ยวกับ Manifold หนังสือเล่มหนึ่งที่ชี้ให้เห็นว่าคณิตศาสตร์ขั้นสูงที่ค่อนข้างมีประโยชน์ในการศึกษาปัญญาประดิษฐ์คือทฤษฎีรูปแบบ: การวิเคราะห์สุ่มของสัญญาณจริงจาก David Mumford และ Agnes Desolneux (ดูหน้านี้ ) มันรวมถึงบทเกี่ยวกับเครือมาร์คอฟ, แบบจำลองทวนเข็มนาฬิกาเกาส์, กิ๊บส์ฟิลด์, Manifolds, กลุ่ม Lie และ Lie Algebras และการประยุกต์กับทฤษฎีรูปแบบ หนังสือเล่มนี้มีประโยชน์ต่อการวิจัย AI …

19 soft-question  machine-learning  ai.artificial-intel 

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

18 soft-question  advice-request 

ฉันต้องการทราบว่ามีการคาดเดาที่ไม่ได้พิสูจน์มานานแล้วใน TCS ที่ได้รับการพิสูจน์ในภายหลังโดยความหมายจากทฤษฎีบทอื่นที่อาจพิสูจน์ได้ง่ายกว่า

18 reference-request  soft-question  big-list 

ความคิดเรื่องการลดเวลาพหุนาม (Cook Reduction) เป็นนามธรรมของแนวคิดที่ใช้งานง่ายมาก: การแก้ปัญหาอย่างมีประสิทธิภาพโดยใช้อัลกอริทึมสำหรับปัญหาที่แตกต่างกัน อย่างไรก็ตามในทฤษฎีของความไม่สมบูรณ์ของความคิดของN P -hardness นั้นถูกบันทึกผ่านการลดการทำแผนที่ (Karp Reduction) แนวคิดของการลด "ถูก จำกัด " นี้ใช้งานง่ายกว่ามาก (อย่างน้อยสำหรับฉัน) ดูเหมือนว่าจะถูกประดิษฐ์ขึ้นเล็กน้อยเนื่องจากมันสร้างความรู้สึกที่เข้าใจง่ายเกี่ยวกับความแข็ง โดยที่ฉันหมายถึงความจริงที่ว่าN Pไม่ประกอบด้วยc o - N Pเพียงเล็กน้อย แม้ว่าในทฤษฎีความซับซ้อนเราคุ้นเคยกับแนวคิดที่ว่าสามารถแก้ปัญหาเช่นS A Tไม่ได้แปลว่าเราสามารถแก้ปัญหาได้¯ S A TNPNP\mathcal{NP}NPNP\mathcal{NP}NPNP\mathcal{NP}co−NPco−NPco-\mathcal{NP}SATSAT\mathsf{SAT}SAT¯¯¯¯¯¯¯¯¯¯SAT¯\overline{\mathsf{SAT}}ในการตั้งค่าตามธรรมชาติ (ซึ่งถูกบันทึกโดยการลดลงของ Cook) สมมติว่าเรามีอัลกอริทึมสำหรับการแก้เราสามารถแก้¯ S A T ได้เพียงแค่เรียกใช้อัลกอริทึมสำหรับS A Tและกลับด้านตรงข้ามSATSAT\mathsf{SAT}S A T¯¯¯¯¯¯¯¯¯¯SAT¯\overline{\mathsf{SAT}}S A TSAT\mathsf{SAT} คำถามของฉันคือเหตุผลที่เราควรจะใช้การลดคาร์พสำหรับทฤษฎีของ -completeness? ความคิดที่เข้าใจง่ายอะไรที่มันจับ? มันเกี่ยวข้องกับวิธีที่เราเข้าใจ "ความแข็งของการคำนวณ" ในโลกจริงอย่างไรยังไม่มีข้อความPยังไม่มีข้อความP\mathcal{NP}

18 cc.complexity-theory  np-hardness  soft-question