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

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

12 ds.algorithms  reference-request  sorting 

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

12 computability  time-complexity 

বলুন যে কারও কাছে একটি ভাষা , তবে কেউ জানেন না যে স্ট্রিংগুলি আসলে ভাষার অংশ। প্রত্যেকটি ভাষাতেই সীমাবদ্ধ দৃষ্টিভঙ্গি রয়েছে: ভাষার মধ্যে পরিচিত স্ট্রিং এর একটি সীমাবদ্ধ সেট এবং একটি সীমাবদ্ধ সেট যা পরিচিত ভাষায় না।L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus L) উদাহরণস্বরূপ, আসুন আমি আছে এবং …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

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

12 ds.data-structures  pr.probability 

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

12 cc.complexity-theory  computability 

আমি কেবল ফাংশনগুলির কয়েকটি উদাহরণ জানতে চাই যা টাইপ করা ল্যাম্বদা ক্যালকুলিয়াস দ্বারা টাইপ করা ল্যাম্বদা ক্যালকুলিয়াস দ্বারা গণনা করা যায়। যেহেতু আমি একজন শিক্ষানবিস, পটভূমি তথ্যের কিছু পুনরাবৃত্তি প্রশংসা করা হবে। ধন্যবাদ। সম্পাদনা করুন: টাইপ করা ল্যাম্বদা ক্যালকুলি দ্বারা, আমি সিস্টেম এফ এবং কেবল-টাইপযুক্ত ল্যাম্বদা ক্যালকুলাস সম্পর্কে জানতে চাইছিলাম। …

12 pl.programming-languages  type-theory  lambda-calculus  computable-analysis 

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

12 graph-theory  graph-algorithms 

ওজন একটি বাইনারি স্ট্রিং এক্স ∈ { 0 , 1 } এন স্ট্রিং বেশী সংখ্যা। আমরা যদি কিছু লোকের সাথে ইনপুটগুলিতে মনোটোন ফাংশন গণনা করতে আগ্রহী হয় তবে কী হবে?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n আমরা জানি যে গ্রাফের ক্লিক রয়েছে কিনা তা নির্ধারণ করা মনোোটোন সার্কিটগুলির জন্য শক্ত (অন্যদের মধ্যে দেখুন অ্যালন বোপ্পানা, 1987), …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

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

12 fl.formal-languages  automata-theory 

যেমনটি সুপরিচিত, এনপি-হার্ড অপ্টিমাইজেশান সমস্যাগুলির মধ্যে বিভিন্ন প্রকারের অনুমানের অনুপাত থাকতে পারে, পিটিএএস থাকা থেকে শুরু করে কোনও কারণের মধ্যে সীমাবদ্ধ না হওয়া পর্যন্ত। এর মধ্যে, আমাদের বিভিন্ন ধ্রুবক রয়েছে, , ইত্যাদিপি ও এল ওয়াই ( এন )O(logn)O(log⁡n)O(\log n)poly(n)poly(n)poly(n) সম্ভাব্য অনুপাতের সেট সম্পর্কে কী জানা যায়? আমরা কি কোনও ধরণের …

12 cc.complexity-theory  approximation-hardness 

গ্রেগ কুপারবার্গের জটিলতা প্রাণিবিদ্যায় বলা হয়েছে যে এখানে একটি ভাষা রয়েছে যা - অন্য কথায়, in গণিত \ বিপিপি ^ এক্স ^ nsub \ mathsf {P} ^ {\ mathsf {NP} ^ X} - তবে এই ফলাফলের জন্য কোনও রেফারেন্স দেয় না। কেন এই ধরে? বা কোথায় প্রমাণ পাওয়া যাবে?XXXBPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

বিষয় হ্রাসের প্রমাণ হিসাবে বারেন্ড্রেগেটের মধ্যে আমি একটি সমস্যা পেয়েছি (ধরণের ল্যাম্বদা ক্যালকুলির থিম 4.2.5 )। প্রমাণের শেষ ধাপ (60 পৃষ্ঠা), বলেছেন: "এবং অতএব লেমা দ্বারা ৪.১.১৯ (১), চতুষ্কাল am "Γ,x:ρ⊢P:σ′Γ,x:ρ⊢P:σ′\quad\Gamma,x:\rho\vdash P:\sigma' তবে লেম্মা ৪.১.১৯ (১) অনুসারে এটি , যেহেতু প্রতিস্থাপনটি তৈরি করা হয়েছে পুরো প্রসঙ্গে, কেবল । এক্স : …

12 lo.logic  type-theory  lambda-calculus  proof-theory 

প্রদত্ত একটি endofunctor , আমরা ফাংশন যে কোনো জন্য বহুরুপী হিসাবে পর্যবেক্ষণ কার্যক্রম সংজ্ঞায়িত করতে পারবেন এফ -coalgebra হলো, হে খ গুলি কোন সংজ্ঞায়িত করা হয় এফ -coalgebra ⟨ একজন , গ : একজন → এফ একজন ⟩ । ণ খ গুলি : ∀ ⟨ একজন , গ ⟩ । …

12 ct.category-theory 

আমার চাকরিতে নিম্নলিখিত সমস্যা দেখা দেয়: কোনও অ্যালগরিদম জানা আছে, যা কোনও অর্ডার-এর একটি স্বাধীন সেট 65 ছাড়াই গ্রাফের ক্রোম্যাটিক সংখ্যার সাথে সংলগ্ন হয়? (সুতরাং আলফা (জি) <= 64 পরিচিত এবং | ভি | / 64 একটি তুচ্ছ নিম্ন, | ভি | একটি তুচ্ছ উপরের আবদ্ধ upper তবে এই বিশেষ …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring 

নিম্ন সীমাটি প্রমাণ করতে আমরা কী স্ট্যান্ডার্ড সমস্যাগুলি হ্রাস করতে পারি ?Ω ( এন লগএন )Ω(nlog⁡n)\Omega(n\log n) অবশ্যই, সর্টিং এবং উপাদানগুলির স্বতন্ত্রতা ব্যতীত রাষ্ট্রীয় সমস্যাগুলি।

12 cc.complexity-theory  lower-bounds