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

আমি জানি যে কোনও টাইলসের সেট বিমানটি টাইল করতে পারে কিনা তা নির্ধারণ করা অযোগ্য, ওয়াং টাইলস ব্যবহার করে বার্গারের ফলস্বরূপ । আমার প্রশ্ন হ'ল কোনও একক প্রদত্ত টাইল বিমানটি টালি টানতে পারে কিনা তা নির্ধারণ করার জন্যও এটি অনস্বীকার্য বলে জানা গেছে কি , একটি মনোহেড্রাল টাইলিং। যদি এটি …

24 reference-request  co.combinatorics  decidability  undecidability 

এটি সর্বজনবিদিত যে সাধারণ প্রসঙ্গ-মুক্ত ভাষাগুলির জন্য সমতা সমস্যা অনস্বীকার্য। যাইহোক, এই বিষয়টির সমস্ত প্রমাণ যে সম্পর্কে আমি সচেতন সেগুলিতে কিছুটা অস্পষ্ট প্রসঙ্গ-মুক্ত ব্যাকরণ জড়িত বলে মনে হয়। এই কারণে, আমি নিজেকে জিজ্ঞাসা করতে চাই যে নিজেকে দ্ব্যর্থহীন প্রসঙ্গ-মুক্ত ভাষায় সীমাবদ্ধ করার সময় সমস্যাটি অনস্বীকার্য remains অর্থাত্, দুটি প্রাসঙ্গিক মুক্ত …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

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

18 cc.complexity-theory  reference-request  computability  undecidability 

উত্তর: জানা নেই। জিজ্ঞাসিত প্রশ্নগুলি প্রাকৃতিক, উন্মুক্ত এবং দৃশ্যত কঠিন; প্রশ্নটি এখন একটি সম্প্রদায়ের উইকি। সংক্ষিপ্ত বিবরণ প্রশ্নটি জটিলতা ক্লাসের অন্তর্গত ভাষা PPP ভাষাগুলিকে পৃথক করে দুটি টি পরিপূরক সাবক্লাসে ট্যুরিং মেশিন (টিএম) সিদ্ধান্ত গ্রহণের মাধ্যমে এই ভাষাগুলি গ্রহণ করার চেষ্টা করে: জিনস্টিক ভাষা এবং টিএমএস (যেটি বৈধতা / বোঝার …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

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

13 lo.logic  approximation-algorithms  undecidability 

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

12 computability  decidability  undecidability  unary-languages 

"বৃহত্তম সংখ্যার গেমের নাম দিন" দুজন খেলোয়াড়কে গোপনে একটি সংখ্যা লিখতে বলে এবং বিজয়ী হলেন ব্যক্তি যিনি বৃহত্তর সংখ্যা লিখেছিলেন। গেমটি খেলোয়াড়দের সাধারণত একটি পর্যায়ে মূল্যায়ন করা ফাংশন লিখতে দেয়, সুতরাং লিখতেও এটি একটি গ্রহণযোগ্য জিনিস হবে।222222222^{2^{2^{2}}} ব্যাসি বিভার ফাংশন, মান বৃহত মানগুলির জন্য (জেডএফসি, বা কোনও যুক্তিসঙ্গত ধারাবাহিক অক্সোমেটিক …

11 computability  undecidability 

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

9 computability  decidability  undecidability