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

ฉันกำลังอ่านหนังสือที่ชื่อว่าPrinciples of Computer Science (2008) โดย Carl Reynolds และ Paul Tymann (จัดพิมพ์โดย Schaum's Outlines) บทที่สองแนะนำอัลกอริทึมพร้อมตัวอย่างของการค้นหาตามลำดับซึ่งจะวนซ้ำตามรายการชื่อและส่งกลับ TRUE หากพบชื่อที่กำหนดในรายการ ผู้เขียนพูดต่อไป (หน้า 17): เราบอกว่า "ลำดับการเติบโต" ของอัลกอริธึมการค้นหาตามลำดับคือ n สัญกรณ์สำหรับสิ่งนี้คือ T (n) นอกจากนี้เรายังบอกว่าอัลกอริทึมที่มีลำดับการเจริญเติบโตอยู่ภายในปัจจัยคงที่ของ T (n) มีค่า theta ของ NL พูด "การค้นหาตามลำดับมีทีต้าของ n" ขนาดของปัญหาคือ n ความยาวของรายการที่ค้นหา ฉันพบว่ามันยากที่จะติดตาม หนังสือเล่มนี้เต็มไปด้วยข้อผิดพลาดดังนั้นฉันไม่แน่ใจว่าฉันทำอะไรหายไปหรือมีการพิมพ์ผิดในย่อหน้าด้านบน โดยทั่วไปภาษาอังกฤษฉันไม่ค่อยเห็นประโยคจบด้วย "... พูด" ฉันสับสนมาก T หมายถึงอะไร หนังสือเล่มนี้ไม่ได้อธิบาย มันเป็นเวลาหรือสำหรับที? …

47 algorithms  algorithm-analysis  landau-notation  notation 

ในกระดาษ"ประเภทข้อมูล JSON ที่ซ้ำกันอย่างไม่มีข้อขัดแย้ง"ฉันพบสัญกรณ์นี้เพื่อกำหนด "กฎ" อย่างเป็นทางการ: สัญกรณ์นี้เรียกว่าอะไร? ฉันจะอ่านมันได้อย่างไร ตัวอย่างเช่น: DOCกฎไม่ได้มีอะไรใน "เศษ" ของ - ทำไมไม่? EXECและGETกฎปรากฏว่ามีสองข้อตกลงแยกต่างหากเหนือเส้น, หมายความว่าอะไร? VARกฎยืนออกบิตเช่นกันเนื่องจากในขณะที่กฎระเบียบอื่น ๆ จำนวนมากใช้การจัดเรียงของลูกศรบางส่วน (ซึ่งผมจะใช้เวลาที่จะหมายถึง "หมายถึง") ขึ้นด้านบนนี้เท่านั้นดูเหมือนว่าจะได้รับการบอกว่า x เป็นองค์ประกอบของสิ่งที่ เกือบทุกอย่างจะเต็มไปด้วยข้อความเริ่มต้นAp,ซึ่งข้อความอธิบายว่า "สถานะของแบบจำลอง p ถูกอธิบายโดย Ap, ฟังก์ชันอัน จำกัด บางส่วน" - ผู้อ่านที่เข้าใจในสัญกรณ์นี้มีแนวโน้มที่จะ "เห็น" ส่วนใดของกฎทุกข้อ? ไซต์นี้แนะนำคำถามที่เกี่ยวข้องซึ่งมีสัญกรณ์คล้ายกันมากเกี่ยวกับคำถามความสำคัญของ⟨B, s⟩ -> ⟨B ', s'⟩เป็นกฎเริ่มต้นในคำถามนี้เกี่ยวกับขั้นตอนเล็ก ๆ ความหมาย? - สิ่งนี้ถูกแท็กเป็นซีแมนติกส์เชิงปฏิบัติการและดูเหมือนจะเป็นผู้นำที่แข็งแกร่ง เป็นกรอบที่ฉันควรจะตีความตัวเลขเหล่านี้หรือไม่? คุณสามารถสรุปได้อย่างง่ายดายในรูปแบบ "หลักสูตรผิดพลาด" เพื่อให้แม้ว่าฉันไม่สามารถตรวจสอบความถูกต้องของหลักฐานได้อย่างน้อยที่สุดฉันก็สามารถเข้าใจสิ่งที่พวกเขากำลังพูดถึงในส่วนนี้ได้มากขึ้น?

18 semantics  notation  formal-methods  operational-semantics 

ในหลักสูตรอัลกอริทึมและโครงสร้างข้อมูลของฉันอาจารย์สไลเดอร์และหนังสือ ( Introduction to Algorithms รุ่นที่ 3 ) ใช้คำNILที่แสดงถึงตัวอย่างเช่นลูกของโหนด (ในต้นไม้) ที่ไม่มีอยู่ ครั้งหนึ่งระหว่างการบรรยายแทนที่จะพูดNILเพื่อนร่วมชั้นของฉันพูดnullและอาจารย์แก้ไขเขาและฉันก็ไม่เข้าใจว่าทำไมอาจารย์เน้นคำนี้ มีเหตุผลที่คนใช้คำNILแทนnullหรือnoneหรือคำอื่น ๆ ? ไม่NILได้มีความหมายบางอย่างโดยเฉพาะอย่างยิ่งที่คนอื่นไม่ได้? มีเหตุผลทางประวัติศาสตร์บ้างไหม? โปรดทราบว่าฉันได้เห็นบางสถานที่รอบ ๆ เว็บเช่นคำที่nullใช้แทนNILแต่โดยปกติจะใช้คำสุดท้าย

17 algorithms  terminology  data-structures  notation 

ฉันมักจะใช้สัญลักษณ์สำหรับสตริงที่ว่างเปล่า (คำที่ว่างเปล่าหรือสตริงที่ว่าง) แต่ฉันรู้ว่าบางคนใช้λแทนεεε\varepsilonλλ\lambdaεε\varepsilon ฉันคิดว่ามาจากคำว่า "Empty" อย่างไรก็ตามฉันไม่รู้ว่าต้นกำเนิดของλคืออะไรεε\varepsilonλλ\lambda ในทฤษฎีออโตมาตะมีการเปลี่ยนเอปไซลอนของออโตมาตาและมันก็บอกว่าเป็นการเปลี่ยนแลมบ์ดา ตัวอย่างเช่นซอฟต์แวร์JFLAPใช้สำหรับป้ายกำกับของการเปลี่ยนเอปไซลอนตามค่าเริ่มต้นλλ\lambda ฉันไปที่ต้นทางและค้นหา cs.stackexchange แต่หาไม่เจอ ไม่มีใครรู้อ้างอิงที่อธิบายสิ่งนี้หรือไม่

14 formal-languages  automata  reference-request  notation  history 

ให้เราพูดเช่นฉันกำลังประมวลผลสตริงที่ต้องมีการวิเคราะห์สองสาย ฉันไม่ได้รับข้อมูลเกี่ยวกับความยาวของพวกเขาดังนั้นพวกเขาจึงมาจากสองครอบครัวที่แตกต่างกัน มันจะเป็นที่ยอมรับหรือไม่ที่จะเรียกความซับซ้อนของอัลกอริทึมหรือ (ขึ้นอยู่กับว่าเราใช้ความไร้เดียงสาหรืออัลกอริธึมที่เหมาะสมที่สุด)O ( n + m )O ( n ∗ m )O(n∗m)O(n * m)O ( n + m )O(n+m)O(n + m) ในหลอดเลือดดำที่คล้ายกันให้เราเข้าใจว่าอัลกอริทึมที่เราเลือกต้องใช้สองขั้นตอนจริง ๆ แล้วขั้นตอนการติดตั้งบนสตริงแรกซึ่งช่วยให้เราสามารถประมวลผลสตริงอื่น ๆ จำนวนเท่าใดก็ได้โดยไม่ต้องเสียค่าใช้จ่ายเริ่มแรก จะถือว่าเหมาะสมหรือไม่ที่จะบอกว่ามีการก่อสร้างตามด้วยการคำนวณจำนวนใด ๆO ( m )O ( n )O(n)O(n)O ( m )O(m)O(m) จะเหมาะสมไหมที่จะเรียกพวกเขาว่าเพราะการคำนวณทั้งสองเป็นแบบเชิงเส้น?O ( n )O(n)O(n)

11 time-complexity  asymptotics  landau-notation  notation 

ฉันเรียนรู้ต้นไม้จุดได้เปรียบและฉันพบสิ่งนี้ในขณะที่อ่านโครงสร้างข้อมูลและอัลกอริทึมสำหรับการค้นหาเพื่อนบ้านที่ใกล้ที่สุดในช่องว่างการวัดทั่วไปโดย Peter Yianilos ( การดำเนินการของ SODA 1993 , SIAM, หน้า 311–321; PDF ) pseudocode ต่อไปนี้ปรากฏขึ้นในอัลกอริทึม 1 ฟังก์ชัน Make_vp_tree (S.)ถ้า S= ∅ แล้วกลับ ∅ใหม่ (โหนด);ปม↑.p : = Select_vp ( S);ปม↑.mu : =มัธยฐานs ∈ Sd( p , s ) ;...function Make_vp_tree(S)if S=∅ then return ∅new(node);node↑.p:=Select_vp(S);node↑.mu:=Medians∈Sd(p,s);…\begin{align*} \hspace{2em}&\hspace{-2em} \textbf{function}\text{ Make_vp_tree(}S\text{)}\\ &\textbf{if }S=\emptyset\textbf{ then return …

9 notation