এনএফএ যদি অন্য এনএফএর একটি উপসেট গ্রহণ করে তবে এর জন্য কি কার্যকর পরীক্ষা আছে?

তাই, আমি যদি একজন নিয়মিত ভাষা পরীক্ষার জানি $R$ নিয়মিত ভাষা এর একটি উপসেট $S$ নির্ধার্য হয়, যেহেতু আমরা তাদের উভয় DFAs, কম্পিউট রূপান্তর করতে পারেন $R \cap \bar{S}$ যদি এই ভাষা খালি পরীক্ষা করুন, এবং তারপর।

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

বহুপদী সময় এটি করার কোন জ্ঞাত উপায় আছে? এই সমস্যাটি কি সাধারণভাবে কো-এনপি প্রমাণিত হয়েছে?

$R$ $S$ $R \not \subseteq S$

সম্পাদনা: এটি ভুল, কারণ এমন কোনও গ্যারান্টি নেই যে এই জাতীয় শব্দটি রাষ্ট্রের সংখ্যায় বহুপদী হবে।

— jmite
সূত্র

এটি কি একটি তাত্ত্বিক প্রশ্ন, বা অনুশীলন সম্পর্কে? কখনও কখনও অনুশীলনে সম্মুখীন ইনপুটগুলির একটি নির্দিষ্ট "বন্টন" এর জন্য, পি-স্পেসের সম্পূর্ণ সমস্যা পি সময়ে "চলমান" হতে পারে।

— vzn

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

— jmite

হ্যাঁ, একটি চমত্কার স্ট্রেইটপুইড অ্যালগরিদম রয়েছে যা দুটি মেশিনের প্রতিটিটির জন্য সমান্তরালে রূপান্তর অনুসরণ করে এবং ফলাফল নির্ধারণের স্থিতির সেটগুলি ট্র্যাক করে কিছুটা স্ট্যান্ড নির্ধারণ অ্যালগরিদমের মতো কাজ করে। এটি কোথাও সাহিত্যে আছে কিনা তা জানেন না, এটি এত সহজ যে এটি অনুমান করে। আপনি ইতিমধ্যে কিছু অ্যালগরিদম ব্যবহার করছেন? আপনি যদি এটি উদ্ধৃত করেন তবে এটি সহায়ক হবে। এছাড়াও ইনপুট ধরণের আরও বিশদ সহায়ক হবে। মনে হচ্ছে আপনি দুটি এনএফএসের ছেদটি ফাঁকা কিনা তা নির্ধারণ করতে চান? আপনি কি ছেদটির ভাষা চান বা কেবল ওয়াইএন / যদি এটি অমানবিক হয়?

— vzn

আমি খালি এটি খালি খুঁজছি, এই ধারণাটি আমি সন্ধান করছি যে কিনা তা পরীক্ষা করতে । সমান্তরাল রূপান্তর অ্যালগরিদম কাজ করে, আমি মনে করি যে হার্ড অংশটি একটি এনএফএর প্রশংসা নিচ্ছে, আপনাকে প্রথমে ডিএফএতে রূপান্তর করতে হবে। আমি এখনই যে অ্যালগরিদমটি ব্যবহার করছি তা কেবল নিষ্ঠুর শক্তি, কারণ আমি কেবল সীমাবদ্ধ ভাষার সাথেই কাজ করছি।

R - S = {}

$R-S=\{\}$

R \subseteq S

$R \subseteq S$

— jmite

বিশ্বাস করুন যে কোনও ডিএফএ ১ ম এ রূপান্তর না করে দুটি এনএফএ পাড়ি দেওয়ার একটি উপায় থাকতে পারে, এমনকি এটির একটির পরিপূরকও খুঁজে পাওয়া যায় না। তবে তা রেফারেন্সে দেখেনি।

— vzn

উত্তর:

এনএফএগুলিতে ভাষার ধারন স্থির করার সমস্যাটি কমপ্লিট । এটি প্রমাণ করার জন্য, এনএফএগুলির জন্য সার্বজনীনতা সমস্যা থেকে হ্রাস করা সহজ ( কিনা তা পরীক্ষা করা ) সুতরাং, এক উপায়ে আপনাকে নির্ধারণ করতে হবে, তবে আপনি উড়ন্তভাবে এটি করতে পারেন। $PSPACE$ $L(A)=\Sigma^*$

সহ-এনপি সম্পর্কে আপনার পর্যবেক্ষণ ভুল (তবে দুর্দান্ত)। এই ধরনের একজন সাক্ষী প্রকৃতপক্ষে মধ্যে বহুপদী সময় চেক ইন করা যাবে সাক্ষী , কিন্তু সবচেয়ে কম সাক্ষী নিজেই ইনপুটের দৈর্ঘ্য সূচকীয় করা যেতে পারে। যেহেতু , তারপরে অ-সংযোজন সিদ্ধান্ত নেওয়াও com $PSPACE=co-PSPACE$ $PSPACE$

