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

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

10 cc.complexity-theory  complexity-classes 

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

10 cc.complexity-theory  complexity-classes 

অদম্য জেনারেটর নীচে হিসাবে সংজ্ঞায়িত করা হয়: কে একটি এনপির সম্পর্ক হতে দিন এবং এমন একটি মেশিন হন যা গ্রহণ করে । অনানুষ্ঠানিকভাবে, একটি প্রোগ্রাম একটি অদম্য জেনারেটর যদি ইনপুট , এটি সাথে -তে উদাহরণ-সাক্ষী জোড় produces উত্পাদন করে প্রথমে একটি ডিস্ট্রিবিউশন যার অধীনে কোনো বহুপদী সময় প্রতিদ্বন্দ্বী যারা দেওয়া …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

ধরে নিন 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 

আমি এনপি-সম্পূর্ণ সমস্যার স্বতন্ত্র দৃষ্টান্তগুলিতে আগ্রহী। রিয়ান উইলিয়ামস রিচার্ড লিপটনের ব্লগে এসএটি 0 সমস্যাটি নিয়ে আলোচনা করেছেন । SAT0 জিজ্ঞাসা করে যে কোনও SAT দৃষ্টান্তটিতে সমস্ত 0 টি সমন্বিত নির্দিষ্ট সমাধান রয়েছে। এটি আমাকে "শক্ত" হওয়ার সম্ভাবনা রয়েছে এমন SAT দৃষ্টান্ত তৈরির বিষয়ে ভাবতে পেরেছিল। ক্লজ এবং ভেরিয়েবল সহ একটি …

10 cc.complexity-theory  sat  hard-instances 

একটি তারা সিস্টেম এন-উপাদান সেট এস এর এন উপসেটগুলির একটি পরিবার হয় । কিছু গ্রাফ জি ( ভি , ই ) থাকে এমন একটি স্টার সিস্টেম গ্রাফিকাল হয় যেমন এফ জি-র ভার্টেক্স পাড়ার পরিবার । প্রদত্ত তারকা ব্যবস্থা গ্রাফিকাল কিনা তা সিদ্ধান্ত নেওয়ার জন্য এটি এন পি- অসম্পূর্ণ।এফএফFএসএসSজি ( ভি, …

10 cc.complexity-theory  np-hardness 

একটি ফাংশন দেখান যা স্থান-গঠনমূলক তবে সময়-কনস্টেটিভেবল নয়।চ( এন )f(n)f(n) জটিলতা ডিটিটাইম (এফ (এন)) এবং স্পেস (চ (এন)) এর মধ্যে কোনও পৃথকীকরণের সাথে কি এই সমস্যা সম্পর্কিত?

10 cc.complexity-theory  space-bounded  separation 

সীমাবদ্ধ অগ্রহণযোগ্য সেটগুলির সম্পূর্ণ বৈকল্পিকগুলির উদাহরণ :এনপিএনপিNP বাউন্ডেড হ্যালটিং সমস্যা = { | এনটিএম মেশিন বন্ধ করে দেয় এবং পদক্ষেপের মধ্যে গ্রহণ করে}( এম, X , 1টি)(এম,এক্স,1টি)(M, x, 1^t)এমএমMএক্সএক্সxটিটিt বাউন্ডেড টাইলিং = { | } থেকে টাইলস দ্বারা বর্গক্ষেত্রের একটি টাইলিং রয়েছে( টি, ঘটি)(টি,1টি)(T, 1^t)টি2টি2t^2টিটিT সীমাবদ্ধ পোস্ট করেসপন্ডেন্স সমস্যা = …

10 cc.complexity-theory  np-hardness 

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

10 cc.complexity-theory  complexity-classes 

বিপিপি / লিনিয়ার দ্বারা আমি বিপিপি মেশিনগুলিকে রৈখিক পরামর্শ দিয়ে উল্লেখ করি, যা "সঠিক" পরামর্শ দেওয়ার পরে প্রতিশ্রুতি পূর্ণ করে এবং ডেরানডমাইজেশন আমাদের দেওয়া উচিত, বলুন, একটি পি / লিনিয়ার বা (এসইউবিএক্সপি / লিনিয়ার) অ্যালগোরিদম। যদি আমরা অ-ইউনিফর্ম অনুমানগুলি ব্যবহার করি তবে আমার ধারণা ধ্রুপদী ফলাফলগুলি কাজ করা উচিত, কারণ …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

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

10 cc.complexity-theory  complexity-classes 

ইনপুট আকারের তুলনায় বেশ কয়েকটি প্রসেসরের প্রয়োজন হয় না এমন একটি সমান্তরাল অ্যালগরিদম ব্যবহার করে কোনও সমস্যার গণ্য জটিলতা হ্রাস করার জন্য কী (স্ল্যাশ আপনি একটি উদাহরণ সরবরাহ করতে পারেন) সম্ভব?

10 cc.complexity-theory  dc.parallel-comp 

এটি 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 

তা অজানা P⊆CSLP⊆CSLP\subseteq CSL অথবা P⊈CSLP⊈CSLP\not\subseteq CSL, কোথায় PPP একটি ডিস্ট্রিমেন্টিক ট্যুরিং মেশিনে বহু ভাষার সময়ে নির্ধারিত সমস্ত ভাষার সেট এবং CSLCSLCSL এটি প্রসঙ্গ-সংবেদনশীল ভাষার শ্রেণি, সমতুল্য হিসাবে পরিচিত NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)), লিনিয়ার-সীমানা অটোমেটা দ্বারা সিদ্ধান্ত নেওয়া ভাষাগুলি। অনেক খোলা প্রশ্নের জন্য, সেখানে একটি উত্তর দিকে একটা প্রবণতা (হয় একটি লা "সবচেয়ে …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

দিন HALTnHALTnHALT_n দৈর্ঘ্যের স্ট্রিং বোঝায় 2n2n2^n দৈর্ঘ্যের ইনপুটগুলির জন্য থামানো সমস্যার সত্য সারণীর সাথে সম্পর্কিত nnn। যদি কোলমোগোরভ জটিলতার ক্রম হয় K(HALTn)K(HALTn)K(HALT_n) ছিল O(1)O(1)O(1), তারপরে পরামর্শের একটি স্ট্রিং অসম্পূর্ণভাবে প্রায়শই ব্যবহৃত হবে এবং সেই স্ট্রিংটির হার্ড-কোডেড একটি টিএম সমাধান করতে সক্ষম হবে HALTHALTHALT অভিন্ন অসীম প্রায়শই, যা আমরা জানি এটি …

10 cc.complexity-theory  reference-request  computability  lower-bounds