คำถามติดแท็ก terminology

ฉันอยู่ในหลักสูตรเกี่ยวกับการคำนวณและความซับซ้อนและไม่สามารถเข้าใจความหมายของคำเหล่านี้ได้ สิ่งที่ฉันรู้ก็คือว่า NP เป็นเซตย่อยของ NP-complete ซึ่งเป็นเซตย่อยของ NP-hard แต่ฉันไม่รู้ว่าพวกมันหมายถึงอะไรจริง ๆ วิกิพีเดียไม่ได้ช่วยอะไรมากนักเนื่องจากคำอธิบายยังอยู่ในระดับที่สูงเกินไป

247 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

ในชั้นเรียนอัลกอริทึมเบื้องต้นส่วนใหญ่จะมีการแนะนำสัญลักษณ์เช่น (Big O) และและนักเรียนมักจะเรียนรู้ที่จะใช้สิ่งเหล่านี้เพื่อค้นหาความซับซ้อนของเวลาΘOOOΘΘ\Theta แต่มีสัญลักษณ์อื่น ๆ เช่น ,และ\มีสถานการณ์เฉพาะใดบ้างที่จะให้สัญกรณ์หนึ่งเป็นที่นิยมมากกว่าอีกรูปแบบหนึ่ง?โอห์มโอห์มโอooΩΩ\Omegaωω\omega

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

หากคุณคำนวณพื้นที่ของสี่เหลี่ยมคุณเพียงแค่คูณความสูงและความกว้างแล้วเอาหน่วยสี่เหลี่ยมกลับมา ตัวอย่าง: 5 ซม. * 10 ซม = 50 ซม ในทางตรงกันข้ามถ้าคุณคำนวณขนาดของรูปภาพคุณก็คูณความสูงและความกว้างด้วย แต่คุณจะได้หน่วยพิกเซลกลับมาเช่นเดียวกับที่เป็นหน่วยของความสูงและความกว้างก่อนที่จะทำการคูณ ตัวอย่าง: สิ่งที่คุณคำนวณจริงคือ: 3840 Pixel * 2160 Pixel = 8294400 Pixel สิ่งที่ฉันคาดหวังคือ: 3840 Pixel * 2160 Pixel = 8294400 Pixel² เหตุใดหน่วยโฆษณาที่คูณพิกเซลไม่ได้ถูกยกกำลังสอง

79 terminology 

เมื่อไม่นานมานี้ฉันได้อ่านเกี่ยวกับแคลคูลัสแลมบ์ดา แต่ฉันไม่สามารถหาคำอธิบายได้ว่าทำไมมันจึงเรียกว่า "แลมบ์ดา" หรือที่มาของนิพจน์ มีใครอธิบายต้นกำเนิดของคำศัพท์นี้ได้บ้าง

73 terminology  computation-models  lambda-calculus  history 

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

68 terminology  logic  proof-techniques  formal-methods  coinduction 

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

61 terminology  distributed-systems  parallel-computing 

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

57 terminology  programming-languages  type-theory  functional-programming  dependent-types 

ทำไมในวิทยาการคอมพิวเตอร์ความซับซ้อนใด ๆ ที่มากที่สุดในพหุนามถือว่ามีประสิทธิภาพ? สำหรับแอปพลิเคชันเชิงปฏิบัติใด ๆ(a)อัลกอริทึมที่มีความซับซ้อนนั้นเร็วกว่าอัลกอริธึมที่ใช้ในเวลาพูดแต่ตัวแรกถือว่าไม่มีประสิทธิภาพในขณะที่หลังมีประสิทธิภาพ ตรรกะอยู่ที่ไหน! n 80nlognnlog⁡nn^{\log n}n80n80n^{80} (ก) สมมติตัวอย่างเช่นจำนวนของอะตอมในจักรวาลจะอยู่ที่ประมาณ{80}1080108010^{80}

50 algorithms  complexity-theory  terminology  efficiency 

นี่เป็นคำถามพื้นฐาน แต่ฉันคิดว่าเหมือนกับเนื่องจากคำที่ใหญ่กว่าควรมีอิทธิพลเหนือเราไปไม่สิ้นสุด? นอกจากนี้ที่จะแตกต่างจากO (\ นาที (m, n)) นั่นถูกต้องใช่ไหม? ฉันเห็นสัญกรณ์นี้โดยเฉพาะเมื่อพูดถึงอัลกอริธึมกราฟ ตัวอย่างเช่นคุณจะเห็นเป็นประจำ: O (| V | + | E |) (เช่นดูที่นี่ )O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| + |E|)

44 terminology  asymptotics  mathematical-analysis  landau-notation 

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

44 terminology  parallel-computing  concurrency 

ใน "บิ๊กโอ" สัญลักษณ์ทั่วไปมีชื่อสามัญ (แทนที่จะพูดว่า "โอ้ปัจจัยคงที่"): O (1)คือ "คงที่" O (บันทึก n)คือ "ลอการิทึม" O (n)คือ "เชิงเส้น" O (n ^ 2)คือ "กำลังสอง" O (n * log n)คือ ??? มันเป็นแค่ "n log n" หรือมีชื่อพิเศษเหมือนด้านบนหรือไม่?

