फैक्टरिंग का एक एनपी-पूर्ण संस्करण।


45

अरोड़ा और बराक की पुस्तक निम्नलिखित समस्या के रूप में तथ्य प्रस्तुत करती है:

FACTORING={L,U,N|( a prime p{L,,U})[p|N]}

वे अध्याय 2 में आगे जोड़ते हैं कि इस तथ्य को दूर करना कि प्रमुख है, इस समस्या को एनपी-पूर्ण बनाता है, हालांकि यह फैक्टरिंग संख्याओं की कठिनाई से जुड़ा नहीं है। ऐसा लगता है कि SUBSETSUM से कमी हो सकती है, लेकिन मैं इसे पाने में फंस गया। किसी भी बेहतर भाग्य यहाँ के आसपास?p

1 मार्च को ईडीआईटी: इनाम गुणक प्रमाण के लिए निर्धारक कार्प (या कुक) की कमी का उपयोग कर रहा है।NP


5
@ टर्कीस्टनी: एफडब्ल्यूआईडब्ल्यू, मैं एनपी को इटैलिक में रखने के लिए खराब शैली के रूप में मानता हूं, और खराब शैली और खराब एलईटीएक्स दोनों के रूप में इसे गणित मोड में डालने के लिए (अक्षरों के बीच अंतर के रूप में)।
माइकल कैडिलैक

@ Michaël, क्षमा करें, वापस मूल शैली में वापस आ गया। मैं आपके प्रश्न से उत्साहित हो गया :)
मोहम्मद अल-तुर्कतनि

7
कुछ और पूर्ण विवरण: पुस्तक के पृष्ठ 63 पर, वे लिखते हैं: अलोन और किलियन (व्यक्तिगत संचार में) ने दिखाया कि भाषा की परिभाषा में उदाहरण 2.3 में फैक्टरिंग , कारक पी प्रमुख है जो शर्त पर कब्जा करने के लिए आवश्यक है फैक्टरिंग समस्या, इस स्थिति के बिना यह भाषा एनपी-पूर्ण है (फैक्टरिंग पूर्णांकों की कठोरता के साथ कुछ नहीं करने के कारणों के लिए)।
14:25 बजे एमएस डौस्ती

