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

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

14 semantics  operational-semantics  denotational-semantics 

এটি সুপরিচিত যে 2-স্যাট পি-তে রয়েছে However তবে, এটি একটি আকর্ষণীয় বলে মনে হচ্ছে যে প্রদত্ত 2-স্যাট সূত্রের সমাধানের সংখ্যা গণনা করা, অর্থাৎ, # 2-স্যাট # পি-হার্ড is এটি হ'ল আমাদের একটি সমস্যার উদাহরণ রয়েছে যার জন্য সিদ্ধান্ত নেওয়া সহজ তবে গণনা শক্ত। তবে একটি নির্বিচারে এনপি-সম্পূর্ণ সমস্যা বিবেচনা করুন …

14 complexity-theory  counting 

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

14 algorithms  search-algorithms  binary-search 

আমি জানি যে ন্যানড গেটগুলি প্রতিটি সত্যের টেবিল প্রয়োগ করে এমন সার্কিট তৈরি করতে ব্যবহার করা যেতে পারে, এবং আধুনিক কম্পিউটারগুলি ন্যানড গেটগুলি তৈরি করে। ন্যান্ড গেট এবং টুরিং সম্পূর্ণতার মধ্যে তাত্ত্বিক লিঙ্কটি কী? আমার কাছে মনে হয় যে ন্যানডের গেট সার্কিটগুলি টুরিং মেশিনের চেয়ে সসীম অটোমেটার কাছাকাছি। আমার অন্তর্নিহিততা …

14 turing-machines  turing-completeness  digital-circuits 

তাই সাধারণত সুডোকু হয় , কিন্তু এই প্রশ্নের প্রসারিত এন 2 × এন 2 সঙ্গে পাজল এন > 3 পাশাপাশি। অনেকগুলি বহু সময়কাল ছাড়ের বিধি রয়েছে যা সুডোকু ধাঁধাটির সমাধান অনুসন্ধানে অগ্রগতি করতে পারে। কিন্তু তারপরে কখনও কখনও মানগুলির অনুমান করা এবং নিম্নলিখিত সিদ্ধান্তগুলির শৃঙ্খলাগুলির একটি ঘরের মান বা কোষের …

14 complexity-theory  sudoku 

আমি নিশ্চিত যে এর আগে কেউ এ সম্পর্কে চিন্তাভাবনা করেছে বা তাত্ক্ষণিকভাবে এটিকে খারিজ করে দিয়েছে, তবে কেন স্কেয়ারের দ্বৈতত্ত্ব তত্ত্বটি মহনির উপপাদ্যের সাথে স্পার্স সেটগুলিতে কেন পি = এনপি বোঝায় না? এখানে আমার যুক্তি রয়েছে: একটি ভাষা তৈরি করুন যা একটি অসীম সিদ্ধান্ত গ্রহণযোগ্য স্পার্স সেট দ্বারা ছেদ করা …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

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

14 programming-languages  type-theory 

আমি জানি এটি একটি খুব সাধারণ প্রশ্ন। তবে আমার মনের একটা আলাদা অ্যাঙ্গেল আছে। আমি এখানে এটি স্পষ্ট করে বলার চেষ্টা করব। আমি যা জানি, সে থেকে প্রতিটি সিপিইউ কার্যকর করে যে নির্দেশনা দেয় তা মেশিন ল্যাঙ্গুয়েজে এবং সমস্ত সিপিইউ করতে পারে এটি হ'ল কিছু পাটিগণিত অপারেশনগুলি ধন্যবাদ ALU এবং …

14 computer-architecture  cpu 

একটি অ্যালগরিদমের জটিলতা পরিমাপের জন্য, এটি কি সময় জটিলতা, বা গুণগত জটিলতা? তাদের মধ্যে পার্থক্য কী? আমি অ্যালগরিদমে বেসিক (সর্বাধিক ব্যয়বহুল) অপারেশনের সর্বাধিক (নিকৃষ্ট) গণনা গণনা করতাম।

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

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

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

আমি "গণনামূলক জটিলতা: একটি আধুনিক পদ্ধতির" (২০০৯) বইতে বর্ণিত কার্প-লিপটন উপপাদ্যের প্রমাণটি বোঝার চেষ্টা করছি। বিশেষত, এই বইতে নিম্নলিখিতটি উল্লেখ করা হয়েছে: কার্প-লিপটন উপপাদ্য যদি এনপি , তবে PH ।⊆⊆\subseteq পি∖ পি ও এল ওয়াইপি∖পিণঠYP_{\backslash poly} = Σপি2=Σ2পি= \Sigma^p_2 প্রমাণ: দ্বারা উপপাদ্য 5.4, দেখানোর জন্য PH এর , এটা দেখানোর …

14 complexity-theory  complexity-classes 

এর মতো ভাষাগুলি এক-এক হ্রাসের আওতায় পুনরায় সম্পূর্ণ । কো-আরই-এরও সম্পূর্ণ সমস্যা রয়েছে তা দেখার বিষয়টি তুচ্ছ । এস স্মিটজ [1] এলইএলএম এবং আরইসি এর মধ্যে কিছু শ্রেণি বিবেচনা করেছেন । তারা এই শ্রেণীর জন্য বিশেষভাবে তৈরি হ্রাসের অধীনে সম্পূর্ণ সমস্যা উপস্থাপন করে।HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} দুর্বল হ্রাসের সাথে সম্পর্কিত কি (ওরফে আরইসি …

14 computability  reductions  turing-completeness  recursion-theory 

যেমন ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) অভিব্যক্তিগুলি সাধারণ উচ্চ-বিদ্যুত বীজগণিত থেকে, তবে গাণিতিক সংযোজন এবং গুণ (যেমন ), কোনও বিপরীত, বিয়োগ বা বিভাজন ছাড়া সীমাবদ্ধ । চিঠিগুলি ভেরিয়েবল হয়।2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 যদি এটি সহায়তা করে তবে আমরা বাদে সংখ্যাসূচক মানগুলির সাথে উপস্থাপনযোগ্য কোনও অভিব্যক্তি নিষিদ্ধ করতে পারি111; i.e. not x2x2x^2 nor 3x3x3x nor 444: multilinear, …

14 complexity-theory  time-complexity  decision-problem 

একজন শিক্ষার্থী সম্প্রতি আমাকে তাদের জন্য এনপি-কঠোরতার প্রমাণ পরীক্ষা করতে বলেছে। তারা এর লাইন ধরে হ্রাস সম্পাদন করেছে: আমি এই সমস্যা কমাতে যে দ্বারা NP-সম্পূর্ণ আমার সমস্যার হিসেবে পরিচিত পি (ক বহু সময় অনেক কিছু এক হ্রাস সহ) তাই পি এন পি-কঠিন।P′P′P'PPPPPP আমার উত্তরটি ছিল মূলত: যেহেতু এর আর এর …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

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

14 operating-systems  performance  os-kernel