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

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

14 computability  universal-computation 

আমি অন্তর্ভুক্ত দুটি কাগজপত্র হ'ল: ডি কোজেন, "সাবক্রিসিভ ক্লাসগুলির সূচীকরণ" , এসটিওসি , 1978। আর । লাডনার, "স্ট্রাকচার অফ পলিনোমিয়াল টাইম হ্রাসযোগ্যতা" , জ্যাকএএম, 1975।

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

রাইসের উপপাদ্যটিতে বলা হয়েছে যে কয়েকটি টিউরিং মেশিন দ্বারা স্বীকৃত সেটের প্রতিটি অনানুষ্ঠানিক সম্পত্তি অনস্বীকার্য। আমি জটিলতা-তাত্ত্বিক ধানের ধরণের উপপাদ্যের সন্ধান করছি যা আমাদের জানায় যে এনপি সেটের কোন অ-ক্ষণাত্মক বৈশিষ্ট্য অচল able

14 cc.complexity-theory  computability  np 

তাহলে এর বিরাম সময়ের সেট খালি প্রাথমিক টেপ সঙ্গে একটি বাইনারি বর্ণমালার উপর -state টুরিং মেশিন, তারপর ।HT(n)HT(n)HT(n)nnnBB(n)=maxHT(n)BB(n)=maxHT(n)BB(n) = \max HT(n) এইচটি (এন) এর দ্বিতীয় বৃহত্তম সংখ্যা সম্পর্কে আমরা কী বলতে পারি HT(n)HT(n)HT(n)? এই BB_2 (এন) কল করুন BB2(n)BB2(n)BB_2(n)। BB2(n)BB2(n)BB_2(n) তুচ্ছভাবে আপত্তিজনক, যেহেতু এটি একটি গণনা BB(n)BB(n)BB(n) : কেবল আরও …

13 computability 

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

13 computability 

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

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

যেহেতু আমি এটি বুঝতে পারি, একটি প্রমাণ যে পি = এনপি বা পি ≠ এনপি-র পুনঃ-পুনঃসংশোধনযোগ্য হতে হবে (রিকার্সন তত্ত্বের মতো)। যদিও কার্যত সমস্ত প্রমাণাদি আপেক্ষিক বলে মনে হয়। ভাল উদাহরণ কি কি অ relativizable প্রমাণাদি করে একটি পি = দ্বারা NP / পি ≠ দ্বারা NP প্রমাণ হতে হবে …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

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

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

আমি কি, কেন এবং কিভাবে প্রায় আমার মাথা মোড়ানো করার চেষ্টা করছি -calculus কিন্তু আমি সঙ্গে "কেন এটা কাজ করে" বাণিজ্য আসতে করতে অক্ষম নই?λλ\lambda "স্বজ্ঞাতভাবে" আমি ট্যুরিং মেশিনগুলির (টিএম) এর কম্পিউটারের মডেলটি পাই। কিন্তু এই -abstraction শুধু পাতার আমাকে হতভম্ব।λλ\lambda ধরে নেওয়া যাক, স্মৃতি উপস্থিত না থাকার - তারপর …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

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

12 computability  decidability  undecidability  unary-languages 

সিদ্ধান্ত গ্রহণযোগ্য সমস্যাগুলি কি এমন কোনও অ্যালগরিদমের জন্য যা সমস্যার সমাধান করে আমরা ইনপুট উদাহরণের দৈর্ঘ্য n এর একটি কার্য হিসাবে সময় দিতে পারি? আমি এই প্রশ্নটিতে পৌঁছেছি কারণ আমি নিম্নলিখিতগুলি সম্পর্কে ভাবছিলাম: ধরুন আমাদের কাছে পুনরাবৃত্তিযোগ্যভাবে গণনাযোগ্য, তবে অনির্বাণ সমস্যা। আরও ধরে নিন যে আমি সমস্যার "হ্যাঁ" - তারপরে …

12 computability  time-complexity 

সাধারণত ক্যালকুলাস সম্পর্কে যুক্তিযুক্ত কারণটি সীমাবদ্ধতা হ'ল "সময়ের বহুগুণে গণনাযোগ্য" এর মতো একটি প্রান্তিকের চেয়ে গণনার সুনির্দিষ্টতা reason উদাহরণস্বরূপ আনুষ্ঠানিক ভাষায় তত্ত্ব, বরং ব্যবহার করতে ∃ এন । এক্সn + 1= এক্সএন∃এন।এক্সএন+ +1=এক্সএন\exists n. x^{n+1} = x^n aperiodic monoïd বৈশিষ্ট্য, এটা profinite শব্দ ব্যবহার যাতে সহজ হয় এক্সω + 1= …

12 cc.complexity-theory  computability 

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

12 reference-request  computability  kolmogorov-complexity 

এটি সম্ভবত বেশ সহজ, তবে স্ট্যান্ডার্ড পোস্ট চিঠিপত্রের সমস্যাটি বিবেচনা করুন: প্রদত্ত এবং β 1 , ... , β এন , সূচকের একটা ক্রম এটি আমি 1 , ... , আমি K যেমন যে α আমি 1 ⋯ α আমি কে = β আমি 1 ⋯ β আমি কে । …

12 computability  fl.formal-languages 

কাগজটি লরি হেল্লা এবং জোস মারিয়া টারুল-টরেস, উচ্চতর অর্ডার যুক্তির সাথে কম্পিউটারের ক্যোয়ারীগুলি , টিসিএস 355 197–214, 2006. ডয়ি: 10.1016 / j.tcs.2006.01.009 লজিক ভিও, ভেরিয়েবল-অর্ডার লজিকের প্রস্তাব দেয়। এটি ভেরিয়েবলের উপর অর্ডারের পরিমাণ নির্ধারণ করতে দেয়। ভিও বেশ শক্তিশালী এবং কিছু অ-গণনাযোগ্য প্রশ্ন প্রকাশ করতে পারে। (নীচে আর্থার মিলিশিয়রের দ্বারা …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity