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

ฉันมีคำจำกัดความของอัลกอริทึมแบบ in-situ จากอาจารย์ แต่ฉันไม่เข้าใจ อัลกอริธึมในแหล่งกำเนิดอ้างถึงอัลกอริธึมที่ทำงานกับหน่วยความจำΘ (1) นั่นหมายความว่าอย่างไร?

13 algorithms  terminology  landau-notation 

ฉันเพิ่งพบประโยคนี้ในหน้า 6 ของ Garey และ Johnson "คอมพิวเตอร์และการใช้งานไม่ได้" ขั้นตอนวิธีการใด ๆ ที่มีเวลาซับซ้อนฟังก์ชั่นไม่สามารถกระโดดดังนั้นจะเรียกว่าอัลกอริทึมเวลาชี้แจง (แม้ว่ามันควรจะตั้งข้อสังเกตว่าคำนิยามนี้รวมถึงเวลาที่ไม่ใช่พหุนามฟังก์ชั่นความซับซ้อนบางอย่างเช่นซึ่งไม่ได้รับการยกย่องว่าเป็นปกติชี้แจง ฟังก์ชั่น).nlognnlog⁡nn^{\log n} คำถามของฉันดังต่อไปนี้ ถ้าไม่ใช่พหุนามและเลขชี้กำลังแล้วฟังก์ชันนี้เรียกว่าอะไร? สิ่งนี้มีชื่อหรือกรณีพิเศษหรือไม่?nlognnlog⁡nn^{\log n} ขอขอบคุณ.

13 algorithms  terminology  polynomial-time 

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

13 algorithms  terminology  search-algorithms 

ฉันยังสับสนอยู่บ้างกับคำว่า "ความยาวขาเข้า" และ "ขนาดอินพุต" เมื่อใช้ในการวิเคราะห์และอธิบายขอบเขตบนที่ไม่มีอาการสำหรับอัลกอริทึม ดูเหมือนว่าความยาวของอัลกอริทึมนั้นขึ้นอยู่กับชนิดของข้อมูลจำนวนมากและอัลกอริทึมที่คุณกำลังพูดถึง ผู้เขียนบางคนอ้างถึงความยาวอินพุตกับขนาดของอักขระที่ต้องใช้เพื่อแสดงอินพุตดังนั้น "abcde" หากใช้เป็นชุดอินพุตในอัลกอริทึมจะมี "ความยาวอินพุต" 6 ตัว หากแทนที่จะเป็นตัวอักษรเรามีจำนวน (เช่นจำนวนเต็ม) บางครั้งการแทนแบบไบนารี่จะใช้แทนตัวอักษรดังนั้น "ความยาวอินพุต" จะถูกคำนวณเป็น (เป็น L เป็นจำนวนสูงสุดในชุดอินพุต)ยังไม่มีข้อความ∗ l o g( L )N∗log(L)N*log(L) มีปัญหาอื่น ๆ ที่แม้ว่าชุดอินพุตเป็นตัวเลข แต่พวกเขาอธิบาย "ความยาวอินพุต" เป็น "ตัวแปรการตัดสินใจ" ดังนั้นสำหรับชุดอินพุตความยาว N ที่มีตัวเลขในช่วงความยาวอินพุตนั้นคือ เพียงแค่ N (ผลรวมย่อยเช่น) หรือยิ่งซับซ้อนจำนวนของค่าสถานที่ไบนารีที่ใช้ในการระบุปัญหา (สิ่งที่ฉันเชื่อว่าเป็นเพียงเช่นเดียวกับ ) N ∗ l o g ( L )0 - …

13 complexity-theory  terminology  algorithm-analysis  time-complexity  runtime-analysis 

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

13 terminology  lambda-calculus  functional-programming  object-oriented 

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

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

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

13 terminology  reference-request  distributed-systems  history 

จากสิ่งที่ฉันอ่านใน preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. นี่คือนิยามPTAS : รูปแบบการประมาณเวลาพหุนาม ( PTAS ) สำหรับปัญหาเป็นรูปแบบการประมาณซึ่งความซับซ้อนของเวลาคือพหุนามในขนาดอินพุตXXX และนิยามของ FPTAS เวลาพหุนามอย่างเต็มที่ประมาณโครงการ ( FPTAS ) สำหรับปัญหา เป็นโครงการที่มีความซับซ้อนประมาณเวลาพหุนามในขนาดการป้อนข้อมูลและยังพหุนามใน 1 / εXXXϵϵ\epsilon จากนั้นผู้เขียนพูดว่า: ดังนั้นสำหรับ PTAS …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

