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

জি একটি সংযুক্ত গ্রাফ হতে দিন। জি নিম্নলিখিত ধরণের হলে সমস্ত সংযুক্ত সাবগ্রাফ গণনা করার জটিলতা কী ? জি সাধারণ। জি প্ল্যানার। জি দ্বিপক্ষীয়। আমি কোনও কাঠামো বা ... এর যত্ন নিই না, কেবলমাত্র সমস্ত সংযুক্ত সাবগ্রাফ গণনা করা দরকার! আমি জি এর ঠিক কে নোড সহ সমস্ত সংযুক্ত সাবগ্রাফ …

12 cc.complexity-theory  graph-theory  counting-complexity 

যুক্তি গণনা করে, কেউ দেখিয়ে দিতে পারে যে 1 ভেরিয়েবলের ডিগ্রি এন এর বহুবচন রয়েছে (যেমন, ফর্মের যার সার্কিট জটিলতা n রয়েছে। এছাড়াও, কেউ দেখিয়ে দিতে পারেন যে এক্স এন এর মতো একটি বহুপথের জন্য কমপক্ষে লগ 2 এন গুণ করা প্রয়োজন (আপনার প্রয়োজন কেবলমাত্র উচ্চ পর্যায়ে উচ্চতর ডিগ্রি অর্জনের …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

ক্লে ম্যাথমেটিক্স ইনস্টিটিউটে স্টিফেন এ কুকের ব্যাখ্যা অনুসারে সম্প্রতি আমাকে বনাম সমস্যা সম্পর্কে মনে করিয়ে দেওয়া হয়েছিল ।এন পিPP\mathsf{P}NPNP\mathsf{NP} এটি আমার আগ্রহ প্রকাশ করেছে এবং আমি এটি সম্পর্কে আরও জানতে চাই। প্রথম পদক্ষেপটি সমস্যাটির আরও গভীর উপলব্ধি এবং সাধারণভাবে অঞ্চলটির বোঝা অর্জন করা হবে। আপনি কি এমন কোনও বই বা …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

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

12 cc.complexity-theory  complexity-classes 

আমি যে বিষয়টি বিশেষভাবে ভাবছি তা হ'ল যদি এই ধরণের সমস্যাগুলি ট্র্যাকটেবলের গ্যারান্টিযুক্ত কোনও 3SAT সূত্রকে সন্তুষ্ট করে এমন অ্যাসাইনমেন্টের শতাংশের বিষয়ে আকর্ষণীয় শর্ত থাকে। উদাহরণস্বরূপ 3SAT সমস্যা বর্গ ধরুন এর 2 এন সম্ভব বরাদ্দকরণ বুলিয়ান সূত্র সন্তুষ্ট; আমরা কি দক্ষতার সাথে একটি সন্তোষজনক দায়িত্ব খুঁজে পেতে পারি? কি জন্য …

12 cc.complexity-theory  ds.algorithms  sat  np 

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

12 cc.complexity-theory  complexity-classes 

আবার একটি প্রান্ত-বিভাজন সমস্যা যার জটিলতা সম্পর্কে আমি আগ্রহী, আমার একটি পূর্ববর্তী প্রশ্ন দ্বারা প্রেরণা । ইনপুট: একটি ঘন গ্রাফ G=(V,E)G=(V,E)G=(V,E) প্রশ্ন: সেখানে একটি পার্টিশন মধ্যে ই 1 , ই 2 , ... , ই গুলি , যেমন যে subgraph প্রতিটি দ্বারা প্রবর্তিত ই আমি হয় একটি নখর (অর্থাত কে …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf দ্বারা যদি একটি PSPACE-সম্পূর্ণ ভাষা হল, ।পি এ = এন পি এএকজনAAপিএকজন= এনপিএকজনPA=NPAP^{A}=NP^{A} তাহলে একটি নির্ণায়ক বহুপদী টাইম ওরাকল, হয় (অভিমানী )।পি বি ≠ এন পি বি পি ≠ এন পিবিBBপিবি। এনপিবিPB≠NPBP^{B}\ne NP^{B}পি। এনপিP≠NPP\ne NP # পি পি ⊆ পি পি ⊆ পি এস পি এ সি ইপিপিPPPP হ'ল …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

পিসিপি উপপাদ্যের সমতুল্য সূত্রটি হ'ল: সর্বোচ্চ 3-স্যাট-এর জন্য সন্তুষ্টিজনক সূত্র এবং সূত্রগুলির মধ্যে পার্থক্য করা -hard যেখানে ক্লাসগুলির সর্বাধিক r- ভগ্নাংশটি সন্তুষ্টযোগ্য (কিছু আর < 1 এর জন্য )।NPNPNPrrrr<1r<1r\lt 1 এমন কোনও ডিকোটমির উপপাদ্য রয়েছে যা সমস্ত ম্যাক সিএসপি-এর শক্ত ফাঁক আছে কিনা তার ভিত্তিতে শ্রেণিবদ্ধ করে? ১ Dec ই …

12 cc.complexity-theory  pcp  csp 

আসুন { 0 , । । । , এন - 1 } এবং ∘ : এস × এস → এস । আমি assoc সহযোগী কিনা তা স্থির করার জন্য যোগাযোগের জটিলতা গণনা করতে চাই ।S=S=S=0,...,n−10,...,n−10,...,n-1∘:S×S→S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ মডেলটি নিম্নলিখিত is একটি ম্যাট্রিক্স এম হিসাবে দেওয়া হয় …

12 cc.complexity-theory  communication-complexity 

কাগজটি লরি হেল্লা এবং জোস মারিয়া টারুল-টরেস, উচ্চতর অর্ডার যুক্তির সাথে কম্পিউটারের ক্যোয়ারীগুলি , টিসিএস 355 197–214, 2006. ডয়ি: 10.1016 / j.tcs.2006.01.009 লজিক ভিও, ভেরিয়েবল-অর্ডার লজিকের প্রস্তাব দেয়। এটি ভেরিয়েবলের উপর অর্ডারের পরিমাণ নির্ধারণ করতে দেয়। ভিও বেশ শক্তিশালী এবং কিছু অ-গণনাযোগ্য প্রশ্ন প্রকাশ করতে পারে। (নীচে আর্থার মিলিশিয়রের দ্বারা …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

আর কি কি সমস্যার ভাষায় গ্রাফ isomorphism চেয়ে ভিন্ন হয় ? আপনি কিছু রেফারেন্স দিতে পারেন?এনপি∩ সি ও এ এমNP∩coAMNP\cap coAM আপডেট: আমি উল্লেখ করতে ভুলে গেছি যে আমি যে ভাষাগুলিতে তে পরিচিত না তাদের আগ্রহী ।গ ও এনপিcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

আমি থেকে প্রমাণ পড়া করছি এখানে আমি একটি প্রযুক্তিগত (এখনও গুরুত্বপূর্ণ) সমস্যা উপর পদস্খলিত। আমি জানি এটি বরং সুনির্দিষ্ট এবং প্রসঙ্গটি সমস্যাযুক্ত, তবে আমি নিজেই এটি বের করতে পারি না। 51 এবং 55 পৃষ্ঠায়, "স্ট্যান্ডার্ড" ভেরিফায়ার উপস্থাপন করার পরে, তারা বিভক্ত কার্যগুলি পরীক্ষা করার জন্য ভেরিফায়ারগুলিকে সংশোধন করতে পারে। প্রথম …

12 cc.complexity-theory  pcp 

একটি সহজ পর্যবেক্ষণ হল যে যদি একটি সমস্যা একটি বহুপদী টাইম nondeterministic ব্যবহার প্রোগ্রামের দ্বারা নির্ধার্য হয় nondeterministic বিট (অর্থাত, সব সাক্ষী দৈর্ঘ্য লগারিদমিক হয়), তারপর ।একজনAAও ( লগএন )হে(লগ⁡এন)O(\log n)এ ∈ পিএকজন∈পিA \in \mathsf{P} যদি কেউ প্রশ্ন জিজ্ঞাসা করে, "সাক্ষীর সন্ধানের চেয়ে সাক্ষী যাচাই করা কি সহজ?" এই জাতীয় …

12 cc.complexity-theory 

কিছু (সুপরিচিত না) এমন কি যুক্তি রয়েছে যে সত্য হলে, পিএইচটি ধসে পড়তে হবে? রেফারেন্স (গুলি) সহ একটি সংক্ষিপ্ত উচ্চ-স্তরের দৃ containing় জবাব সম্বলিত জবাবগুলি প্রশংসা করা হয়েছে। আমি অনেক ভাগ্য ছাড়াই রিভার্স-সার্চ করার চেষ্টা করেছি।

12 cc.complexity-theory  complexity-classes  big-list