সীমাবদ্ধ অটোমেটা যা বাইনারি স্ট্রিংগুলিকে n দ্বারা বিভাজ্য বলে গ্রহণ করে


18

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

আমি প্রতিশ্রুতিবদ্ধ এটি আমার জন্য হোমওয়ার্ক প্রশ্নের উত্তর দেবে না! :)


3
তাত্ত্বিক কম্পিউটার সায়েন্সে (টিসিএস) গবেষণা-স্তরের প্রশ্নের জন্য প্রশ্নোত্তরের একটি সাইট সিটিওরিতে আপনাকে স্বাগতম । আপনার প্রশ্নটি টিসিএসে কোনও গবেষণা-স্তরের প্রশ্ন বলে মনে হচ্ছে না। দয়া করে দেখুন প্রায়শই জিজ্ঞাসিত প্রশ্নাবলী কি সাইট যা আপনার প্রশ্নের স্বাগত জানাই পারে এই ও পরামর্শ দ্বারা বোঝানো হয় সম্পর্কে আরও তথ্যের জন্য। অবশেষে, যদি আপনার প্রশ্নটি সুযোগের বাইরে থাকার কারণে বন্ধ হয়ে যায় এবং আপনি বিশ্বাস করেন যে আপনি এটিকে গবেষণা-পর্যায়ের প্রশ্ন তৈরি করতে প্রশ্নটি সম্পাদনা করতে পারেন তবে দয়া করে নির্দ্বিধায় এটি অনুভব করুন। সমাপ্তি স্থায়ী নয় এবং প্রশ্নগুলি আবার খোলা যেতে পারে, আরও তথ্যের জন্য FAQ দেখুন।
কাভেহ

2
@ কাভেঃ আমার মনে হয় প্রশ্নটি ঠিক আছে, বিশেষত ডেভিডের সংক্ষিপ্ত উত্তর দেওয়া হয়েছে।
হ্যাক বেনেট

2
@ হাকবেনেট আমি কাভের সাথে একমত যে এই প্রশ্নটি cstheory এ বন্ধ করা উচিত, বেশিরভাগ ক্ষেত্রেই ধারাবাহিক হতে হবে। তবে, আমি আপনার সাথে একমত: এটি একটি মজাদার প্রশ্ন এবং যখন আপনি প্রথম ডিএফএগুলি দেখেন তখন অবশ্যই আপনার নিজের জিজ্ঞাসা করা উচিত। আমি মনে করি যে ওপিকে নিজের জন্য উত্তরটি খুঁজে বের করার জন্য কিছু মজা করার চেষ্টা করা উচিত এবং তারপরে আরও তথ্যের জন্য গণিতের সাথে পরামর্শ করুন SE
Artem Kaznatcheev

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

1
@ জানোমা: আসলেই। প্রশ্নের শেষের প্রস্তাবটি ওপিকে নিম্ন সীমানার সাথে উপরের সীমানাকে বিভ্রান্ত করে।
মাইকেল ব্লন্ডিন

উত্তর:



8

একই বিষয়ে আরও একটি কাগজ রয়েছে: বি। আলেজিভ, বিভাজ্যতা পরীক্ষার জন্য ন্যূনতম ডিএফএ, জে.কম্পুট। Syst। সী। 69 (2004), 235–243।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.