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

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

29 efficiency 

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

29 algorithms  complexity-theory  graph-theory 

অনেক পাঠ্যপুস্তক ল্যাম্বডা-ক্যালকুলাসে ছেদ করার ধরণের প্রচ্ছদগুলিকে কভার করে। ছেদ জন্য টাইপিং নিয়ম নিম্নলিখিত হিসাবে সংজ্ঞায়িত করা যেতে পারে (উপ টাইপিং সহ সহজভাবে টাইপ করা ল্যাম্বদা-ক্যালকুলাসের উপরে): Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma \vdash M : T_1 \quad \Gamma \vdash M : T_2} {\Gamma \vdash M : T_1 \wedge T_2} (\wedge I) \qquad\qquad \dfrac{} …

29 lambda-calculus  type-theory  logic 

এসকিউএল এর কি সাবকিউরিস দরকার? সম্পর্কের ডাটাবেসের জন্য কাঠামোগত ক্যোয়ারী ভাষার যথেষ্ট সাধারণ প্রয়োগ বাস্তবায়ন কল্পনা করুন gine যেহেতু ক্যানোনিকাল এসকিউএল SELECTস্টেটমেন্টের কাঠামোটি এটির জন্য প্রকৃত পক্ষে গুরুত্বপূর্ণ, তাই আমি সরাসরি সম্পর্কিত বীজগণিতের কাছে আবেদন করি না, তবে আপনি এই পদগুলিতে বাক্যগুলির আকারের উপর উপযুক্ত বিধিনিষেধ তৈরি করে ফ্রেম করতে …

29 database-theory  relational-algebra 

আমি "প্রস্তাবিত বন্ধুরা" অ্যালগরিদমকে মোকাবেলার জন্য একটি পদ্ধতির নির্ধারণে আগ্রহী। ফেসবুকের একটি বৈশিষ্ট্য রয়েছে যাতে এটি এমন ব্যক্তিকে আপনার কাছে সুপারিশ করবে যা এটি মনে করে যে আপনার সাথে পরিচিত হতে পারে। এই ব্যবহারকারীরা সাধারণত (প্রান্তের কেসগুলিকে বাদ দিয়ে যেখানে কোনও ব্যবহারকারী বিশেষ করে বন্ধুর প্রস্তাব দেয়) নিজের কাছে অত্যন্ত …

29 algorithms  machine-learning  modelling  social-networks 

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

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

আমি এন এলোমেলো সংখ্যার অ্যারে তৈরির জন্য একটি অ্যালগরিদমের সন্ধান করছি, যেমন এন সংখ্যাগুলির যোগফল 1 এবং সমস্ত সংখ্যা 0 এবং 1 এর মধ্যে থাকে lie উদাহরণস্বরূপ, এন = 3, র্যান্ডম পয়েন্ট (x, y, z) ত্রিভুজের মধ্যে থাকা উচিত: x + y + z = 1 0 < x < …

29 algorithms  randomness  random-number-generator  sampling 

আমার স্থানীয় স্কোয়াশ ক্লাবে, একটি মই রয়েছে যা নীচের মত কাজ করে। মরসুমের শুরুতে আমরা একটি পৃথক লাইনে ক্লাবের প্রতিটি সদস্যের নাম সহ একটি টেবিল তৈরি করি। তারপরে আমরা প্রতিটি নামের পাশে গেমসের সংখ্যা এবং খেলাগুলির সংখ্যা লিখি (ফর্মটিতে: প্লেয়ারের জয় / গেমস)। এইভাবে মরসুমের শুরুতে টেবিলটি দেখতে এমন লাগে: …

28 algorithms  graphs 

প্রাকৃতিক সংখ্যার একটি সেট হতে দিন । আমরা বিভাজ্যতা আংশিক আদেশের অধীনে বিবেচনা করি , অর্থাৎ । দিনএস এস 1 ≤ এস 2SSSSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V একটি antichain }}\} । যদি আমরা সংখ্যার মাল্টিসেট এস-তে থাকা সাবসেট …

28 complexity-theory  number-theory  knapsack-problems 

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

28 reference-request  machine-learning  artificial-intelligence 

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

28 terminology  reference-request  concurrency 

উইকিপিডিয়ায় এটি লেখা আছে যে "... নির্বাচন সাজানোর প্রায় সবসময়ই বুদ্বুদ সাজানোর এবং জিনোম সাজানকে ছাপিয়ে যায়" " কেউ দয়া করে আমাকে ব্যাখ্যা করতে পারেন কেন বাছাই বাছাইকে বুদ্বুদ সাজানোর চেয়ে দ্রুত বিবেচনা করা হয় যদিও তাদের দুজনেরই রয়েছে: সবচেয়ে খারাপ সময়ের জটিলতা :O(n2)O(n2)\mathcal O(n^2) তুলনার সংখ্যা : O(n2)O(n2)\mathcal O(n^2) …

28 algorithms  runtime-analysis  efficiency  sorting 

একটি নিয়মিত ভাষার জন্য যাক শব্দের সংখ্যা হতে দৈর্ঘ্য । জর্ডান ক্যানোনিকাল ফর্ম ( জন্য কিছু ডিএফএর অননোটেড ট্রানজিশন ম্যাট্রিক্সের ক্ষেত্রে প্রয়োগ করা ) ব্যবহার করে, কেউ দেখাতে পারে যে যথেষ্ট পরিমাণে , যেখানে জটিল পলিনোমিয়াল এবং জটিল "ইগেনভ্যালু"। (ছোট , আমরা ফর্মের অতিরিক্ত শর্তাদি থাকতে পারে , যেখানে হয় …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

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

28 machine-learning  data-mining  clustering 

(অব্যক্ত) ল্যাম্বদা ক্যালকুলাস ( ল্যাম্বদা) এ ফিক্সড পয়েন্ট কম্বিনেটর FIX (ওরফে ওয়াই কম্বিনেটর) হিসাবে সংজ্ঞায়িত করা হয়েছে:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) আমি এর উদ্দেশ্য বুঝতে পেরেছি এবং আমি এর …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic