প্রশ্ন ট্যাগ «computability»

একটি ভাষা দেওয়া হয়েছে, L : L S ( L ) = { | শব্দের LLLদৈর্ঘ্যের সেট হিসাবে এর দৈর্ঘ্যের সেটটিকে সংজ্ঞায়িত করুন { u | | তোমার দর্শন লগ করা ∈ এল }LLLLLLএল এস (এল)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} কোন পূর্ণসংখ্যার সেটগুলি কোনও নিয়মিত ভাষার দৈর্ঘ্য …

15 formal-languages  computability  regular-languages  finite-automata 

এর মতো ভাষাগুলি এক-এক হ্রাসের আওতায় পুনরায় সম্পূর্ণ । কো-আরই-এরও সম্পূর্ণ সমস্যা রয়েছে তা দেখার বিষয়টি তুচ্ছ । এস স্মিটজ [1] এলইএলএম এবং আরইসি এর মধ্যে কিছু শ্রেণি বিবেচনা করেছেন । তারা এই শ্রেণীর জন্য বিশেষভাবে তৈরি হ্রাসের অধীনে সম্পূর্ণ সমস্যা উপস্থাপন করে।HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} দুর্বল হ্রাসের সাথে সম্পর্কিত কি (ওরফে আরইসি …

14 computability  reductions  turing-completeness  recursion-theory 

নিম্নলিখিত সমস্যাটি নির্ধারণযোগ্য কিনা তা আমি জানতে চাই: উদাহরণ: এন স্টেটাসহ একটি এনএফএ এ প্রশ্ন: এখানে কি এমন কিছু মৌলিক সংখ্যা রয়েছে যা A দৈর্ঘ্যের p এর কিছু স্ট্রিং গ্রহণ করে? আমার বিশ্বাস এই সমস্যাটি অনস্বীকার্য, তবে আমি এটি প্রমাণ করতে পারি না। কোনও নির্দিষ্ট সংখ্যক মৌলিক কিনা তা নির্ধারণ …

14 computability  finite-automata 

যদি fact বাস্তবে equal এর সমান হয় , এটি কীভাবে আমাদের অ্যালগোরিদমগুলিকে দ্রুতগতির পূর্ণসংখ্যায় বাড়িয়ে তুলবে। অন্য কথায়, এই সত্যটি আমাদেরকে পূর্ণসংখ্যার গুণককে আরও ভালভাবে বোঝার ক্ষেত্রে কী ধরণের অন্তর্দৃষ্টি দেবে?পিপি{\sf P}এন পিএনপি{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

আমি সমাধান করার চেষ্টা করছি একটি পুরানো পরীক্ষা থেকে এই প্রশ্নগুলি আছে। প্রতিটি সমস্যার জন্য, ইনপুটটি কিছু টুরিং মেশিন এনকোডিং ।MMM পূর্ণসংখ্যা এবং নিম্নলিখিত তিনটি সমস্যার জন্য:c>1c>1c>1 এটা কি সত্য জন্য প্রতি ইনপুট যে , এম পাস না অবস্থান যখন চলমান ?xxx|x|+c|x|+c|x|+cxxx এটা কি সত্য যে জন্য যে ইনপুট , …

14 computability  turing-machines  undecidability 

আমি ভাবছি কিভাবে নীচের ভাষাটি ।আরআর\mathrm R এলএম1= { ⟨ এম2⟩||এম2 একটি টিএম, এবং এল ( এম)1) = এল ( এম2) , এবং | । এম1⟩ | > | । এম2⟩ | }এলএম1={⟨এম2⟩|এম2 একটি টিএম, এবং এল(এম1)=এল(এম2), এবং |⟨এম1⟩|>|⟨এম2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ …

14 computability  undecidability 

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

14 computability 

অনেকগুলি "বিখ্যাত" অনস্বীকার্য সমস্যা তবুও কমপক্ষে সেমিডেসিডেবল, তাদের পরিপূরকগুলি অনিবার্য হয়ে ওঠে। সর্বোপরি একটি উদাহরণ হোল্ডিং সমস্যা এবং এর পরিপূরক হতে পারে। তবে, কেউ কি আমাকে এমন উদাহরণ দিতে পারবেন যাতে সমস্যা এবং এর পরিপূরক উভয়ই অনস্বীকার্য এবং সেমিডেসিডেবল নয়? আমি তির্যক ভাষা এলডি সম্পর্কে ভেবেছিলাম, তবে পরিপূরকটি অনির্বাচিত বলে …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

আমি ভাবছি সমস্যার সিদ্ধান্ত গ্রহণযোগ্যতা সিদ্ধান্ত গ্রহণ করা যদি একটি সিদ্ধান্ত গ্রহণযোগ্য সমস্যা হয়। আমি অনুমান করছি না, তবে প্রাথমিক অনুসন্ধানের পরেও আমি এই সমস্যার কোনও সাহিত্য খুঁজে পাচ্ছি না।

13 computability  undecidability  decision-problem 

দুটি এনপিডিএ ছেদ করার বিষয়ে রাফেলের পরামর্শে অ্যাপ্রোপোইস : যাক এবং একটি 2 NPDA জন্য প্রসঙ্গ-মুক্ত ভাষায় এবং যথাক্রমে। ধরে যে আমরা জানি যে , আমরা কি (কার্যকরভাবে) জন্য এনপিডিএ তৈরি করতে পারি ?একজন1A1A_1একজন2A2A_2এল 2 এল = এল 1 ∩ এল 2 এ এলএল1L1L_1এল2L2L_2এল = এল1। এল2L=L1∩L2L = L_1 \cap …

13 computability  automata  pushdown-automata 

ব্যস্ত বিভার সর্বাধিক শিফট ফাংশন, , n ≤ 4 এর জন্য মানগুলি জানে । এটি অনুমেয় যে কেন আমরা কখনও>> এন > 4 এর জন্য এস ( এন ) খুঁজে পাব তার কোনও মৌলিক, কাঠামোগত কারণ আছে ? এন = 4 এর চেয়ে এন = 5 এর চেয়ে আলাদা কী …

13 computability  busy-beaver 

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

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

আমি ব্যস্ত বিভার সংখ্যার বিষয়ে এবং সেগুলি কোনও গণনীয় ফাংশনের চেয়ে কীভাবে সংক্ষিপ্ত আকারে বড় হয় সে সম্পর্কে পড়েছি। কেন এমন হয়? এটি কি ব্যস্ত বিভার ফাংশনটির অ-গণ্যতার কারণে? যদি তা হয়, তবে সমস্ত অ-গণনীয় ফাংশনগুলি গণ্যযোগ্যগুলির চেয়ে asympotically বড় হতে পারে? সম্পাদনা: নীচে দুর্দান্ত উত্তরগুলি কিন্তু আমি তাদের সম্পর্কে …

13 computability  asymptotics 

পোস্ট চিঠিপত্রের সমস্যা (পিসিপি) undecidable হয়। পিসিপি- র সীমিত সংস্করণ হ'ল কমপ্লিট এবং পিসিপির চিহ্নিত সংস্করণ (দুটি তালিকার একটির শব্দের প্রথম অক্ষরে পৃথক হওয়া প্রয়োজন) পি এস পি এ সি ই [1] এ রয়েছে।এন পিNP\mathrm{NP}পি এস পি এ সি ইPSPACE\mathrm{PSPACE} এই নিষিদ্ধ সংস্করণগুলি অন্যান্য সমস্যার (হ্রাস মাধ্যমে) কিছু জটিলতার ফলাফল …

13 complexity-theory  computability  reference-request 

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

12 computability  computation-models  turing-completeness  church-turing-thesis