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

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

10 terminology  turing-machines  undecidability 

ฉันอ่านวิกิพีเดียว่าการรวมเป็นกระบวนการในการแก้ปัญหาความพึงพอใจ ในเวลาเดียวกันฉันรู้ว่าตัวแก้เช่นนี้เรียกว่า "SAT solvers" หรือ "SMT solvers" ดังนั้นพวกเขาต่างชื่อกันในสิ่งเดียวกันหรือไม่? ถ้าคุณบอกว่ามันแตกต่างกันโปรดชี้ให้เห็นข้อบกพร่องในการรักษาของฉัน

10 terminology  sat-solvers  unification 

มีคำจำกัดความเกี่ยวกับความสูงเฉลี่ยของต้นไม้ไบนารีหรือไม่? ฉันมีคำถามเกี่ยวกับการสอนเกี่ยวกับการค้นหาความสูงเฉลี่ยของต้นไม้ไบนารีโดยใช้สองวิธีต่อไปนี้: วิธีแก้ปัญหาตามธรรมชาติอาจจะใช้ความยาวเฉลี่ยของเส้นทางที่เป็นไปได้ทั้งหมดจากรากถึงใบไม้นั่นคือ )AVH1( T) = 1# ใบไม้ใน T⋅ ∑วี ใบ Tความลึก( v )avh1⁡(T)=1# leaves in T⋅∑v leaf of Tdepth⁡(v)\qquad \displaystyle \operatorname{avh}_1(T) = \frac{1}{\text{# leaves in } T} \cdot \sum_{v \text{ leaf of } T} \operatorname{depth}(v) อีกทางเลือกหนึ่งคือการกำหนดมันซ้ำ ๆ นั่นคือความสูงเฉลี่ยสำหรับโหนดคือค่าเฉลี่ยสูงกว่าความสูงเฉลี่ยของ subtrees บวกหนึ่งนั่นคือ AVH2( N( l , r ) ) = avh2( …

10 graph-theory  terminology  combinatorics  binary-trees 

ฉันถามคำถาม (เมล็ด) เกี่ยวกับผลรวมของเงื่อนไขของ Landau มาก่อนพยายามวัดอันตรายจากการใช้เครื่องหมาย asymptotics ในทางคณิตศาสตร์ด้วยความสำเร็จที่หลากหลาย ตอนนี้มากกว่าที่นี่กลับเป็นซ้ำกูรูของเราJeffEไม่เป็นหลักนี้: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) ในขณะที่ผลลัพธ์สุดท้ายนั้นถูกต้องฉันคิดว่ามันผิด ทำไม? หากเราเพิ่มการมีอยู่ของค่าคงที่ทั้งหมด (เฉพาะขอบเขตบน) เราก็มี ∑i=1nci⋅1i≤c⋅Hn∑i=1nci⋅1i≤c⋅Hn\qquad \displaystyle \sum_{i=1}^n c_i \cdot \frac{1}{i} \leq c \cdot H_nH_n ตอนนี้เราจะคำนวณจากอย่างไร คำตอบคือฉันเชื่อว่าเราไม่สามารถ:ต้องผูกมัดสำหรับทั้งหมดแต่เราได้รับเพิ่มขึ้นเมื่อเติบโตขึ้น เราไม่รู้อะไรเกี่ยวกับพวกเขา อาจขึ้นอยู่กับเป็นอย่างมากดังนั้นเราจึงไม่สามารถคาดเดาขอบเขตได้:จำกัดอาจไม่มีอยู่จริงcccc1,…,cnc1,…,cnc_1, \dots, c_ncccnnn cicic_innncicic_iiiiccc นอกจากนี้ยังมีปัญหาที่ลึกซึ้งของตัวแปรนี้ที่จะไม่มีที่สิ้นสุดทางด้านซ้ายมือ -หรือ ? ทั้งสอง? ถ้า (เพื่อความเข้ากันได้) ความหมายของคืออะไรรู้ว่า ? ไม่เพียง แต่หมายถึง ? ถ้าเป็นเช่นนั้นเราไม่สามารถผูกพันผลรวมได้ดีกว่า(N)iiinnnnnnΘ(1/i)Θ(1/i)\Theta(1/i)1≤i≤n1≤i≤n1 \leq i …

