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

মাইকেল সিপসারের থিওরি অফ গণনার ২ In০ পৃষ্ঠায় তিনি লিখেছেন: পি = ভাষার যে শ্রেণীর জন্য সদস্যতার জন্য দ্রুত সিদ্ধান্ত নেওয়া যেতে পারে class এনপি = ভাষাগুলির শ্রেণি যার জন্য সদস্যতার দ্রুত যাচাই করা যেতে পারে। "সিদ্ধান্ত নেওয়া" এবং "যাচাই করা" এর মধ্যে পার্থক্য কী?

16 complexity-theory  terminology  decision-problem 

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

16 algorithms  graphs  data-structures  search-algorithms 

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

16 logic  proof-assistants  automated-theorem-proving  smt-solvers 

উইকিপিডিয়া অনুসারে : অনানুষ্ঠানিকভাবে, অ্যালগরিদমিক তথ্য তত্ত্বের দৃষ্টিকোণ থেকে, একটি স্ট্রিংয়ের তথ্য বিষয়বস্তু সেই স্ট্রিংয়ের সংক্ষিপ্ততম স্ব-অন্তর্ভুক্ত প্রতিনিধিত্বের দৈর্ঘ্যের সমান। "দরকারী তথ্য" এর আনুষাঙ্গিক অনানুষ্ঠানিক কঠোর সংজ্ঞাটি কী? "দরকারী তথ্য" কেন আরও প্রাকৃতিক বা বেশি মৌলিক ধারণা হিসাবে নেওয়া হয় না; নির্লজ্জভাবে মনে হয় সংজ্ঞা অনুসারে এটি একটি সম্পূর্ণরূপে এলোমেলো …

16 information-theory  terminology  kolmogorov-complexity 

নোট করুন এটি একটি বিশ্ববিদ্যালয়ের সিএস কোর্সে অধ্যয়নের সাথে সম্পর্কিত একটি প্রশ্ন, এটি হোম ওয়ার্ক নয় এবং এটি ফল 2011 সালের পতনের অধীনে পাওয়া যাবে । একটি অতীত পরীক্ষা থেকে আমি যে দুটি প্রশ্ন দেখছি তা এখানে। তারা সম্পর্কিত বলে মনে হচ্ছে, প্রথম: দিন FINITECFG={<G>∣G is a Context Free Grammar …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

আমি প্রমাণ করার চেষ্টা করছি যে নোড সহ একটি বাইনারি হিপ ঠিক নীচে পাতাগুলি রয়েছে, যেহেতু এই নিম্নলিখিত উপায়ে নির্মিত হয়েছে:nnn⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil প্রতিটি নতুন নোড পেরকোলিট আপের মাধ্যমে .োকানো হয় । এর অর্থ হ'ল প্রতিটি নতুন নোড অবশ্যই পরবর্তী উপলব্ধ সন্তানের তৈরি করা উচিত। আমি এর দ্বারা যা বোঝাচ্ছি …

16 data-structures  binary-trees 

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

16 formal-languages  automata  closure-properties 

ডিটারমিনিস্টিক সসীম অটোমেটন (ডিএফএ) একটি স্টেট মেশিন মডেল যা সমস্ত এবং শুধুমাত্র নিয়মিত ভাষা গ্রহণ করতে সক্ষম। ডিএফএগুলি এমনভাবে সংজ্ঞায়িত করা যেতে পারে (এবং সাধারণত এটি হয়) যে প্রতিটি রাজ্যকে অবশ্যই ইনপুট বর্ণমালার সমস্ত উপাদানগুলির জন্য কিছু সংক্রমণ সরবরাহ করতে হবে; অন্য কথায়, ট্রানজিশন ফাংশন একটি (মোট) ফাংশন হওয়া উচিত।δ:Q×Σ→Qδ:Q×Σ→Q\delta …

16 formal-languages  automata  finite-automata 

যে কোনও নির্বিচারে 9x9 গ্রিড নির্দিষ্ট করে তোলার জন্য প্রতিটি বর্গের অবস্থান এবং মান দেওয়া দরকার। এর জন্য একটি নির্দোষ এনকোডিং 81 (x, y, মান) ট্রিপলগুলি দিতে পারে, প্রতিটি এক্স, y এবং মান (1-9 = 9 মান = 4 বিট) এর জন্য মোট 81x4x3 = 972 বিটের জন্য 4 টি …

16 combinatorics  modelling  information-theory  sudoku 

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

16 machine-learning  algorithms  pattern-recognition  logic 

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

16 compilers  program-optimization  continuations 

এই নিবন্ধ অনুসারে লিস্প কোডের নিম্নলিখিত লাইনটি স্ট্যান্ডার্ড আউটপুটে "হ্যালো ওয়ার্ল্ড" মুদ্রণ করে। (format t "hello, world") লিস্প, যা একটি সমজাতীয় ভাষা , কোডটিকে ডেটা হিসাবে এইভাবে আচরণ করতে পারে: এখন ভাবুন যে আমরা নিম্নলিখিত ম্যাক্রোটি লিখেছি: (defmacro backwards (expr) (reverse expr)) পিছনে ম্যাক্রোর নাম, যা একটি অভিব্যক্তি নেয় (তালিকা …

16 programming-languages  functional-programming 

আমরা জানি যে সর্বাধিক প্রবাহ রেসপন্স গণনা করা হয়। ক্ষমতা সহ একটি নেটওয়ার্কের সর্বনিম্ন কাট সমান; cf. সর্বোচ্চ প্রবাহ সর্বনিম্ন কাটা উপপাদ্য । সর্বাধিক প্রবাহ গণনা করার জন্য আমাদের কাছে (আরও বা কম দক্ষ) অ্যালগরিদম রয়েছে এবং সর্বাধিক প্রবাহ দেওয়া ন্যূনতম কাটা গণনা করা শক্ত বা ব্যয়বহুলও নয়। তবে বিপরীতের …

16 algorithms  graphs  network-flow 

ওয়াই কম্বিনেটরের টাইপ । কারি-হাওয়ার্ডের চিঠিপত্রের মাধ্যমে, কারণ এ প্রকারের বাস, তাই এটি অবশ্যই একটি সত্য উপপাদ্যের সাথে সঙ্গতিপূর্ণ। তবে সবসময় সত্য, তাই এটি যেন উপপাদ্য y টু combinator ধরন অনুরূপ মনে হচ্ছে, , যা সবসময় সত্য নয়। এটা কিভাবে হতে পারে?( a → a ) → a a → …

16 logic  recursion  type-theory  combinatory-logic  curry-howard 

কোয়ান্টাম কম্পিউটিংয়ে অ্যালগরিদমগুলি বিকাশ করার সময়, আমি লক্ষ্য করেছি যে দুটি প্রাথমিক মডেল রয়েছে যেখানে এটি করা হয়। কিছু আলগোরিদিম - যেমন হ্যামিল্টনিয়ান NAND গাছ সমস্যা (Farhi, গোল্ডস্টোনের, Guttman) জন্য যেমন - একটি হ্যামিল্টনিয়ান এবং কিছু প্রাথমিক অবস্থায় নকশা, এবং তারপর কিছু সময়ের জন্য Schrodinger সমীকরণ অনুসারে সিস্টেম অভিব্যক্ত লেট …

16 algorithms  quantum-computing  computation-models