चूंकि Integer रैखिक प्रोग्रामिंग एनपी-पूर्ण है, इसलिए एनपी में किसी भी समस्या से एक कार्प कमी है। मैंने सोचा कि यह निहित है कि एनपी में किसी भी समस्या के लिए हमेशा एक बहुपद आकार का ILP सूत्रीकरण होता है।
लेकिन मैंने विशिष्ट एनपी समस्याओं पर कागजात देखे हैं, जहां लोग "यह पहला पॉली-आकार का निर्माण है" या "कोई ज्ञात पाली-आकार का सूत्रीकरण" जैसी चीजें नहीं लिखता है। इसलिए मैं हैरान हूं।
8
आपको एक उदाहरण इंगित करना चाहिए या अधिक पूर्ण उद्धरण देना चाहिए;)
—
हुगोमग
हर एनपी-पूर्ण समस्या से हर दूसरे एनपी-पूर्ण समस्या में एक बहुपद कमी मौजूद है। हालाँकि, सिर्फ इसलिए कि हम जानते हैं कि इसका कोई मतलब नहीं है कि हम इसका निर्माण करना जानते हैं।
—
जो
@ ठीक है, हम जानते हैं कि NP की किसी भी समस्या को 3-sat में कैसे कम किया जाए, और साथ ही हर व्यावहारिक NP-complete समस्या का प्रमाण 3-sat से कटौती की श्रृंखला से आता है, इसलिए आप किसी भी NPC समस्या से हमेशा कटौती कर सकते हैं कोई और।
—
andy
@ कैंडी ने उस टिप्पणी के साथ आपके सवाल का जवाब नहीं दिया? आप जानते हैं कि हर एनपी समस्या उदाहरण को 3-SAT उदाहरण के रूप में लिखा जा सकता है, और आप जानते हैं कि 3-SAT उदाहरण को एक पॉलिश ILP उदाहरण के रूप में लिखा जा सकता है, और बहुपद में लागू बहुपद एक और बहुपद है ... आप और क्या करते हैं एक जवाब से उम्मीद है?
—
आर्टेम काज़नाचेव
जब कोई कहता है कि यह पहली पाली आकार तैयार है, वे क्या मतलब है कि यह पहली बार है स्पष्ट रूप से दिए गए इस तरह के निर्माण। सैट के माध्यम से प्राप्त कटौती (भले ही सभी विवरणों का ध्यान रखा जाए) अच्छा नहीं लगता है और इसके साथ काम करना मुश्किल है। हम आमतौर पर ऐसे फॉर्मूले चाहते हैं जो स्वाभाविक और आसान हो।
—
केवह