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

কী প্রমাণ রয়েছে ?সি ও আর পি। এনপিcoRP≠NPcoRP \neq NP সি ও আর পিcoRPcoRP হ'ল শ্রেণি, যার জন্য একটি সম্ভাব্য মেশিন বিদ্যমান যা সময়ে চলে এবং সর্বদা ভাষা সম্পর্কিত হ্যাঁ উত্তর দেয় এবং এমন একটি সম্ভাব্যতার কমপক্ষে অর্ধেক উত্তর নেই।

10 cc.complexity-theory  complexity-classes 

এটি 70 এর দশকের প্রথম থেকেই জানা যায় NPNP{\bf NP} এবং E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) সমান নয় (কারণ EE{\bf E} বিপরীতে, বহু-সময় বহু-এক হ্রাস অধীনে বন্ধ হয় না NPNP{\bf NP})। আমি যতদূর জানি, তবে এখনও এটি উন্মুক্ত রয়েছে যে একটি শ্রেণি অন্য শ্রেণীর উপসেট হয়, বা সেগুলি অতুলনীয়, যার অর্থNP−ENP−E{\bf NP}-{\bf E} …

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

আংশিক বহুবর্ষের সময় বা সংক্ষেপে কিউপি হ'ল ডিটারমিনিস্টিক টিউরিং মেশিনের একটি জটিল শ্রেণি। এখানে সুনির্দিষ্ট সংজ্ঞা: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp যদিও βP সীমাবদ্ধ ননডেটেরিনিমিজমের একটি জটিল শ্রেণি class এখানে সুনির্দিষ্ট সংজ্ঞা দেওয়া হয়েছে: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap এটি সহজেই দেখতে পাওয়া যায় যে anyP এর যে কোনও মেশিন QP এর একটি মেশিন দ্বারা অনুকরণ করা যায়, …

9 cc.complexity-theory  complexity-classes 

আমাদের একটি সমস্যা আছে এবং আমরা একটি অ্যালগরিদম পেয়েছি যা 2-নেফটাইম টাইম বলে মনে হচ্ছে। নিম্ন সীমাটি সন্ধান করতে আমি 2-নেপসটাইম-সম্পূর্ণ সমস্যাগুলি জানতে চাই। আমি সাহিত্যে মূলত এ জাতীয় দুটি সমস্যা পেয়েছি: আকারের সমাধান হিসাবে পিসিপি কম কিনা 22এন22এন2^{2^n} এবং আকারের বর্গক্ষেত্রের স্থায়ী সমস্যা 22এন22এন2^{2^n} তবে আমি আমার এই সমস্যাগুলি …

9 complexity-classes  time-complexity  complexity 

দিন xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} জন্য i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, যে প্রতিশ্রুতি দিয়ে x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (যেখানে যোগফল শেষ হয়েছে ZZ\mathbb{Z})। তারপরে কী হবে তা নির্ধারণের জটিলতাx=1x=1x = 1? লক্ষ্য করুন যে তুচ্ছভাবে সমস্যা রয়েছে ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} কারণ x≡1modmx≡1modmx \equiv 1\bmod{m}iff । প্রশ্ন: সমস্যাটি কি ? যদি তাই হয়, …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

এটি সুপরিচিত যে অনেকগুলি ক্রিপ্টোগ্রাফির জন্য ডিজিটাল স্বাক্ষর, সিউডোর্যান্ডম জেনারেটর, প্রাইভেট-কী এনক্রিপশন ইত্যাদির জন্য ওয়ান-ওয়ে ফাংশনের অস্তিত্ব প্রয়োজনীয় এবং পর্যাপ্ত। আমার প্রশ্ন হ'ল: একমুখী ফাংশনের অস্তিত্বের জটিলতা-তাত্ত্বিক পরিণতিগুলি কী কী ? উদাহরণস্বরূপ, ওডাব্লুএফগুলি এটি বোঝায়NP≠PNP≠P\mathsf{NP}\ne\mathsf{P}, BPP=PBPP=P\mathsf{BPP}=\mathsf{P}, এবং CZK=IPCZK=IP\mathsf{CZK}=\mathsf{IP}। অন্যান্য জ্ঞাত পরিণতি আছে কি? বিশেষত, ওডাব্লুএফএফগুলি কি বোঝায় যে বহুবচনীয় শ্রেণিবিন্যাস …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

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

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

আমরা সেটা জানি । স্যাভিচের উপপাদ্য থেকে, সাবটেক ম্যাথকল , এবং, স্পেস হায়ারার্কি টিওরেম থেকে, ম্যাথ্যাকাল নেখ ম্যাথ্যাকাল । সুতরাং, যেহেতু আমরা জানি না , আমরা জানি না , বা আমরা কি জানি যে ? কেউ কি prove mathcal L ^ 2 \ subteq \ mathcal P প্রমাণ করার চেষ্টা …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

যাক স্পেস ব্যবহার করে সময়ে থামে এমন টিউরিং মেশিনগুলির বিকল্প দ্বারা সিদ্ধান্ত নেওয়া ভাষার শ্রেণি হতে দিন । আসুন ট্যুরিং মেশিনগুলি পরিবর্তিত করে যেগুলি রদবদল এবং স্পেস ব্যবহার করে থামে সেগুলি দ্বারা বিকল্পগুলির দ্বারা সিদ্ধান্ত নেওয়া ভাষার শ্রেণি হয় ।এ টি আই এস পি (চ( এন ) , ছ( ঢ …

9 cc.complexity-theory  complexity-classes  structural-complexity 

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

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

প্রাথমিক-পুনরাবৃত্ত ক্রিয়াকলাপগুলির বিষয়ে ক্রিস প্রিসির আকর্ষণীয় প্রশ্নে আগ্রহী , আমি আরও অনুসন্ধান করে এবং ওয়েবে এই প্রশ্নের উত্তর খুঁজে পেতে অক্ষম। প্রাথমিক recursive ফাংশন সূচকীয় অনুক্রমের চমত্কারভাবে মিলা,ডিটাইম (2এন) ∪ ডিটাইম (22এন) ∪ ⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots। সংজ্ঞা থেকে এটি সহজবোধ্য বলে মনে হয় যে নিম্ন- প্রাথমিক উপাদানগুলি দ্বারা …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

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

9 cc.complexity-theory  complexity-classes 

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

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

এটি ইউপি এর ফলাফলগুলি এনপি এর সমান থেকে পৃথক করা একটি পোস্ট এবং সেমেন্টিক বনাম সিন্ট্যাকটিক কমপ্লেক্সেস ক্লাসগুলির কাছে একটি ফলো-আপ প্রশ্ন । উপরের পোস্টে আমরা শব্দার্থবিদ্যা এবং সিনট্যাকটিক ক্লাস সম্পর্কে শিখেছি । সংক্ষেপে বলা হয়েছে, যখন কোনও শ্রেণি পাতাগুলির শ্রেণি হিসাবে চিহ্নিত হতে পারে L[L1|L2]L[L1|L2]\mathsf{L}[L_1|L_2], তারপরে একটি শ্রেণি সিনট্যাক্টিক …

9 cc.complexity-theory  complexity-classes  big-picture