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

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

10 complexity-theory  reductions  complexity-classes 

নব্বইয়ের দশকের শেষের দিকে, যখন আমি স্নাতক স্কুলে ছিলাম, কাগজটি জেএইচ সল্টজার; ডিপি রিড; ডিডি ক্লার্ক: সিস্টেম ডিজাইনে শেষ থেকে শেষ যুক্তি । এসিএম ট্রান্স Comput। Syst। 2 (4): 277-288, 1984. ডিওআই = 10.1145 / 357401.357402 প্রতিটি বিশ্ববিদ্যালয়ের প্রতিটি অপারেটিং সিস্টেমের ক্লাসে পড়া দরকার ছিল এবং এটি এখনও ইন্টারনেটের ডিজাইনের …

10 computer-architecture  operating-systems  distributed-systems  computer-networks 

চৈতিনের মেটা মঠে! ওমেগা দ্য কোয়েস্টে তিনি হিলবার্টের দশম সমস্যা নিয়ে সংক্ষেপে কথা বলেছেন। তারপরে তিনি বলেছিলেন যে কোনও ডায়োফানটাইন সমীকরণ ধনাত্মক পূর্ণসংখ্যার সহগ সহ দুটি সমান পরিবর্তিত হতে পারে: ।পি = 0পি = 0p=0p=0পি = 0⟺পি1= পি2p=0⟺p1=p2p=0 \iff p_1 = p_2 তারপরে তিনি বলেছেন যে আমরা এই কম্পিউটারগুলি "কম্পিউটার" …

10 logic  halting-problem 

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

10 complexity-theory  formal-languages 

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

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

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

10 algorithms  primes 

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

10 complexity-theory  reference-request  np-complete  reductions 

লিনিয়ার প্রোগ্রামগুলি বিবেচনা করুন Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} দুর্বল দ্বৈত উপপাদ্য বলে যে যদি x⃗ x→\vec{x} এবং y⃗ …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

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

10 lambda-calculus  type-theory  type-inference 

আমার সমস্যাটি এরকম: আমার একটি দৈহিক বিন্যাস গ্রাফ হিসাবে উপস্থাপন করা আছে। নোডগুলি হুক / নলগুলি উপস্থাপন করে যেখানে একটি তারের নোঙ্গর করতে পারে এবং এজগুলি 2 টি নোডের মধ্যে সম্ভাব্য সংযোগ যেখানে থেকে তারে যেতে পারে। কিছু স্পেশাল নোড রয়েছে, যাকে স্প্লিটটার বলা হয়, সেখান থেকে একক ওয়্যারকে 2 …

10 algorithms  graph-theory  optimization 

ভূমিকা এবং স্বরলিপি: এখানে আমার অ্যালগরিদমের একটি নতুন এবং সাধারণ সংস্করণ রয়েছে যা মনে হচ্ছে (আমার পরীক্ষাগুলি অনুসারে) শেষ হয়ে গেছে, এবং এখন আমি এটি প্রমাণ করতে চাই। স্বরলিপি একটি পি ডাইমেনশনাল ডেটা পয়েন্ট (একটি ভেক্টর) পড়ুন। আমি তিনটি সেট A, B এবং সি, কাছে আছে যাতে | ক | …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

বিগ-ও স্বরলিপিতে কার্যের সহগগুলি নিয়ে আলোচনা করতে কোন স্বরলিপি ব্যবহার করা হয়? আমার দুটি ফাংশন রয়েছে: চ( x ) = 7 x2+ 4 x + 2চ(এক্স)=7এক্স2+ +4এক্স+ +2f(x) = 7x^2 + 4x +2 ছ( x ) = 3 x2+ 5 এক্স + 4ছ(এক্স)=3এক্স2+ +5এক্স+ +4g(x) = 3x^2 + 5x +4 …

10 terminology  asymptotics  landau-notation 

মনে করুন একটি অ্যালগরিদমের একটি রানটাইম পুনরাবৃত্তি সম্পর্ক রয়েছে: টি( n ) = { g( n ) + টি( n - 1 ) + টি( Δ δ)n ⌋ )চ( এন ): n ≥ n0: এন < এন0T(n)={g(n)+T(n−1)+T(⌊δn⌋):n≥n0f(n):n<n0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : n \ge …

10 asymptotics  recurrence-relation 

বিগ-ও স্বরলিপি ধ্রুবক উপাদানগুলি গোপন করে, তাই কিছু অ্যালগরিদম উপস্থিত রয়েছে যা কোনও যুক্তিসঙ্গত ইনপুট আকারের জন্য অপরিবর্তনীয় কারণ এন টার্মের সহগ এত বিশাল।ও ( এন )O(n)O(n)এনnn এমন কোনও অ্যালগরিদম রয়েছে যার রানটাইম হ'ল তবে কিছু কম-অর্ডার ও ( এফ ( এন ) ) পদটি এত বিশাল যে যুক্তিসঙ্গত ইনপুট …

10 algorithms  asymptotics 

ফাংশন বা গণনার জন্য আমাদের কাছে এমন শর্ত রয়েছে: নির্ণায়ক - নির্ণয় খাঁটি - বিশুদ্ধতা পার্শ্ব-প্রভাব- মুক্তের জন্য সঠিক সম্পর্কিত বিশেষ্যটি কী? "পার্শ্ব-প্রভাব নির্লজ্জতা"? "পার্শ্ব প্রতিক্রিয়া স্বাধীনতা"? "অ-পার্শ্ব-কার্যকর"?

10 terminology  programming-languages