ডিএফএর জন্য সমমূল্যের ক্যোয়ারির ব্যয়


12

এই প্রশ্নের দ্বারা অনুপ্রাণিত , আমি নিম্নলিখিত সম্পর্কে কৌতূহলী:

প্রদত্ত ডিএফএ একটি নিয়মিত প্রকাশ হিসাবে একই ভাষা গ্রহণ করে কিনা তা যাচাই করার ক্ষেত্রে সবচেয়ে খারাপ জটিলতা কী?

এটা কি জানা? আশা এই যে সমস্যাটি পি-তে রয়েছে - যে উভয়ের আকারে একটি অ্যালগরিদম বহুপদী রয়েছে।

উত্তর:


16

গ্যারি এবং জনসনের মতে (পৃষ্ঠা 174), নিয়মিত এক্সপ্রেসন অ-ইউনিভার্সালিটি PSPACE- সম্পূর্ণ। এই সিদ্ধান্ত নেওয়ার সময় ধরে একটি রেগুলার এক্সপ্রেশন এর সমস্যা নেই না সব স্ট্রিং উৎপন্ন। সুতরাং আপনার সমস্যাও PSPACE- সম্পূর্ণ।{0,1}

ArBrCBCCDACL(A)=L(r)D2poly(n)L(D)=NSPACE(poly(n))=NPSPACE=PSPACE, স্যাভিচের উপপাদ্যের কারণে পরবর্তী সাম্যতা।


আপনি কি নিশ্চিত এটা মধ্যে PSPACE (যদি না এটি শুধু PSPACE-কঠিন হবে)? বা সম্ভবত রেজিএক্সএক্সপ এবং ডিএফএ এর সমস্তটির সাথে একমত হয়েছে কিনা তা দেখার জন্য কিছু বহু বহু দৈর্ঘ্যের সমস্ত স্ট্রিং পরীক্ষা করা যথেষ্ট? এটা কি সুস্পষ্ট? :-)
নিল ইয়াং

4
মনে রাখবেন রিএ্যাচিবিলিটি এনএল-তে রয়েছে, তাই নিয়মিত অভিব্যক্তির সাথে সম্পর্কিত ডিএফএ হ'ল তাত্পর্যপূর্ণ, যেহেতু এটিতে ওরাকল অ্যাক্সেস সস্তা, আমরা সিমেট্রিক পার্থক্যটি খালি কিনা তা এনপিএসপিএসি = পিএসপিএসিইতে খুঁজে বের করতে পারি।
ইয়ুভাল ফিল্মাস

আমি কঠোরতার ফলাফল দেখছি না। এটি হ'ল আপনি কীভাবে উপরের সমস্যাটিকে নিয়মিত অভিব্যক্তির সার্বজনীনতা থেকে কমিয়ে আনবেন?
মার্কাস

2
ডিএফএ চয়ন করুন যা সমস্ত কিছু গ্রহণ করে। কঠোরতা দেখানোর জন্য, আপনি সমস্যার মধ্যে নিয়মিত এক্সপ্রেসন অ-ইউনিভার্সালালিটি হ্রাস করেন।
যুবাল চলচ্চিত্র 16

1
@ ইউভালফিল্মাস রেফারেন্সের জন্য ধন্যবাদ! শব্দের উভয় অর্থেই সম্পূর্ণরূপে আপনার
উত্তরটিতে
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.