প্রশ্ন ট্যাগ «complexity-classes»

মাহানির উপপাদ্য আমাদের বলে যে বহুবর্ষকালীন বহু-একক হ্রাসের আওতায় যদি একটি স্পার্স কমপ্লিট সেট থাকে তবে পি = এন পি । (" এনপি-র জন্য স্পারস সম্পূর্ণ সেট: বারম্যান এবং হার্টম্যানিসের অনুমানের সমাধান " দেখুন)এনপিএনপিNPপি= এনপিপি=এনপিP = NP অন্যান্য জটিলতার ক্লাসগুলির জন্য বিরল সম্পূর্ণ সেটগুলির অস্তিত্বের কি জানা ফলাফল রয়েছে? বিশেষত, …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

বার্মান – হার্টম্যানিস অনুমান: সমস্ত এনপি-সম্পূর্ণ ভাষাগুলি একরকম দেখায়, এই অর্থে যে তারা বহু-কালীন আইসোমরফিজম [1] দ্বারা একে অপরের সাথে সম্পর্কিত হতে পারে। আমি "বহুপদী সময়" এর আরও সূক্ষ্ম সংস্করণে আগ্রহী, অর্থাত্ যদি আমরা প্যারামিটারাইজড হ্রাস ব্যবহার করি। একটি প্যারামিটারাইজড সমস্যা হ'ল এর একটি উপসেট Σ∗×Z≥0Σ∗×Z≥0Σ^∗ × Z \geq 0, …

10 complexity-classes  np-complete  fixed-parameter-tractable 

সমস্যাগুলি সম্পূর্ণরূপে শ্রেণিবদ্ধ হয়েছে, গণনামূলক জটিলতার জন্য ধন্যবাদ। তবে, ডিফারেনশিয়াল সমীকরণে, তাদের গণনামূলক কাঠামোর উপর নির্ভর করে ডিফারেনশিয়াল সমীকরণগুলিকে শ্রেণিবদ্ধ করা সম্ভব? উদাহরণস্বরূপ, যদি প্রথম অর্ডার অ-সমজাতীয় সমীকরণকে তুলনামূলকভাবে একটি এর তুলনায় তুলনামূলকভাবে কঠিন বলা হয়, বলুন, 100 তম আদেশ সমজাতীয় সমীকরণ, সমাধানের পদ্ধতিটি কি একইভাবে দেওয়া হয়েছিল, তবে তাদের …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

আসুন NP এ একটি ভাষা call কল করুন খুব কম শংসাপত্রযুক্ত যদি এবং কেবল যদি:L∈L∈L \in একটি বহুপদী বিদ্যমান যেমন যে প্রত্যেক ইনপুট জন্য আকার , যদি তারপর সেট শংসাপত্রগুলির যা যাচাই মধ্যে বহুবর্ষীয় আকার, অর্থাত্ ।p:N→Np:N→Np : \mathbb{N} \rightarrow \mathbb{N}x∈Σ∗x∈Σ∗x \in \Sigma^*nnnx∈Lx∈Lx \in LUxUxU_xuuux∈Lx∈Lx \in L|Ux|≤p(n)|Ux|≤p(n)|U_x| \leq p(n) সংক্ষিপ্ত …

10 cc.complexity-theory  complexity-classes 

যদি আমরা প্রমাণ করতে পারি যে , এটি কি এন এল = এন পি বোঝায় ?L=PL=পি\mathsf{L}=\mathsf{P}এন এল = এন পিএনএল=এনপি\mathsf{NL}=\mathsf{NP} আমি ভেবেছিলাম এটি কেস, তবে আমি এটি প্রমাণ করতে পারি না (কথোপকথনের জন্যও)।

10 cc.complexity-theory  complexity-classes  nondeterminism 

জটিলতা শ্রেণি follows নীচে ( উইকিপিডিয়া থেকে ) সংজ্ঞায়িত করা হয়েছে :এসপি2S2P\textrm{S}_2^\textrm{P} একটি ল্যাঙ্গুয়েজ রয়েছে যদি অস্তিত্ব আছে একটি বহুপদী টাইম সম্পৃক্ত যেমন যেএস পি 2 পিএলLLএসপি2এস2পিS_2^PপিপিP যদি , তবে সেখানে এমন উপস্থিতি রয়েছে যা সমস্ত ,y z P ( x , y , z ) = 1x ∈ Lএক্স∈এলx …

