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

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

10 formal-languages  context-free  closure-properties  regular-expressions 

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

10 turing-machines  space-complexity 

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

10 formal-languages  reference-request  finite-automata 

ক্যান কেউ আলোকিত আমাকে কেন যে backtracking সঙ্গে একটি recursive বংশদ্ভুত পার্সার চেষ্টা প্রযোজনার এবং এস → একটি একটি (যাতে) ব্যাকরণ দ্বারা গঠিত ভাষা না চেনে এস → একটি এস একটি | একটি একটি ।এস→ একটি এসএকটিএস→একটিএসএকটিS \rightarrow aSaএস→ একটি একটিএস→একটিএকটিS \rightarrow aaএস→ একটি এসক | একটি একটি এস→একটিএসএকটি | …

10 context-free  formal-grammars  compilers  parsers 

আপনার কাছে নির্বিচারে লেন্থ এর লাঠি, অগত্যা অবিচ্ছেদ্য নয়।nnn কিছু লাঠি কেটে (একটি কাটা একটি লাঠি কেটে দেয়, তবে আমরা যতবার চাই কাটতে পারি), আপনি স্টিক পেতে চান যে:k&lt;nk&lt;nk<n এই সমস্ত স্টিকের দৈর্ঘ্য একই;kkk সমস্ত কাঠি কমপক্ষে অন্য সমস্ত কাঠি হিসাবে দীর্ঘ।kkk নোট করুন যে আমরা কাটগুলি সম্পাদনের পরে স্টিকগুলি …

10 algorithms  optimization 

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

10 computer-architecture  performance  threads 

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

10 computability  undecidability  halting-problem 

পিটার সেলিনারের মতে , ল্যাম্বডা ক্যালকুলাস হল বীজগণিত (পিডিএফ)। এই নিবন্ধের প্রথম দিকে তিনি বলেছেন: কারণ এটি সন্তুষ্ট না ল্যামডা ক্যালকুলাস সমন্নয়ের ব্যাখ্যা, অপূর্ণ হিসেবে পরিচিত -rule: ব্যাখ্যা অধীনে, পরোক্ষভাবে না (Barendregt, 1984)।ξξξM=NM=NM = Nλx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N প্রশ্নাবলী: এখানে কোন ধরণের সমতা বোঝানো হয়েছে? সমতা এই সংজ্ঞা দেওয়া, …

10 terminology  lambda-calculus  combinatory-logic 

বাইনারি উপস্থাপনায় দুটি পূর্ণসংখ্যা এবং হয়েছে, এর বিট-আকারের কম্পিউটিংয়ের জটিলতা কী ?n x nxxxnnnxnxnx^n এটি করার একটি উপায় পর্যাপ্ত নির্ভুলতার সাথে একটি অনুমানের গণনা করে গণনা করা । দেখা যাচ্ছে যে কম্পিউটিং সঙ্গে precisions এর বিট মধ্যে সম্পন্ন করা যাবে যেখানে সময় দৈর্ঘ্য দুটি পূর্ণসংখ্যার গুণফল গনা প্রয়োজন হয় । …

10 complexity-theory  time-complexity  binary-arithmetic 

দুটি চিহ্ন দেওয়া এবং , আসুন নীচে থাই ফিবোনাচি স্ট্রিংটি সংজ্ঞায়িত করুন :একটিএকটি\text{a}খখ\text{b}টটk এফ( ট ) = ⎧⎩⎨খএকটিএফ( কে - 1 ) ⋆ চ( কে - ২ )যদি কে=0যদি কে=1আরএফ(ট)={খযদি ট=0একটিযদি ট=1এফ(ট-1)⋆এফ(ট-2)আর F(k) = \begin{cases} \text{b} &\mbox{if } k = 0 \\ \text{a} &\mbox{if } k = 1 \\ F(k-1) …

10 algorithms  algorithm-analysis  runtime-analysis  strings  substrings 

ধরুন আমি আপনাকে ওজনযুক্ত প্রান্তগুলি সহ একটি অপ্রচলিত গ্রাফ দিয়েছি এবং আপনাকে বলছি যে প্রতিটি নোড 3 ডি স্পেসের বিন্দুর সাথে মিলে যায়। যখনই দুটি নোডের মধ্যে একটি কিনারা থাকবে তখনই প্রান্তের ওজন হ'ল পয়েন্টগুলির মধ্যে দূরত্ব। আপনার লক্ষ্যটি কেবলমাত্র উপলব্ধ দূরত্ব (প্রান্তের ওজন দ্বারা উপস্থাপিত) প্রদত্ত পয়েন্টগুলির আপেক্ষিক অবস্থানগুলি …

10 complexity-theory  graph-theory  computational-geometry  euclidean-distance 

যদি তবে শ্রেণিবিন্যাসটি তার দ্বিতীয় স্তরে (কার্প-লিপটন উপপাদ্য দ্বারা) পতিত হয়। তবে এন পি এবং সি ও এন পি সম্পর্কে কী হবে?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP আমি প্রমাণ করতে হবে যে চেষ্টা মধ্যে অন্তর্ভুক্ত করা হয় এন পি (অন্যান্য দিক তুচ্ছ হলে আর পি = এন পি ) কিন্তু …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

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

10 complexity-theory  np-complete  board-games 

বর্তমান ভাসমান পয়েন্ট (এএনএসআই সি ফ্লোট, ডাবল) একটি আসল সংখ্যার প্রায় উপস্থাপনের অনুমতি দেয় । ত্রুটি ছাড়াই প্রকৃত সংখ্যা উপস্থাপন করার কোনও উপায় আছে কি ? এখানে আমার একটি ধারণা রয়েছে যা নিখুঁত কিছু নয়। উদাহরণস্বরূপ, 1/3 হ'ল 0.33333333 ... (বেস 10) বা o.01010101 ... (বেস 2), তবে 0.1 (বেস …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

একটি সীমাবদ্ধ ভারটেক্স সেট উপর একটি সমতা সম্পর্ক একটি অনুন্নত গ্রাফ দ্বারা প্রতিনিধিত্ব করা যেতে পারে যে চক্রের একটি বিশৃঙ্খলা ইউনিয়ন। ভার্টেক্স সেটটি উপাদানগুলিকে উপস্থাপন করে এবং একটি প্রান্তটি উপস্থাপন করে যে দুটি উপাদান সমান। যদি আমি একটি গ্রাফ আছে এবং গ্রাফের জি 1 , ... , জি ট , …

10 algorithms  graph-theory  clique