দুটি রেজেক্স সমান কিনা তা নির্ধারণের জন্য অ্যালগরিদম

Question

দুটি স্বতন্ত্র নিয়মিত এক্সপ্রেশন দেওয়া হয়েছে, তারা একই স্ট্রিংয়ের সেটটি মেলে কিনা তা নির্ধারণ করার জন্য কোনও "দক্ষ" অ্যালগরিদম আছে কি?

আরও সাধারণভাবে, আমরা দুটি ম্যাচের সেটগুলির ছেদগুলির আকার গণনা করতে পারি?

এটি করার জন্য কোন অ্যালগরিদম রয়েছে এবং তারা কোন জটিলতা শ্রেণিতে বাস করে?

আমরা যদি ক্লিন তারাকে অস্বীকার করি, তা কি চিত্রটিকে আদৌ বদলে দেয়?

Comments

"ছেদটির আকার" বলতে কী বোঝ? সবচেয়ে আকর্ষণীয় ক্ষেত্রে এটি অসীম আকারে বড় হবে; আপনি কি আকার wr আকারে আগ্রহী ? $\Sigma^n$

— রাফেল

@ রাফেল আমার বোধগম্যতা হ'ল ক্লেইন তারকা নির্মূল করা সেটটির আকারটিকে সসীম করতে বাধ্য করে।

— গাণিতিক

নির্ভর করে। অন্য অপারেটরদের কি অনুমোদিত? আপনি যদি পরিপূরকটিকে অনুমতি দেন তবে আপনি যা বলেন তা সত্য নয়। এছাড়াও, আপনি ক্লিন তারার সাথেও পরিস্থিতি জিজ্ঞাসা করেছেন, সুতরাং আপনাকে যেভাবেই পরিষ্কার করা দরকার।

— রাফেল

আরও দেখুন cs.stackexchange.com/q/12624/755

— ডিডাব্লিউ

Answer 1

হেনড্রিক জান জটিলতার ক্লাসের জন্য একটি ভাল উত্তর দেয় তবে নিজেই একটি অ্যালগরিদম নয়।

আমি জানি যে এটি করার সবচেয়ে সহজ অ্যালগরিদম হ'ল নিয়মিত ভাবটি একটি ডিএফএতে রূপান্তর করা। নিয়মিত ভাবটি একটি এনএফএ এবং একটি এনএফএকে ডিএফএ-তে রূপান্তর করার জন্য জানা কৌশল রয়েছে।

একবার আপনার দুটি ডিএফএ হয়ে গেলে সমতার জন্য পরীক্ষা করা দক্ষ এবং নির্ধারণযোগ্য, যেহেতু ডিএফএ-এর ন্যূনতম রূপটি আইসোমরফিজম পর্যন্ত অনন্য।

তবে, এনএফএ থেকে এই ডিএফএগুলি তৈরি করা অনেক সময় নিতে পারে এবং সবচেয়ে বড় ডিএফএএস উত্পাদন করতে পারে, সবচেয়ে খারাপ ক্ষেত্রে তাত্পর্যপূর্ণভাবে বড়।

Answer 2

নিয়মিত ভাবের সমতুল্যতা PSPACE- সম্পূর্ণ হিসাবে পরিচিত, যা খারাপ। "সাধারণ নিয়মিত এক্সপ্রেশনগুলির জন্য জটিলতার সিদ্ধান্ত জটিলতা" পত্রিকাটি নিয়মিত প্রকাশের কয়েকটি সাবক্লাসকে স্ব স্ব জটিলতা সহ তালিকাভুক্ত করে। ( লিঙ্ক )

Comments

আপনি স্কোয়ার অপারেটরটিকে (যেমন ই ই এর পরিবর্তে লেখার ) অনুমতি দিলে এটি এমনকি এক্সপাসে-সম্পূর্ণ । এটি ক্লিন তারকা ব্যতীত এনএক্সপিটাইম-সম্পূর্ণ হয়ে ওঠে। $e^2$$ee$

— ডেনিস

@ ডকুপার অতিরিক্ত ব্যাখ্যার জন্য ধন্যবাদ। এই বা উপযুক্ত রেফারেন্স যুক্ত করতে উত্তরটি নির্দ্বিধায় নির্বিশেষে বোধ করুন। (অথবা এমনকি আপনার নিজের উত্তরটি শুরু করুন))

— হেনড্রিক জানুয়ারী

পিএসপিএসিই-সম্পূর্ণ হওয়ার জন্য কি নিয়মিত প্রকাশের জন্য কোনও রেফারেন্স রয়েছে?

— রায়ান

আপনার লিঙ্কটি মারা গেছে। আপনি কাগজটি থেকে নতুন কোনও সরবরাহ করতে পারেন বা কমপক্ষে কিছু প্রাসঙ্গিক তথ্য সরবরাহ করতে পারেন?

— ডি বেন নোবল

@ D.BenKnoble লিংক আমার পক্ষে ভাল কাজ করে।

— হেনড্রিক জানুয়ারী