10 terminology  asymptotics  landau-notation 

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

10 terminology  programming-languages 

ฉันพบว่ามันยากที่จะแยกความแตกต่างระหว่าง Multiprogramming และ Multitasking อย่างชัดเจน แหล่งที่มาหลักของฉันคือWikipediaแต่บทความ WP ดูเหมือนจะขัดแย้งกับแหล่งข้อมูลที่มีชื่อเสียงน้อยกว่า (เช่นอาจารย์วิทยาลัยของฉัน) เมื่อฉันอ่าน WP การประมวลผลหลายจุดเป็นวิธีพื้นฐานของการเพิ่มปริมาณงานของ CPU โดยการสลับบริบทเมื่อกระบวนการรอ I / O Multiprogramming ไม่ได้รับประกันว่าโปรแกรมจะทำงานในเวลาที่เหมาะสม แท้จริงแล้วโปรแกรมแรกอาจทำงานได้นานหลายชั่วโมงโดยไม่จำเป็นต้องใช้อุปกรณ์ต่อพ่วง การแบ่งปันเวลาแบบมีส่วนร่วมซึ่งมีความหมายเหมือนกันกับการทำงานหลายอย่างแบบร่วมมือกันเป็นการปรับปรุงการทำงานแบบหลายโปรแกรม (ซึ่งไม่ได้มีความหมายเหมือนกัน) บริบทซีพียู - สวิทช์เป็นประจำเพื่อให้การแสดงผลของการดำเนินการพร้อมกัน แต่กระบวนการยังคงต้องให้ผลผลิต - และโปรแกรมที่ออกแบบมาไม่ดีสามารถทำให้ระบบอื่น ๆ มัลติทาสกิ้งแบบ Preemptiveใช้การควบคุมการตั้งเวลาที่เข้มงวดมากขึ้นให้ความสำคัญกับกระบวนการบางอย่างมากกว่ากระบวนการอื่น ๆ ภาพรวมนี้ถูกต้องหรือไม่ ถ้าไม่ใช่นั่นเพราะ WP ไม่ถูกต้องหรือเพราะฉันอ่านผิด WP? ทำไมบางแหล่งที่มาดูเหมือนจะทำให้เกิดการรวมหลายโปรแกรมและมัลติทาสกิ้ง?

10 terminology  process-scheduling 

จากมุมมองของพฤติกรรมแบบซีมโทติควิธีใดที่ถือว่าเป็น "ประสิทธิภาพ" อัลกอริทึม? มาตรฐาน / เหตุผลในการวาดเส้นตรงนั้นคืออะไร? โดยส่วนตัวแล้วฉันคิดว่าอะไรก็ตามที่เป็นสิ่งที่ฉันเรียกว่า "พหุนามย่อย" อย่างไร้เดียงสาเช่นนั้นฉ( n ) = o (n2)f(n)=o(n2)f(n) = o(n^2) เช่น n1 + ϵn1+ϵn^{1+\epsilon} จะมีประสิทธิภาพและอะไรก็ตามที่เป็น Ω (n2)Ω(n2)\Omega(n^2)จะเป็น "ไม่มีประสิทธิภาพ" อย่างไรก็ตามฉันได้ยินอะไรก็ตามที่มีคำสั่งพหุนามเรียกว่ามีประสิทธิภาพ อะไรคือเหตุผล

10 algorithms  terminology  asymptotics  landau-notation 

มีสัญลักษณ์เวียนหลายครั้งที่ใช้ในคณิตศาสตร์และเอกสาร CS แต่หลายคนคิดว่าความคุ้นเคยขั้นพื้นฐานที่ดูเหมือนไม่ค่อยสอนในที่เดียว ฉันกำลังมองหาพจนานุกรมบางอย่างที่เหมือนดังต่อไปนี้โดยเฉพาะอย่างยิ่งจากมุมมอง CS มันจะแสดงรายการสัญลักษณ์ทางคณิตศาสตร์พื้นฐานทั้งหมดและให้ความหมายและตัวอย่าง มันจะพูดถึงสัญลักษณ์ที่บางครั้งใช้ในรูปแบบที่เทียบเท่า มันจะบันทึกข้อผิดพลาดเริ่มต้นทั่วไป มันจะพูดคุยเกี่ยวกับรายละเอียดปลีกย่อยที่ล้อมรอบความหมายที่แตกต่างกันของสัญลักษณ์เดียว (เหมือนหลายคำจำกัดความของคำเดียวกันในพจนานุกรม) มันไม่เพียง แต่จะเป็นคำอธิบายสั้น ๆ ของแต่ละสัญลักษณ์เช่นคำอธิบายเดียวเช่น "เซตย่อย" มันจะแสดงให้เห็นว่าสัญลักษณ์บางครั้ง "เกินพิกัด" ตัวอย่างเช่น(xy)(xy)\binom{x}{y}อาจมีzzzเป็นจำนวนเต็ม แต่บางครั้งzzzอาจเป็นชุดที่มีสัญลักษณ์นี้และมันหมายถึงการเลือกองค์ประกอบจากชุดนี้ [n][n][n]บางครั้งหมายถึงชุดจำนวนเต็ม1…n1…n1 \ldots nหรือบางครั้งก็เป็นอาร์เรย์แบบองค์ประกอบเดียว มันอาจพูดถึงวิธีการอธิบาย "วัตถุ" ที่แตกต่างกันทุกชนิดในแง่ของสัญลักษณ์ที่แตกต่างกันหรือวิธีที่เทียบเท่าในการอ้างอิงถึงวัตถุเหล่านั้น กล่าวอีกนัยหนึ่งเช่น API สำหรับวัตถุทางคณิตศาสตร์ นั่นคือบางครั้งมันก็เป็น "คู่มือรูปแบบ" สำหรับความแตกต่างที่แตกต่างกันในวิธีการนำเสนอการเขียนทางคณิตศาสตร์ นี่จะเป็นแหล่งข้อมูลที่มีประโยชน์มากสำหรับทุกคนที่เขียนคำถามในสแต็กการแลกเปลี่ยนทางคณิตศาสตร์ที่คำถามจำนวนมากล้มเหลวที่จะทำให้รู้สึกว่าไม่เหมาะสมกับวิธีการทางคณิตศาสตร์ที่ยุ่งยาก การแนะนำหนังสือบางเล่มมีคุณสมบัติเหล่านี้มากมาย อย่างไรก็ตามความนึกคิดมันจะเป็นการรักษาแยกต่างหาก นอกจากนี้แน่นอนว่ามันจะออนไลน์ มีสัญลักษณ์ยางเป็นตาราง แต่ไม่เป็นไปตามเกณฑ์ดังกล่าว มีใครเห็น "พจนานุกรมสัญลักษณ์" ที่ตรงกับคุณลักษณะเหล่านี้หรือไม่ (หรือมิฉะนั้นดูเหมือนว่าจะเป็นโครงการวิกิหรือโครงการคำถามที่พบบ่อยหากไม่มีการอ้างอิงที่ดีเช่นนี้)

10 terminology  reference-request  education 

กราฟสองส่วนคือระนาบถ้ามันไม่มีหรือผู้เยาว์K3 , 3K3,3K_{3, 3}K5K5K_5 ฉันกำลังมองหาเงื่อนไขที่จำเป็นหรือมีเงื่อนไขเพียงพอที่จะอนุญาตให้วาดแบบแนวระนาบที่ไม่มีขอบ ภาพวาดเหล่านี้เป็นที่น่าพอใจ: จุดยอดทั้งหมดของส่วนหนึ่งถูกวาดบนเส้นแนวตั้งเดี่ยว จุดยอดของส่วนอื่น ๆ จะถูกวาดบนเส้นแนวตั้งแบบขนาน ขอบไม่ตัดยกเว้นที่จุดยอด ขอบทั้งหมดอยู่ในแถบไม่มีที่สิ้นสุดระหว่างเส้นแนวตั้งสองเส้นในจุดที่ 1 ตัวอย่างเช่นภาพวาดทั้งหมดที่นี่ยกเว้นด้านล่างขวาไม่ใช่ตัวอย่าง กราฟด้านล่างซ้ายสามารถวาดใหม่เพื่อให้เป็นไปตามเงื่อนไขโดยการเปลี่ยนตำแหน่งของ Q และ R กราฟสองตัวที่ติดอันดับไม่สามารถถูกวาดใหม่เพื่อให้เป็นไปตามเงื่อนไข กราฟสองอันดับแรกเป็นเพียงสิ่งกีดขวางที่ฉันหาได้ คำถามของฉันคือ: ปัญหานี้มีชื่อหรือไม่? มีสิ่งกีดขวางอื่น ๆ ที่ฉันพลาดไปไหม คำแนะนำใด ๆ เกี่ยวกับวิธีที่ฉันสามารถพิสูจน์ได้ว่าสิ่งกีดขวางทั้งสองนี้ (รวมถึงสิ่งที่ฉันพลาด) ในฐานะผู้เยาว์มีความจำเป็นและเพียงพอ โปรดทราบว่านี่ไม่ใช่สิ่งเดียวกับการอยู่ด้านนอกระนาบ,เป็นระนาบด้านนอก (สามารถวาดเป็นสี่เหลี่ยมจัตุรัส) แต่ไม่สามารถวาดได้เพื่อตอบสนองเงื่อนไขที่ฉันกล่าวถึงข้างต้นK2 , 2K2,2K_{2, 2}

9 graph-theory  terminology  graph-drawing 

ฉันได้ยินคำอธิบายที่เป็นไปได้หลายประการดังนั้นฉันต้องการอ้างอิงที่เชื่อถือได้ อัพเดท 05.19: ฉันสนใจคำถามนี้เพราะมีนักเรียนของฉันคนหนึ่งเขียนในวิทยานิพนธ์ของเขาว่าชื่อนี้มาจากคำอธิบายด้านล่าง (1) จนถึงตอนนี้ฉันคิด / ได้ยินว่ามันมาจากคำอธิบาย (2) ฉันจะรู้สึกไม่ดีทั้งที่ปล่อยให้สิ่งที่ผิดในวิทยานิพนธ์ของเขาเช่นเดียวกับบอกให้เขาลบมันถ้ามันอาจจะถูกต้อง (1) พิจารณาการค้นหาจำนวนเต็มในช่วงเวลา [0,2n−1][0,2n−1][0,2^{n-1}]. เราสามารถหาได้โดยใช้คำถามโดยขอให้ในขั้นตอนที่ไบนารีหลักของตัวเลขnnniiiithithi^{th} (2) ถ้าเรามีพื้นที่ค้นหาที่มีองค์ประกอบเราสามารถหาองค์ประกอบที่ไม่รู้จักโดยคำถามที่ซ้ำ ๆ แยกส่วนที่เหลือของพื้นที่ในสอง2n2n2^n และใช่ฉันรู้ว่า (2) สามารถให้อัลกอริทึมแบบเดียวกับ (1) แต่นั่นไม่ใช่จุดที่นี่ (2) สามารถนำไปใช้สำหรับปัญหาทั่วไปเพิ่มเติม

9 terminology  reference-request  history 

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

9 terminology  computer-architecture  security  memory-hardware  memory-access 

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

9 terminology  dynamic-programming 

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

9 terminology  traveling-salesman 

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

9 terminology  programming-languages  semantics 

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

9 terminology  knowledge-representation  ontologies