มีการวิเคราะห์ทางคณิตศาสตร์อัลกอริทึมหรือไม่


11

มีทฤษฎีกราฟอัลกอริทึม / ทฤษฎีจำนวน / combinatorics / ทฤษฎีข้อมูล / ทฤษฎีเกม

มีการวิเคราะห์ทางคณิตศาสตร์อัลกอริทึมหรือไม่

ตามวิกิการวิเคราะห์ทางคณิตศาสตร์รวมถึงทฤษฎีของความแตกต่าง, การรวม, การวัด, ขีด จำกัด , ชุดอนันต์และฟังก์ชั่นการวิเคราะห์ มันก็โอเคที่จะมุ่งเน้นไปที่การวิเคราะห์จริง (วิกิ)ที่เกี่ยวข้องกับจำนวนจริงและฟังก์ชั่นมูลค่าที่แท้จริงของตัวแปรจริง

"อัลกอริทึม" หมายถึงการศึกษาบางอย่างจากมุมมองของทฤษฎีการคำนวณและทฤษฎีความซับซ้อน


Googling ของ "การวิเคราะห์เชิงคณิตศาสตร์ของอัลกอริทึม" พาฉันไปที่ "การวิเคราะห์เชิงคณิตศาสตร์ของอัลกอริทึม" หรือ "การประยุกต์ใช้การวิเคราะห์กับอัลกอริทึม" ซึ่งไม่ใช่สิ่งที่ฉันหมายถึง


10
ฉันคิดว่าคุณกำลังมองหา "การวิเคราะห์ที่คำนวณได้" ซึ่งตอนนี้เป็นพื้นที่ที่ค่อนข้างดี คุณสามารถตรวจสอบตัวอย่างหนังสือ Weihrauch เบื้องต้นได้ ทฤษฎีส่วนใหญ่เกี่ยวข้องกับคำถามการคำนวณฉันไม่แน่ใจว่ามีความซับซ้อนในการคำนวณเท่าไหร่ ความประทับใจของฉันคือว่าการตอกย้ำนิยามความซับซ้อนที่ดีนั้นค่อนข้างยุ่งยาก
Sasho Nikolov

@SashoNikolov ใช่ "การวิเคราะห์ที่น่าเชื่อถือ" ดูเหมือนจะมีความเกี่ยวข้องมาก ขอบคุณ แปลงความคิดเห็นของคุณเป็นคำตอบหรือไม่
hengxin

3
ดู Chaudhuri, Sankaranarayanan และเอกสารของ Vardi เกี่ยวกับการวิเคราะห์ Real Real ซึ่งศึกษาส่วนการวิเคราะห์จริงที่คุณสามารถดำเนินการกับออโต้ จำกัด ด้วยคำที่ไม่มีที่สิ้นสุด
วีเจย์ D

ในฐานะแหล่งข้อมูลอื่นให้ดูบทความ "ทฤษฎีการคำนวณที่แท้จริงตาม EGC" ในเอกสารของ Yap: cs.nyu.edu/exact/doc/realtheory.pdf
Huck Bennett

คำตอบ:


18

ตรวจสอบเครือข่ายการคำนวณและความซับซ้อนในการวิเคราะห์ อ้างถึง:

หัวข้อที่น่าสนใจรวมถึงงานพื้นฐานในรูปแบบต่าง ๆ และวิธีการอธิบายการคำนวณและความซับซ้อนมากกว่าจำนวนจริง พวกเขายังรวมถึงการตรวจสอบความซับซ้อนทางทฤษฎีทั้งพื้นฐานและด้วยความเคารพต่อปัญหาที่เป็นรูปธรรมและการใช้งานใหม่ของเลขคณิตที่แท้จริงที่แน่นอนรวมทั้งการพัฒนาเพิ่มเติมของแพคเกจซอฟต์แวร์ที่มีอยู่แล้ว


12

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

ex ไม่สามารถคำนวณได้ในโมเดล BSS

f:RRf(x)x

f:[0,1][0,1]

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


8

การอ้างอิงแบบคลาสสิกสำหรับความซับซ้อนของการคำนวณฟังก์ชันจริงคือ:

  • Ker-I Ko, ความซับซ้อนของการคำนวณของฟังก์ชั่นจริง, 1991

ดูบทที่ 7 ในหนังสือของ Weirauch ด้วย


-7

ดูคำถามนี้มากกว่าสองปีหลังจากโพสต์และไม่มีความผิดฉันผิดหวังกับคำตอบและความคิดเห็น

