ผลกระทบของการพิสูจน์การคาดเดา abc สำหรับทฤษฎี cs

อะไรคือข้อพิสูจน์ของการคาดคะเน abcสำหรับ tcs?

http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

Bhatnagar, Gopalan และลิปตันแสดงให้เห็นว่าสมมติว่าการคาดเดา abc มีหลายชื่อปริญญาเป็นตัวแทนของเกณฑ์ -of- kฟังก์ชั่นมากกว่าZ 6 สำหรับค่าคงที่คงที่kและม.ซึ่งมีเสื้อปัจจัยสำคัญคาดเดา abc นัยพหุนามสำหรับเกณฑ์ -of- kกว่าZเมตรมีระดับO ( n 1 / T + ε )$O((kn)^{1/2+\varepsilon})$$k$${\mathbb Z}_6$$k$$m$$t$$k$$\mathbb Z_m$$O(n^{1/t+\varepsilon})$

นี้สันนิษฐานว่ามีความเกี่ยวข้องกับเมื่อเทียบกับC C 0 [ 6 ]ปัญหา${\sf TC^0}$$\sf ACC^0[6]$

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

[1] การคาดคะเนของ abc และรากที่ถูกต้องแบบโค้งมน เออร์นี่ครอต, เรเน่คังหลี่, ฮุยจูจู้, เอลส์เวียร์ TCS 2004

[2] การคำนวณรากที่สองอย่างรวดเร็วผกผันวิกิพีเดีย