এনপি-সম্পূর্ণ সমস্যার জন্য কি সুব্যাক্সিয়েন্সিভ-টাইম অ্যালগরিদম রয়েছে?


51

এমন কি এনপি-সম্পূর্ণ সমস্যা রয়েছে যা সফলভাবে-সময়ের অ্যালগরিদম প্রমাণিত করেছে?

আমি সাধারণ কেস ইনপুটগুলির জন্য জিজ্ঞাসা করছি, আমি এখানে ট্র্যাকটেবল বিশেষ মামলার কথা বলছি না।

উপ-তাত্পর্যমূলক দ্বারা, আমি বহুপথের উপরে বর্ধনের ক্রম বলতে চাইছি তবে তাত্পর্যমূলক তুলনায় কম, উদাহরণস্বরূপ nlogএন


10
"সাব-এক্সফেনশনিয়াল" বলতে কী বোঝ? যদি আপনার অর্থ তবে উত্তরটি অবশ্যই হ্যাঁ। আপনি কি এটি বলতে পারেন 2 এন ( 1 ) , আমি বিশ্বাস করি উত্তর নেই। 2(এন)2এন(1)
জেফই

উত্তর:


57

সুব এক্সপোনশিয়াল বলতে কী বোঝাতে চান তার উপর নির্ভর করে। নীচে আমি "সুবেক্সোনশিয়াল" এর কয়েকটি অর্থ এবং প্রতিটি ক্ষেত্রে কী ঘটে তা ব্যাখ্যা করি। এই ক্লাসগুলির প্রত্যেকটি এর নীচের ক্লাসগুলিতে অন্তর্ভুক্ত রয়েছে।


I. 2এন(1)

যদি subexpoਵੇਂেন্সিয়াল বলতে আপনার অর্থ , তবে ETH ( এক্সপেনশনাল টাইম হাইপোথিসিস) নামক জটিলতার তত্ত্বের একটি অনুমান বোঝায় যে কোনও এন পি- সমস্যার সমস্যাটি চলমান সময় 2 এন ( 1 ) সহ একটি অ্যালগরিদম থাকতে পারে না2এন(1)এনপি2এন(1)

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

২। , IE 2 হে ( ε ) জন্য সব 0 < ε0<ε2হে(এনε)2হে(এনε) 0<ε

আগের পরিস্থিতিও একই রকম।

এটি বহুবর্ষের আওতায় বন্ধ রয়েছে সুতরাং ETH লঙ্ঘন না করে কোনও -ਹਾਰ্ড সমস্যা সমাধান করতে পারে না।এনপি


তৃতীয়। , অর্থাত্ 2 হে ( ε ) জন্য কিছু ε < 1ε<12হে(এনε)2হে(এনε) ε<1

Subexponential দ্বারা আপনি কি বোঝাতে চেয়েছেন তাহলে জন্য কিছু ε < 12হে(এনε)ε<1 তারপর উত্তর হবে হ্যাঁ, সেখানে provably ধরনের সমস্যা হয়।

স্যাটের মতো কমপ্লিট সমস্যা নিন । এটিতে একটি ব্রুট-ফোর্স অ্যালগরিদম রয়েছে যা সময় 2 O ( n ) এ চলে । এখন ইনপুটগুলিতে সাইজের এন কে এর স্ট্রিং যুক্ত করে স্যাটের প্যাডেড সংস্করণটি বিবেচনা করুন :এনপি2হে(এন)এন

এসএকজনটি'={φ,W|φএসএকজনটি এবং |W|=|φ|}

এখন এই সমস্যাটি -হার্ড এবং সময় 2 ( এন 1) এ সমাধান করা যেতে পারেএনপি2হে(এন1)

চতুর্থ। 2(এন)

এটি পূর্ববর্তী ক্লাসে রয়েছে, উত্তরটি একই রকম।

ভি , অর্থাত্ 2 ε এন জন্য সব ε > 00<ε2εএন2εএন ε>0

এটি পূর্ববর্তী ক্লাসে রয়েছে, উত্তরটি একই রকম।

ষষ্ঠ। , অর্থাত্ 2 ε এন জন্য কিছু ε < 1ε<12εএন2εএন ε<1

এটি পূর্ববর্তী ক্লাসে রয়েছে, উত্তরটি একই রকম।


সুব এক্সফেনশিয়াল বলতে কী বোঝায়?

"বহুবর্ষের উপরে" একটি উচ্চ- গণ্ডি নয় তবে নিম্ন- গন্ডী এবং এটি সুপারপোলিনমিয়াল হিসাবে উল্লেখ করা হয় ।

মতো কাজগুলির বলা হয় quasipolynomialএনএলজিএন , এবং নাম নির্দেশ করে প্রায় বহুপদী এবং সূচকীয় হওয়া থেকে অনেক দূরে, subexponential সাধারণত অনেক দ্রুত বৃদ্ধির হার সঙ্গে ফাংশন অনেক বড় বর্গ নির্দেশ করতে ব্যবহার করা হয়।

