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

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

12 cc.complexity-theory  lo.logic  proof-complexity 

বহু স্তরের শ্রেণিবিন্যাসের প্রতিটি স্তরের অন্তর্ভুক্ত are পি আইΔPiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k এবং সহ বিভিন্ন জটিলতা ক্লাস ΣPi∩ΠPiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P}। উন্নত পরিভাষার অভাবের জন্য, আমি এগুলি এবং অন্য যে কোনওটিকে বহুপদী শ্রেণিবিন্যাসের i এবং i + 1 স্তরের মধ্যবর্তী শ্রেণি হিসাবে উল্লেখ করব । এই প্রশ্নের উদ্দেশ্য পূরণকল্পে, অনুমান …

12 cc.complexity-theory  polynomial-hierarchy 

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

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

এমন কোনও সংখ্যার অগ্রাধিকারের কাতারে রয়েছে যা নিম্নলিখিত ক্রিয়াকলাপগুলির সাথে স্পেসের শব্দের ব্যবহার করে, যা সবচেয়ে খারাপ ক্ষেত্রে এবং এলোমেলোভাবে অ্যাক্সেস ছাড়াই:O(n)O(n)O(n) createEmptyQueueমধ্যে কিছু ধ্রুবক জন্য গ ।O(lgcU)O(lgcU)O(lg^c U)ccc insertমধ্যে ।O(1)O(1)O(1) deleteMinO(δmin)O(δmin)O(\delta_{\min})δminδmin\delta_{\min} তদ্ব্যতীত, একবার একটি কী একটি বিষয় হয়েছে , সব আরও টিপে হয় ।kkkdeleteMin>k>k> k সম্পর্কিত কাজ: বোস এট …

12 ds.data-structures 

আমার আগের পোস্ট করা প্রশ্নের সাথে বেশ মিল । এবার অবশ্য গ্রাফটি পুনর্নির্দেশিত। প্রদত্ত একটি পুনর্নির্দেশিত গ্রাফ যার কোনও একাধিক-প্রান্ত বা লুপ নেই,GGG একটি উত্স প্রান্তবিন্দু ,sss একটি টার্গেট ভারটেক্স ,ttt সর্বাধিক পথের দৈর্ঘ্য ,lll আমি খোঁজ করছি একটি subgraph - যে কোনো প্রান্তবিন্দু এবং যে কোন প্রান্ত রয়েছে (এবং …

12 ds.algorithms  graph-algorithms  shortest-path 

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

12 cg.comp-geom  na.numerical-analysis  markov-chains 

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

12 reductions  nondeterminism  pspace 

এই প্রশ্নটি এই পোস্টটি দ্বারা অনুপ্রাণিত করা হয়েছে, আপনি কি বহুপদী সময়ে দুটি ক্রমের যোগফল সনাক্ত করতে পারেন? , এবং ক্রমানুসারে গণনার বৈশিষ্ট্যগুলির প্রতি আমার আগ্রহ। একটি পার্থক্য ক্রম একটি বিন্যাস এর π সংখ্যার 1 , 2 , ... এন + + 1 বিন্যাস মধ্যে প্রতি দুই সংলগ্ন সংখ্যার মধ্যে …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

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

12 dfa 

আমরা কী জানি যে শ্রেণিবিন্যাসটি ভেঙে যায় না ( all all d )?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd \ Mathsf {TC ^ 0 for এর চিড়িয়াখানা এন্ট্রিTC0TC0\mathsf{TC^0} শুধুমাত্র গভীরতা 2 এবং 3 এর মধ্যে বিভক্তির উল্লেখ করেছে। এছাড়াও AC0dACd0\mathsf{AC^0_d} শ্রেণিবদ্ধতা ভেঙে পড়ে না এই তথ্যের জন্য কি কোনও আদর্শ রেফারেন্স আছে ?

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

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

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

কেবলমাত্র চূড়ান্তভাবে অনেকগুলি রাজ্যের সাথে একটি নির্ণায়কীয় আংশিক-তথ্য শূন্য-সমষ্টি গেম দেওয়া হয়েছে, যার সম্ভাব্য ফলাফল যথাক্রমে [হারান, আঁকুন, জয় করুন] সাথে মানগুলি [-1,0, + 1] যথাক্রমে, এর মানটির কাছাকাছি যাওয়ার জটিলতা কী? একটি খেলা additively মধ্যে ?εϵ\epsilon বিশেষত, এটি করার জন্য আমি কোনও অ্যালগরিদম আসতে পারি না । এই পোস্টের …

12 cc.complexity-theory  gt.game-theory 

এবং মধ্যে সম্পর্ক কী ? অন্য কথায়, এমন সমস্যাগুলি কি বহুবর্ষের সময় স্থানীয় অনুসন্ধানের অনুমানযোগ্য? আনুমানিক অপ্টিমাইজেশনের সমস্যাগুলি কি সাধারণভাবে স্থানীয় অনুসন্ধান অ্যালগরিদমকে বোঝায়?PLSPLS\mathsf{PLS}APXAPX\mathsf{APX}

12 cc.complexity-theory  approximation-algorithms 

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

12 sorting 

সবচেয়ে বেশি কার্যকরী (সময় জটিলতা মধ্যে) Divisibity ডিসিশন সমস্যার জন্য আজকাল পরিচিত অ্যালগরিদম কি: দুই ইন্টিজার দেওয়া বলতে এবং , আছে ডিভাইড ? এটি পরিষ্কার হয়ে যাক যে আমি যা চাইছি তা (অপরিহার্যভাবে) রেমাইন্ডার গণনার জন্য অ্যালগরিদম নয়। আমি শুধু কিনা জানতে চাই ভাগ বা না। আরও সুনির্দিষ্ট হওয়ার কারণে, …

12 time-complexity  lower-bounds  nt.number-theory  primes