40 terminology  asymptotics 

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

40 algorithms  complexity-theory  formal-languages  terminology  reference-question 

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

39 terminology  history 

ฉันเคยได้ยินคำว่า "แฮช" ที่ใช้ในบริบทต่าง ๆ (ภายในโลกแห่งการคำนวณ) ที่มีความหมายต่างกัน ตัวอย่างเช่นในหนังสือ Learn Python the Hard Way ในบทที่เกี่ยวกับพจนานุกรมว่ากันว่า "Python เรียกพวกเขาว่า" dicts "" ภาษาอื่น ๆ เรียกพวกเขาว่า "hash" "ดังนั้นพจนานุกรม hash คืออะไร? การใช้งานทั่วไปอื่น ๆ ของคำที่เกี่ยวข้องกับการเข้ารหัส ฉันเคยได้ยินคน (& อ่าน) ด้วยการใช้คำว่า "แฮช" เป็นฟังก์ชั่นเฉพาะในการวางโปรแกรมระดับสูง แล้วมันคืออะไรกันแน่? ทุกคน (ตามเวลาและใครมีความรู้) ได้โปรดอธิบาย nitty-gritties ของ "hash (หรือ hash)" ได้หรือไม่?

38 terminology  hashing 

สรุป:ตามทฤษฎีบทของไรซ์ทุกอย่างเป็นไปไม่ได้ แต่ถึงกระนั้นฉันก็ทำสิ่งนี้เป็นไปไม่ได้ตลอดเวลา! แน่นอนทฤษฎีบทของไรซ์ไม่เพียงแค่พูดว่า "ทุกอย่างเป็นไปไม่ได้" มันบอกอะไรบางอย่างที่ค่อนข้างเฉพาะเจาะจง: "คุณสมบัติของโปรแกรมคอมพิวเตอร์ทุกโปรแกรมไม่สามารถคำนวณได้" (ถ้าคุณต้องการที่จะแยกเส้นผมคุณสมบัติ "ไม่สำคัญ" ทุกอย่างนั่นคือคุณสมบัติที่โปรแกรมทั้งหมดมีหรือไม่มีโปรแกรมที่มีการคำนวณได้เล็กน้อย แต่คุณสมบัติอื่น ๆ นั้นไม่สามารถคำนวณได้) นั่นคือสิ่งที่ทฤษฎีบทพูดหรือดูเหมือนจะพูด และน่าจะมีคนฉลาดจำนวนมากได้ตรวจสอบความถูกต้องของทฤษฎีนี้อย่างรอบคอบ แต่ดูเหมือนว่าจะท้าทายตรรกะอย่างสมบูรณ์! มีคุณสมบัติมากมายของโปรแกรมที่ไม่สำคัญในการคำนวณ !! ตัวอย่างเช่น: โปรแกรมดำเนินการกี่ขั้นตอนก่อนหยุดพัก ในการตัดสินใจว่าจำนวนนี้มี จำกัด หรือไม่มีที่สิ้นสุดเป็นปัญหาการหยุดชะงักอย่างแม่นยำซึ่งไม่สามารถคำนวณได้ ที่จะตัดสินใจว่าตัวเลขนี้เป็นมากหรือน้อยกว่าบาง จำกัดเป็นที่น่ารำคาญ! เพียงเรียกใช้โปรแกรมนานถึงnขั้นตอนและดูว่าหยุดทำงานหรือไม่ ง่าย!nnnnnn โปรแกรมใช้หน่วยความจำมากกว่าหรือน้อยกว่าหน่วยในขั้นตอนการเอ็มครั้งแรกหรือไม่ คำนวณได้เล็กน้อยnnnม.mm ข้อความของโปรแกรมพูดถึงตัวแปรที่ชื่อหรือไม่? การวิเคราะห์ข้อความเล็กน้อยจะเปิดเผยคำตอบkkk โปรแกรมเรียกใช้คำสั่งหรือไม่ สแกนข้อความของโปรแกรมอีกครั้งเพื่อค้นหาชื่อคำสั่งนั้นσσ\sigma ฉันสามารถเห็นความอุดมสมบูรณ์ของคุณสมบัติที่ทำดูไม่ใช่คำนวณเช่นกัน; เช่นการเติมเต็มจำนวนของโปรแกรมทำงานเป็นจำนวนเท่าใด? เกือบจะเหมือนกันกับการถามว่ามีกี่ขั้นตอนในการทำงานของโปรแกรมซึ่งเป็นปัญหาการหยุดชะงัก แต่ดูเหมือนว่ามีคุณสมบัติโปรแกรมจำนวนมากซึ่งง่ายต่อการคำนวณ ทฤษฎีบทของไรซ์ยังยืนยันว่าไม่มีใครสามารถคำนวณได้ สิ่งที่ฉันหายไปที่นี่?

37 terminology  computability  undecidability  rice-theorem