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

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

15 computability 

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

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

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

15 lo.logic  randomness  randomized-algorithms  proofs 

পরীক্ষামূলক প্রমাণের পরিবর্তে, কোন আনুষ্ঠানিক নীতি দ্বারা আমরা প্রমাণ করেছি যে কোয়ান্টাম কম্পিউটিং প্রচলিত / ক্লাসিক্যাল কম্পিউটিংয়ের চেয়ে দ্রুততর হবে?

15 quantum-computing 

বৈষম্যের একটি লিনিয়ার সিস্টেমের সম্ভাব্যতা যাচাই করার পক্ষে একটি উপায় উপবৃত্তাকার পদ্ধতি দ্বারা প্রদত্ত হ্রাস মাধ্যমে লিনিয়ার প্রোগ্রামিংয়ের পক্ষে কঠোর। আরও সহজ উপায় হ'ল সর্বোত্তম সমাধানটি অনুমান করা এবং বাইনারি অনুসন্ধানের মাধ্যমে এটিকে বাধা হিসাবে পরিচয় করানো। এই হ্রাস উভয়ই বহুপদী, তবে দৃ strongly়ভাবে বহুপদী নয় (অর্থাত তারা অসমতার সহগগুলির …

15 ds.algorithms  linear-programming 

গ্রাফ আইসোমর্ফিিজম ( ) এন পি- ইন্টারমিডিয়েট সমস্যার পক্ষে ভাল প্রার্থী । এন পি- মধ্যবর্তী সমস্যাগুলি উপস্থিত থাকে যদি P = N P না থাকে । আমি প্রাকৃতিক সমস্যা যে জন্য কঠিন খুঁজছি জি আমি Karp হ্রাস অধীনে (একটি গ্রাফ সমস্যা এক্স যেমন যে জি আমি < মি পি এক্স …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

এটি সিম্বলিক এক্সিকিউশন এর উইকি এন্ট্রি-তে লেখা হয়েছে , তবে আমি এর জন্য কোনও রেফারেন্স পাই না। কেউ আমাকে একটি পয়েন্টার দেখাতে পারেন? ধন্যবাদ.

15 reference-request  lo.logic  program-analysis 

বহুবর্ষীয় সময়ে এনপি সম্পূর্ণ সমস্যার জন্য আনুমানিক অ্যালগরিদম এবং তাত্পর্যপূর্ণ সময়ে সঠিক অ্যালগরিদম সম্পর্কে অধ্যয়ন রয়েছে। ফর্ম 2nδ22nδ22^{n^{\delta_2}} যেখানে সুস্পষ্ট সম্ভাব্য সময়ে এনপি সম্পূর্ণ সমস্যার জন্য প্রায় অ্যালগরিদম সম্পর্কে অধ্যয়ন আছে δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1)? আমি বিশেষত স্বচ্ছ এক্সপেরিয়েন্সিয়াল সময়ে স্বতন্ত্রতা নম্বর এবং ক্লাখ নম্বর এর মতো বহুমুখী সময়ের নিকটবর্তী সমস্যাগুলির সম্পর্কে যা …

15 approximation-algorithms  approximation-hardness 

আমি ইনপুট একটি DAG হিসেবে দেওয়া করছি এর এন ছেদচিহ্ন যেখানে প্রতিটি প্রান্তবিন্দু এক্স অতিরিক্ত কিছু লেবেল করা এস ( এক্স ) ⊆ { 1 , ... , এন } ।GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} একটি টপোলজিকাল সাজানোর একটি bijection হয় চ ছেদচিহ্ন থেকে জি থেকে { 1 , ... …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

সংকলক যাচাইকরণের প্রচেষ্টা প্রায়শই কমপ্লায়ার সম্পূর্ণ বিমূর্ত প্রমাণ করার জন্য নেমে আসে: এটি (প্রাসঙ্গিক) সমতা রক্ষা করে এবং প্রতিফলিত করে। সম্পূর্ণ বিমূর্ততার প্রমাণ সরবরাহ করার পরিবর্তে, কিছুটা সাম্প্রতিক (শ্রেণীবদ্ধ ভিত্তিক) সংকলক যাচাইকরণের কাজ হাসেগাওয়া [ 1 , 2 ] এবং এগার এট দ্বারা। অল। [ 3 ] বিভিন্ন সিপিএস অনুবাদগুলির …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

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

15 cc.complexity-theory  complexity-classes 

জানা যায় একটি রেগুলার এক্সপ্রেশন আকার কমানোর হয় এমনকি যদি আমরা ভাষা এর স্পেসিফিকেশন হিসাবে একটি DFA তে আছে PSPACE-সম্পূর্ণ । ভাষা সীমাবদ্ধ হলে ফলাফল কী হবে? এই সমস্যাটিকে একজন দুটি মডেল বিবেচনা করতে পারেন: ইনপুটটি ভাষার সমস্ত স্ট্রিং হয় এবং আমরা সমস্ত স্ট্রিংয়ের দৈর্ঘ্যের যোগফলের সাহায্যে ইনপুট আকার পরিমাপ …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

আমি আশা করছিলাম যে কেউ কেউ আমাকে ব্যাখ্যা করতে সক্ষম হবেন কেন সাবসেট পণ্য সমস্যাটি হ'ল এনপি-হার্ড, যখন সাবসেটের সমষ্টি সমস্যা দুর্বলভাবে এনপি-হার্ড। সাবসেটের যোগফল: দেওয়া এবং , a মতো একটি উপসেট আছে কি ?X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T সাবসেট প্রোডাক্ট: দেওয়া এবং , সেখানে কি X '} x_i …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

আপনি যদি টাইপযুক্ত ল্যাম্বডা-ক্যালকুলাসে পুনরাবৃত্ত সংযোগকারীগুলি যেমন Y কম্বিনেটর বা ওমেগা : এটি স্পষ্ট যে এই সংযুক্তকারীগুলির সমস্তই তাদের সংজ্ঞায় কোথাও কোনও ভেরিয়েবলের সদৃশ হয়।ωওয়াই==( Λ এক্স ।এক্সএক্স )( Λ এক্স ।এক্সএক্স )λ চ।( Λ এক্স ।চ( এক্সx ) )( Λ এক্স ।চ( এক্সx ) )ω=(λএক্স।এক্সএক্স)(λএক্স।এক্সএক্স)ওয়াই=λচ।(λএক্স।চ(এক্সএক্স))(λএক্স।চ(এক্সএক্স)) \begin{array}{lcl} \omega & = …

15 lo.logic  pl.programming-languages  linear-logic 

পটভূমি বাহ্যিক মেমরি, বা ড্যাম মডেল, আই / ওএস সম্পাদনের সংখ্যার (মূলত, ক্যাশে মিস করার সংখ্যা) দ্বারা একটি অ্যালগরিদমের ব্যয় নির্ধারণ করে। এই চলমান সময়গুলি সাধারণত MএমM , মেমরির আকার এবং এর পরিপ্রেক্ষিতে দেওয়া হয় BবিB, এমন একাধিক শব্দের সংখ্যা যা একবারে স্মৃতিতে স্থানান্তরিত হতে পারে। কখনও কখনও LএলL এবং …

15 ds.algorithms  ds.data-structures  cache-oblivious