প্রশ্ন ট্যাগ «halting-problem»

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

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

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

31 halting-problem 

এটি পরিচিত যে অ্যালগোরিদমগুলির একটি গণনাযোগ্য সেট (একটি গডেল সংখ্যা দ্বারা চিহ্নিত) সহ আমরা এন এর সমস্ত উপগঠন গণনা করতে পারি না (বাইনারি অ্যালগরিদম তৈরি করতে পারি যা চেক সম্পর্কিত) একটি প্রমাণকে সংক্ষেপে বলা যেতে পারে: আমরা যদি পারতাম তবে এন এর সমস্ত উপসর্গের সেট গণনাযোগ্য হবে (আমরা প্রতিটি উপসেটকে …

29 computability  halting-problem 

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

16 computability  turing-machines  board-games  halting-problem  recreational 

আমি ভাবছিলাম যে কোলাটজ অনুমানটিকে আনুষ্ঠানিক ব্যাকরণ হিসাবে তদন্ত করার চেষ্টা করার কোনও ভাল গ্রন্থপঞ্জি আছে কিনা ? (বা এই শ্রেণীর উত্পাদনমূলক ঘটনা ও তাদের "থামানো" বৈশিষ্ট্যগুলির সাথে মোকাবিলার জন্য সিএস সম্প্রদায়ের অন্য কোনও প্রচেষ্টা)।

16 fl.formal-languages  nt.number-theory  halting-problem 

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

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

এমন কি কোনও ট্যুরিং মেশিন রয়েছে যা সিদ্ধান্ত নিতে পারে যে প্রায় সমস্ত অন্যান্য ট্যুরিং মেশিন বন্ধ রয়েছে কিনা ? N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether }M_n \text{ halts} \}\|. কি ন্যূনতম মান …

12 turing-machines  halting-problem 

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

10 lo.logic  type-theory  oracles  halting-problem 

গডেলের প্রথম অসম্পূর্ণতা উপপাদ্যের একটি দুর্বল রূপ, গডেলের পদ্ধতিতে লম্বা, জড়িত এবং কোথাও পরিবর্তে স্বজ্ঞাত হবার প্রত্যক্ষ প্রমাণগুলির মধ্যে থামানো সমস্যার অনস্বীকার্যতার উপর ভিত্তি করে একটি সহজ এবং স্বজ্ঞাত প্রমাণ রয়েছে - উদাহরণস্বরূপ https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof কে এই প্রবন্ধটি প্রথম প্রস্তাব করেছিল এবং কোন নিবন্ধ বা বইতে এটি প্রথম প্রকাশিত …

9 cc.complexity-theory  lo.logic  halting-problem 

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

9 turing-machines  proof-theory  halting-problem 

যেহেতু উভয় প্রমাণই তির্যক যুক্তি ব্যবহার করে, তাই আমি ভাবছি যে অগণিত সীমাহীন সেটগুলির উপস্থিতি এবং থামানো সমস্যার অনস্বীকার্যতার মধ্যে কোনও অস্পষ্ট লিঙ্ক আছে কিনা। সমস্ত সেট গণনাযোগ্য হলে কি থামানো সমস্যাটি সিদ্ধান্তযোগ্য?

9 halting-problem