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

มันหมายความว่าอย่างไรเมื่อเราบอกว่าอัลกอริทึมเป็น asymptotically ประสิทธิภาพมากขึ้นกว่า ?XXXYYY XXXจะเป็นตัวเลือกที่ดีกว่าสำหรับอินพุตทั้งหมด XXXจะเป็นตัวเลือกที่ดีกว่าสำหรับอินพุตทั้งหมดยกเว้นอินพุตขนาดเล็ก XXXจะเป็นตัวเลือกที่ดีกว่าสำหรับอินพุตทั้งหมดยกเว้นอินพุตขนาดใหญ่ YYYจะเป็นตัวเลือกที่ดีกว่าสำหรับอินพุตขนาดเล็ก ลิงค์สำหรับคำถามนี้อยู่ที่นี่ http://quiz.geeksforgeeks.org/algorithms-analysis-of-algorithms-question-16/ ฉันคิดว่าอัลกอริธึมที่มีประสิทธิภาพมากกว่าแบบ asymptotically ควรทำงานกับอินพุตทั้งหมด แต่ฉันไม่ได้รับเหตุผลที่อยู่เบื้องหลัง "ใช้งานได้กับอินพุตทั้งหมดยกเว้นอินพุตขนาดเล็ก"

12 algorithms  algorithm-analysis  terminology  asymptotics 

ฉันกำลังมองหาที่แคลคูลัสของการก่อสร้างและสถานที่ในแลมบ์ดา Cube ถ้าผมเข้าใจอย่างถูกต้องแกนของลูกบาศก์แต่ละคนสามารถจะคิดว่าเป็นการเพิ่มการดำเนินการอื่นที่เกี่ยวข้องกับประเภทที่จะแคลคูลัสเพียงแค่พิมพ์, \แกนแรกจะเพิ่มตัวดำเนินการชนิดต่อคำ, ตัวดำเนินการชนิดต่อชนิดที่สองและตัวพิมพ์ที่สามที่ขึ้นอยู่กับหรือตัวดำเนินการแบบระยะต่อชนิด CoC มีทั้งหมดสามอย่างλ→λ→\lambda_\to อย่างไรก็ตาม CoC แนะนำคำว่าและระบุว่าตามกฎการอนุมานแต่ไม่ได้ใช้ ฉันเข้าใจว่ามันมีไว้สำหรับข้อเสนอที่บาร์นี้ แต่ข้อเสนอเชิงตรรกะไม่ได้กำหนดไว้ในแง่ของมันPropPropPropProp:TypeProp:TypeProp : Type คุณช่วยอธิบายให้ฉันฟังได้ว่าสำหรับอะไรที่ไหน / เมื่อไหร่และอธิบายในแง่ของแกนของลูกบาศก์ (ถ้าเป็นไปได้ที่จะทำเช่นนั้น)PropPropProp

11 terminology  lambda-calculus  type-theory  dependent-types 

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

11 terminology  reference-request  programming-languages  object-oriented 

"เหนี่ยวนำ" และ "เรียกซ้ำ" หมายถึงคล้ายกันมากหรือไม่ ตัวอย่างเช่นหากมีอัลกอริทึมที่กำหนดเวกเตอร์ n-dim โดยพิจารณาส่วนประกอบ k + 1 แรกตามองค์ประกอบ k แรกที่ได้รับการพิจารณาและเริ่มต้นด้วยองค์ประกอบแรกคุณจะเรียกมันว่าทำงานซ้ำหรือเหนี่ยวนำได้หรือไม่? ฉันใช้คำว่า "ซ้ำซาก" แต่วันนี้มีคนบอกว่า "เหนี่ยวนำ"

11 algorithms  terminology  recursion  induction 

ที่ทำงานฉันได้รับมอบหมายให้อนุมานข้อมูลบางประเภทเกี่ยวกับภาษาแบบไดนามิก ฉันเขียนลำดับของข้อความไปยังletนิพจน์ที่ซ้อนกันเช่น: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T; Z } else { F; Z } เนื่องจากฉันเริ่มต้นจากข้อมูลประเภททั่วไปและพยายามอนุมานประเภทที่เฉพาะเจาะจงมากขึ้นตัวเลือกที่เป็นธรรมชาติคือประเภทการปรับแต่ง ตัวอย่างเช่นตัวดำเนินการตามเงื่อนไขส่งคืนการรวมของประเภทของสาขาที่เป็นจริงและเท็จ …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