2
स्वाभाविक रूप से, मैंने अलोन और किलियन द्वारा "फैक्टरिंग" और "एनपी-पूर्ण" युक्त एक पेपर की खोज की। मुझे कोई नहीं मिला (मुझे लगता है कि यह कुछ अर्थों में स्वाभाविक भी है)। :(
त्सुयोशी इटो

5
@ मुझे वास्तव में बजाय रूप में कक्षाएं प्रदान करना पसंद है । नहीं ? NP
सुरेश वेंकट

जवाबों:


35

यह काफी जवाब नहीं है, लेकिन यह करीब है। निम्नलिखित एक प्रमाण है कि समस्या एनपी-हार्ड यादृच्छिक कटौती के तहत है।

राशि का एक स्पष्ट संबंध है जो यह है: मान लीजिए कि आप : , , , के कारकों को जानते हैं । अब, आप एक सबसेट लगाना चाहते हैं के ऐसा है किपी 1 पी 2 ... पी के एस पी 1 ... पी केNp1p2pkSp1 pk

logLpiSlogpilogU.

समस्या को दिखाने के लिए इस विचार का उपयोग करने की कोशिश करने में समस्या एनपी-हार्ड है, यदि आपके पास संख्या , , , साथ एक उप-योग समस्या है , तो आप आवश्यक रूप से बहुपद समय में primes नहीं पा सकते हैं (जहां द्वारा , मेरा मतलब लगभग आनुपातिक है)। यह एक वास्तविक समस्या है क्योंकि, चूंकि सबसेट-योग दृढ़ता से एनपी-पूर्ण नहीं है, इसलिए आपको बड़े पूर्णांक लिए इन को खोजने की आवश्यकता है ।टी 2 ... टी कश्मीर लॉग पी मैं अल्फा टी मैं अल्फा लॉग ऑन पी मैं टी मैंt1t2tklogpitilogpiti

अब, मान लीजिए कि हमें एक पूर्णांक समस्‍या समस्‍या में सभी पूर्णांक और , और यह योग लगभग । सबसे बड़ी समस्‍या अभी भी NP- पूर्ण होगी, और कोई समाधान पूर्णांकों का योग होगा । यदि हम को और बीच होने देते हैं , और वास्तव में होने के योग की आवश्यकता के बजाय, हम वास्तविक से समस्या को बदल सकते हैं, तो हमें और बीच होना चाहिए । हमें केवल अपनी संख्या को लगभग निर्दिष्ट करना होगाt k x x ( 1 + 1 / k ) 1t1 tkxx(1+1/k)कश्मीर/2टी ' मैं टीमैंटीमैं+112itik/2titi sss+1ti+110kss 4लॉगkBलॉगपीiB+4लॉगks+1104logkऐसा करने के लिए परिशुद्धता के अधिक बिट्स। इस प्रकार, यदि हम बिट्स के साथ संख्याओं के साथ शुरू करते हैं , और हम वास्तविक संख्या को लगभग बिट्स सटीक के लिए निर्दिष्ट कर सकते हैं , तो हम अपनी कमी को पूरा कर सकते हैं।BlogpiB+4logk

अब, से विकिपीडिया (नीचे सिएन-चिह की टिप्पणी के माध्यम से), के बीच अभाज्य संख्या की संख्या और है , इसलिए यदि आप बस चुनें उस सीमा में यादृच्छिक रूप से संख्याएं, और उच्च संभावना के साथ बहुपद समय में एक प्रमुखता प्राप्त करने के लिए, उन्हें मौलिकता के लिए परीक्षण करें।टी + टी 5 / 8 θ ( टी 5 / 8 / लोग इन टी )TT+T5/8θ(T5/8/logT)

अब, कमी की कोशिश करते हैं। मान लीजिए कि हमारे सभी बिट लंबे हैं। अगर हम ले लंबाई के बिट्स, तो हम एक प्रमुख पा सकते हैं पास साथ परिशुद्धता के टुकड़े। इस प्रकार, हम चुन सकते हैं ताकि बिट्स के साथ । यह हमें खोजने देता है ताकि बिट्स के साथ जाए । यदि इन primes का सबसेट लक्ष्य मान के करीब कुछ गुणा करता है, तो मूल सबसेट योग समस्याओं का समाधान मौजूद होता है। तो हम दें बी टी मैं 3 बी पी मैं टी मैं 9 / 8 बी टी मैं लोग इन टी मैं अल्फा टी मैं 9 / 8tiBTi3BpiTi9/8BTilogTitiपी मैंटी मैं लॉग ऑन पी मैं अल्फा टी मैं 9 / 89/8BpiTilogpitiएन = Π आई पी आई एल यू9/8BN=Πipi , और उचित रूप से चुनें, और हमारे पास योग से एक यादृच्छिक कमी है।LU


3
मुझे कमी समझ में नहीं आती। सबसेट सम समस्या के लिए एनपी-पूर्ण होने के लिए, संख्या को बाइनरी में दिया जाना चाहिए। यदि हम ऐसे पूर्णांक चाहते हैं, जिसके लघुगणक समस्‍या के उदाहरण में संख्याओं के करीब हैं, तो हमें बहुत अधिक अंकों की जरूरत है। आप इसे कैसे दूर करेंगे?
त्सुयोशी इतो

2
@Peter: संख्या सिद्धांत में धारणा को Cramér का अनुमान कहा जाता है , जिसमें कहा गया है कि , जहां n-th अभाज्य संख्या है। संदर्भ के लिए लेख प्रधान अंतर भी देखें । p npn+1pn=O(log2n)pn
Hsien-Chih चांग 之 '

2
@ पेटर: हाँ, लिए धारणा का यह संस्करण काफी साबित हुआ है। इस तरह का पहला परिणाम Hoheisel से दिखाया गया है, और की वजह से सबसे अच्छा परिणाम विकिपीडिया से काम है बेकर, हरमन और Pintz , साथ α = 0.525 , सी 1 = (क्योंकि यह संभावना 1 के लिए रखती है) और सी 2 = 1Tα=0.525c1=c2=1
हसीन-चिह चांग 張顯 '

2
बस इसी के साथ आया था। मुझे ध्यान देना चाहिए कि मुझे नहीं पता कि मूल किलियन-अलोन सबूत क्या था। प्रमाण का मेरा एकमात्र ज्ञान नोगा के साथ एक संचार से है, जो मूल प्रमाण के विवरण को याद नहीं करते थे, और जिस प्रमाण को उन्होंने फिर से बनाया था वह वास्तव में यही था। ध्यान दें कि इसे कुछ मजबूत संख्या के सिद्धांत के तहत नियतात्मक कमी के रूप में भी वर्णित किया जा सकता है (उदाहरण के लिए, कि प्रपत्र के किसी भी अंतराल में एक प्रमुख है [x, x + polylog (x)])।
बोअज बराक

4
मैंने सिर्फ जो किलियन से बात की। उन्होंने कहा कि सबूत है कि वह और अलोन शून्य-त्रुटि यादृच्छिक कटौती के साथ आए थे। जहां तक ​​वह अवगत है, निर्धारक कमी अभी भी खुली है जब तक कि आप कुछ संख्या-सैद्धांतिक धारणा नहीं बनाते हैं, जैसा कि बोअज़ बराक पहले ही कह चुके हैं।
टिमोथी चाउ

8

मुझे लगता है कि यह पीसीपी प्रमेय (विशेष रूप से ) से जुड़ा हुआ है ।NP=PCP[O(logn),O(1)]

मधु के पेपर का एक अंश :

AAN,L,ULUNANLUNLU

... मेरी जटिलता सिद्धांत कौशल से परे :-)


2
यह सिर्फ एक और सूत्रीकरण है कि यह समस्या एनपी-पूर्ण है।
मार्क बरी

{L,U,N|(p{L,,U})[p|N]}

2
पेपर में SHORT PROOFS की समस्या लगभग बद्ध हॉल्टिंग समस्या के समान है। SHORT PROOFS समस्या से कमी, SAT के NP-पूर्णता के विशिष्ट प्रमाण के रूप में सबसे अधिक संभावित होगी, और इसलिए यह संभावना नहीं है कि Kilian द्वारा इस कारक को खोजने वाले NP-पूर्णता के प्रमाण से कमी से निर्माण होता है। सीधे समस्या समस्या।
त्सुयोशी इतो

0

यह एक अनौपचारिक कुशल निर्धारणात्मक विचार है (और अपूर्ण हो सकता है):

{L,U,M|( a positive integer p{L,,U})[p|M]}

MM=NjFi

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