ฉันกำลังอ่านคำถามความสอดคล้องและความสมบูรณ์หมายถึงความสมบูรณ์หรือไม่ และคำสั่งแรกในนั้นบอกว่า: ฉันเข้าใจว่าความสมบูรณ์นั้นหมายถึงความมั่นคง ซึ่งฉันค่อนข้างงงเกี่ยวกับเพราะฉันคิดว่าความแข็งแรงเป็นคำสั่งที่อ่อนแอกว่าความสอดคล้อง (เช่นฉันคิดว่าระบบที่สอดคล้องต้องเป็นเสียง แต่ฉันเดาว่ามันไม่เป็นความจริง) ฉันใช้นิยามที่ไม่เป็นทางการ Scott Aaronson ใช้ในหลักสูตร 6.045 / 18.400 ที่ MITเพื่อความมั่นคงและความมั่นคง: Soundness = ระบบพิสูจน์เป็นเสียงถ้าคำสั่งทั้งหมดที่พิสูจน์นั้นเป็นจริง เช่น IF ( ϕϕ\phiสามารถพิสูจน์ได้)⟹⟹\implies( ϕϕ\phiเป็นจริง) ดังนั้นหาก (มีเส้นทางไปยังสูตร) ​​แล้ว (สูตรนั้นเป็นจริง) ความสอดคล้อง = ระบบที่สอดคล้องไม่เคยพิสูจน์ A และไม่ (A) มีเพียง A หรือการปฏิเสธเท่านั้นที่สามารถเป็นจริงได้ การใช้คำจำกัดความเหล่านั้น (อาจไม่เป็นทางการ) ในใจฉันได้สร้างตัวอย่างต่อไปนี้เพื่อแสดงให้เห็นว่ามีระบบที่มีเสียง แต่ไม่สอดคล้องกัน: CharlieSystem≜{Axioms={A,¬A},InferenceRules={NOT(⋅)}}CharlieSystem≜{Axioms={A,¬A},InferenceRules={NOT(⋅)}} CharlieSystem \triangleq \{ Axioms=\{A, \neg A \}, InferenceRules=\{NOT(\cdot) \} …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

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

12 terminology  reference-request 

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

12 terminology  compilers  functional-programming 

ว่ากันว่าทฤษฎีการคำนวณก็เรียกอีกอย่างว่าทฤษฎีการเรียกซ้ำ ทำไมถึงเรียกว่าเป็นอย่างนั้น? เหตุใดการเรียกซ้ำจึงมีความสำคัญอย่างยิ่งนี้

12 computability  terminology  history 

คลาสความซับซ้อนหมายถึงอะไร ฉันรู้ว่า⊕ Pเป็นคลาสที่ซับซ้อนซึ่งมีภาษาAซึ่งมีพหุนามเวลา n พม. กำหนดด้วยเครื่องจักรทัวริงMซึ่งx ∈ Aถ้าจำนวนของการยอมรับสถานะของเครื่องMในอินพุตxนั้นแปลก⊕ P⊕ P⊕P⊕P\oplus P^{\oplus P}⊕ P⊕P\oplus PAAAMMMx ∈ Ax∈Ax \in AMMMxxx แต่หมายถึงอะไร ฉันไม่สามารถติดตามสิ่งที่มันทำจริง :)⊕ P⊕ P⊕P⊕P\oplus P^{\oplus P} อะไรคือผลกระทบในทางปฏิบัติของระดับความซับซ้อนดังกล่าวและวิธีการที่จะเป็นไปได้ที่จะแสดงให้เห็นว่า ?⊕ P⊕ P= ⊕ P⊕P⊕P=⊕P\oplus P^{\oplus P} = \oplus P

12 complexity-theory  terminology  complexity-classes 

ถ้าไม่เช่นนั้นจะมีความหมายว่าอย่างไรสำหรับบางรัฐและบางสัญลักษณ์ ,ไม่มีอยู่?a δ ( q , a )qQqaaaδ(q,a)δ(Q,a)\delta(q, a)

12 terminology  automata  finite-automata 

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

12 terminology  machine-learning  pattern-recognition  bayesian-statistics