ฉันต้องการระบุว่าการให้พีชคณิตเป็นข้อมูลเข้าสู่อัลกอริทึมหมายความว่าอย่างไรและไม่พบวรรณกรรมเกี่ยวกับเรื่องนี้มากนัก ดังนั้นก่อนอื่นฉันต้องการถามว่าคุณสามารถแนะนำหนังสือหรือกระดาษที่เกี่ยวข้องกับหัวข้อการวิเคราะห์ความซับซ้อนของ algebras บนทุ่งและอธิบายปัญหาการตัดสินใจได้อย่างชัดเจนหรือไม่ หลังจากขุดค้นแล้วฉันพบบางสิ่งบางอย่างและต้องการแบ่งปันที่นี่และถามเพิ่มเติมว่าคำจำกัดความเหมาะสมหรือไม่และสอดคล้องกับวรรณกรรม (ถ้ามี): คำที่เกี่ยวข้อง: Let เป็นฟิลด์และเป็นสร้างขีดสับเปลี่ยนFพีชคณิตพื้นฐานสารเติมแต่งข1 , ... , ขn ∈ F ตอนนี้เราต้องการจับโครงสร้าง multiplicative ของพีชคณิตและดังนั้นจึงเขียนทุกผลิตภัณฑ์ขององค์ประกอบพื้นฐานเป็นการรวมกันเชิงเส้นขององค์ประกอบพื้นฐานทั้งหมด: ∀ 1 ≤ ฉัน, j , k ≤ n : ∃ a ฉันj k : b ฉันb j = n ∑FF\mathbb FAAAFF\mathbb Fb1,…,bn∈Fb1,…,bn∈Fb_1,\ldots, b_n\in\mathbb Fฉันเจkจะเรียกว่าค่าสัมประสิทธิ์โครงสร้าง เรามีสิ่งนั้นโดยตรง: A≅ F [ b 1 ,…, …

11 computability  terminology  decision-problem 

นี่เป็นสิ่งที่สำคัญสำหรับคำถามอื่น ๆ ของฉันเกี่ยวกับการตรวจสอบกองซ้อน การตรวจสอบสแต็กเป็นกลไกความปลอดภัยที่นำมาใช้ใน JVM เพื่อจัดการกับรหัสการทำงานที่มาจากสถานที่ที่มีระดับความน่าเชื่อถือต่างกัน คำถามนี้มีจุดมุ่งหมายเพื่อค้นหาคำอธิบายอย่างง่ายของฟังก์ชันการทำงาน ดังนั้น: การตรวจสอบสแต็คทำงานอย่างไร

11 terminology  security  stack-inspection 

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

11 algorithms  terminology  graphs  graph-traversal 

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

11 complexity-theory  terminology 

คุณจะได้รับอาร์เรย์ของความยาวnแต่ละองค์ประกอบของอาเรย์เป็นของหนึ่งในคลาสคุณควรจะจัดเรียงอาร์เรย์ใหม่โดยใช้จำนวนการสลับขั้นต่ำเพื่อให้องค์ประกอบทั้งหมดจากคลาสเดียวกันถูกจัดกลุ่มเข้าด้วยกันเสมอ ตัวอย่างเช่น: ยังมีข้อตกลงที่ใช้ได้อีกสามข้อที่เหลืออยู่nnnKKK[2,1,3,3,2,2]⟶[2,2,2,1,3,3], or[2,1,3,3,2,2]⟶[1,2,2,2,3,3], or[2,1,3,3,2,2]⟶[3,3,2,2,2,1].[2,1,3,3,2,2]⟶[2,2,2,1,3,3], or[2,1,3,3,2,2]⟶[1,2,2,2,3,3], or[2,1,3,3,2,2]⟶[3,3,2,2,2,1]. \begin{align*} &[2, 1, 3, 3, 2, 2] \longrightarrow [2, 2, 2, 1, 3, 3], \text{ or} \\ &[2, 1, 3, 3, 2, 2] \longrightarrow [1, 2, 2, 2, 3, 3], \text{ or} \\ &[2, 1, 3, 3, 2, 2] \longrightarrow [3, 3, 2, …

10 terminology  reference-request  sorting  arrays 

โดยประมาณแล้วกราฟที่ไม่ได้บอกทิศทางนั้นคล้ายกับกราฟกำกับที่แต่ละขอบ (v, w) มีขอบเสมอ (w, v) นั่นเป็นการชี้ให้เห็นว่าอาจเป็นที่ยอมรับได้หากดูกราฟที่ไม่ได้บอกทิศทางเป็นส่วนย่อยของกราฟกำกับ (อาจมีข้อ จำกัด เพิ่มเติมที่การเพิ่ม / ลบขอบสามารถทำได้ในคู่ที่ตรงกันเท่านั้น) อย่างไรก็ตามตำรามักจะไม่ปฏิบัติตามการรักษานี้และชอบที่จะกำหนดกราฟที่ไม่ได้บอกทิศทางเป็นแนวคิดแยกต่างหากแทนที่จะเป็นประเภทย่อยของกราฟกำกับ มีเหตุผลอะไรบ้าง?

10 graphs  terminology 

ฉันไม่รู้คำศัพท์ที่ถูกต้องสำหรับการถามคำถามนี้ดังนั้นฉันจะอธิบายด้วยคำจำนวนมากแทนอดทนกับฉัน พื้นหลังดังนั้นเราจึงอยู่ในหน้าเดียวกัน: โปรแกรมมักจะมีแคช - การแลกเปลี่ยนเวลา / หน่วยความจำ ความผิดพลาดของโปรแกรมเมอร์ทั่วไปคือการลืมปรับปรุงค่าแคชหลังจากเปลี่ยนหนึ่งในแหล่งข้อมูลต้นกำเนิด / ทำนอง แต่กระบวนทัศน์การเขียนโปรแกรม dataflow หรือ FRP นั้นเป็นภูมิคุ้มกันต่อความผิดพลาดดังกล่าว หากเรามีฟังก์ชั่นบริสุทธิ์จำนวนมากและเชื่อมต่อเข้าด้วยกันในกราฟอ้างอิงโดยตรงจากนั้นโหนดสามารถมีค่าเอาต์พุตแคชและนำกลับมาใช้ใหม่ได้จนกว่าอินพุตใด ๆ ของฟังก์ชั่นจะเปลี่ยนไป สถาปัตยกรรมระบบนี้อธิบายไว้ในเอกสารการแคชในสภาพแวดล้อมที่ใช้ดาต้าโฟลว์และในภาษาที่จำเป็นต้องมีความคล้ายคลึงกับการบันทึกข้อมูลมากหรือน้อย ปัญหา : เมื่อหนึ่งในอินพุตของฟังก์ชั่นเปลี่ยนแปลงเรายังคงต้องใช้งานฟังก์ชั่นโดยรวมแล้วทิ้งเอาต์พุตแคชและคำนวณใหม่อีกครั้งตั้งแต่เริ่มต้น ในหลายกรณีดูเหมือนว่าจะสิ้นเปลืองสำหรับฉัน ลองพิจารณาตัวอย่างง่ายๆที่สร้างรายการ "5 อันดับแรก" ข้อมูลอินพุตเป็นรายการที่ไม่เรียงลำดับของอะไรก็ตาม มันถูกส่งผ่านเป็นอินพุตไปยังฟังก์ชันที่เอาต์พุตรายการที่เรียงลำดับ ซึ่งในทางกลับกันจะมีการป้อนฟังก์ชั่นที่ใช้ 5 รายการแรกเท่านั้น ใน pseudocode: input = [5, 20, 7, 2, 4, 9, 6, 13, 1, 45] intermediate = sort(input) final_output = …

10 terminology  reference-request  functional-programming  programming-paradigms 

ตามPeter Selinger , แลมบ์ดาแคลคูลัสเป็นพีชคณิต (PDF) ในช่วงต้นของบทความนี้เขาพูดว่า: การตีความ combinatory ของแคลคูลัสแลมบ์ดาเป็นที่รู้จักกันไม่สมบูรณ์เพราะมันไม่ได้ตอบสนองความξξξ -rule: ภายใต้การตีความ, M=NM=NM = Nไม่ได้หมายความถึงλx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N (Barendregt, 1984) คำถาม: การเทียบเคียงแบบนี้หมายถึงอะไร? เมื่อนิยามคำนิยามของความเท่าเทียมนี้แล้วอะไรคือตัวอย่างของนัยที่เกี่ยวข้อง?

10 terminology  lambda-calculus  combinatory-logic 

สัญกรณ์ใดที่ใช้เพื่อพูดคุยเกี่ยวกับสัมประสิทธิ์ของฟังก์ชั่นในสัญกรณ์ใหญ่ -O ฉันมีสองหน้าที่: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 เห็นได้ชัดว่าทั้งสองฟังก์ชั่นคือแน่นอนแต่นั่นไม่อนุญาตให้มีการเปรียบเทียบมากไปกว่านั้น ฉันจะพูดถึงค่าสัมประสิทธิ์ 7 และ 3 ได้อย่างไรการลดค่าสัมประสิทธิ์เป็น 3 ไม่เปลี่ยนความซับซ้อนเชิงซีโมติค แต่ก็ยังคงสร้างความแตกต่างอย่างมีนัยสำคัญต่อการใช้งานไทม์ / หน่วยความจำO(x2)O(x2)O(x^2)Θ(x2)Θ(x2)\Theta(x^2) มันเป็นเรื่องที่ไม่ถูกต้องที่จะบอกว่าคือและเป็น ? มีสัญกรณ์อื่น ๆ ที่คำนึงถึงสัมประสิทธิ์หรือไม่? หรือจะเป็นวิธีที่ดีที่สุดในการหารือเรื่องนี้คืออะไร?fffO(7x2)O(7x2)O(7x^2)gggO(3x2)O(3x2)O(3x^2)

10 terminology  asymptotics  landau-notation 

สำหรับฟังก์ชั่นหรือการคำนวณเรามีเงื่อนไขดังนี้: กำหนดขึ้น - กำหนด บริสุทธิ์ - ความบริสุทธิ์ ตอนนี้คำนามที่เกี่ยวข้องที่ถูกต้องสำหรับผลข้างเคียงฟรีคืออะไร? "ผลข้างเคียง freeness"? "เสรีภาพผลข้างเคียง"? "Non-ด้านที่มีประสิทธิภาพ"?

10 terminology  programming-languages