शिव Kintali सिर्फ एक (शांत!) घोषणा की है कि परिणाम चौड़ाई की घिरे treewidth रेखांकन के लिए ग्राफ समाकृतिकता है -हार्ड । अनौपचारिक रूप से, मेरा सवाल है, "यह कितना कठिन है?"
हम जानते हैं कि गैर-समान रूप से , इस प्रश्न के उत्तर देखते हैं । हम यह भी जानते हैं कि यह संभावना नहीं है कि , इस प्रश्न के उत्तर देखें । अगर हो तो कितना आश्चर्य होगा ? मैंने कई लोगों को यह कहते सुना है कि जिस तरह होगा , वह चौंकाने वाला नहीं होगा।
के परिणाम क्या हैं ?
परिभाषा: एक गैर-नियतात्मक ट्यूरिंग मशीन द्वारा मान्यता प्राप्त भाषाओं का समूह है जो केवल "स्वीकृति" पथों की एक समान संख्या या विषम संख्या के बीच अंतर कर सकता है (बजाय एक शून्य या गैर-शून्य संख्या के स्वीकृति पथ), और जो आगे लघुगणक अंतरिक्ष में काम करने के लिए प्रतिबंधित है।