নামটি ইঙ্গিত হিসাবে, "subexponential" অর্থ তাত্পর্যমূলক চেয়ে ধীর । সূচকীয় আমরা সাধারণত ক্লাসে ফাংশন মানে , অথবা সুন্দর ক্লাসে 2 এন Θ ( 1 ) (যা polynomials সঙ্গে রফা অধীনে বন্ধ করা হয়)।2Θ(এন)2এনΘ(1)

সুব এক্সপোনিশিয়ালগুলি এগুলির কাছাকাছি হলেও ছোট হওয়া উচিত। এটি করার বিভিন্ন উপায় রয়েছে এবং এর কোনও মানক অর্থ নেই। দুটি সংজ্ঞাতে আমরা o দ্বারা প্রতিস্থাপন করতে পারি এবং I এবং IV পেতে পারি। তাদের সম্পর্কে দুর্দান্ত জিনিসটি হ'ল তারা অভিন্নভাবে সংজ্ঞায়িত হয়েছে (qu এর চেয়ে বেশি পরিমাণের পরিমাণ নেই )। আমরা প্রতিস্থাপন করতে পারেন Θ একটি গুণনশীল সহগ সঙ্গে ε সবার জন্য ε > 0 , আমরা পেতে II ও ভি তাদের আমি ও চতুর্থ পাসে কিন্তু nonuniformly সংজ্ঞায়িত হয়। সর্বশেষ অপশনটি প্রতিস্থাপন করতে হয় Θ একটি গুণনশীল ধ্রুবক সঙ্গে ε কিছু ε < 1 । এটি II এবং VI দেয়।ΘεΘεε>0Θεε<1

যাকে বলা উচিত সুবে এক্সপেনসিয়াল তা তর্কযোগ্য। সাধারণত লোকেরা তাদের কাজে তাদের যা প্রয়োজন তা ব্যবহার করে এবং এটিকে subexponential হিসাবে উল্লেখ করে।

আমি আমার ব্যক্তিগত পছন্দ, এটি একটি দুর্দান্ত শ্রেণি: এটি বহুবর্ষের সাথে রচনার অধীনে বন্ধ এবং এটি সমানভাবে সংজ্ঞায়িত। এটি অনুরূপ যা 2 এন ( 1 ) ব্যবহার করেএক্সপি2এনহে(1)

দ্বিতীয়টি জটিলতা শ্রেণীর সংজ্ঞা হিসাবে ব্যবহৃত হয়েছে বলে মনে হয় এসতোমার দর্শন লগ করাB ইংরেজী বর্ণমালার দ্বিতীয় অক্ষরএক্সপি

তৃতীয়টি পালের উত্তরে উল্লিখিত মতগুলি অ্যালগরিদমিক উচ্চ-সীমার জন্য ব্যবহার করা হয়।

চতুর্থটিও সাধারণ।

ভী eth অনুমান রাষ্ট্র করতে ব্যবহৃত হয়।

ছেদগুলি ( II এবং V ) অ্যালগোরিদমিক উপরের সীমানার জন্য তেমন কার্যকর নয়, তাদের প্রধান ব্যবহার বলে মনে হয় জটিলতা তত্ত্ব। অনুশীলনে, আপনি I এবং II এর মধ্যে বা IV এবং V এর মধ্যে কোনও পার্থক্য দেখতে পাবেন না । পরবর্তী তিনটি সংজ্ঞা ( চতুর্থ , ভি , ষষ্ঠ ) আইএমএইচও খুব সংবেদনশীল, তারা বিশেষ সমস্যাগুলির জন্য কার্যকর হতে পারে তবে তারা দৃust় নয় যা শ্রেণি হিসাবে তাদের কার্যকারিতা হ্রাস করে। দৃust়তা এবং চমৎকার ক্লোজার বৈশিষ্ট্যগুলি , পি , এন পি , পি এস এর মতো বিখ্যাত জটিলতা শ্রেণীর কারণগুলির একটি অংশএলপিএনপি , এবং E x p আকর্ষণীয়।পিএসপিএকটিএক্সপি

গ্রীষ্মের বৈশিষ্ট্যপূর্ণ

আইএমএইচও, প্রধান সংজ্ঞাগুলি হ'ল আমি এবং তৃতীয়তৃতীয় অর্থে -সমস্যার সমস্যার জন্য ইতিমধ্যে আমাদের কাছে সাফ এক্সফোনশিয়াল অ্যালগরিদম রয়েছে এবং ইটিটি লঙ্ঘন না করে আমরা এগুলি আমার অর্থে পেতে পারি না।এনপি


7
এই উত্তরটি উইকিপিডিয়ায় যেতে হবে।
এরেল সেগাল-হালেভি

32

2হে(এনলগ ইন করুনএন)এনহে(1)2হে(এন)এনহে(1)


1
দ্রষ্টব্য: এই আলগোরিদিম অর্থে subexponential সময় যে তারা চালানোর হয় সময় (কিছু ε < 1 ), কিন্তু না এই অর্থে যে তারা সময় চালানো মধ্যে 2 এন ( 12হে(এনε)ε<12এন(1)
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.