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

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

10 algorithms  graph-theory  set-cover 

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

10 trees  probability-theory  termination 

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

10 terminology  reference-request  functional-programming  programming-paradigms 

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

10 machine-learning  natural-language-processing  floating-point  numerical-algorithms 

এই উল্লেখ থেকে: কঠোর ইতিবাচকতা কঠোর ইতিবাচক অবস্থা যেমন ঘোষণাকে বাতিল করে দেয় data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK এ কেন নেতিবাচক? এছাড়াও কেন বি অনুমোদিত? আমি বুঝতে পারছি …

10 type-theory  inductive-datatypes 

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

10 automata  finite-automata  proof-techniques  nondeterminism 

আমি থামার সমস্যাটি ত্রি-প্রতীক এক-মাত্রিক সেলুলার অটোম্যাটার জন্য স্থিতিশীল কিনা তা নির্ণয় করার চেষ্টা করছি। সংজ্ঞা আসুন সময় পদে পদে সিস্টেমের কনফিগারেশন বোঝাতে । আরও আনুষ্ঠানিকভাবে , যেখানে বর্ণমালা।f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA সংজ্ঞা। একটি সেলুলার অটোমেটন কনফিগারেশনে বন্ধ হয়ে গেছে , যদি আমাদের কাছে ।f(w,i)f(w,i)f(w,i)∀k∈N∀k∈N\forall k\in \mathbb{N}f(w,i)=f(w,i+k)f(w,i)=f(w,i+k)f(w,i)=f(w,i+k) প্রদত্ত সেলুলার অটোমেটনের …

10 computability  decision-problem  halting-problem  cellular-automata 

দাবি অস্বীকার: আমি জানি যে ইতিমধ্যে এখানে এবং স্ট্যাকওভারফ্লোতে অনুরূপ শোনানো প্রশ্ন রয়েছে। তবে এগুলি সমস্ত সংঘর্ষের বিষয়ে, যা আমি যা চাইছি তা নয়। আমার প্রশ্ন হচ্ছে কেন collision- হয় কম অনুসন্ধান O(1)প্রথম স্থানে? ধরে নেওয়া যাক আমার কাছে এই হ্যাশটেবল রয়েছে: Hash Content ------------- ghdjg Data1 hgdzs Data2 eruit …

10 complexity-theory  hash  hash-tables  performance 

সেলফ টাইপস কনস্ট্রাকশনস ক্যালকুলাসের একটি বর্ধিতাংশ [1] যা স্কট এনকোডিংয়ের মাধ্যমে এনকোড করা বীজগণিত ডেটাটাইপগুলি ভাষায় প্রকাশ করার অনুমতি দেয়। স্কট এনকোডিং একটিতে প্যাটার্ন-মিলের দক্ষতা সরবরাহ করে O(1), যা সিসির অন্তর্নিহিত সংজ্ঞা অন্তর্ভুক্তির অন্যতম প্রধান প্রেরণা। তবুও, স্ব প্রকারগুলি অনেক সহজ এবং মার্জিত বেস তত্ত্বের জন্য তৈরি হয় এবং আপাতদৃষ্টিতে …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

যদি , তবে ? আমি এই প্রশ্নটি জিজ্ঞাসা করছি কারণ, অন্যান্য অ-সংজ্ঞাবহ শ্রেণীর জন্য, মনে হয় এটি সর্বদা প্রতিষ্ঠিত করে যে তারা তাদের সমান।P=NPP=NP\mathbf{P} = \mathbf{NP}L=NLL=NL\mathbf{L} = \mathbf{NL}P=NPP=NP\mathbf{P} = \mathbf{NP}

10 complexity-theory  p-vs-np 

পয়েন্ট একটি সেট দেওয়া এবং একটি ব্যাসার্ধ । চেয়ে কম দূরত্বে বেশি সংখ্যক পয়েন্টের সাথে পয়েন্টটি খুঁজে পাওয়ার জটিলতা । উদাহরণস্বরূপ that সর্বোচ্চ ?x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq r} একটি ব্রুট ফোর্স অ্যালগরিদম হ'ল প্রতিটি বিন্দু পেরিয়ে r এর চেয়ে কম দূরত্বে থাকা পয়েন্টগুলির সংখ্যা গণনা …

10 algorithms  complexity-theory  computational-geometry 

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

10 type-theory  applied-theory 

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

10 complexity-theory  np-hard  np  np-intermediate 

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

10 machine-learning  np  neural-networks  p-vs-np  genetic-algorithms 

এটি সম্ভবত একটি নির্বোধ চিন্তাধারা, তবে মনে করুন আমাদের কাছে এমন একটি কম্পিউটার রয়েছে যা গণনার একটি অসীম অনুক্রম সম্পাদন করার জন্য প্রোগ্রামযুক্ত এবং ধরুন গণনাটি সম্পূর্ণ হতে সেকেন্ড সময় নেয় । তারপরে এই কম্পিউটারটি একটি সীমাবদ্ধ সময়ে অসীম সংখ্যা গণনা করতে পারে।আমিমআমিমi^\text{th}1 / 2আমি1/2আমি1/2^i কেন এটা অসম্ভব? অ-তুচ্ছ হিসাব …

10 computability  computation-models