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

নরবার্ট ব্লাম সম্প্রতি 38-পৃষ্ঠার প্রমাণ পোস্ট করেছেন যা । এটা কি সঠিক?পি। এনপিP≠NPP \ne NP এছাড়াও বিষয়টিতে: অন্য কোথায় (ইন্টারনেটে) এর সঠিকতা নিয়ে আলোচনা হচ্ছে? দ্রষ্টব্য: সময়ের সাথে সাথে এই প্রশ্ন পাঠ্যের কেন্দ্রবিন্দু পরিবর্তিত হয়েছে। বিস্তারিত জানার জন্য প্রশ্ন মন্তব্য দেখুন।

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

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

59 cc.complexity-theory  complexity-classes  soft-question 

ইন বর্ণনামূলক জটিলতা , Immerman হয়েছে প্রতীক 7.23। নিম্নলিখিত শর্তগুলি সমতুল্য: 1. পি = এনপি। 2. সসীম, আদেশ কাঠামো ধরে, এফ ও (LFP) = তাই। এটিকে বৃহত্তর জটিলতা ক্লাসের উপর সমমানের স্টেটমেন্টের (সমমানের) বিপরীতে "প্রশস্তকরণ" পি = এনপি হিসাবে ভাবা যেতে পারে। নোট করুন যে এসও বহু-সময়ের-স্তরক্রমের পিএইচটি ক্যাপচার করে …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

আমরা জানি যে L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} এবং সেই L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , যেখানে L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) । আমরা জানি যে polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}কারণ পরবর্তীটির লোগারিথমিক স্পেসের অধীনে সম্পূর্ণ সমস্যা রয়েছে একাধিক হ্রাস এবং পূর্বেরটি (স্থান স্থানক্রমের উপপাদ্যের কারণে নয়) does অর্ডার মধ্যে সম্পর্ক …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

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

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

কম্পিউটার প্রোগ্রামগুলির ক্রমবর্ধমান জটিলতা এবং ক্রমবর্ধমান গুরুত্বপূর্ণ অবস্থানের কম্পিউটারগুলি আমাদের সমাজে আমাকে ভাবতে থাকে যে আমরা এখনও কেন সম্মিলিতভাবে প্রোগ্রামিং ভাষাগুলি ব্যবহার করি না যেখানে আপনার কোডটি সঠিকভাবে কাজ করে সে সম্পর্কে আপনাকে একটি প্রথাগত প্রমাণ দিতে হবে। আমি বিশ্বাস করি যে শব্দটি একটি 'শংসাপত্র সংকলক' (আমি এটি এখানে পেয়েছি …

37 reference-request  complexity-classes  computability  pl.programming-languages 

যতদূর আমি বুঝতে পেরেছি, জ্যামিতিক জটিলতা তত্ত্বের প্রোগ্রামটি -এনেক ভিএনপিকে পৃথক করার চেষ্টা করে প্রমাণ করে যে কোনও জটিল-মূল্যবান ম্যাট্রিক্সের পারমাঙ্কটি নির্ধারকের চেয়ে গণনা করা আরও শক্ত।VP≠VNPVP≠VNPVP \neq VNP জিসিটি পেপারগুলির মাধ্যমে স্কিমিংয়ের পরে আমার যে প্রশ্নটি ছিল: এটি কি অবিলম্বে বোঝায় , বা এটি কেবল এই লক্ষ্যের দিকে একটি …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct 

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

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

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

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

দেখুন সাধারণ জ্ঞান বিন্দু থেকে, এটা বিশ্বাস করা যে অ নিয়তিবাদ যোগ সহজ উল্লেখযোগ্যভাবে তার ক্ষমতা, অর্থাত, প্রসারিত চেয়ে অনেক বড় । সর্বোপরি, অ-নির্ধারণবাদ তাত্পর্যপূর্ণ সমান্তরালতাটিকে মঞ্জুরি দেয় যা নিঃসন্দেহে খুব শক্তিশালী বলে মনে হয়। পিP\mathsf{P}পিএন পিNP\mathsf{NP}পিP\mathsf{P} অন্যদিকে, আমরা যদি just to সাথে কেবল অ-অভিন্নতা যুক্ত করি , তবে অন্তর্দৃষ্টি …

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

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

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory 

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

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

জটিলতা তত্ত্বের কেন্দ্রীয় সমস্যাটি তর্কযোগ্যভাবে বনাম এন পি ।PPPNPNPNP তবে প্রকৃতি কোয়ান্টাম হওয়ায় ক্লাসগুলি বিবেচনা করা আরও প্রাকৃতিক বলে মনে হচ্ছে (অর্থাত্ বহু উদাহরণে কোয়ান্টাম কম্পিউটার দ্বারা সমাধানযোগ্য সিদ্ধান্তগত সমস্যাগুলি, সমস্ত উদাহরণের জন্য সর্বাধিক 1/3 এর ত্রুটি সম্ভাবনা রয়েছে) উত্তর কিউ এম এ পরিবর্তে ( এন পি এর কোয়ান্টাম সমতুল্য …

33 cc.complexity-theory  complexity-classes  quantum-computing 

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

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

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

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions