การวิเคราะห์แบบ Asymptotic สำหรับตัวแปรสองตัว?


11

การวิเคราะห์เชิงเส้นกำกับ (big o, little o, theta ใหญ่, theta ใหญ่ ฯลฯ ) ถูกกำหนดไว้อย่างไรสำหรับฟังก์ชั่นที่มีตัวแปรหลายตัว?

ฉันรู้ว่าบทความ Wikipedia มีหัวข้ออยู่ แต่ใช้สัญกรณ์ทางคณิตศาสตร์จำนวนมากซึ่งฉันไม่คุ้นเคย ฉันยังพบกระดาษต่อไปนี้: http://people.cis.ksu.edu/~rhowell/asymptotic.pdfอย่างไรก็ตามกระดาษนี้มีความยาวมากและให้การวิเคราะห์ที่สมบูรณ์ของการวิเคราะห์เชิง asymptotic แทนที่จะให้คำจำกัดความ การใช้สัญลักษณ์ทางคณิตศาสตร์บ่อยครั้งทำให้ยากที่จะเข้าใจ

ใครสามารถให้คำจำกัดความของการวิเคราะห์เชิงเส้นกำกับโดยไม่มีเครื่องหมายทางคณิตศาสตร์ที่ซับซ้อน?


1
เกี่ยวข้องอย่างมาก: ความหมายของ O (m + n) คืออะไร?
Juho

คำตอบ:


8

สัญลักษณ์เชิงเส้นกำกับสำหรับฟังก์ชันหลายตัวแปรถูกกำหนดแบบอะนาล็อกกับตัวแปรตัวเดียว ในกรณีที่ตัวแปรเดียวเราบอกว่าและถ้าหากมีอยู่คงC , Nเช่นว่าทุกn > Nเรามี ( n ) C กรัม( n ) . ในคำอื่น ๆf ( n )มีขอบเขตบนโดยบางส่วนของg ( n )(n)O(ก.(n)),ยังไม่มีข้อความn>ยังไม่มีข้อความ(n)ก.(n)(n)ก.(n)สำหรับทุกมีขนาดใหญ่กว่าบางคนคงยังไม่มีnยังไม่มีข้อความ

ในกรณีหลายตัวแปรนิยามเกือบจะเหมือนกันยกเว้นคุณมีตัวแปรอีกสองสามข้อที่ต้องกังวล สมมุติว่าเป็นฟังก์ชันของตัวแปรสองตัว เราต้องการผูกfจากด้านบนโดยฟังก์ชันอื่นของตัวแปรสองตัว ดังนั้นเราจึงบอกว่าF ( n , ม. ) O ( กรัม( n , ม. ) )และถ้าหากมีอยู่คงC , Nเช่นว่าทุกn > Nและ> Nเรามี(n,ม.)f(n,m)O(g(n,m))C,Nn>Nm>N ) นิยามเกือบจะเหมือนกันทุกประการยกเว้นตอนนี้ตัวแปรทั้งหมดของเราต้องมากกว่าค่าคงที่ N ที่แน่นอนf(n,m)Cg(n,m)N

บทความวิกิพีเดียใช้หมายถึงเวกเตอร์ในR dซึ่งหมายความว่าfและgเป็นฟังก์ชันหลายตัวแปรของตัวแปรd (เช่นf , g : R dR ) บอกว่าx ฉัน > Nทั้งหมดของฉันหมายความว่าส่วนประกอบของแต่ละxจะต้องมากกว่าNxRdfgdf,g:RdRxi>Nผมxยังไม่มีข้อความ


2
ขอบคุณ! เพิ่งยืนยัน แต่เป็นคำจำกัดความ: (1) "สำหรับทุก n> N และ m> N" หรือ (2) "สำหรับทุก n> N หรือ m> N"? คุณและ Wikipedia ใช้คำจำกัดความ "และ" อย่างไรก็ตาม CLRS ใช้นิยาม "หรือ"
sas

1
มันคือ "และ" แน่นอน
Marc Khoury
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.