सबसेट सम या एनपीपी के लिए गहन संबंध का पता लगाना?


14

क्या सबसेट सम या संख्या विभाजन समस्या का एक उदाहरण सांकेतिक शब्दों में बदलना है ताकि पूर्णांक संबंध का एक छोटा (छोटा) समाधान एक उत्तर देता है? यदि निश्चित रूप से नहीं, तो कुछ संभाव्य अर्थों में?

मुझे पता है कि LLL (और शायद PSLQ) का उपयोग 'कम-घनत्व' क्षेत्र में सबसेट सम समस्याओं को हल करने में मध्यम सफलता के साथ किया गया है, जहाँ चुने गए नंबरों की सीमा से अधिक है , लेकिन ये विधियां अच्छी तरह से पैमाने पर नहीं हैं। बड़े आकार के उदाहरण और 'उच्च-घनत्व' क्षेत्र में विफल होने पर, चुनी गई संख्याओं की सीमा 2 N से बहुत कम होती है । यहां कम-घनत्व और उच्च-घनत्व समाधानों की संख्या को संदर्भित करता है। कम घनत्व वाला क्षेत्र कुछ या कुछ समाधानों को संदर्भित करता है जो मौजूद हैं जबकि उच्च घनत्व कई समाधानों वाले क्षेत्र को संदर्भित करता है।2N2N

उच्च घनत्व वाले क्षेत्र में, एलएलएल दिए गए उदाहरणों के बीच (छोटे) पूर्णांक संबंधों को ढूँढता है, लेकिन उदाहरण के आकार में वृद्धि के साथ, संबंध की संभावना एक व्यवहार्य सबसेट सम या संख्या विभाजन समस्या होने की संभावना कम हो जाती है।

पूर्णांक संबंध का पता लगाने के लिए बहुपद है जो इष्टतम के एक घातीय सीमा के भीतर है, जबकि सबसेट सम और एनपीपी स्पष्ट रूप से एनपी-पूर्ण हैं, इसलिए सामान्य तौर पर यह संभव नहीं है, लेकिन अगर उदाहरण समान रूप से यादृच्छिक पर खींचा जाता है, तो क्या यह इसे सरल बना सकता है?

या क्या मुझे भी यह सवाल नहीं करना चाहिए और इसके बजाय यह पूछना चाहिए कि क्या गणना में एक घातीय वृद्धि के बदले में इष्टतम उत्तर से घातांक को कम करने का एक तरीका है?


मुझे कोई जवाब नहीं मिल रहा था इसलिए मैंने mathoverflow को पोस्ट किया है: mathoverflow.net/questions/38063/…
user834

t=0SS0=aSaaiSiai<2n1

@Marcos Villagra: आपकी टिप्पणी पार्स करने के लिए थोड़ी कठिन है ... एक समस्या को एक उप-योग / संख्या विभाजन समस्या के रूप में एक जाली में एम्बेड कर सकते हैं ( एक समीक्षा के लिए यहां देखें ), प्रश्न गुणांक को प्रतिबंधित करने का एक तरीका ढूंढ रहा है वांछित सेट (0,1 या -1,1, कहते हैं)। LLL एक पूर्णांक संबंध, यहां तक ​​कि एक छोटा भी मिलेगा, लेकिन गुणांक के रूप में सिर्फ एक 2 या 3 इसे एक उप-योग / संख्या विभाजन उत्तर के रूप में अमान्य कर देगा।
user834

जवाबों:


2

m=O(logn)Ω(2m)m=ω(logn)m=o(n)

हालाँकि, फ्लैक्समैन और प्रेज़ेडेटेक एक एल्गोरिथ्म प्रदान करते हैं जो मध्यम-घनत्व सबसेट सम समस्याओं को अपेक्षित बहुपद समय में हल करता है।

इस संदर्भ की जाँच करें:

फ्लैक्समैन और प्रेजेडेटेक, सॉलिड मीड-डेंसिटी सबसेट सम प्रॉब्लम एक्सपेक्टेड पॉलीनोमियल टाइम में


2
यह परिणाम केवल सबसेट सम उदाहरण में संख्याएँ चुनने के लिए है जो मैं चाहता हूँ की तुलना में काफी कम है। वे लॉग (n) ^ 2 के क्रम पर संख्याओं की श्रेणी का चयन करते हैं जबकि मैं 2 ^ n के आदेश पर संख्याओं की श्रेणी में दिलचस्प हूं। सबसेट सम को हल करने के लिए अच्छी तरह से ज्ञात एल्गोरिदम हैं जब संख्याओं की सीमा इतनी कम हो जाती है और ऐसा लगता है कि उन्होंने इस सीमा को थोड़ा बढ़ाया है, जो बहुत अच्छा है, यह सिर्फ वही नहीं है जो मैं देख रहा था। फिर भी आपका धन्यवाद।
user834
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.