นี่คือสิ่งที่เกิดขึ้นเมื่อแผนก CS ทั่วโลกติดฉลากหัวข้อของพวกเขาผิดและทำให้นักวิทยาศาสตร์และวิศวกรหลายชั่วอายุคนเข้าใจผิด

  • ทั้งขั้นตอนวิธีการเรียนในทุกหน่วยงานจะต้องมีการ relabelled ที่จะไม่ต่อเนื่องอัลกอริทึม

  • หรือเนื้อหาปัจจุบันที่ความต้องการระดับที่จะลดลงถึง 50% หรือน้อยกว่า (ว่า 50% หรือน้อยกว่ารวมถึงโครงสร้างข้อมูล ) และความต้องการของครึ่งหนึ่งที่เหลือจะรวมถึงการแบ่งประเภทของหัวข้อจากการวิเคราะห์เชิงตัวเลขและการคำนวณทางวิทยาศาสตร์

เพราะหลักของการวิเคราะห์ทางคณิตศาสตร์คืออะไร? การวิเคราะห์ที่แท้จริงและเส้นจริง และจำนวนจริงแสดงในคอมพิวเตอร์ได้อย่างไร จุดลอยตัวหรือความแม่นยำตามอำเภอใจ ฯลฯ ดังนั้นในครั้งต่อไปที่คุณกำลังทำงานกับอัลกอริธึมที่เกี่ยวข้องกับจุดลอยตัวและ / หรือความแม่นยำตามอำเภอใจในฐานะองค์ประกอบหลัก (ไม่เป็นเนื้อหา รู้ว่าคุณกำลังทำการวิเคราะห์ทางคณิตศาสตร์ของอัลกอริทึม (AMA)!

และไม่แม้แต่จะเริ่มต้นด้วยจักรวาลอันยิ่งใหญ่ของหัวข้อ NA / วิทยาศาสตร์การคำนวณ มันเป็นดาวแคระทั้ง TCS เมื่อคุณกำลังแก้ปัญหาระบบของ PDE ที่ไม่ใช่เชิงเส้นหลายเส้นบนคอมพิวเตอร์คุณไม่เพียง แต่ใช้ประโยชน์จากพื้นฐานของการวิเคราะห์ทางคณิตศาสตร์เท่านั้น แต่ยังมีฟังก์ชั่นการวิเคราะห์ที่ล้ำสมัยในทุกด้านพร้อมด้วยปัญหาการวิจัยแบบเปิดเป็นต้น รับ AMA มากกว่านั้น


2
ฉันไม่เข้าใจว่าคำพูดของคุณเกี่ยวกับหลักสูตร CS ตอบคำถามอย่างไร
Sasho Nikolov

ฉันไม่เข้าใจว่าคำตอบและความคิดเห็นที่เหลือของวันที่เหลือตอบคำถามนี้แม้แต่ 1% ของคำถาม และยังมีพวกเขาอยู่ (บางคนมี upvoted มากและบางคนก็ยอมรับได้) และอาจ 40% ของความคิดเห็นของฉันไม่เกี่ยวข้องโดยตรงกับคำถาม (แม้ว่าจะเป็นทางอ้อม) แต่ที่เหลืออีก 60% ค่อนข้างจะจัดการกับปัญหา
Fi Zixer

6
คำตอบที่ยอมรับจะช่วยให้เว็บไซต์มีข้อมูลมากมายเกี่ยวกับการคำนวณและความซับซ้อนเหนือ reals นั่นคือคำถามที่ถาม ไม่ได้ขอความเห็นเกี่ยวกับความเหมาะสมของหลักสูตร CS
Sasho Nikolov

1
โดยทั่วไปเรามักจะออกเสียงลงคะแนนพร่ำเพ้อ ถ้าคุณพูดง่ายๆว่าการวิเคราะห์เชิงตัวเลขนั้นในแง่หนึ่งแล้วการวิเคราะห์เชิงคณิตศาสตร์ของอัลกอริทึมคุณอาจได้รับ upvotes บ้าง และที่จริงแล้วนักวิทยาศาสตร์และวิศวกรหลายชั่วอายุคนยังไม่หลงผิด คุณดูเหมือนจะสมมติว่าพวกเขาโง่ พวกเขาไม่; พวกเขารู้ความแตกต่างระหว่างสิ่งที่สอนในชั้นเรียนอัลกอริทึมและของที่สอนในชั้นเรียนการวิเคราะห์เชิงตัวเลข
Peter Shor
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.