lattice पर टैग किए गए जवाब

Satisfiability समस्या सैद्धांतिक सीएस में एक मौलिक समस्या निश्चित रूप से, है। मैं असीम रूप से कई चर के साथ समस्या के एक संस्करण के साथ खेल रहा था। \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} बुनियादी ढांचा। मान लें कि एक गैर-रिक्त और संभवतः चर का अनंत सेट है । एक शाब्दिक या तो …

18 reference-request  lo.logic  sat  topology  lattice 

चूंकि शब्द अतिभारित है, पहले एक संक्षिप्त परिभाषा। एक पॉसेट एक सेट जो आंशिक ऑर्डर साथ संपन्न होता है । दो तत्वों देखते हुए , हम ( ) को में उनकी कम से कम ऊपरी सीमा के रूप में परिभाषित कर सकते हैं , और इसी तरह (मिलना) (join) को …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

मेरे पास दो विभाजन हैं और मैं उनके बीच संपादन दूरी की तलाश कर रहा हूं।[1…n][1…n][1 \ldots n] इसके द्वारा, मैं नोड के एकल संक्रमणों की एक न्यूनतम संख्या को एक अलग समूह में खोजना चाहता हूं जो कि विभाजन ए से विभाजन बी तक जाना आवश्यक है। उदाहरण के …

17 ds.algorithms  edit-distance  lattice 

EDIT (तारा बी द्वारा): मुझे अभी भी इस बात के प्रमाण के संदर्भ में दिलचस्पी होगी , क्योंकि मुझे इसे स्वयं अपने कागज के लिए साबित करना था। मैं इस पेपर में दिखाई देने वाले प्रमेय 4 के प्रमाण की तलाश कर रहा हूँ: लियू और वेनेर द्वारा प्रसंग-मुक्त भाषाओं …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice