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

আপনি দৈর্ঘ্যের একটি অ্যারের দেওয়া হয় । অ্যারের প্রতিটি উপাদান ক্লাসের একটির অন্তর্গত । আপনার ন্যূনতম সংখ্যক অদলবদিক ক্রিয়াকলাপগুলি ব্যবহার করে অ্যারে পুনর্বিন্যস্ত করার কথা রয়েছে যাতে একই শ্রেণি থেকে সমস্ত উপাদান সর্বদা একসাথে গোষ্ঠীযুক্ত হয়, এগুলি এগুলি একটি সুসংগত সুবারে গঠন করে। উদাহরণস্বরূপ: তিনটি বৈধ ব্যবস্থা রয়েছে।কেএনএনnকেকেK[ 2 , …

10 terminology  reference-request  sorting  arrays 

বিভিন্ন সিএস শিক্ষা উপকরণগুলিতে আমি এই শব্দটি বহুবার সম্মুখীন হয়েছি: L2 CS162 (ইউসি বার্কলে): মেমরি-ম্যাপযুক্ত I / O L4 CS162 (ইউসি বার্কলে): মেমরি ম্যাপ করা ফাইল L24 CS61 (ইউসি বার্কলে): "মেমোরি I / O ম্যাপযুক্ত": সিপিইউ ঠিকানা স্পেসে ম্যাপযুক্ত ডিভাইস নিয়ন্ত্রণ / ডেটা নিবন্ধগুলি এমনকি, "ম্যাপিং" গুগল করার পরে, আমি …

10 data-structures  operating-systems  memory-management 

দুটি অপারেটিং মডেল যদি সম্পূর্ণরূপে সম্পূর্ণরূপে দেখানো যায় তবে প্রত্যেকে একে অপরের জন্য একটি সার্বজনীন সিমুলেটর এনকোড করতে পারে। দুটি লজিকস সম্পূর্ণরূপে দেখানো যেতে পারে যদি প্রতিটিের বিধিগুলির এনকোডিং (এবং উপস্থিত থাকলে অ্যাক্সিমাম উপস্থিত থাকে) একে অপরের উপপাদ্য হিসাবে দেখানো হয়। গণনযোগ্যতায় এটি টুরিং সম্পূর্ণতা এবং চার্চ টুরিং থিসিসের একটি …

10 computability  logic  turing-completeness 

প্রসেসরগুলি যদি একবারে কেবল একটি জিনিস সম্পাদন করতে পারে তবে আমি কীভাবে ধারাবাহিকভাবে সঙ্গীত খেলতে পারি এবং এখনও অন্য কাজগুলি চালাতে সক্ষম হতে পারি? আমি বাধাপ্রাপ্ত সিস্টেমটি বুঝতে পেরেছি, তবে কি জিপি / লেগি শব্দ না করার জন্য সিপিইউ অবিচ্ছিন্নভাবে অডিও প্রক্রিয়া করে না? আমি অন্তর্নিহিত বাস্তবায়ন সম্পর্কে জিজ্ঞাসা করছি, …

10 cpu  multi-tasking 

নিম্নলিখিত সমস্যার বিবৃতি বিবেচনা করুন: একটি প্রাথমিক নম্বর দেওয়া, আপনি এবং আপনার বন্ধু এটি থেকে একটি নিখুঁত বর্গক্ষেত্র বিয়োগ করতে পালা নিতে। প্রথমটি শূন্যে জয়ী হয়। উদাহরণ স্বরূপ: প্রাথমিক অবস্থা: 37 প্লেয়ার 1 বিয়োগ 16. রাজ্য: 21 প্লেয়ার 2 বিয়োগ 8। রাষ্ট্র: 13 প্লেয়ার 1 বিয়োগ করে 4. রাজ্য: 9 …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

মোটামুটিভাবে, একটি পুনর্নির্দেশিত গ্রাফ একটি নির্দেশিত গ্রাফের সাথে খুব সমান যেখানে প্রতিটি প্রান্তের জন্য (v, w) সর্বদা একটি প্রান্ত (ডাব্লু, ভি) থাকে। এটি পরামর্শ দেয় যে নির্দেশিত গ্রাফগুলির একটি উপসেট হিসাবে পুনর্নির্দেশিত গ্রাফগুলি দেখার পক্ষে এটি গ্রহণযোগ্য হতে পারে (অতিরিক্ত সীমাবদ্ধতার সাথে প্রান্তগুলি যুক্ত / মোছা কেবল মেলানো জোড়ায় করা …

10 graphs  terminology 

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

10 graphs  graph-theory  social-networks 

একটি সি ++ পটভূমি থেকে আসা আমি বুঝতে পারি না কেন প্রথম শ্রেণির নাগরিক হিসাবে একজনের ধরণের / ধরণের অভিব্যক্তি প্রয়োজন? আমি কেবল জানি যে ভাষাটি এই বৈশিষ্ট্যটিকে সমর্থন করে সেটি হ'ল অল্ডর। প্রথম শ্রেণির নাগরিক হিসাবে প্রকার সম্পর্কে কারওর কিছু সাহিত্য আছে বা এর কার্যকর কারণ সম্পর্কে কিছু জানেন?

10 programming-languages  language-design  types 

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

10 reference-request  graph-isomorphism 

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

10 type-theory  dependent-types  coq 

একটি যথারীতি রাষ্ট্রীয় মেশিনটিকে যথারীতি বিবেচনা করুন তবে প্রতিটি সংক্রমণ, এটি কোনও সংখ্যার যোগ বা বিয়োগ করে একটি পূর্ণসংখ্যার কাউন্টারকে আপডেট করতে পারে। বলুন, ফর্মের একটি রূপান্তর ফাংশন নতুন রাষ্ট্র প্যাচসমূহ , এবং যোগ কাউন্টার, এর যেখানে (তাই ইতিবাচক হতে পারে, নেতিবাচক বা শূন্য)।δ( প্রশ্ন), a ) = ( পি …

10 finite-automata 

আমি আজ শিখেছি যে গণনা মডেলের ভিত্তিতে অ্যালগরিদম বিশ্লেষণ আলাদা হয়। এটি এমন কিছু যা আমি কখনও ভাবিনি বা শুনিনি। আমাকে দেওয়া একটি উদাহরণ, যা এটি আরও চিত্রিত করেছে, ব্যবহারকারী @ চেইটি হলেন: যেমন টাস্কটি বিবেচনা করুন: প্রদত্ত ( i , x)1, … , এক্সএন)(আমি,এক্স1,...,এক্সএন)(i,x_1 ,…,x_n ) রিটার্ন । র‍্যামে …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

আমি কোয়ান্টাম কম্পিউটিং সম্পর্কে নিজেকে শেখানোর চেষ্টা করছি এবং আমি লিনিয়ার বীজগণিত সম্পর্কে একটি শালীন-ইশ বোঝাপড়া করছি। আমি নট গেট দিয়ে gotুকলাম, যা খুব খারাপ ছিল না, তবে আমি হাডামারড গেটে পৌঁছে গেলাম। আর আমি আটকে গেলাম। মূলত কারণ আমি যখন ম্যানিপুলেশনগুলি "বুঝি" তখন বুঝতে পারি না যে তারা আসলেই …

10 logic  quantum-computing 

এই প্রমাণ অন্তর্ভুক্তি দ্বারা প্রমাণ, এবং নিম্নলিখিত হিসাবে যায়: পি (এন) এমন একটি দাবি যা "কুইকসোর্ট দৈর্ঘ্যের প্রতিটি ইনপুট অ্যারে সঠিকভাবে সাজান।" বেস কেস: দৈর্ঘ্যের প্রতিটি ইনপুট অ্যারে ইতিমধ্যে সাজানো হয়েছে (পি (1) হোল্ড) প্ররোচিত পদক্ষেপ: স্থির n => ২ দৈর্ঘ্যের কিছু ইনপুট অ্যারে ঠিক করুন। দেখাতে হবে: যদি পি …

10 correctness-proof  induction  quicksort 

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

10 reference-request  proof-techniques  functional-programming  books  software-verification