10 cc.complexity-theory  complexity-classes 

ক্লাস বিপিএনসি ( এবং এর সংমিশ্রণ ) সীমিত ত্রুটির সম্ভাবনা এবং একটি এলোমেলো উত্স অ্যাক্সেস সহ লগ গভীরতার সমান্তরাল অ্যালগরিদম হতে দিন (আমি নিশ্চিত নই যে এর আলাদা নাম আছে কিনা)। অ্যালগরিদম প্রারম্ভকালে স্থির বিটগুলির একটি এলোমেলো প্রবাহে সমস্ত প্রক্রিয়াগুলির এলোমেলো অ্যাক্সেস ব্যতীত ডিবিপিএনসি শ্রেণিটি একইভাবে সংজ্ঞায়িত করুন।বি পি পিবিপিপি\mathsf{BPP}এন …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

প্রসঙ্গ : Kavvadias এবং Sideri দেখা গেছে ইনভার্স 3-স্যাট সমস্যা coNP সম্পূর্ণ হলে: প্রদত্ত φϕ\phi উপর মডেলের একটি সেট এনnn ভেরিয়েবল, একটি 3-CNF সূত্র যেমন যে φϕ\phi মডেলের তার সঠিক সেট হয়? একটি তাৎক্ষণিক প্রার্থী সূত্র দেখা দেয় দুটো কারণে যা সব 3-ক্লজ-এ সমস্ত মডেলের সন্তুষ্ট এর একত্রে হয় φϕ\phi …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

BPPBPP\mathsf{BPP} এবংদুটি প্রাথমিক সম্ভাব্য জটিলতা ক্লাস।ZPPZPP\mathsf{ZPP} BPPBPP\mathsf{BPP} -সময়ের টিউরিং অ্যালগরিদম দ্বারা নির্ধারিত ভাষার শ্রেণি যেখানে কোনও ভুল উত্তর অ্যালগরিদমের সম্ভাবনা সীমাবদ্ধ থাকে, অর্থাৎ ত্রুটির সম্ভাবনা সর্বাধিক (উভয়ই হ্যাঁ এবং কোনও উদাহরণ নয়)।1313\frac{1}{3} অন্যদিকে, অ্যালগরিদমগুলি সেই সম্ভাব্য অ্যালগরিদম হিসাবে দেখা যেতে পারে যা কখনই কোনও ভুল উত্তর দেয় না, যখনই তারা …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

একটি ল্যাঙ্গুয়েজ LLL বর্গ হয় DPDPDP iff দুটি ভাষা L1∈NPL1∈NPL1 \in NP এবং L2∈coNPL2∈coNPL2 \in coNP যেমন যে L=L1∩L2L=L1∩L2L = L1 \cap L2 একটি ক্যানোনিকাল DPDPDP কমপ্লিট সমস্যাটি স্যাট-ইউএনএসএটি: দুটি 3-সিএনএফ এক্সপ্রেশন, FFF এবং GGG , এটি সত্য যে FFF সন্তুষ্টযোগ্য এবং GGG নয়? ক্রিটিকাল স্যাট সমস্যাটি DPDPDP কমপ্লিট হিসাবেও …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

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

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

আমি অবাক হয়ে জানতে পারি যে অনুমানের অধীনে এনপিআইতে বিচ্ছিন্ন ভাষা রয়েছে (এমনকি বিলম্বিত ডায়াগোলাইজেশন দ্বারা নির্মিত) ।P≠NPP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes 

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

10 cc.complexity-theory  complexity-classes 

ধরে নিন P≠NPP≠NPP \neq NP দিন নিম্নলিখিত স্বরলিপি ব্যবহার tetration জন্য (অর্থাৎ। )।iaia{}^iaia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | এক্স | উদাহরণস্বরূপ x এর আকার। এলকে একটি ভাষা হতে দিন,L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } \exists i …

10 cc.complexity-theory  np-hardness  complexity-classes 

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

10 cc.complexity-theory  complexity-classes