अगर दो एनएफए एक ही भाषा को स्वीकार करते हैं तो क्या परीक्षण करने का कोई तरीका है?

Question

या कम से कम स्ट्रिंग्स का एक सेट उत्पन्न करें जिसे एक एनएफए स्वीकार करता है, इसलिए मैं इसे दूसरे एनएफए में फ़ीड कर सकता हूं। अगर मैं एनएफए के हर रास्ते से खोज करूं, तो क्या वह काम करेगा? हालांकि इसमें लंबा समय लगेगा।

Comments

नहीं (हमारे ज्ञान के लिए नहीं, कम से कम)। NFA समानता PSPACE- पूर्ण है। इस चर्चा को देखें ।

— शाऊल

@ शाल: ओपी एक कुशल तरीके के लिए नहीं था ।

— फुलफुल

@frafl: आप सही हैं। मैंने "एक लंबा समय लेगा" यह माना कि ओपी एक कुशल समाधान चाहता है। फिर भी, मेरी टिप्पणी का उल्लेख है कि यह PSPACE में है, इसलिए यह निर्णायक है।

— 18

Answer 1

शाल नोट के अनुसार निर्णय की समस्या PSPACE- पूर्ण है।

हालांकि, यह पता चला है कि व्यवहार में अक्सर एनएफए समतुल्यता को जल्दी से तय करना संभव है। मेयर और क्लेमेंटे (प्रायोगिक साक्ष्य के आधार पर) का दावा है कि औसत-मामले की जटिलता चतुर्थांश है । उनकी तकनीक ट्रेस इन्क्लूजन के स्थानीय सन्निकटन के माध्यम से अंतर्निहित लेबल संक्रमण प्रणाली की छंटाई पर निर्भर करती है।

जैसे सैट एनपी-एनपी-एक सबसे खराब स्थिति में विश्लेषण है, फिर भी अक्सर वास्तविक दुनिया के उदाहरणों के लिए आश्चर्यजनक रूप से ट्रैक्टेबल होता है, इसलिए ऐसा लगता है कि एनएफए तुल्यता कई वास्तविक दुनिया उदाहरणों के लिए कुशलता से तय की जा सकती है।

• रिचर्ड मायर और लोरेंजो क्लीमेंट, उन्नत ऑटोमेटा न्यूनीकरण , POPL 2013 डोई: 10.1145 / २४,२९,०६९.२४,२९,०७९ ( प्रीप्रिंट )