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

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

17 complexity-theory  np-complete  proof-techniques 

কম্পিউটার ভিশন এবং চিত্র প্রক্রিয়াকরণের মধ্যে পার্থক্য কী? উদাহরণস্বরূপ, অবজেক্টের স্বীকৃতি হিসাবে কম্পিউটার ভিশন এবং চিত্র প্রক্রিয়াকরণের ভূমিকা কী?

17 terminology  computer-vision  image-processing  education 

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

17 data-structures  abstract-data-types 

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

17 np-complete  reductions  factoring 

কোনও স্বেচ্ছাসেবী অ্যানালগ গণনা করার জন্য কোন ক্রিয়াকলাপ করা দরকার ? সংযোজন, বিয়োগ, গুণ এবং বিভাগ কি যথেষ্ট হবে? এছাড়াও, কেউ কি অ্যানালগ গণনা ব্যবহার করে ট্র্যাকটেবল হ'ল ঠিক কী জানেন, তবে ডিজিটাল দিয়ে নয়?

17 computability  computation-models  turing-completeness 

উইকিপিডিয়া অনুসারে , যে কোনও নিয়মিত ভাষার জন্য L নিয়মিত LLথাকে λ 1 , … , λ kλ1,…,λk\lambda_1,\ldots,\lambda_k এবং বহুপদী p 1 ( x ) , … , পি কে ( এক্স )p1(x),…,pk(x)p_1(x),\ldots,p_k(x) যেমন প্রতিটি n এর জন্য দৈর্ঘ্যের শব্দের L ( n )nn সংখ্যা থাকে এন মধ্যে এল সন্তুষ্ট …

17 formal-languages  regular-languages  combinatorics  word-combinatorics 

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

17 computability  computation-models 

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

17 algorithms  computability  graph-theory  undecidability 

স্যাট সলভাররা বড় উদাহরণগুলি সমাধানে আরও বেশি দক্ষ হচ্ছে এবং বিভিন্ন প্রসঙ্গে ব্যাক-এন্ড হিসাবে ব্যবহৃত হচ্ছে being যখনই কোনও নির্দিষ্ট ডোমেইনে সমস্যা সমাধানের জন্য কেউ এগুলি ব্যবহার করতে চান, তাকে / তাকে একটি অ্যাড-হক এনকোডিং নিয়ে আসতে হবে যা কেবলমাত্র সমাধানের সঠিক সেটই রাখে না তবে বাঁধার (এমনকি অপ্রয়োজনীয় )ও …

17 reference-request  satisfiability  sat-solvers 

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

17 logic  proof-assistants  automated-theorem-proving  smt-solvers  unification 

xorগেট, এখন আমার কেবল 4 টি nandগেট ব্যবহার করে এই গেটটি তৈরি করা দরকার a b out 0 0 0 0 1 1 1 0 1 1 1 0 xor = (a and not b) or (not a and b), যা A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} আমি উত্তরটি জানি তবে সূত্র থেকে গেটের চিত্রটি …

17 logic  boolean-algebra 

এটি কি সত্য যে ক্রম ধারাবাহিকতা ক্যাশে কোহরেন্সের চেয়ে শক্তিশালী সম্পত্তি? অনুসারে সোরিন, ড্যানিয়েল জে; হিল, মার্ক ডি; উড, ডেভিড এ: মেমোরি ধারাবাহিকতা এবং ক্যাশে কোহরেন্স , মরগান এবং ক্লেপুল, ২০১১ এ প্রাইমার ক্রম ধারাবাহিকতা হিসাবে বর্ণনা করা যেতে পারে (আনুষ্ঠানিকভাবে নয়): ক্রমযুক্ত ধারাবাহিকতা মেমরি মডেলটি উল্লেখ করে যে সিস্টেমটি …

17 computer-architecture  cpu-cache  shared-memory 

দ্রুত সাজানোর অ্যালগরিদমকে নিম্নলিখিত পদক্ষেপগুলিতে ভাগ করা যায় পাইভট শনাক্ত করুন। পিভট উপর ভিত্তি করে লিঙ্কযুক্ত তালিকা পার্টিশন। সংযুক্ত তালিকাকে পুনরাবৃত্তভাবে 2 ভাগে ভাগ করুন। এখন, আমি যদি সর্বদা পিভট হিসাবে সর্বশেষ উপাদানটি বেছে নিই, তবে পাইভট উপাদানটি (প্রথম পদক্ষেপ) সনাক্তকরণে সময় লাগে ।O(n)O(n)\mathcal O(n) পাইভট উপাদানটি সনাক্ত করার পরে, …

16 algorithms  algorithm-analysis  sorting  quicksort 

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

16 cryptography  history 

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

16 algorithms  optimization  dynamic-programming  arrays