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

এমনকি প্রমাণ ছাড়াই পি! = এনপি বিশ্বাস করার জন্য প্রায়শই উদ্ধৃত দার্শনিক ন্যায়সঙ্গততা রয়েছে। অন্যান্য জটিলতার ক্লাসগুলির প্রমাণ রয়েছে যে তারা স্বতন্ত্র, কারণ যদি তা না হয় তবে "বিস্ময়কর" পরিণতি ঘটতে পারে (বহুপদী শ্রেণিবদ্ধের পতনের মতো)। আমার প্রশ্ন হ'ল, পিপিএড শ্রেণি অবিচ্ছেদ্য যে বিশ্বাসের ভিত্তি কী? ন্যাশ ভারসাম্য সন্ধানের জন্য …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

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

31 cc.complexity-theory  complexity-classes  big-list  nexp 

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

30 cc.complexity-theory  complexity-classes  conditional-results 

ধরা যাক পি = এনপি সত্য। তাহলে কি কোয়ান্টাম কম্পিউটার তৈরির মতো কোনও বাস্তব সমস্যা দ্রুত সমাধানের জন্য ব্যবহারিক অ্যাপ্লিকেশন পাওয়া যাবে, বা পি = এনপি সত্য যে ভিত্তিতে এই জাতীয় কোনও উন্নতি অপ্রাসঙ্গিক হবে? আপনি কীভাবে দক্ষতার উন্নতি চিহ্নিত করতে পারবেন যা যদি এমন একটি কোয়ান্টাম কম্পিউটার তৈরি করা …

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

এটি অনুমান করা হয় যে যেহেতু কথোপকথনটি বোঝায় \ গণিত {পিএইচ} = \ সিগমা 2 । লাডনারের উপপাদ্যটি প্রতিষ্ঠিত করে যে যদি \ ম্যাথসফ} পি \ \ নে \ গণিত {এনপি} তবে } গণিত {এনপিআই}: = \ গণিত {এনপি} \ সেটমিনিস (\ গণিত {এনপিসি C কাপ \ গণিত {পি}) \ …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

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

28 complexity-classes  randomized-algorithms 

"গণনা জটিলতায় বিজয় ঘোষণা করার সময় কি?" নিবন্ধটি পড়ার সময়? এ ওভার "গোডেলের লস্ট পত্র ও P = দ্বারা NP" ব্লগ, তারা সিএসপি এর জন্য বৈপরীত্য উল্লেখ করেছে। কিছু লিঙ্ক ফলো করার পরে, গুগলিং এবং উইকিপিডিংয়ের পরে, আমি ল্যাডনারের উপপাদ্য জুড়ে এসেছি : লাডনারের উপপাদ্য: যদি , তবে যা com-অসম্পূর্ণ …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

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

27 cc.complexity-theory  complexity-classes  conditional-results 

শিব Kintali শুধু একটি (কুল!) ঘোষণা করেছে যে ফলাফল প্রস্থের বেষ্টিত treewidth গ্রাফ এর জন্য গ্রাফ isomorphism হয় ⊕ এল -hard≥4≥4\geq 4⊕L⊕L\oplus L । অনানুষ্ঠানিকভাবে, আমার প্রশ্ন, "এটি কতটা কঠিন?" আমরা জানি যে ইউনিফর্মালি এন এল ⊆ ⊕ এল , এই প্রশ্নের উত্তরগুলি দেখুন । আমরা এও জানি যে এটি …

26 cc.complexity-theory  complexity-classes  logspace 

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

26 cc.complexity-theory  reference-request  complexity-classes 

#P = FP এর পরিণতি কোনটি হবে? আমি ব্যবহারিক এবং তাত্ত্বিক উভয় পরিণতিতে আগ্রহী। ব্যবহারিক দৃষ্টিকোণ থেকে, আমি বিশেষভাবে কৃত্রিম বুদ্ধিমত্তার উপর পরিণতি সম্পর্কে আগ্রহী। কাগজপত্র বা বইয়ের পয়েন্টারগুলি স্বাগত অপেক্ষা বেশি। দয়া করে এটি বলবেন না যে # পি = এফপি পি = এনপি বোঝায়, আমি এটি ইতিমধ্যে জানি। …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

সেখানে কোনো প্রাকৃতিক সমস্যা আছে যে নেই (হিসেবে পরিচিত / চিন্তা করা) এ ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP স্পষ্টতই, মধ্যে সবার কাছে যে জানে তারা হ'ল ফ্যাক্টরিংয়ের সিদ্ধান্ত সংস্করণ (এন-এর বেশিরভাগ কে-এর আকারের একটি উপাদান রয়েছে), তবে এটি ।NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP

26 cc.complexity-theory  complexity-classes  np 

সম্প্রতি, রায়ান Willams প্রমাণ প্রাকৃতিক প্রুফ মধ্যে Constructivity জটিলতা ক্লাস একটি বিচ্ছেদ আহরণ করা এড়ানো সম্ভব নয়: এবং । টি সি সি 0NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} প্রাকৃতিক এমন একটি শর্ত যা সার্কিট জটিলতায় সমস্ত সংযুক্ত প্রমাণগুলি সন্তুষ্ট করে এবং আমরা সিদ্ধান্ত নিতে পারি যে (বা অন্য কোনও "হার্ড" জটিলতা শ্রেণিতে) লক্ষ্য ফাংশনটি একটি …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

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

25 cc.complexity-theory  complexity-classes  padding 

এটি এই প্রশ্নের সাথে সম্পর্কিত কি প্রতিটি এনপি ভাষার সদস্যতার স্বাক্ষরের আকারটি ইতিমধ্যে পরিচিত? কিছু প্রাকৃতিক (কমপ্লিট) সমস্যার ক্ষেত্রে রৈখিক দৈর্ঘ্যের সাক্ষী থাকে: জন্য একটি সন্তোষজনক নিয়োগ , জন্য ইত্যাদি এস এ টি এইচ এ এম পি এ টি এইচএন পিNP\mathsf{NP}এসএ টিSATSATএইচএ এমপিএ টিএইচHAMPATHHAMPATH জটিলতা শ্রেণীর " রৈখিক দৈর্ঘ্যের সাক্ষীদের …

24 cc.complexity-theory  complexity-classes  np