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

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

12 complexity-theory  graph-isomorphism  group-theory 

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

12 programming-languages  type-theory  type-checking  software-verification 

নীচের ছবিতে, আমি এই এনএফএ ঠিক কী গ্রহণ করছে তা নির্ধারণ করার চেষ্টা করছি। আমাকে কি বিভ্রান্ত করছে তা হল এ জাম্প ।কিউ 0εϵ\epsilonকুই0q0q_0 যদি একটি প্রবেশ করানো হয়, সিস্টেমটি কি এবং উভয় (গ্রহণযোগ্য রাষ্ট্র) এ চলে যাবে?q 0 q 1000কুই0q0q_0 কুই1q1q_1 যদি টি প্রবেশ করা হয়, তবে সিস্টেমটি কি …

12 automata  finite-automata  nondeterminism 

আমি এই প্রশ্নটি পেরিয়ে এসেছি: "দুটি নিয়মিত ভাষার উদাহরণ দিন যা তাদের ইউনিয়ন একটি নিয়মিত ভাষা আউটপুট দেয় না।" এটি আমার কাছে বেশ চমকপ্রদ কারণ আমি বিশ্বাস করি যে নিয়মিত ভাষাগুলি ইউনিয়নের অধীনে বন্ধ রয়েছে। যার অর্থ আমার কাছে যে আমি যদি দুটি নিয়মিত ভাষা গ্রহণ করি এবং সেগুলি একত্রিত …

12 formal-languages  regular-languages  closure-properties 

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

12 graph-theory  graphs 

নাভিকেটকে ক্ষমা করুন যা আমি এই প্রশ্নটি জিজ্ঞাসার সাথে সাথে যে বিষয়টি আমি জিজ্ঞাসা করছি তা স্পষ্ট হবে be গণিতবিদরা সাধারণত (ক্যালকুলাসের কারণে) সবচেয়ে সহজ / সর্বোত্তম বেস হিসাবে এক্সপ ব্যবহার করেন । কিন্তু কম্পিউটার, বাইনারি মধ্যে সবকিছু করতে হবে বলে মনে হচ্ছে তাই গনা একটি মেশিনে দ্রুত এটা চেয়ে …

12 binary-arithmetic  numerical-analysis  numeral-representations 

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

12 algorithms 

সবচেয়ে খারাপ ক্ষেত্রে অ্যাসিম্পটোটিক রানটাইমের ক্ষেত্রে, কোন এনপি-সম্পূর্ণ সমস্যাটি সবচেয়ে দ্রুতগামী (সঠিক) অ্যালগরিদম রয়েছে এবং অ্যালগরিদম কী? চেয়ে দ্রুত কিছু আছে এমন কি জানা আছে ?ও ( এন)2। 2এন)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

-bounded গাছ সমস্যা spanning যেখানে আপনি একটি undirected গ্রাফ আছে জি ( পঞ্চম , ই ) এবং আপনার থাকুক বা না থাকুক এটি একটি spanning গাছ প্রতিটি প্রান্তবিন্দু সর্বাধিক একটি ডিগ্রী আছে যেমন যে হয়েছে সিদ্ধান্ত নিতে ট ।kkkG(V,E)G(V,E)G(V,E)kkk আমি বুঝতে পারি কেসের ক্ষেত্রে এটি হ্যামিলটোনিয়ান পাথ সমস্যা। তবে কে …

12 spanning-trees 

আমাদের কয়েক দশক আগে এনালগ কম্পিউটার ছিল। আধুনিক দিনের কম্পিউটারগুলি ডিজিটাল। কোয়ান্টাম কম্পিউটার সম্পর্কে কি? এটি কি এনালগ বা ডিজিটাল? আমি এটি জিজ্ঞাসা করছি যেহেতু কোয়েট একই সাথে অনেকগুলি জিনিস হতে পারে।

12 quantum-computing 

আমার পয়েন্ট এর একটি সেট রয়েছে CCCএবং আমার প্রতিটি পয়েন্ট মধ্যে দূরত্ব রয়েছে D(Pi,Pj)D(Pi,Pj)D(P_i,P_j)। এই দূরত্বগুলি ইউক্লিডিয়ান তবে পয়েন্টগুলি আসলে কোনও বৈশিষ্ট্যের জায়গায় in থেকে CCC পয়েন্ট আমি একটি উপসেট চয়ন করতে চান nnn পয়েন্ট। এই উপসেট কল sss । আমি তাই নতুন সেটে সব বিন্দুর মধ্যে সর্বনিম্ন দূরত্ব বাড়ানোর …

12 optimization 

প্রথমত, আমি বলতে চাই যে নীচে আমার পাঠ্যটিতে ত্রুটি থাকতে পারে, সুতরাং আমার প্রশ্ন গঠনের কোনও ত্রুটি নির্দ্বিধায় নির্দ্বিধায় মনে করুন। বুলিয়ান এবং যদি-বিবৃতিগুলির শর্তাদি এই বাক্য গঠন দ্বারা দেওয়া হয় তবে একটি টাইপযুক্ত ল্যাম্বদা ক্যালকুলাস বিবেচনা করুন: t ::= v | t t | if t t t | …

12 programming-languages  lambda-calculus 

আবর্জনা সংগ্রহের সমস্ত জীবিত বস্তু ঘুরে দেখতে হয়, যাতে পুনরায় দাবি করা যায় এমন মেমরিটি খুঁজে পাওয়া যায়। (বহু প্রজন্মকে নিয়ে এটিকে কিছুটা বিলম্ব করে) সমস্ত জিনিস সমান হচ্ছে, অন্য ব্লকের ভিতরে পেজিং করার আগে এবং ইতিমধ্যে কিছু বস্তু পৃষ্ঠাবদ্ধ করার আগে প্রথমে র‌্যামে পৃষ্ঠাযুক্ত বস্তুটি পরিদর্শন করা ভাল। আন্তঃর …

12 memory-management  paging  garbage-collection 

টেক্সট.এসএ সম্পর্কে একটি মন্তব্য আমাকে অবাক করে দিয়েছে। বিবৃতিটি মূলত: যদি আমি এক্স ভাষায় এক্স ভাষার জন্য একটি কম্পাইলার লিখতে পারি তবে এক্স টিউরিং-সম্পূর্ণ। গণনীয়তা এবং আনুষ্ঠানিক ভাষার পদগুলিতে, এটি হ'ল: তাহলে সিদ্ধান্ত নেয় এবং , তারপর ।এল ⊆ এল টি এম ⟨ এম ⟩ ∈ এল এফ এল = …

12 computability  turing-completeness 

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

12 formal-languages  computability  regular-languages  turing-machines  automata