आरजेके की प्रतिक्रिया का दूसरा पैराग्राफ अधिक विस्तार का हकदार है।
चलो संयोजक सामान्य रूप में एक सूत्र, मी खंड, एन चर के साथ हो सकता है, और खंड प्रति सबसे कश्मीर चर पर। मान लीजिए कि हमें अगर निर्धारित करने के लिए चाहते हैं φ एक संतोषजनक काम नहीं है। फॉर्मूला φ कश्मीर-सैट निर्णय समस्या का एक उदाहरण है।φφφ
जब कुछ खंड होते हैं (इसलिए एन की तुलना में एम काफी छोटा है), तो समाधान खोजना लगभग हमेशा संभव होता है। एक सरल एल्गोरिथ्म सूत्र के आकार में लगभग रैखिक समय में एक समाधान ढूंढेगा।
जब कई खंड होते हैं (इसलिए एन की तुलना में एम काफी बड़ा है), तो यह लगभग हमेशा मामला है कि कोई समाधान नहीं है। यह एक गिनती तर्क द्वारा दिखाया जा सकता है। हालाँकि, खोज के दौरान यह निरंतरता तकनीकों के माध्यम से खोज अंतरिक्ष के बड़े हिस्से को prune करने के लिए लगभग हमेशा संभव है, क्योंकि कई खंड इतने बड़े पैमाने पर बातचीत करते हैं। असंतोष की स्थापना तब आमतौर पर कुशलता से की जा सकती है।
1986 में, फू और एंडरसन ने स्पिन ग्लास सिस्टम के आधार पर अनुकूलन समस्याओं और सांख्यिकीय भौतिकी के बीच एक संबंध का अनुमान लगाया। यद्यपि वे वाक्यों का प्रयोग करते थे
सहज रूप से, सिस्टम पर्याप्त रूप से बड़ा होना चाहिए, लेकिन अधिक विशिष्ट होना मुश्किल है।
वे वास्तव में विशिष्ट पूर्वानुमान देते हैं।
- वाई फू और पीडब्लू एंडरसन। एनपी- कंप्लीटेरियल ऑप्टिमाइज़ेशन में संपूर्ण समस्याओं के लिए सांख्यिकीय यांत्रिकी का अनुप्रयोग , जे। फिजिक्स। A. 19 1605, 1986. doi: 10.1088 / 0305-4470 / 19/9/033
α = एम / एन
- रेमी मॉनसन, रिकार्डो ज़ेचिना, स्कॉट किर्कपैट्रिक, बार्ट सेलमैन, लिडरर ट्रोएन्स्की। विशेषता `चरण संक्रमणों 'से कम्प्यूटेशनल जटिलता का निर्धारण , प्रकृति 400 133–137, 1999। ( doi: 10.1038 / 22055 , मुफ्त संस्करण )
α1< α2αα1αα2φ
दिमित्रीस अच्यलोप्टास ने शेष बचे कई मुद्दों पर काम किया, और दिखाया कि उपरोक्त तर्क भी बाधा संतुष्टि समस्याओं के लिए है। इन्हें प्रत्येक चर के लिए केवल दो मानों से अधिक उपयोग करने की अनुमति है। एक प्रमुख पेपर सख्ती से दिखाता है कि क्यों सर्वेक्षण प्रचार एल्गोरिथ्म यादृच्छिक के-सैट उदाहरणों को हल करने के लिए इतनी अच्छी तरह से काम करता है।
- ए। ब्रौनस्टीन, एम। मेजार्ड, आर। जेसीना, सर्वेक्षण प्रचार: संतुष्टि के लिए एक एल्गोरिथ्म , रैंडम स्ट्रक्चर्स एंड अल्गोरिद्म 27 201–226, 2005. doi: 10.1002 / rsa.20057
- डी। अच्यलोप्टास और एफ। रिक्की-टेरसेन्गी, रैंडम कांस्टीट्यूशन सैटिस्फैक्शन प्रॉब्लम्स के सॉल्यूशन-स्पेस ज्योमेट्री पर , STOC 2006, 130–139। ( प्रीप्रिंट )