शोर की एल्गोरिथ्म में कमी मूल रूप से शोर द्वारा खोजी गई थी?


79

यह एक "ऐतिहासिक प्रश्न" है, जितना कि यह एक शोध प्रश्न है, लेकिन शुरू में पीटर शोर द्वारा खोजे गए कारक के लिए शोर के एल्गोरिथ्म में ऑर्डर-फाइंडिंग के लिए शास्त्रीय कमी थी, या यह पहले से ज्ञात था? क्या कोई ऐसा कागज है जो कमी का वर्णन करता है जो शोर को पूर्व-तारीख करता है, या यह केवल एक तथाकथित "लोक परिणाम?" या यह केवल एक ही कागज में एक और सफलता थी?

जवाबों:


139

मुझे स्वीकार करना होगा (आश्चर्य के रूप में यह लगता है) कि मैं वास्तव में जवाब नहीं जानता। मैंने या तो खुद इस कमी को खोजा या फिर खोजा।

मैंने पहले असतत लॉग एल्गोरिथ्म की खोज की, और फैक्टरिंग एल्गोरिथ्म दूसरी, इसलिए मैं असतत लॉग से जानता था कि आवधिकता उपयोगी थी। मुझे पता था कि फैक्टरिंग समान वर्गों (मॉड एन) के साथ दो असमान संख्याओं को खोजने के बराबर था - यह द्विघात चलनी एल्गोरिथ्म का आधार है। मैंने Euler फ़ंक्शन को खोजने के लिए फैक्टरिंग की कमी भी देखी थी , जो काफी समान है।ϕ

जबकि मैं इस सवाल को कम करने के लिए आदेश-खोज के लिए आया था, यह मुश्किल नहीं है, इसलिए मुझे आश्चर्य नहीं होगा अगर इस कमी का वर्णन करने वाला एक अन्य पेपर था जो मेरा अनुमान लगाता है। हालाँकि, मुझे नहीं लगता कि यह एक व्यापक रूप से ज्ञात "लोक परिणाम" हो सकता है। यहां तक ​​कि अगर किसी ने इसे खोजा था, तो क्वांटम कंप्यूटिंग से पहले कोई भी ऑर्डर-फाइंडिंग के सवाल को कम करने की परवाह क्यों करेगा (शास्त्रीय कंप्यूटर पर काफी घातीय)?

संपादित करें: ध्यान दें कि आदेश-निर्धारण केवल एक ओरेकल सेटिंग में काफी घातीय है; आदेश ढूंढना मोडुलो फैक्टरिंग बराबर है , और यह पहले हीथर वोल द्वारा साबित कर दिया गया था, जैसा कि अन्य उत्तर बताते हैं।एनNN


92
हम्म, मुझे यकीन नहीं है कि यह आधिकारिक रूप से पर्याप्त है
chbaker0

5
@ मीम: एक अच्छे संदेह के लिए बनाता है। ई पोस्ट = पी
मेहरदाद

26
बेनाम: तो ... Shor यकीन नहीं है?
ऑरेंजडॉग

1
दरअसल, आपके मूल 1994 के पेपर पीडीएफ में वाक्य शामिल है "एक तत्व के क्रम में फैक्टरिंग से एक यादृच्छिक कमी है [23]" जहां [23] फिर से मिलर 1976 पीडीएफ के लिए एक संदर्भ है । हालांकि, इस पत्र पर एक त्वरित नज़र ने मुझे इसी कमी को खोजने की अनुमति नहीं दी, लेकिन quick में कमी।
Frédéric Grosshans

2
@ Frédéric Grosshans: वास्तव में, मुझे लगता है कि यह काफी संभावना है कि एंड्रयू ओडिल्ज्को ने मुझे उस संदर्भ को इंगित किया।
पीटर शोर

55

1970 के दशक के अंत और 1980 की शुरुआत में संख्या सिद्धांत एल्गोरिदम में काम करने वाले लोगों को ऑर्डर-फ़ाइंडिंग (मॉड एन) के लिए फैक्टराइजेशन से यादृच्छिक कमी बहुत अच्छी तरह से ज्ञात थी। वास्तव में, यह हीदर वॉल के एक पेपर में दिखाई देता है, संख्या सिद्धांत संबंधी समस्याओं, सूचना और गणना 72 (1987) 167-179 , और एरिक बाच के बीच में कटौती और मैं इसे पहले भी जानता था।

मैं हैरान हूं कि पीटर शोर क्यों कहते हैं कि ऑर्डर-फाइंडिंग "शास्त्रीय कंप्यूटर पर काफी घातीय है"। यदि कोई N और भी (दोनों उप घातीय समय में कम्प्यूटेशनल के गुणन को जानता है और प्रत्येक प्राइम पावर को मापता है, तो एक आदेश पा सकता है। φ(N)


14
k,nfk(n)

14
मुझे संदेह था कि आपके पास गणना में बहुत अधिक प्रतिबंधित मॉडल था। लेकिन - जैसा कि मुझे यकीन है कि आप जानते हैं - ऑर्डर-एन मॉड एन की विशेष समस्या काफी अलग है। तो वास्तव में, यह काफी प्रशंसनीय लोग इस विशिष्ट समस्या को कम करने और फैक्टरिंग के बारे में सोच रहे होंगे।
जेफरी शेलिट

हीदर वूल ने फैक्टराइजेशन से लेकर ऑर्डर देने तक की कमी के लिए स्रोत के रूप में [1] का हवाला दिया, लेकिन न तो प्रिंसटन इंजीनियरिंग लाइब्रेरी और न ही प्रिंसटन कंप्यूटर साइंस के पास इसकी कोई प्रति है। (मुझे एक, btw को खोजने में दिलचस्पी होगी) [1] लंबी। डी। (1981) "रैंडम इक्वीप्लेंस ऑफ फैक्टराइजेशन एंड कम्प्यूटेशन ऑफ ऑर्डर्स", तकनीकी रिपोर्ट 284, प्रिंसटन यूनिवर्सिटी, इलेक्ट्रिकल इंजीनियरिंग और कंप्यूटर साइंस विभाग, अप्रैल।
फ्रैडरिक ग्रॉफंस

2
मेरे पास एक प्रति है और यदि आप मुझे अपना ई-मेल पता भेजते हैं तो आप इसे भेज सकते हैं।
जेफरी शेलिट
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.