প্রশ্ন ট্যাগ «cc.complexity-theory»

আমরা প্রমাণ করতে পারেন যে প্রতি ভাষার জন্য নয় এন পি -hard (এই অনুমান পি ≠ এন পি ), পি এল ≠ পি স্যাট ? পর্যায়ক্রমে, এটি কি কোনও যুক্তিসঙ্গত অনুমানের অধীনে প্রমাণিত হতে পারে?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

12 cc.complexity-theory  complexity-classes  np-intermediate 

আমি বুহরমন এবং হোমার "সুপারপলিনিমিয়াল সার্কিট, প্রায় বিরল ওরাকলস এবং এক্সফোনেনশিয়াল হায়ারার্কি" এর একটি কাগজ পড়ছিলাম । পৃষ্ঠাগুলি 2 এর নীচে তারা মন্তব্য করেছেন যে কান্নানের ফলাফলগুলি বোঝায় যে আকারের সার্কিট নেই। আমি জানি যে , just কেবলমাত্র , এবং আমি আরও জানি যে কান্নানের ফলাফল এমন যে । অবশ্যই, …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

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

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 

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

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

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

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

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

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

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

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 

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

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

আমরা কী জানি যে শ্রেণিবিন্যাসটি ভেঙে যায় না ( 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 

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

12 cc.complexity-theory  gt.game-theory 

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

12 cc.complexity-theory  approximation-algorithms