তাত্ত্বিক কম্পিউটার বিজ্ঞান

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

32 reference-request  automata-theory  fl.formal-languages 

এমনকি প্রমাণ ছাড়াই পি! = এনপি বিশ্বাস করার জন্য প্রায়শই উদ্ধৃত দার্শনিক ন্যায়সঙ্গততা রয়েছে। অন্যান্য জটিলতার ক্লাসগুলির প্রমাণ রয়েছে যে তারা স্বতন্ত্র, কারণ যদি তা না হয় তবে "বিস্ময়কর" পরিণতি ঘটতে পারে (বহুপদী শ্রেণিবদ্ধের পতনের মতো)। আমার প্রশ্ন হ'ল, পিপিএড শ্রেণি অবিচ্ছেদ্য যে বিশ্বাসের ভিত্তি কী? ন্যাশ ভারসাম্য সন্ধানের জন্য …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

এই প্রশ্নের, একটি 3CNF সূত্র একটি CNF সূত্র যেখানে প্রতিটি দফা জড়িত মানে ঠিক তিন স্বতন্ত্র ভেরিয়েবল। ধ্রুব 0 0 s <1 এর জন্য, গ্যাপ -3 এস্যাট এস নিম্নলিখিত প্রতিশ্রুতি সমস্যা: গ্যাপ -3 এসএটি এর দৃষ্টান্ত : একটি 3 সিএনএফ সূত্র φ হ্যাঁ-প্রতিশ্রুতি : satis সন্তোষজনক। কোন-প্রতিশ্রুতি : কোন সত্য …

32 cc.complexity-theory  sat  approximation-hardness 

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

32 quantum-computing  big-picture 

নিম্নলিখিত ক্রিয়াকলাপগুলিকে সমর্থন করে এমন কোনও অগ্রাধিকারের কিউ ডেটা কাঠামো রয়েছে? সন্নিবেশ (x, পি) : অগ্রাধিকার পি সহ একটি নতুন রেকর্ড এক্স যুক্ত করুন স্টেবলএক্সট্রাক্টমিন () : সন্নিবেশ ক্রমের মাধ্যমে সম্পর্কগুলি ভেঙে ন্যূনতম অগ্রাধিকার সহ রেকর্ডটি ফিরিয়ে দিন এবং মুছুন । সুতরাং, সন্নিবেশ (ক, 1), সন্নিবেশ (খ, 2), সন্নিবেশ (সি, …

32 ds.data-structures 

দিন L={n:the nth binary digit of π is 1}L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (যেখানে বাইনারি হিসাবে এনকোড হিসাবে ভাবা হয়)। তাহলে আমরা গণনামূলক জটিলতা সম্পর্কে কী বলতে পারি ? এটা যে পরিষ্কার । এবং …

31 cc.complexity-theory  na.numerical-analysis 

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

31 halting-problem 

এসটি-কানেক্টিভিটি নির্ধারণের মধ্যে দুই বিশিষ্ট ছেদচিহ্ন একটি নির্দেশ পথ অস্তিত্ব আছে কিনা এর সমস্যা এবং টন একটি নির্দেশ গ্রাফে জি ( পঞ্চম , ই ) । এই সমস্যাটি লগস্পেসে সমাধান করা যায় কিনা, এটি দীর্ঘদিনের উন্মুক্ত সমস্যা। একে এন এল বনাম এল সমস্যা বলা হয় ।গুলিগুলিsটিটিtজি ( ভি, ই)জি(ভী,ই)G(V,E)এনএলএনএলNLএলএলL এসটি-কানেক্টিভিটির …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

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

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

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

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

সেখানে কি বিপরীত চেরনফ বাঁধা আছে যা সীমানা দেয় যে লেজের সম্ভাবনা কমপক্ষে এত বেশি। উদাহরণস্বরূপ যদি স্বতন্ত্র দ্বিপদী র্যান্ডম ভেরিয়েবল এবং । তারপর আমরা প্রমাণ করতে পারেন কিছু ফাংশন জন্য ।X1,X2,…,XnX1,X2,…,XnX_1,X_2,\ldots,X_nμ=E[∑ni=1Xi]μ=E[∑i=1nXi]\mu=\mathbb{E}[\sum_{i=1}^n X_i]Pr[∑ni=1Xi≥(1+δ)μ]≥f(μ,δ,n)Pr[∑i=1nXi≥(1+δ)μ]≥f(μ,δ,n)Pr[\sum_{i=1}^n X_i\geq (1+\delta)\mu]\geq f(\mu,\delta,n)fff

31 pr.probability  chernoff-bound 

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

31 pl.programming-languages  type-theory  program-verification  dependent-type 

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

31 computability  turing-machines  universal-computation 

জং / শাহ দ্বারা অ্যালগোরিদম ব্যবহার করে ছোটখাটো-বাদ দেওয়া গ্রাফগুলিতে রঙিন্যের আনুমানিক সংখ্যাকে সহজ বলে মনে হচ্ছে । সাধারণ গ্রাফগুলিতে শক্ত তবে ছোটখাট-বাদ দেওয়া গ্রাফগুলিতে সহজ এমন সমস্যাগুলির অন্যান্য উদাহরণ কী কী? আপডেট 10/24 আপডেটটি গ্রোহ-এর ফলাফল অনুসরণ করে মনে হচ্ছে যে সীমিত-বৃক্ষবৃদ্ধি গ্রাফগুলিতে পরীক্ষার জন্য এফপিটি হ'ল সূত্রটি অপ্রাপ্ত …

31 ds.algorithms  graph-theory  graph-minor 

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

31 cc.complexity-theory  complexity-classes  big-list  nexp