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

এটি কি সম্ভব ? এই ধরনের প্রতিরোধের আকর্ষণীয় পরিণতি আছে? এটি কি Exponational সময় অনুমানের বিরোধিতা করবে?এসএ টি¯¯¯¯¯¯¯¯¯¯। এনটিআমিএমই( এক্সপ্রেস( এন)0.9) )এসএকজনটি¯∈এনটিআমিএমই(মেপুঃ⁡(এন0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

সবচেয়ে সহজ গণনামূলক মডেল কী যার জন্য শূন্যতার সমস্যাটি অনস্বীকার্য? একটি গণনামূলক মডেলের (যেমন, সীমাবদ্ধ রাষ্ট্রীয় অটোমেটন, বিকল্প ধাক্কা অটোমেটন, একটি কাউন্টার দিয়ে বাউন্ডেড-ত্রুটি কোয়ান্টাম অটোমেটন, ডিটারিমেস্টিক এলবিএ, ইত্যাদি) নির্ধারণের জন্য নির্ধারিত হয় যে কোনও নির্দিষ্ট মেশিনের জন্য, ভাষাটি এই মেশিন দ্বারা স্বীকৃত / সংজ্ঞায়িত হয়েছে কিনা খালি. এখানে মেশিনের …

12 computability  decidability  undecidability  unary-languages 

নিম্নলিখিত কার্ড গেমটি বিবেচনা করুন (ইতালিতে "ক্যাভাকামাসিয়া" নামে পরিচিত যা "স্ট্রিপশার্ট" হিসাবে অনুবাদ করা যেতে পারে): দুটি খেলোয়াড় এলোমেলোভাবে দুটি ডেকে বিভক্ত কার্ডের একটি স্ট্যান্ডার্ড ডেক। প্রতিটি খেলোয়াড় একটি ডেকে পায়। খেলোয়াড়রা তাদের ডেক থেকে পরবর্তী কার্ডটি স্ট্যাকের মধ্যে রেখে দেয়। যদি কোনও খেলোয়াড় (এ) একটি বিশেষ কার্ড রাখে, অর্থাত্ …

12 board-games 

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

12 cc.complexity-theory  reference-request 

না ধরে?এন পিএন পি∩সি ও এন পি= এন পিNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} স্পষ্টত , কিন্তু এটা আমার মনে হচ্ছে যে এন পি ∩ গ ণ এন পি যার ফলে আমাকে বিশ্বাস এই সত্য "নির্ণায়ক" হয়।এন পিএন পি≠ এন পিNPNP≠NP\mathsf{NP^{NP}\neq NP}এন পি ∩ সি ও এন পিNP∩coNP\mathsf{NP\cap coNP} একটি সহজ প্রমাণ আছে …

12 cc.complexity-theory  complexity-classes  oracles 

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

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

ডাইক ভাষাগুলি নিম্নলিখিত ব্যাকরণ এস → এস এস দ্বারা সংজ্ঞায়িত করা হয় ডি ওয় সি সি কে (কে)Dyck(k)\mathsf{Dyck}(k) চিহ্ন সেট উপর { ( 1 , ... , ( ট , ) 1 , ... , ) ট } । স্বজ্ঞাতভাবে ডাইক ভাষা হ'ল কে বিভিন্ন ধরণেরসুষম প্যারেন্টেসির ভাষা। উদাহরণস্বরূপ, (S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

জনসন-লিন্ডেনস্ট্রাউস লেমা একজনকে একটি উচ্চ মাত্রিক স্থানের মধ্যে নিম্ন মাত্রায় পয়েন্টগুলিতে উপস্থাপন করতে দেয়। সর্বোত্তম ফিটের নিম্ন মাত্রিক স্থানগুলি সন্ধান করার সময়, একটি মানক কৌশলটি হ'ল একক মান পচন এবং তারপরে বৃহত্তম একবাক্য মানগুলির দ্বারা উত্পন্ন উপসর্গ গ্রহণ করা। এসভিডির মাধ্যমে জনসন-লিন্ডেনস্ট্রাস ব্যবহার করা কখন আগ্রহী?

12 machine-learning 

ইন্সটান্স: একটি undirected গ্রাফ দুই আলাদা সঙ্গে ছেদচিহ্ন গুলি ≠ টি , এবং একটি পূর্ণসংখ্যা ট ≥ 2 ।GGGs≠ts≠ts\neq tk≥2k≥2k\geq 2 প্রশ্ন: জি-তে কি কোনও পাথ রয়েছে , যে পথটি বেশিরভাগ কে- কোণে স্পর্শ করে ? (ভার্টেক্সটি যদি পথে হয়, বা পথে কোনও প্রতিবেশী থাকে তবে একটি পথটি স্পর্শ করে))s−ts−ts-tGGGkkk

12 cc.complexity-theory  graph-theory  graph-algorithms 

আমি বিখ্যাত কমো 90 তে ফ্রয়েডের কাগজ "বীজগণিত সংক্রান্ত সম্পূর্ণ বিভাগগুলি" পড়েছিলাম এবং সেই কাগজে তিনি বীজগণিতের সংক্ষিপ্ততার ধারণাটি সম্পর্কে আমার দুটি প্রশ্ন রয়েছে। (আপনি যদি সংজ্ঞাটির সাথে পরিচিত না হন তবে এখানে এটি রয়েছে: প্রতিটি বিভাগে প্রাথমিক বীজগণিত এবং একটি চূড়ান্ত সহ-বীজগণিত থাকে যা প্রচলিতভাবে আইসোমরফিক হয় A একটি …

12 reference-request  type-theory  ct.category-theory 

"বীজগাণিতিক poset" এ সংজ্ঞার ক্রমাগত lattices এবং ডোমেনগুলির , সংজ্ঞা আই-4.2, যাতে লেখা সবার জন্য ,x ∈ Lx∈Lx \in L সেট একটি নির্দেশ সেট হওয়া উচিত, এবংA ( x ) = ↓ x ∩ K( এল )A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) ।x = ⨆ ( ↓ x ∩ কে)( …

12 domain-theory 

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

12 cc.complexity-theory  graph-theory  graph-algorithms  np 

থেকে ফাংশনগুলির বৃদ্ধির হারের তুলনা করার সিদ্ধান্ত গ্রহণের সীমাবদ্ধতাগুলি কী কী ? আমি এখানে মত প্রশ্ন decidability কথা ভাবছি "এ কি এক্স এক্স ~ 2 ⌊ এক্স এলজি ( এক্স + + 2 ) ⌋ ?" বা " 2 lg ∗ x ∈ O ( lg lg x ) ?"।N→NN→N\mathbb{N} …

12 decidability  asymptotics 

আমি নিম্নলিখিত অ্যালগরিদম / সমস্যার জন্য গ্রন্থপঞ্জি রেফারেন্সের সন্ধান করছি: আমি এর নাম দিয়েছি "বাইসিলিেক্ট" বা "টি-অ্যারি সিলেক্ট" বা "সিলেক্ট ইন ইউনিয়ন অফ সাজানো অ্যারে", তবে আমার ধারণা এটি অন্য নামে আগে চালু হয়েছিল? সমস্যা নিম্নলিখিত সমস্যা বিবেচনা করুন: প্রদত্ত kkk গ্রন্থিচ্যুত সাজানো অ্যারে A1,…,AkA1,…,AkA_1,\ldots, A_k , নিজ নিজ আকারের …

12 reference-request 

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

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate