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

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

10 education 

সময়গত যুক্তি লিনিয়ার এবং নির্ণায়ক Buchi অটোমাটা অনুপম আছেন: DBA প্রকাশ করতে , এবং LTL প্রকাশ করতে পারে না "অন্তত প্রতিটি বিজোড় চিঠি 'একটি'" । তবে কখনও কখনও এটি জেনে রাখা আকর্ষণীয় যে কোনও ডিবিএর ভাষা এলটিএল-তে প্রকাশ করা যায় কিনা।FGaFGaFGa আমার একটি অ্যালগরিদম দরকার যা প্রদত্ত ডিবিএর ভাষা এলটিএল-তে …

10 logic  automata  linear-temporal-logic  buchi-automata 

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

10 algorithms  recursion  trees 

আমার বইতে এটি লেখা আছে যদি কোনও সিদ্ধান্তের সমস্যা খ পি হয় এবং ক খ-এ কমে যায়, তবে সিদ্ধান্তের সমস্যা এ পি তে হয় A একটি সিদ্ধান্ত সমস্যা বি হ'ল এনপি-সম্পূর্ণ হয় যদি বি এনপিতে থাকে এবং এনপিতে এ-এর প্রতিটি সমস্যার জন্য, এ বি কে হ্রাস করে is সি সিদ্ধান্ত …

10 complexity-theory  np-complete  decision-problem 

পি এর সংজ্ঞা এমন একটি ভাষা যা বহু-কালীন অ্যালগরিদম দ্বারা সিদ্ধান্ত নেওয়া যেতে পারে। পি / পলির সংজ্ঞা বলতে এমন একটি ভাষা বোঝানো যেতে পারে যা বহু-আকারের সার্কিট দ্বারা সিদ্ধান্ত নেওয়া যেতে পারে (দেখুন http://pages.cs.wisc.edu/~jyc/02-810 নোট / নির্বাচনী09 . pdf )। এখন, কেন বহুবর্ষীয় আকারে একটি বহু-আকারের সার্কিট তৈরি করা …

10 complexity-theory  time-complexity  circuits 

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

10 graph-theory  adjacency-matrix 

"গণনাযোগ্য রাজ্যের জন্য ধানের উপপাদ্য" - অর্থাত, প্রদত্ত সংক্ষিপ্ত বাস্তবের দ্বারা প্রতিনিধিত্ব করা সংখ্যার কোনও ননড্রাইভাল সম্পত্তি সিদ্ধান্ত গ্রহণযোগ্য - সত্য? এটি বাস্তবের সংযোগের সাথে কোনও প্রত্যক্ষ উপায়েই কি মিলে যায়?

10 computability  real-numbers  computable-analysis 

আসলে আমি দেখতে পেলাম যে প্রাসঙ্গিক সংবেদনশীল ভাষার সেট, CSLCSL\mathbf{CSL} (=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} গৃহীত ভাষাগুলি) তেমন ব্যাপক আলোচনা হয় না REGREG\mathbf{REG} (নিয়মিত ভাষা) বা CFLCFL\mathbf{CFL}(প্রসঙ্গমুক্ত ভাষা)। এবং ওপেন সমস্যাDSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))} "সাদৃশ্য" সমস্যা হিসাবে এতটা বিখ্যাত নয়: "P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP}"। আচ্ছা, আসলেই কি এরকম সাদৃশ্য রয়েছে:? কোন ভাষা আছে CSLCSL\mathbf{CSL} …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

আমার পড়া থেকে মনে হয় বেশিরভাগ ব্যাকরণকারী অসীম সংখ্যক স্ট্রিং তৈরির সাথে সম্পর্কিত। আপনি যদি অন্যভাবে কাজ করে থাকেন তবে কি হবে? যদি দৈর্ঘ্যের এন স্ট্রিং দেওয়া থাকে তবে একটি ব্যাকরণ তৈরি করা সম্ভব যা এই স্ট্রিংগুলি তৈরি করতে পারে এবং কেবল সেই স্ট্রিং তৈরি করতে পারে। এটি করার জন্য …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

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

10 complexity-theory  time-complexity  union-find 

আমি জানি যে নিয়মিত এক্সপ্রেশন এবং ডিএফএ / এনএফএ (সসীম অটোমেটা) দ্বারা স্বীকৃত ভাষাগুলি যেগুলি সংজ্ঞায়িত করা যায় সেগুলি সমান। এছাড়াও ভাষার জন্য কোনও ডিএফএ বিদ্যমান নেই{0n1n|n≥0}{0n1n|n≥0}\{0^n1^n|n \ge 0\}। তবে তবুও এটি নিয়মিত প্রকাশ (যেমন কোনও নিয়মিত ভাষা হতে পারে) ব্যবহার করে রচনা করা যেতে পারে{ϵ}∪{01}∪{0011}......{ϵ}∪{01}∪{0011}......\{ \epsilon \} \cup \{01\} …

10 formal-languages  regular-languages  regular-expressions 

আমি বুঝতে চেষ্টা করছি যে স্ল্যাব বরাদ্দ কীভাবে কাজ করে এবং কেন এটি সাধারণ পেজিংয়ের চেয়ে আলাদা বা ভাল। আমি এই চিত্রটি পেয়েছি যা আমি বিশ্বাস করি এটির আরও ব্যাখ্যা থাকলে সহায়ক হবে। কিছু প্রশ্ন: 3KB এবং 7KB আইটেমগুলি কী উপস্থাপন করে? এগুলি কি কোনওভাবে সম্পর্কিত হতে হবে? কেন সেভাবে …

10 operating-systems  paging  memory-allocation 

প্রাকৃতিক সংখ্যাগুলি inductively হিসাবে সংজ্ঞায়িত করা হয় (উদাহরণস্বরূপ Coq সিনট্যাক্স ব্যবহার করে) Inductive nat: Set := | O: nat | S: nat -> nat. পূর্ণসংখ্যার (এবং সম্ভবত অন্যান্য সেটগুলির মত যুক্তি এবং বাস্তবগুলি) গঠনমূলকভাবে সংজ্ঞায়নের জন্য কি কোনও স্ট্যান্ডার্ড উপায় আছে?

10 arithmetic  dependent-types  coq 

আমার সংঘর্ষ শনাক্তকরণ ক্লাসের পারফরম্যান্সকে উন্নত করার চেষ্টা করার সময় আমি খুঁজে পেলাম যে the 80% সময় জিপিইউতে ব্যয় করেছে, এটি যদি / অন্য শর্তগুলি কেবল বালতিগুলির মধ্য দিয়ে লুপ করা উচিত তবে তার সীমানা নির্ধারণের চেষ্টা করে তবে এটি ব্যয় করে। আরো স্পষ্ট করে: প্রতিটি থ্রেড একটি আইডি পায়, …

10 computer-architecture  parallel-computing 

আমি বুঝতে পারি যে বিভাগের গাছগুলি এর উপ অ্যারের যোগফল খুঁজে পেতে ব্যবহার করা যেতে পারে । এবং এটি এখানে টিউটোরিয়াল অনুযায়ী সময়ে করতে পারে ।একজনএকজনAও (লগএন )হে(লগ⁡এন)\mathcal{O}(\log n) তবে আমি প্রমাণ করতে পারছি না যে অনুসন্ধানের সময়টি সত্যই । এই লিঙ্কটি (এবং আরও অনেকে) বলেছেন যে আমরা প্রমাণ করতে …

10 data-structures  runtime-analysis  search-trees  intervals