যদি দুটি এনএফএ একই ভাষা গ্রহণ করে তবে কি পরীক্ষা করার কোনও উপায় আছে?

Question

বা কমপক্ষে একটি এনএফএ গৃহীত স্ট্রিংগুলির একটি সেট তৈরি করুন, তাই আমি এটি অন্য এনএফএতে খাওয়াতে পারি। আমি যদি এনএফএর প্রতিটি পথ ধরে অনুসন্ধান করি, তা কি কাজ করবে? যদিও এটি একটি দীর্ঘ সময় নিতে হবে।

Comments

না (আমাদের জ্ঞানের কাছে নয়, অন্তত)। এনএফএ সমতা PSPACE- সম্পূর্ণ। এই আলোচনা দেখুন ।

— শাল

@ শাল: ওপি কার্যকর উপায় হিসাবে নেয় নি ।

— ফ্রেফল

@ফ্রাফল: আপনি ঠিক বলেছেন। আমি ধরে নিয়েছি "দীর্ঘ সময় লাগবে" যে ওপি একটি কার্যকর সমাধান চায়। তবুও, আমার মন্তব্যে উল্লেখ করা হয়েছে যে এটি পিএসপিএসিইতে রয়েছে, সুতরাং এটি নির্ধারিত।

— শাল

Answer 1

সিদ্ধান্তটি সমস্যা পিএসপিএসিই সম্পূর্ণ - শাল যেমন উল্লেখ করেছে।

যাইহোক, এটি সক্রিয় যে অনুশীলনে প্রায়শই NFF সমতুল্য যথাযথভাবে দ্রুত সিদ্ধান্ত নেওয়া সম্ভব। মায়ার এবং ক্লেমেন্ট (পরীক্ষামূলক প্রমাণের ভিত্তিতে) দাবি করেছেন যে গড়-কেস জটিলতা চতুর্দিকে স্কেল করে । তাদের কৌশলগুলি ট্রেস অন্তর্ভুক্তির স্থানীয় অনুমানের মাধ্যমে অন্তর্নিহিত লেবেল স্থানান্তর ব্যবস্থা ছাঁটাই করার উপর নির্ভর করে।

স্যাট যেমন খারাপ পরিস্থিতি বিশ্লেষণে এনপি-সম্পূর্ণ, তবুও প্রায়শই বাস্তব-বিশ্বের উদাহরণগুলির জন্য আশ্চর্যজনকভাবে ট্র্যাকটেবল হয়ে যায়, তাই সম্ভবত এনএফএ সমতা অনেক বাস্তব-বিশ্বের উদাহরণগুলির জন্য দক্ষতার সাথে সিদ্ধান্ত নেওয়া যেতে পারে বলে মনে হয়।

• রিচার্ড মায়ার এবং লরেঞ্জো ক্লেমেন্ট, অ্যাডভান্সড অটোমেটা মিনিমাইজেশন , পিওপিএল 2013, ডুই: 10.1145 / 2429069.2429079 ( প্রিন্ট )