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

আমি ভাবছিলাম যে এই ভাষাটি কোন শ্রেণীর অন্তর্ভুক্ত: একটি গ্রাফ, একটি প্রাকৃতিক সংখ্যা এবং of এর ক্রোমেটিক সংখ্যাL={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} আমি হিসাবে ভেবেছিলাম (1) "কে -1 রঙের রঙ নেই" এবং (2) " রঙের রঙ আছে"। এখন, (1) কোএনপি এবং (2) এনপি-সম্পূর্ণ তাই আমি ধরে নিয়েছি …

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

ইউপি ক্লাসটি যেমন সংজ্ঞায়িত করা হয়: কোনও এনপি মেশিনের দ্বারা সমাধানযোগ্য সমস্যার সিদ্ধান্তের শ্রেণি that উত্তরটি যদি 'হ্যাঁ' হয় তবে একটি গণনার পথ গ্রহণ করে। উত্তরটি যদি 'না' হয় তবে সমস্ত গণনার পাথ প্রত্যাখ্যান করে। আমি এই সংজ্ঞার জন্য অন্তর্দৃষ্টি বিকাশের চেষ্টা করছি। কেউ কি বলতে পারেন যে ইউপি সমস্যাগুলি …

11 cc.complexity-theory  complexity-classes 

জানা যায় যে কিছু (অ-relativized) মধ্যে অন্বিত জটিলতা শ্রেণীর PP{\bf P} এবং PSPACEPSPACE{\bf PSPACE} নিম্নলিখিত সম্পত্তি, P⊆CoNP⊆US⊆C=P⊆PP⊆PSPACEP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq {\bf PP} \subseteq {\bf PSPACE} । আমি অবাক হচ্ছি একটি (অ-relativized) অন্বিত জটিলতা বর্গ অস্তিত্ব আছে যদি XX{\bf X} যেমন যে PP⊆X⊆PSPACEPP⊆X⊆PSPACE{\bf …

11 cc.complexity-theory  complexity-classes 

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

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

উত্তর: জানা নেই যারা এই প্রশ্ন এবং এর সাথে যুক্ত সংজ্ঞাগুলি সংশোধন করতে সহায়তা করেছেন তাদের সবাইকে অনেক ধন্যবাদ। এই উইকির সংজ্ঞাগুলি আরও সাম্প্রতিক টিসিএস উইকির জন্য প্রারম্ভিক বিন্দু সরবরাহ করেছিল " P কী ভাষাগুলি ধারণ করে যার অস্তিত্ব PA বা ZFC এর থেকে পৃথক? (টিসিএস সম্প্রদায় উইকি) "। সাম্প্রতিক …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

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

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

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

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

আমি মনে করি না শ্রেণিক বিভাজনটি তির্যককরণ এবং সম্পর্কিতকরণের ফলাফলের ভিত্তিতে নয় not ডায়াগোনালাইজেশনটি এখনও বাকি পরিচিত ক্লাসগুলিকে পৃথক করতে ব্যবহৃত হতে পারে, কারণ নন-রিলেটিভাইজিং আর্গুমেন্টগুলি তির্যককরণ উপসংহারে বা তির্যক টিউরিং মেশিন নির্মাণে ব্যবহৃত হতে পারে। এখানে কিছু সম্পর্কিত প্রশ্ন: বর্গ বিভাজন প্রমাণ কি তির্যক উপর ভিত্তি করে না? এবং …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

আমার একটি সমস্যা রয়েছে যা এনএক্সপি এনপি-তে রয়েছে এবং এক্সফোনেনশিয়াল সময় এবং কেবলমাত্র একটি বিকল্প (অস্তিত্বের অবস্থায় শুরু করে) বিকল্প টিএম ব্যবহার করে সমাধান করা যেতে পারে।NPNP^{\text{NP}} এনএক্সপি এনপি সম্পর্কে কিছু জানা আছে ? এটি এনএক্সপি বা অন্য কোনও শ্রেণির সমান? জেনেরিকটি ছাড়া কোনও সম্পূর্ণ সমস্যা আছে (একটি এনএক্সপি এনপি …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

একটি কার্যকরী প্রোগ্রামিং ভাষা কল্পনা করুন যার কেবলমাত্র ডেটা টাইপগুলি সংখ্যাগত স্কেলার এবং অ্যারেগুলির নির্বিচারে বাসা বাঁধে। ভাষাটিতে সীমাহীন পুনরাবৃত্তির কোনও মাধ্যম নেই, সুতরাং নিম্নলিখিতটি মঞ্জুরিপ্রাপ্ত নয়: সুস্পষ্ট লুপস (কোনওভাবে পার্শ্ব-প্রতিক্রিয়া ছাড়াই বেশি ব্যবহার হয় না) পুনরাবৃত্তির স্বেচ্ছাসেবী প্রথম শ্রেণির ফাংশন (কোনও y- সংযোজক নেই) ভাষাটিতে অবশ্য রয়েছে: শীর্ষ স্তরের …

11 complexity-classes  functional-programming  dc.parallel-comp 

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

11 cc.complexity-theory  complexity-classes  np 

যাক কোহেন / বাইরে বিভাগ অর্থে একটি জেনেরিক ওরাকল হও। যাক একটি র্যান্ডম ওরাকল হও।GGGRRR বা এর সাথে জটিলতা ক্লাস A এবং B রয়েছে? অন্য উপায়ে, AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} প্রশ্নটি স্কট অ্যারনসনের একটি মন্তব্যে অনুপ্রাণিত হয়েছিল ।

11 cc.complexity-theory  complexity-classes 

এই প্রশ্নের একটি সুস্পষ্ট উত্তর থাকতে পারে ... তবে যাইহোক প্রশ্ন এখানে's স্বজ্ঞাতভাবে, এটি নিম্নোক্ত কারণযুক্ত বক্তব্য - "সাব্রুটিন এ-এর একটি মেশিন যার পরিবর্তে সাবরুটিন বি রয়েছে এমন একটি মেশিন যেমন একটি সাব্রুটিন এ রয়েছে যা সাব্রুটিন বিতে অ্যাক্সেস পায়" " এই সমস্যাটিকে আনুষ্ঠানিকভাবে সংজ্ঞায়িত করতে, আমি কিছু অপ্রচলিত স্বরলিপি …

11 complexity-classes  oracles 

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

10 cc.complexity-theory  complexity-classes  gt.game-theory 

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

10 cc.complexity-theory  complexity-classes  gt.game-theory