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

এমন কোনও অ্যালগরিদম আছে যা কোনও শংসাপত্র উত্সাহীনভাবে তৈরি না করে সঠিকভাবে একটি এনপি-সম্পূর্ণ সমস্যার "হ্যাঁ" আউটপুট দেয়? আমি বুঝতে পেরেছি যে একটি সন্তুষ্টিযোগ্য অরাকলকে সন্তোষজনক-অ্যাসাইনমেন্ট সন্ধানকারী হিসাবে রূপান্তর করা সহজ: কেবলমাত্র ভেরিয়েবলগুলির সাথে পুনরাবৃত্তি করুন, প্রতিবার সন্তুষ্টির ওরাকলটিকে মূল সমস্যার সাথে সেই পরিবর্তনকের সংমিশ্রণটি সমাধান করার জন্য জিজ্ঞাসা করুন। …

11 algorithms  complexity-theory  np-complete 

উদাহরণস্বরূপ বলা যাক আমি স্ট্রিং প্রসেসিং করছি যার জন্য দুটি স্ট্রিংয়ের কিছু বিশ্লেষণ প্রয়োজন। তাদের দৈর্ঘ্য কী হতে পারে সম্পর্কে আমার কোনও তথ্য নেই, সুতরাং তারা দুটি স্বতন্ত্র পরিবার থেকে আসে। একটি অ্যালগরিদম বা ও ( এন + মি ) এর জটিলতাটিকে কল করা কি গ্রহণযোগ্য হবে (আমরা যদি কোনও …

11 time-complexity  asymptotics  landau-notation  notation 

প্রদত্ত বুলিয়ান এক্সপ্রেশনটি কি সন্তুষ্টযোগ্য গণনার পক্ষে বাস্তবে প্রকাশের সমাধান খুঁজে পাওয়া থেকে পৃথক কিনা তা নির্ধারণের সমস্যাটি কী? অন্য কথায়, বুলিয়ান ভেরিয়েবলের জন্য 'সঠিক সেটিংস' স্পষ্টভাবে নির্ধারণ না করে প্রদত্ত অভিব্যক্তিটি সন্তুষ্টিজনক তা খুঁজে পাওয়ার অন্য কোনও উপায় কি? বা সমস্ত সম্ভাব্য প্রমাণগুলি 'সঠিক সেটিংসে' বহুবর্ষের সময় হ্রাস করে? …

11 complexity-theory  satisfiability 

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

11 computability  undecidability  halting-problem  oracle-machines 

আমি বেশ কয়েকবার পড়েছি যে কোনও এনডিটিএমের উত্তর দক্ষতার সাথে ফ্লিপ করা সম্ভব নয়। তবে কেন বুঝতে পারছি না। উদাহরণস্বরূপ, একজন NDTM দেওয়া রান যে , এই টেক্সট (অধ্যায় 3.3) বলে যে, এটা স্পষ্ট নয়, কেমন করে অন্য NDTM মধ্যে নির্ধারণ করতে পারেন সময় কিভাবে টুসকি এর উত্তর।MMMO(n)O(n)O(n)TTTO(n100)O(n100)O(n^{100})MMM আমার সমস্যাটি …

11 complexity-theory  turing-machines 

বর্ণমালা over উপর দুটি স্ট্রিং দেওয়া হয়েছে , আমরা কি ছোট্ট ডিটারমিনিস্টিক সসীম-রাষ্ট্র অটোমেটন (ডিএফএ) মতো এবং গণনা করতে পারি ?Σ এম এ ⊆ এল ( এম ) এল ( এম ) ⊆ Σ ∗ ∖ বিক , খA,BA,BΣΣ\SigmaএমMMএ ⊆ এল ( এম)A⊆L(M)A \subseteq L(M)এল ( এম) ⊆ Σ*। খL(M)⊆Σ∗∖BL(M) …

11 regular-languages  automata  finite-automata  machine-learning 

আমি হোমোপি টাইপ থিওরি অনলাইন বইতে নির্ভরশীল প্রকারের তত্ত্বের বিষয়ে পড়ছি । টাইপ থিওরি অধ্যায়ের ১.৩ বিভাগে , এটি ইউনিভার্সেসের হায়ারার্কির ধারণাটি উপস্থাপন করেছে : , যেখানেU0:U1:U2:⋯U0:U1:U2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots প্রত্যেক মহাবিশ্ব পরবর্তী মহাবিশ্বের একটি উপাদান । তদুপরি, আমরা ধরে নিই যে আমাদের মহাবিশ্বগুলি সংশ্লেষিত, এটি হ'ল …

11 type-theory  homotopy-type-theory  dependent-types 

সেট পার্টিশন উপস্থাপনের জন্য দক্ষ ডেটা স্ট্রাকচার রয়েছে । এই ডেটা স্ট্রাকচারগুলিতে ইউনিয়ন এবং ফাইন্ডের মতো ক্রিয়াকলাপগুলির জন্য ভাল সময় জটিলতা রয়েছে তবে এগুলি বিশেষত স্থান-দক্ষ নয়। কোনও সেটের বিভাজন উপস্থাপনের জন্য স্থান-দক্ষ উপায় কী? এখানে একটি সম্ভাব্য সূচনা পয়েন্ট: আমি জানি যে পার্টিশন সংখ্যা সঙ্গে একটি সেট উপাদান , …

11 data-structures  combinatorics  space-complexity  sets  partitions 

নির্দিষ্ট ভাষা নিয়মিত নয় বলে প্রমাণ করার জন্য নিয়মিত ভাষার পাম্পিং লেমা ব্যবহার করা যেতে পারে এবং নির্দিষ্ট ভাষা প্রাসঙ্গিক নয় তা প্রমাণ করতে প্রসঙ্গমুক্ত ভাষাগুলির জন্য পাম্পিং লেমা ব্যবহার করা যেতে পারে (ওগডেনের লেমা সহ)। সেখানে একটি পাম্পিং থিম হয় নির্ণায়ক প্রসঙ্গ-মুক্ত ভাষায়? অর্থাত, পাম্পিং লেমার সাথে কি এমন …

11 context-free  proof-techniques  pumping-lemma 

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

11 algorithms  terminology  graphs  graph-traversal 

এটি আমার নজরে আনা হয়েছিল যে ওসিএএমএল এর মতো কার্যকরী ভাষায় টাইপ অনুক্রমের ব্যয় খুব বেশি হতে পারে। দাবিটি হ'ল এখানে মত প্রকাশের ক্রম রয়েছে যে প্রতিটি অভিব্যক্তির জন্য সংশ্লিষ্ট প্রকারের দৈর্ঘ্য প্রকাশের দৈর্ঘ্যের উপর সূচকীয়। আমি নীচের ক্রমটি তৈরি করেছি। আমার প্রশ্নটি: আপনি কি আরও সংক্ষিপ্ত অভিব্যক্তিগুলির সাথে একটি …

11 lambda-calculus  type-theory  functional-programming  type-inference  type-checking 

উইকিপিডিয়া থেকে : গণনামূলক সমস্যার ধরণ: সর্বাধিক ব্যবহৃত সমস্যা হ'ল সিদ্ধান্ত সমস্যা । তবে ফাংশন সমস্যা, গণনা সমস্যা, অপ্টিমাইজেশন সমস্যা, প্রতিশ্রুতি সমস্যা ইত্যাদির উপর ভিত্তি করে জটিলতা ক্লাসগুলি সংজ্ঞায়িত করা যেতে পারে আমি এনপি-সম্পূর্ণ, এনপি-হার্ড, এনপি, ... এর সংজ্ঞাগুলি শুধুমাত্র সিদ্ধান্ত সমস্যার জন্য সংজ্ঞায়িত করেছি। আমি ভাবছি কেন এমন হয়? …

11 complexity-theory  terminology 

একটি গণনামূলকভাবে গণনাযোগ্য (সিআর, পুনরাবৃত্তভাবে গণনার সমতুল্য, সেমিডেসিডেবলের সমতুল্য) সেটগুলির একটি সংজ্ঞা নিম্নলিখিত: সমস্ত x ∈ Σ ∗ এর জন্যএকটি নির্ধারণযোগ্য ভাষা ভি ⊆ Σ ∗ (যাচাইকরণকারী বলা হয়)স্ট্যান্ড থাকলে একটি ⊆ Σ ∗ সিটি হয়,A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^*V⊆Σ∗V⊆Σ∗V\subseteq \Sigma^*x∈Σ∗x∈Σ∗x\in \Sigma^* iff একটা বিদ্যমান Y ∈ Σ * ম ⟨ এক্স …

11 computability  proof-techniques  undecidability 

আমি গণনার তত্ত্বে আমার চূড়ান্ত জন্য অধ্যয়ন করছি এবং আমি এই বক্তব্যটি মিথ্যা সত্য কিনা তা উত্তর দেওয়ার সঠিক পদ্ধতি নিয়ে সংগ্রাম করছি। দ্বারা সংজ্ঞা এর আমরা নিম্নোক্ত বিবৃতি গঠন করা যেতে পারে≤মি≤m\leq_m ডব্লিউ ∈ এ⟺চ( W ) ∈ বি → W ∉ একজন⟺চ( W ) ∉ বিw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A …

11 complexity-theory  computability  reductions 

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

11 complexity-theory  efficiency  computation-models