คำถามติดแท็ก real-numbers

2
มีคลาสความซับซ้อนที่สร้างขึ้นพร้อมตัวเลขจริงหรือไม่?
เมื่อเร็ว ๆ นี้นักเรียนคนหนึ่งขอให้ฉันตรวจสอบหลักฐานความแข็ง NP สำหรับพวกเขา พวกเขาทำการลดตามแนวของ: ฉันลดปัญหานี้ที่เป็นที่รู้จักกันว่า NP-complete กับปัญหาPของฉัน(ด้วยการลดโพลีเวลาหลายโพลี) ดังนั้นPคือ NP-hardP′P′P'PPPPPP คำตอบของฉันเป็นพื้น: เนื่องจากมีอินสแตนซ์ที่มีค่าจากRจึงไม่มีการคำนวณทัวริงเล็กน้อยดังนั้นคุณสามารถข้ามการลดลงได้PPPRR\mathbb{R} ในขณะที่เป็นจริงอย่างเป็นทางการฉันไม่คิดว่าวิธีการนี้มีความชาญฉลาด: เราต้องการที่จะได้รับ "ความซับซ้อนโดยธรรมชาติ" ของการตัดสินใจที่มีคุณค่าจริง ๆ (หรือการเพิ่มประสิทธิภาพ) ปัญหาโดยไม่คำนึงถึงข้อ จำกัด ที่เราเผชิญ หมายเลข; การตรวจสอบปัญหาเหล่านี้เป็นอีกวัน แน่นอนว่ามันไม่ง่ายเหมือนการพูดเสมอว่า "ผลรวมย่อยของเซ็ตย่อยไม่สมบูรณ์ดังนั้นรุ่นต่อเนื่องคือ 'NP-hard' เช่นกัน" ในกรณีนี้การลดลงทำได้ง่าย แต่มีกรณีที่โด่งดังของรุ่นต่อเนื่องที่ง่ายขึ้นเช่นการเขียนโปรแกรมเชิงเส้นและจำนวนเต็ม มันเกิดขึ้นกับฉันว่ารุ่น RAM นั้นขยายไปถึงจำนวนจริง อนุญาตให้ทุก register เก็บหมายเลขจริงและขยายการดำเนินงานขั้นพื้นฐานตามลำดับ รูปแบบค่าใช้จ่ายสม่ำเสมอยังคงสมเหตุสมผล - ในกรณีที่ไม่ต่อเนื่องในขณะที่แบบลอการิทึมไม่มี ดังนั้นคำถามของฉันถึง: มีการกำหนดความซับซ้อนของปัญหาที่มีคุณค่าจริงหรือไม่? พวกเขาเกี่ยวข้องกับคลาสที่ไม่ต่อเนื่อง "มาตรฐาน" อย่างไร การค้นหาของ Google ให้ผลลัพธ์บางอย่างเช่นนี้แต่ฉันไม่มีวิธีบอกสิ่งที่สร้างขึ้นและ / หรือมีประโยชน์และสิ่งที่ไม่

2
การแทนตัวเลขเชิงลบและจำนวนเชิงซ้อนโดยใช้แคลคูลัสแลมบ์ดา
บทเรียนส่วนใหญ่เกี่ยวกับแลมบ์ดาแคลคูลัสให้ตัวอย่างที่ฟังก์ชัน Integers และ Booleans ที่เป็นบวกสามารถแสดงได้ -1 แล้วฉันล่ะ

1
ฟังก์ชั่นกำลังมองหาการเรียงลำดับของตัวเลขของคำนวณได้หรือไม่?
จะตัดสินใจได้อย่างไรว่ามีลำดับของตัวเลขบางส่วนหรือไม่ ππ\piเป็นแรงบันดาลใจให้ฉันถามว่ารูปแบบที่ดูไร้เดียงสาต่อไปนี้สามารถคำนวณได้หรือไม่: ฉ( n ) = { 10ถ้า n¯ เกิดขึ้นในการแทนทศนิยมของ πมิฉะนั้นf(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal representation of \(\pi\)} \\ 0 & \text{otherwise} \\ \end{cases} โดยที่คือการแทนค่าทศนิยมของโดยไม่มีเลขศูนย์นำหน้า nn¯n¯\bar nnnn หากการขยายตัวของทศนิยมมีทุกลำดับหลัก จำกัด (ขอเรียกสิ่งนี้ว่าจำนวนสากล (ฐาน 10)) แล้วคือค่าคงที่1แต่นี่เป็นคำถามทางคณิตศาสตร์แบบเปิด หากไม่ใช่สากลนี่หมายความว่าไม่สามารถคำนวณได้หรือไม่ππ\pi1 π …

9
แสดงจำนวนจริงโดยไม่สูญเสียความแม่นยำ
จุดลอยตัวปัจจุบัน (ANSI C float, double) อนุญาตให้แสดงการประมาณจำนวนจริง มีวิธีใดที่จะแสดงจำนวนจริงโดยไม่มีข้อผิดพลาด ? นี่คือความคิดที่ฉันมีซึ่งเป็นอะไร แต่สมบูรณ์แบบ ตัวอย่างเช่น 1/3 คือ 0.33333333 ... (ฐาน 10) หรือ o.01010101 ... (ฐาน 2) แต่ยัง 0.1 (ฐาน 3) เป็นความคิดที่ดีที่จะใช้ "โครงสร้าง" นี้หรือไม่: base, mantissa, exponent ดังนั้น 1/3 อาจเท่ากับ 3 ^ -1 {[11] = base 3, [1.0] mantissa, [-1] exponent} ความคิดอื่น ๆ ?

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