जीसैट एल्गोरिथ्म को लागू करना - फ्लिप करने के लिए किस शाब्दिक का चयन करना है?


20

जीसैट एल्गोरिथ्म सबसे अधिक भाग के लिए है, सीधे आगे: आप एक सूत्र को सामान्य रूप में प्राप्त करते हैं और खंडों के शाब्दिक रूप से तब तक फ्लिप करते हैं जब तक कि आपको कोई समाधान नहीं मिलता है जो सूत्र को संतुष्ट करता है या आप अधिकतम_ट्री / अधिकतम_फ्लो सीमा तक पहुंचते हैं और कोई समाधान नहीं पाते हैं।

मैं निम्नलिखित एल्गोरिथ्म को लागू कर रहा हूं:

procedure GSAT(A,Max_Tries,Max_Flips)
  A: is a CNF formula
  for i:=1 to Max_Tries do
    S <- instantiation of variables
    for j:=1 to Max_Iter do
      if A satisfiable by S then
        return S
      endif
      V <- the variable whose flip yield the most important raise in the number of satisfied clauses;
      S <- S with V flipped;
    endfor
  endfor
  return the best instantiation found
end GSAT

मुझे निम्नलिखित पंक्ति की व्याख्या करने में समस्या हो रही है:

V <- the variable whose flip yield the most important raise in the number of satisfied clauses;

संतुष्ट क्लॉज़ की अधिकतम संख्या क्या नहीं है जो हम खोज रहे हैं? यह मुझे लगता है कि हम समाधान खोजने के लिए इसके समाधान या अनुमान का उपयोग करने की कोशिश कर रहे हैं।

मैंने ऐसा करने के कुछ तरीकों के बारे में सोचा है लेकिन अन्य दृष्टिकोणों को सुनना अच्छा होगा (धारणा यह है कि एक बार चर का चयन होने के बाद फ़्लिप किया जाता है।)

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

जवाबों:


12

संतुष्ट क्लॉज़ की अधिकतम संख्या क्या नहीं है जो हम खोज रहे हैं?

हां, हम एक ऐसे असाइनमेंट की तलाश कर रहे हैं जो अधिक से अधिक संख्याओं को संतुष्ट करता हो (जो कि उन सभी में से है, अधिमानतः)। और उस अंत तक हम अपने आप से पूछते हैं "कौन सा एकल चर हमें इस लक्ष्य के करीब लाएगा जब इसे लहराएगा?" और फिर इसे फ्लिप करें।

यह मुझे लगता है कि हम समाधान खोजने के लिए इसके समाधान या अनुमान का उपयोग करने की कोशिश कर रहे हैं।

समाधान का उपयोग करना होगा यदि हमने पूछा "कई फ़्लिप का कौन सा संयोजन सबसे अच्छा परिणाम देगा?" या बस "कौन सा असाइनमेंट सबसे अच्छा होगा?"। हालाँकि, हम जो कर रहे हैं, वह केवल एक कदम आगे नहीं है। समाधान के एक सन्निकटन का उपयोग करना सटीक विवरण की तरह लगता है। हालाँकि इसमें कुछ भी गलत नहीं है। लालची रणनीति कैसे काम करती है।

सभी संभव फ़्लिप के साथ एक राज्य स्थान बनाएँ और लक्ष्य के लिए सबसे अच्छा सन्निकटन के परिणामस्वरूप शाब्दिक के लिए स्थान खोजें।

सही।

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