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

আমি বুঝতে পারি যে একটি গির্জার সংখ্যা দেখতে (... এন বার ...) । এই উপায়ে চেয়ে "ফাংশন আর কিছুই ফলিত এন ফাংশন বার z- র "। λ এস । λ z- র । s scncnc_nλs.λz.sλs.λz.s\lambda s. \lambda z. sএসszszs\;zsssজেডnnnzzz timestimes\mathtt{times} ফাংশনের একটি সম্ভাব্য সংজ্ঞা নিম্নলিখিত: times=λm.λn.λs.m(ns)times=λm.λn.λs.m(ns)\mathtt{times} = \lambda m. \lambda …

10 lambda-calculus  church-numerals 

একটি পূর্ণসংখ্যা এবং পৃথক পূর্ণসংখ্যার একটি অ্যালগরিদম সন্ধান করুন যা হয় সেটটির একটি অনুগতি খুঁজে পায় যেমন বা সঠিকভাবে নির্ধারণ করে যে এরকম কোনও অনুমানের উপস্থিতি নেই। আনুষ্ঠানিকভাবে কম, আমরা মাধ্যমে 1 নম্বর পুনঃক্রম করতে চাই ; প্রতিটি ট্রিপল মধ্যে ইঙ্গিত করে যে সামনে দাঁড়াতে হবে নতুন অনুক্রমে কিন্তু মধ্যে …

10 algorithms  optimization  scheduling 

আমার নিম্নলিখিত অ্যালগরিদমিক সমস্যা আছে: স্পেসটি নির্ধারণ করুন ওয়াটসন-ক্রিক প্যালিনড্রোমগুলি যে ডিএনএ স্ট্রিংগুলি স্বীকৃতি দেওয়ার টিউরিং জটিলতা। ওয়াটসন-ক্রিক প্যালিনড্রোমগুলি এমন স্ট্রিং যার বিপরীত পরিপূরকটি আসল স্ট্রিং। সম্পূরক সংজ্ঞায়িত করা হয় চিঠি প্রজ্ঞাময়, ডিএনএ দ্বারা অনুপ্রাণিত: একটি টি সম্পূরক ও C হয় ACGT একটি শৌচাগার- যে শব্দ কবিতা প্রভৃতি উলটা করিয়া …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

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

10 algorithms  constraint-programming 

একটি ঝকঝকে রশ্মির ট্রেসারে প্রতিটি রশ্মি-অবজেক্ট ছেদটি একটি সংক্রমণিত রশ্মি তৈরি করে (যদি বস্তুটি হ'ল রূপান্তরকামী হয়), একটি প্রতিফলিত রশ্মি এবং ছায়ার রশ্মি তৈরি হয়। ছায়ার রশ্মি সরাসরি আলো উপাদানকে অবদান রাখে। তবে যদি ছায়ার রশ্মি একটি স্বচ্ছ বস্তুকে ছেদ করে তবে কী হবে? সরাসরি আলো উপাদান উপেক্ষা করা হয়? …

10 graphics 

আমি কৌতুহলী. আমি ওসিএএমএলে এই ডেটাটাইপটিতে কাজ করছি : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree যা স্পষ্টত টাইপিত পুনরাবৃত্তীয় ক্রিয়াকলাপগুলি (একটি বৈশিষ্ট্য যা বেশ সম্প্রতি যুক্ত করা হয়েছে) ব্যবহার করে কারসাজি করা …

10 logic  programming-languages  coq  inductive-datatypes 

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

10 information-theory  coding-theory 

ঠিক আছে, সুতরাং আমার তত্ত্বের গণনা ক্লাসের একটি অতীত পরীক্ষা থেকে এখানে একটি প্রশ্ন এসেছে: একটি টিএম-এ অকেজো অবস্থা এমনটি যা কোনও ইনপুট স্ট্রিংতে কখনও প্রবেশ করে না। Let Let প্রমাণ করুন যে । অনস্বীকার্য।USELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in M}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, …

10 computability  undecidability  formal-methods  turing-machines 

আসুন টার্মিনালের সেট এবং কোনও প্রসঙ্গমুক্ত ব্যাকরণ এর নন-টার্মিনাল প্রতীকগুলির সেট ।ΣΣ\SigmaNNNGGG বলুন আমার কাছে স্ট্রিং যেমন যেখানে এবং হ'ল সেনসেন্টাল ফর্ম ।a∈(Σ∪N)+a∈(Σ∪N)+a \in (\Sigma \cup N)^+xay∈S(G)xay∈S(G)x a y \in \mathcal{S}(G)x,y∈(Σ∪N)∗x,y∈(Σ∪N)∗x,y\in (\Sigma \cup N)^*S(G)S(G)\mathcal{S}(G)GGG প্রদত্ত , আমি একটি সেট নির্ধারণ করতে চাই ।GGGC={b∣wabz∈S(G),b∈Σ∪N}C={b∣wabz∈S(G),b∈Σ∪N}C = \{ b \mid wabz \in \mathcal{S}(G), …

10 algorithms  context-free  formal-grammars  compilers 

আমি নিম্নলিখিত পুনরাবৃত্তির নিম্নলিখিত প্রমাণের সাথে কী ভুল তা বোঝার চেষ্টা করছি টি(এন)≤2(সি⌊এন)টি( এন ) = 2টি( ⌊ n)2⌋ ) +এনT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n টি( এন ) ≤ 2 ( সি ⌊ এন)2⌋ ) +এন≤সিএন+এন=এন(সি+১)=ও(এন)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq 2\left(c\left\lfloor\frac{n}{2}\right\rfloor\right)+n \leq cn+n = n(c+1) =O(n) ডকুমেন্টেশনটি বলছে এটি প্ররোচিত অনুমানের কারণে এটি …

10 algorithms  landau-notation  asymptotics  recurrence-relation 

দ্বি-স্তরের শিডিয়ুলিং কার্যকর যখন কোনও সিস্টেমটি র‍্যামের তুলনায় ফিটের চেয়ে বেশি প্রসেস চালাচ্ছে: আবাসিক প্রক্রিয়াগুলির মধ্যে একটি নিম্ন-স্তরের শিডিয়ুলার স্যুইচ করে এবং একটি উচ্চ-স্তরের শিডিয়ুলার অভ্যন্তরীণ প্রক্রিয়াগুলির অভ্যন্তরে বাইরে যায়। অ্যান্ড্রু টেনেনবাউমের অপারেটিং সিস্টেমগুলিতে: ডিজাইন এবং বাস্তবায়ন , প্রথম সংস্করণে দ্বি-স্তরের শিডিউলিংয়ের কোনও উল্লেখ আমি পাই না । ব্যায়াম 2.22 …

10 operating-systems  process-scheduling 

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

10 combinatorics 

মূলত গণিত.এস.ই তে কিন্তু সেখানে উত্তর দেওয়া হয়নি। নিম্নলিখিত অ্যালগরিদম বিবেচনা করুন। u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; …

10 algorithms  loop-invariants  correctness-proof 

কম্পিউটার নেটওয়ার্কিং এবং উচ্চ-পারফরম্যান্স ক্লাস্টার কম্পিউটার ডিজাইনে, নেটওয়ার্ক টপোলজি বলতে বোঝায় যে কোনও যোগাযোগের নেটওয়ার্ক গঠনের জন্য লিংকগুলির মাধ্যমে নোডগুলি সংযুক্ত রয়েছে। সাধারণ নেটওয়ার্ক টোপোলজিতে জাল, টরাস, রিং, তারা, গাছ ইত্যাদি অন্তর্ভুক্ত থাকে top যেমন বৈশিষ্ট্যগুলির মধ্যে ব্যাস (নোডগুলির মধ্যে একটি জোড়ের মধ্যে সর্বাধিক দূরত্ব, লিঙ্কগুলির সংখ্যার ভিত্তিতে এমন নোডগুলি …

10 computer-networks  network-topology 

লিখন ˉ এনn¯\bar n এর দশমিক বিস্তৃতির জন্য (কোন শীর্ষে রয়েছে )। যাক এবং পূর্ণসংখ্যার সঙ্গে হতে । এর গুণিতক দশমিক প্রসারণও ভাষার বিবেচনা করুন প্লাস একটি ধ্রুবক:n nn0a aab bba > 0 a>0a > 0কaa এম = { ¯ এএক্স + + খ |এক্স∈এন}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} …

10 formal-languages  context-free  regular-languages  integers