রাষ্ট্র জিনিষ আরো সাবধানে, সিদ্ধান্ত নেওয়ার সময় হয় আকার (শুধুমাত্র যেহেতু চাহিদা complemented করা), এবং আকার । $L(A)\subseteq L(B)$ $PSPACE$ $B$ $B$ $NLOGSPACE$ $A$

— Shaull
সূত্র

তুমি একেবারেই সঠিক. আমি এনএফএগুলির একটি নির্দিষ্ট শ্রেণীর সাথে কাজ করছি যেখানে আমি যা বলেছিলাম তা ধারণ করে তবে এটি সম্ভবত সাধারণ অসীম এনএফএগুলির সাথে নাও পারে। ধন্যবাদ!

— jmite

আপনার কাছে কোনও কাগজ বা পাঠ্যপুস্তকের কোনও উল্লেখ নেই যা এটি পিএসপিএসিই-সম্পূর্ণ প্রমাণ করে, আপনি কি করবেন?

— jmite

এটি খুব বিস্তারিত প্রমাণ নয়, তবে আমি মনে করি এটি করবে: জ্ঞান.ইউইজম্যান.এইচ /ilvivardi/av/notes/lec4.ps

— শাল

ফিনাইট অটোমেটার জন্য জিন-ফ্রানসোয়া রসিনের কাগজ আন্টিচাইন অ্যালগরিদমগুলিতে আপনার নজর দেওয়া উচিত ।

আমাদের পরীক্ষাগুলিতে, অ্যান্টেইন-ভিত্তিক অন্তর্ভুক্তি পরীক্ষা "traditionতিহ্যগতভাবে" পদ্ধতির চেয়ে মাত্রার এক বা দুটি ক্রম সম্পাদন করে।

যদি আমি সঠিকভাবে মনে রাখি তবে এই অ্যালগরিদমটি লাইবামোর ++ লাইব্রেরিতে প্রয়োগ করা হয় ।

— দেনিযেল
সূত্র

অনলাইনে উপলভ্য সেরা, সবচেয়ে পুঙ্খানুপুঙ্খ অত্যাধুনিক ও অত্যন্ত অনুকূলিত, বিনামূল্যে এফএসএম লাইব্রেরি হ'ল এটিএন্ডটি এফএসএম গ্রন্থাগার । এটি আপনার বর্ণনার ঠিক "fsmdifferences" প্রয়োগ করে, পার্থক্যটি সম্পাদনের জন্য নির্ধারিত এপসিলন-মুক্ত এফএসএম প্রয়োজন। একটি ধারণা হ'ল পার্থক্য করার আগে একটি বা উভয় এফএসএম হ্রাস করা, এটি কিছু ক্ষেত্রে সহায়তা করতে পারে। (অর্থাত্ নির্ধারণকে হ্রাস করার মতো নয়)) এই প্যাকেজে একটি "আনুমানিক" বা "লোভী" ন্যূনতমকরণ রয়েছে যা একটি সম্পূর্ণ মিনিমাইজেশনের চেয়ে সম্ভবত দ্রুততর করার জন্য ডিজাইন করা হয়েছে।

যাইহোক, অনুরূপ সমস্যা অধ্যয়নরত, আমি বিশ্বাস করি যে এফএসএমগুলির কিছু সাধারণীকরণ বা নির্মাণ রয়েছে যা সাহিত্যে উপস্থিত হয় না যা নির্ধারণের পদক্ষেপটি এড়িয়ে এই সমস্যাটিতে সহায়তা করতে পারে, অর্থাত্ কোনও অতিরিক্ত নির্ধারিত এফএসএম তৈরি না করে মূলত একটি এনএফএ উল্টানো। ধারণাটি হ'ল এনএফএ প্রান্তগুলিকে "সমান্তরালভাবে" পেরোতে হবে এবং স্ট্যান্ডার্ড নির্ধারণকারী অ্যালগরিদমের মতোই বর্তমান "সুপারস্টেট" (রাজ্যের সেট) এর অংশ নোডগুলির সেটকে ট্র্যাক করে রাখবে। তারপরে, এনএফএ পরিপূরক গ্রহণ করে এবং কেবল যদি বর্তমান সুপারস্টেট নোডগুলির সেট "সমস্ত অগ্রহণযোগ্য" হয় (নির্ধারিত নির্মাণের বিপরীতে যা iff "কোনও গ্রহণযোগ্য" গ্রহণ করে)।

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

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

[১] জেড নোটেশন নাজির আহমদ জাফর, নবেল সাবির এবং আমির আলী ব্যবহার করে ননডিটারিস্টিনিস্টিক ফিনাইট অটোমাতার ছেদ নির্মাণ

[২] অসীম শব্দের উপর ননডেটারিস্টেমিক অটোমেটার জন্য পরিপূর্ণতা কনস্ট্রাকশনস অরনা কুপফর্ম্যান এবং মোশে ভার্দি

— vzn
সূত্র