স্ট্যান্ড অফ আর্ট অফ দ্য মোনাডিক ক্লাস?


11

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

তবে, তাত্ত্বিক সীমাবদ্ধতা থাকা সত্ত্বেও SAT এবং SMT এর মতো সমস্যার সমাধানের জন্য দ্রুত অ্যালগরিদম রয়েছে ms

আমি ভাবছি, একাকী প্রথম অর্ডার যুক্তির জন্য স্যাট / এসএমটি-এর সমতুল্য গবেষণা রয়েছে? এক্ষেত্রে "শিল্পের রাজ্য" কী, এবং এমন কোনও অ্যালগরিদম রয়েছে যা সবচেয়ে খারাপ ক্ষেত্রে তাত্ত্বিক সীমাটি আঘাত করেও অনুশীলনে দক্ষ?

উত্তর:


3

আমি লক্ষণগুলি পেয়েছি যে (সাধারণ উদ্দেশ্য) উপপাদ্য প্রবাদী স্প্যাসে এই জাতীয় সিদ্ধান্ত পদ্ধতি কার্যকর করা হয়েছিল ।

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


2

১৯৯৩ সালে এলআইসিসের একটি গবেষণাপত্রে, বাচমায়ের, গাঞ্জিঞ্জার এবং ওয়াল্ডম্যান দেখিয়েছিলেন যে সেট সীমাবদ্ধতাগুলি মোনাডিক এফএল এর সমান, সেট সীমাবদ্ধতায় মোনাডিক শ্রেণি রয়েছে । যদি মেমরিটি পরিবেশন করে, সেট সীমাবদ্ধতাগুলি নিয়মিত গাছ ব্যাকরণের সমতুল্য, সুতরাং সেখানে বিকাশ করা বেশিরভাগ অ্যালগরিদমগুলি মোনাডিক এফএল এর বহনযোগ্যও হওয়া উচিত।

আমি সেই অঞ্চলটি ভালভাবে জানি না, তবে সেট সীমাবদ্ধতা এবং নিয়মিত বৃক্ষের ব্যাকরণগুলি প্রোগ্রাম বিশ্লেষণে ব্যাপকভাবে ব্যবহৃত হয়েছে, সুতরাং তাদের জন্য ব্যবহারিক অ্যালগরিদমের উপর কাজ করা উচিত।


হ্যাঁ ... আমি স্বীকার করব যে মোনাদিক ক্লাসের প্রতি আমার আগ্রহ নির্ধারিত প্রতিবন্ধকতাগুলি সমাধান করার জন্য, তাই আমরা এক ধরণের মুরগি এবং ডিমের সমস্যা পেয়েছি। বনশীর মতো প্রোগ্রাম বিশ্লেষণে নির্ধারিত সীমাবদ্ধতার জন্য আমি যা পেয়েছি তার বেশিরভাগই সীমাবদ্ধ শ্রেণীর যা মোনাদিক শ্রেণীর চেয়ে দুর্বল (যেমন তাদের অবহেলা বা প্রক্ষেপণ নেই)। তবে আমি একগুচ্ছ মিস করতে পারি।
jmite
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.