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

আমাকে বিগ ও-এর সাথে হোমওয়ার্ক অ্যাসাইনমেন্ট দেওয়া হয়েছিল I'm এখানে আমার হোমওয়ার্ক প্রশ্নের একটি পরিবর্তিত সংস্করণ রয়েছে, যেহেতু আমি সত্যিই এটি বুঝতে চাই: sum = 0; for (i = 0; i < n; i++ for (j = 0; j < i; j++) sum++; যে অংশটি আমাকে ফেলে দিচ্ছে তা হ'ল …

9 algorithms  algorithm-analysis  runtime-analysis  landau-notation 

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

9 algorithms  time-complexity  algorithm-analysis  runtime-analysis  sorting 

আমি ডুপ্লিকেটগুলির জন্য পূর্ণসংখ্যার একটি তালিকা এমনভাবে দক্ষতার সাথে ফিল্টার করতে চাই যাতে কেবল ফলাফলের সেটটি সঞ্চয় করা দরকার। এটি একটি উপায় দেখা যায়: আমরা পূর্ণসংখ্যার একটি পরিসীমা আছে S={1,…,N}S={1,…,N}S = \{1, \dots{}, N\} সঙ্গে NNN বড় (বলুন) 2402402^{40}) আমাদের একটা ফাংশন আছে f:S→Sf:S→Sf : S \to S মনে হয়, …

9 algorithms  data-structures  sorting 

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

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

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

9 terminology  intuition  graphics  computer-vision 

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

9 information-theory  data-compression 

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

9 parallel-computing  artificial-intelligence  neural-networks 

থিওডোর নরভেল (১৯৯৯) দ্বারা রিকার্সিভ ডেসেন্টের পার্সিং এক্সপ্রেশনগুলি প্রবন্ধে লেখক পাটিগণিত প্রকাশের জন্য নিম্নলিখিত ব্যাকরণ দিয়ে শুরু করেছেন: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v যা বেশ …

9 formal-languages  context-free  formal-grammars  left-recursion 

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

9 discrete-mathematics 

সমস্যা সেট সহ ওয়েব রিসোর্স শেখার কোনও ভাল ডিস্রিট গণিত আছে?

9 reference-request  education  discrete-mathematics 

একটি ভাষা দেওয়া হয়েছে , আমি কীভাবে সরাসরি বলতে পারি, উত্পাদনের নিয়মগুলি না দেখে, এই ভাষাটি নিয়মিত নয়?এল = {একটিএনখএনগএন}L={anbncn} L= \{a^n b^n c^n\} আমি পাম্পিং লেমা ব্যবহার করতে পারি তবে কিছু লোক কেবল ব্যাকরণের দিকে তাকিয়ে বলছে যে এটি নিয়মিত নয়। কিভাবে এটা সম্ভব?

9 formal-languages  regular-languages  pumping-lemma  intuition 

এটি সুপরিচিত যে প্রতিটি বুলিয়ান ফাংশন depth গভীরতার 2 এর বুলিয়ান সার্কিট ব্যবহার করে উপলব্ধ করা যায় (ভেরিয়েবলগুলি, তাদের তুচ্ছকরণ এবং ধ্রুবক মানের উপরে) প্রথম স্তরে এবং গেটগুলি এবং উপরের স্তরে একটি একক ওআর গেট রয়েছে; এই সহজভাবে হয় DNF উপস্থাপনা এর ।f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff অন্য একটি গেট যা সার্কিট জটিলতায় …

9 complexity-theory  logic  circuits 

ধরা যাক আমরা কোনও ভবিষ্যদ্বাণীতে দুটি সম্পর্কের সাথে যোগ দিতে চাই। এটা কি এনিসিতে আছে? আমি বুঝতে পারি যে এটি এনসিতে না থাকার একটি প্রমাণ তার প্রমাণ হিসাবে গণ্য হবে P≠NCP≠NCP\not=NC, সুতরাং আমি উত্তর হিসাবে এটি একটি উন্মুক্ত সমস্যা হিসাবে প্রমাণ গ্রহণ করব। আমি সাধারণ ক্ষেত্রে পাশাপাশি নির্দিষ্ট কেসগুলিতে আগ্রহী …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

নিম্নলিখিত সমস্যাগুলির সাথে আমি আপনার সহায়তাটি ব্যবহার করতে চাই: এল = { ⟨ এম⟩ | এল ( এম) প্রসঙ্গমুক্ত }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}। দেখানল ∉ আর ই। সিও আর ইL∉RE∪CoREL \notin RE \cup CoRE। আমি প্রমাণ করতে জানি ল ∉ আর ইL∉REL\notin RE, এটি একটি …

9 formal-languages  computability  context-free  turing-machines 

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

9 algorithms  graph-theory  algorithm-analysis  runtime-analysis  network-flow