मैं एक एसएटी सॉल्वर पर भरोसा करने की संभावना की जांच करना शुरू कर रहा हूं, जिसमें मुझे दिलचस्पी है एक अनुकूलन समस्या से निपटने के लिए, और वर्तमान में मैं एक सर्वेक्षण की तलाश कर रहा हूं जो एसएटी के वेरिएंट के "चतुर" परिवर्तनों का उदाहरण पेश करेगा (अर्थात, रूपांतरण जो परिणाम देगा उचित आकार की एक समस्या में, क्योंकि मैं कठोरता के परिणाम को साबित करने में दिलचस्पी नहीं ले रहा हूं, लेकिन वास्तव में समस्या को हल कर रहा है), लगभग इस अर्थ में कि ग्रीनलॉ और पेट्रेस्ची द्वारा क्यूबिक ग्राफ पर सर्वेक्षण में क्या पाया जा सकता है , अगर कोई तुलना हो सकती है दोनों के बीच बनी।
क्या इस तरह के सर्वेक्षण ने मुझे निरस्त कर दिया है क्योंकि यह मौजूद नहीं है, या क्योंकि मैंने इसे याद किया है?
आपको "SAT के वेरिएंट" से क्या मतलब है?
—
जियोर्जियो कैमरानी
@Walter: क्षमा करें यदि यह सही शब्द नहीं है, तो मेरा मतलब -SAT, Planar-SAT, NAE-SAT और इसी तरह की चीजों से है ... लेकिन मुझे शायद कोष्ठक के बीच उन दो शब्दों को शामिल करना चाहिए, क्योंकि मैं नहीं करता यह पता है कि क्या एसएटी सॉल्वर का उपयोग करते समय यह मायने रखता है।
—
एंथोनी लैबर्रे
चिंता न करें, यह सही शब्द है, मुझे यह समझना चाहिए था। विशुद्ध रूप से व्यावहारिक दृष्टिकोण से, हालांकि, मुझे नहीं लगता है कि यह मायने रखता है (जो सबसे अधिक मायने रखता है कि आपका एन्कोडिंग कितना पार्सिमेंट है)। क्या आप हल करने की कोशिश कर रहे अनुकूलन समस्या पर कुछ और विवरण प्रदान कर सकते हैं? मैं सैट के व्यावहारिक अनुप्रयोगों और सैट के समाधान के इंजीनियरिंग पहलुओं में बहुत रुचि रखता हूं।
—
जियोर्जियो कैमरानी
यह थोड़ा भ्रमित करता है कि आप एक अनुकूलन संभावना के बारे में बात कर रहे हैं, लेकिन उसी समय सैट के बारे में। आमतौर पर इष्टतमता के लिए आपको कुछ अधिक मजबूत चाहिए, जैसे MAX-SAT। शायद आप स्पष्ट कर सकते हैं।
—
मिकोलस
यह प्रश्न कुछ हद तक संबंधित हो सकता है: cstheory.stackexchange.com/q/4314/4506
—
मिकोल्स