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

গণনযোগ্যতা তত্ত্ব ওরফে পুনরাবৃত্তি তত্ত্ব।

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

10
চার্চ-টিউরিং থিসিসকে অস্বীকার করার অর্থ কী?
আকর্ষণীয় শিরোনামের জন্য দুঃখিত। আমি বুঝতে চাই, চার্চ-টিউরিং থিসিসকে অস্বীকার করার জন্য আমাদের কী করা উচিত? কোথাও আমি পড়েছি এটি করা গাণিতিকভাবে অসম্ভব! কেন? ট্যুরিং, রোজার ইত্যাদি বিভিন্ন শর্তাদি ব্যবহার করে: "কী গুনা যায়" এবং "কী ট্যুরিং মেশিন দ্বারা গুণা যায়" between এ সম্পর্কে ট্যুরিংয়ের ১৯৩৯ সালের সংজ্ঞাটি হ'ল: "আমরা …


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

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

5
ট্যুরিং মেশিনকে গণনার প্রাথমিক মডেল হিসাবে গ্রহণের Histতিহাসিক কারণ।
এটি আমার উপলব্ধি যে ট্যুরিংয়ের মডেল গণনার বিবরণ দেওয়ার সময় "মান" হয়ে উঠেছে। আমি কেন আগ্রহী তা জানতে আগ্রহী - এটি হ'ল টিএম মডেল কেন অন্যান্য তাত্ত্বিক সমতুল্য (আমার জ্ঞানের সাথে) মডেলগুলির চেয়ে বেশি ব্যবহৃত হয়েছে, উদাহরণস্বরূপ ক্লিনির μ-পুনরাবৃত্তি বা ল্যাম্বদা ক্যালকুলাস (আমি বুঝতে পেরেছি) পূর্ববর্তীটি পরবর্তীকালে উপস্থিত হয়নি এবং …

2
একক টেপ টুরিং মেশিনের বর্ণমালা
ক্যান যে ফাংশন ঐ সময়ের মধ্যে গণনীয় হয় T একটি একক টেপ মেশিন টুরিং আকারের বর্ণমালা ব্যবহার করে ট = হে ( 1 ) সময় নির্ণিত করা হে ( T ) উপর একটি একক টেপ টুরিং মেশিন আকারের বর্ণমালা ব্যবহার 3 (বলুন, 0 , 1 , এবং ফাঁকা)?চ: { 0 …

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

7
সত্যিই এলোমেলো নম্বর জেনারেটর: ট্যুরিং গণনাযোগ্য?
"সত্যিকারের এলোমেলো" সংখ্যার জেনারেশন টিউরিং গণনাযোগ্য কিনা সে সম্পর্কে আমি একটি সুনির্দিষ্ট উত্তর চাইছি। আমি ঠিক কিভাবে এই শব্দগুচ্ছ করতে জানি না। "এলোমেলো সংখ্যা জেনারেশনের জন্য দক্ষ অ্যালগরিদম" সম্পর্কিত এই স্ট্যাক এক্সচেঞ্জ প্রশ্নটি আমার প্রশ্নের উত্তর দেওয়ার কাছাকাছি আসে। চার্লস স্টুয়ার্ট তার উত্তরে বলেছিলেন, "এটি [মার্টিন-ল্যাফ এলোমেলো] কোনও মেশিন দ্বারা …

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

9
অ-নির্ধারণবাদ এবং এলোমেলোতার মধ্যে পার্থক্য কী?
আমি সম্প্রতি এটি শুনেছি - "একটি অ-নিরোধক মেশিন কোনও সম্ভাব্য মেশিনের মতো নয় cr অশোধিত ভাষায়, একটি অ-নিরস্তব্য মেশিন একটি সম্ভাবনাময় মেশিন যেখানে ট্রানজিশনের সম্ভাবনাগুলি জানা যায় না"। আমি মনে করি আমি পয়েন্ট পেয়েছি কিন্তু আমি সত্যিই না। কেউ আমাকে (মেশিনের প্রসঙ্গে বা সাধারণভাবে) এটি ব্যাখ্যা করতে পারেন? সম্পাদনা 1: …

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

4
জটিলতা ক্লাস এবং যুক্তির মধ্যে চিঠিপত্র
আমি কমপ্যুটেবিলিটি এবং লজিকের উপর একবার ক্লাস নিয়েছি। উপাদানগুলিতে জটিলতা / গণনাযোগ্যতা ক্লাস (আর, আরই, কো-আরই, পি, এনপি, লগস্পেস, ...) এবং লজিক্সের মধ্যে পারস্পরিক সম্পর্ক অন্তর্ভুক্ত ছিল (প্রাক্কলিত ক্যালকুলাস, প্রথম আদেশের যুক্তি, ...)। পারস্পরিক সম্পর্কের ক্ষেত্রে এক ক্ষেত্রের বেশ কয়েকটি ফলাফল অন্তর্ভুক্ত ছিল, যা অন্য ক্ষেত্রের কৌশলগুলি ব্যবহার করে প্রাপ্ত …

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

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

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