LOGSPACE রয়েছে এমন বড় ক্লাসগুলির জন্য কঠোর অন্তর্ভুক্তিগুলি অজানা

পিএসপিএসি-র উইকিপিডিয়া পৃষ্ঠায় উল্লেখ করা হয়েছে যে অন্তর্ভুক্তি কঠোর হিসাবে পরিচিত নয় (দুর্ভাগ্যবশত উল্লেখ ছাড়াই)। $NL\subset PH$

প্রশ্ন 1: এবং সম্পর্কে কী - এগুলি কঠোর হিসাবে পরিচিত? $L\subset PH$ $L\subset P^{\#P}$

প্রশ্ন 2: যদি না হয় তবে সেখানে একটি প্রতিষ্ঠিত শ্রেণি রয়েছে যা রয়েছে এবং যার জন্য এটি অন্তর্ভুক্ত নয় যে অন্তর্ভুক্তি কঠোর কিনা? $C$ $P^{\#P}$ $L\subset C$

প্রশ্নোত্তর: সাহিত্যে কি এই জাতীয় অন্তর্ভুক্তিগুলি নিয়ে আলোচনা হয়?

cc.complexity-theory complexity-classes logspace

— Asুকাস গ্রাবোভস্কি
সূত্র

আমি অনুমান করি কিউ 2 এর জন্য আপনি পিএসপিএসিইতে কঠোরভাবে অন্তর্ভুক্ত?

— সাশো নিকোলভ

আফাইক,

এর একমাত্র জানা বিচ্ছেদ হ'ল স্পেস হায়ারার্কি উপপাদ্য। আমি মনে করি না যে এটিকে জানা গেছে যদি প্রশ্নে উল্লিখিত কোনও শ্রেণি সুপার-লোগারিথমিক স্পেস অনুকরণ করতে পারে তবে সেগুলিও কঠোর বলে জানা যায় না। (পৃথকীকরণ না জানা ফলাফল নয়, কারণ সম্ভবত কোনও কারণ উল্লেখ নেই))

L

$\mathsf{L}$

— কাভে

L

$\mathsf{L}$

{N C}^{1}

$\mathsf{NC}^1$

C

$C$

P^{# P}

$\mathsf{P}^{\mathsf{\# P}}$

P S P A C E

$\mathsf{PSPACE}$

আপনার প্রশ্নের শিরোনামটি "বৃহত্তমতম শ্রেণী" বলে। আপনি "ক্ষুদ্রতম শ্রেণি" মানে না?

— শাল

A C^{0} [6]

$AC^0[6]$

P^{# P}

$P^{\#P}$

এটি আমার একটি প্রিয় প্রশ্ন।

$NL$ $\Sigma_{a(n)} P$ $a(n)$ $a(n)$

$NL$ $\Sigma_k P$ $k$ $NL \neq NP$

$NL = P^{\#P}$ $n^k$ $k$ $LOGSPACE \neq P^{\#P}$ $Mod_6 SAT$

$TC^0$ $P^{\#P}$ $NC^1 \neq P^{\#P}$ $TC^0 \neq NP$

— রায়ান উইলিয়ামস
সূত্র

T C

$\mathsf{TC}$

o (\log \log n)

$o(\log \log n)$

হ্যাঁ, আমি সে সম্পর্কে খুব জানি এবং অন্যান্য উল্লেখগুলিও। তবে আমি একটি সংক্ষিপ্ত উত্তর রেখেছি যা লিখতে 10 মিনিটের বেশি লাগবে না।

— রায়ান উইলিয়ামস