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

বুদবুদোর এই সিডো কোডটি বিবেচনা করে: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT গড় সময়-জটিলতার মূল্যায়ন করার …

11 algorithms  time-complexity  sorting  average-case 

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

11 formal-languages  computability  programming-languages 

নিম্নলিখিত কোন বিবৃতিটি সঠিক? কোনও ভাষার নিয়মিততা সম্পর্কে পর্যাপ্ত এবং প্রয়োজনীয় শর্তাদি বিদ্যমান তবে এখনও আবিষ্কার হয়নি। কোনও ভাষার নিয়মিততা সম্পর্কে পর্যাপ্ত এবং প্রয়োজনীয় শর্ত নেই। পাম্পিং লেমা কোনও ভাষার নিয়মিততা না থাকার জন্য প্রয়োজনীয় শর্ত। পাম্পিং লেমা কোনও ভাষার নিয়মিততার জন্য পর্যাপ্ত শর্ত। আমি জানি # (4) সঠিক এবং …

11 formal-languages  regular-languages 

n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i&lt;j&lt;k≤n1≤i&lt;j&lt;k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

11 algorithms  time-complexity 

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

11 sets  category-theory 

আমার বোধগম্যতা হল যে মুটেক্সের সর্বাধিক জনপ্রিয় প্রয়োগগুলি (যেমন সি ++ তে স্টডি: মিটেক্স) ন্যায্যতার গ্যারান্টি দেয় না - অর্থাত্ তারা গ্যারান্টি দেয় না যে তর্ক করার ক্ষেত্রে লকটি থ্রেড দ্বারা ক্রম হিসাবে অর্জিত হবে যে তারা বলা হয় লক ()। প্রকৃতপক্ষে, এটি এমনকি সম্ভব (যদিও আশান্বিতভাবে অস্বাভাবিক) যে উচ্চ …

11 concurrency  synchronization  threads 

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

11 type-theory  induction  inductive-datatypes 

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

11 complexity-theory  reference-request  time-complexity  complexity-classes 

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

11 lambda-calculus  type-theory  calculus-of-constructions 

আমি একটি পূর্ণসংখ্যার লিনিয়ার প্রোগ্রামে নিম্নলিখিত সীমাবদ্ধতাটি প্রকাশ করতে চাই: y={01if x=0if x≠0.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} আমার কাছে ইতিমধ্যে এর পূর্ণসংখ্যার ভেরিয়েবল রয়েছে এবং আমি প্রতিশ্রুতি দিয়েছি যে । একটি পূর্ণসংখ্যার লিনিয়ার প্রোগ্রামিং সলভারের সাথে ব্যবহারের উপযোগী ফর্মটিতে আমি …

11 linear-programming  integer-programming 

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

11 information-theory  data-compression  coding-theory  entropy  huffman-coding 

মূলত, সমস্যাটি হ'ল ধনাত্মক সংখ্যার একটি সেট জন্য, একটি ন্যূনতম সংখ্যা যা এর কোনও উপাদানের বিভাজক নয় , যেমন ।ডি এস ∀ x ∈ এস , ডি ∤ এক্সএসSSঘddএসSS∀ x ∈ এস, ডি । X∀x∈S, d∤x\forall x \in S,\ d \nmid x চিহ্নিত করুন n = | এস|n=|S|n = |S|এবং …

11 algorithms  number-theory 

জটিলতা চিড়িয়াখানা কে লিনিয়ার সময়ে একটি ডিস্ট্রিমেন্টিক ট্যুরিং মেশিন দ্বারা সমাধানযোগ্য সিদ্ধান্ত সমস্যার শ্রেণি হিসাবে সংজ্ঞায়িত করে ।এল আইএনLINLIN এল আইএন। পিLIN⊆PLIN \subseteq P যেহেতু হর্ন-স্যাট এ দ্রবণযোগ্য (যেমন প্রস্তাবিত শিং সূত্রগুলির সন্তুষ্টি পরীক্ষা করার জন্য লিনিয়ার-সময়ের অ্যালগরিদমগুলিতে নির্দেশিত হয়েছে ) (1984 )ও ( এন )O(n)O(n) (প্রস্তাবিত) হর্ন সূত্রটি সন্তুষ্টযোগ্য …

11 complexity-theory  time-complexity  reductions 

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

11 algorithms  algorithm-analysis  reference-request  books 

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

11 reference-request  automata  optimization  finite-automata  transducers