প্রশ্ন ট্যাগ «np-hardness»

এনপি-কঠোরতা এবং এনপি-সম্পূর্ণতা সম্পর্কিত প্রশ্নাবলী।

1
এনপি-সম্পূর্ণ সমস্যাগুলি যা একটি অনন্য সমাধানের প্রতিশ্রুতি অনুযায়ী দক্ষ অ্যালগরিদমকে স্বীকার করে
আমি সম্প্রতি ভ্যালিয়েন্ট এবং বাজিরানীর একটি খুব সুন্দর কাগজ পড়ছিলাম যা দেখায় যে যদি , তবে এটি অসন্তুষ্ট হয় বা একটি অনন্য সমাধান রয়েছে এই প্রতিশ্রুতি অনুসারে এমনকি স্যাট সমাধানের জন্য কার্যকর অ্যালগরিদম হতে পারে না। সুতরাং দেখা যাচ্ছে যে স্যাট সর্বাধিক এক সমাধান হওয়ার প্রতিশ্রুতি অনুযায়ী দক্ষ দক্ষ অ্যালগরিদমকে …
1
একটি অভিন্ন এলোমেলো সন্তুষ্টিজনক কার্য নমুনা
সমস্যা: প্রদত্ত একটি বুলিয়ান বর্তনী দ্বারা প্রতিনিধিত্ব, একটি এলোপাথারি উৎপন্ন এক্স ∈ { 0 , 1 } এন যেমন যে φ ( এক্স ) = 1 (অথবা আউটপুট ⊥ কোন ধরনের এক্স বিদ্যমান)। φ : { 0 , 1 }এন→ { 0 , 1 }φ:{0,1}এন→{0,1}\phi : \{0,1\}^n \to \{0,1\}এক্স ∈ …
5
গম্বুজযুক্ত ট্রিউইথ গ্রাফগুলিতে আর-ডমিনিটিং সেটটির জন্য সঠিক অ্যালগরিদম
একটি গ্রাফ দেওয়া, , আমি জি এর জন্য একটি অনুকূল আর- ডোমিনেশন চাই । অর্থাৎ আমি একটি উপসেট চান এস এর ভী যেমন যে সমস্ত ছেদচিহ্ন জি সর্বাধিক একটি দূরত্ব হয় দ মধ্যে কিছু প্রান্তবিন্দু থেকে এস , আকার কমানোর যখনG=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSS ।SSS আমি এখনও অবধি যা যাচাই …
1
স্যাটের এনপি-কঠোরতার জন্য হ্রাসের নূন্যতম প্রয়োজনীয় গভীরতা কত?
যেমনটি সবাই জানে, আর্টের বহুপক্ষীয় সময়ে বহু-একক হ্রাসের জন্য স্যাট সম্পূর্ণ । এটি এখনও সম্পূর্ণNPNP\mathsf{NP} বহু-এক হ্রাস।AC0AC0\mathsf{AC^0} আমার প্রশ্নগুলি হ্রাস জন্য নূন্যতম প্রয়োজনীয় গভীরতা কি? আরও আনুষ্ঠানিকভাবে, অন্তত কি যেমন যে স্যাট হয় -hard wrt অনেকগুলি এক কমানোর?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} এটা আমার কাছে মনে হচ্ছে যে যথেষ্ট হবে? কেউ কি রেফারেন্স জানেন?AC02AC20\mathsf{AC^0_2}
4
হাস্কেলের সিক ক্রিয়াকলাপের সাথে ফাংশনগুলির জন্য কি এটা-সমতুল্যতা উপযুক্ত?
থিম: ধরে নেওয়া যাক ETA-সমানতা আমরা যে আছে (\x -> ⊥) = ⊥ :: A -> B। প্রুফ: ⊥ = (\x -> ⊥ x)এটা-সমতা এবং (\x -> ⊥ x) = (\x -> ⊥)ল্যাম্বদার নীচে হ্রাস দ্বারা। হাস্কেল 2010 রিপোর্ট, বিভাগ 6.2 seqদুটি সমীকরণ দ্বারা ফাংশন নির্দিষ্ট করে : seq :: …
1
কীভাবে কোনও সমস্যা এনপিতে থাকতে পারে, এনপি-হার্ড হোন এবং এনপি-সম্পূর্ণ না হয়ে যায়?
দীর্ঘ সময় ধরে আমি ভেবেছি যে সমস্যাটি এনপি-সম্পূর্ণ ছিল যদি এটি উভয়ই হয় (1) এনপি-হার্ড এবং (2) এনপিতে থাকে। যাইহোক, বিখ্যাত কাগজে "উপবৃত্তাকার পদ্ধতি এবং সংযুক্তি অপ্টিমাইজেশনে এর পরিণতি" , লেখকরা দাবি করেছেন যে ভগ্নাংশ ক্রোম্যাটিক নম্বর সমস্যাটি এনপি-র অন্তর্ভুক্ত এবং এটি এনপি-হার্ড, তবুও এনপি-সম্পূর্ণ হিসাবে পরিচিত নয়। কাগজের তৃতীয় …
1
সাবসেট Sum বা NPP এর জন্য পূর্ণসংখ্যার সম্পর্ক সনাক্তকরণ?
সাবসেট যোগ বা সংখ্যার পার্টিশন সমস্যার একটি উদাহরণ এনকোড করার কোনও উপায় রয়েছে যাতে কোনও পূর্ণসংখ্যার সম্পর্কের জন্য একটি (ছোট) সমাধান একটি উত্তর দেয়? যদি অবশ্যই না হয়, তবে কিছু সম্ভাব্য অর্থে? আমি জানি যে এলএলএল (এবং সম্ভবত পিএসএলকিউ) 'নিম্ন-ঘনত্ব' অঞ্চলে সাবসেট সামমের সমস্যাগুলি সমাধানে মাঝারি সাফল্যের সাথে ব্যবহার করা …
2
"অতিমাত্রার বৈষম্যমূলক বিট" সমস্যাটি কি এনপি-সম্পূর্ণ?
এই সমস্যাটির জন্য আমি এটি তৈরি করেছি। আমি এর আগে কোথাও বর্ণিত দেখিনি। এই সমস্যার জন্য আমি এখনও এনপি-সম্পূর্ণতার প্রমাণ বা বহু-কালীন অ্যালগরিদমের প্রমাণ খুঁজে পাইনি। এটি কোনও হোমওয়ার্কের সমস্যা নয় - এটি আমার কাজের মধ্যে যে সমস্যাটি এসেছে তার সাথে সম্পর্কিত। নতুন ডিসক্রিমিনেটিং বিট ইনস্ট্যান্স: একটি সেট টিতে বিট …
1
সীমাবদ্ধ অটোমেটনের দ্বারা স্বীকৃত কয়েকটি স্বতন্ত্র অক্ষরের সাথে শব্দের সমস্যার জটিলতা
প্রদত্ত সসীম একটি যন্ত্রমানব এবং থ্রেশহোল্ড (নির্ণায়ক বা nondeterministic, আমি এই অনেক গুরুত্ব রয়েছে তা মনে করি না) এন , একটি একটি শব্দ সর্বাধিক ধারণকারী গ্রহণ করেন এন স্বতন্ত্র অক্ষর? ( কে দ্বারা আলাদা আলাদা অক্ষরের অর্থ আমি আব্বার দুটি পৃথক বর্ণ রয়েছে, ক এবং খ ।) আমি এই সমস্যাটিকে …
1
এখানে কি আকর্ষণীয় গ্রাফ ক্লাস রয়েছে যেখানে গাছের প্রস্থ গণনা করা শক্ত (সহজ)?
ট্রিউইথ একটি গুরুত্বপূর্ণ গ্রাফ প্যারামিটার যা গ্রাফটি গাছ হতে কতটা কাছাকাছি (যদিও কঠোর টপোলজিকাল অর্থে নয়) তা নির্দেশ করে। এটি সুপরিচিত যে গাছের প্রস্থকে গণনা করা হচ্ছে এনপি-হার্ড। গ্রাফগুলির কোনও প্রাকৃতিক শ্রেণি রয়েছে যেখানে গাছের প্রস্থ গণনা করা শক্ত ? একইভাবে: সেখানে কি আকর্ষণীয় গ্রাফ ক্লাস রয়েছে যেখানে গাছের প্রস্থের …
4
রৈখিক সমীকরণের সিস্টেমে খুব কম সমাধান সন্ধান করা
রৈখিক সমীকরণের ব্যবস্থার বিরল সমাধান খুঁজে পাওয়া কতটা কঠিন? আরও আনুষ্ঠানিকভাবে, নিম্নলিখিত সিদ্ধান্তের সমস্যাটি বিবেচনা করুন: ইন্সটান্স: পূর্ণসংখ্যা কোফিসিয়েন্টস এবং একটি নম্বর দিয়ে রৈখিক সমীকরণ একটি সিস্টেম গcc । প্রশ্ন: কমপক্ষে গcc ভেরিয়েবলগুলি শূন্যের সাথে নির্ধারিত সিস্টেমের কোনও সমাধান রয়েছে কি ? আমি নির্ধারণ করার চেষ্টা করছি উপর নির্ভরতা কী …
2
লেবেলযুক্ত ডিএজি-র অভিধানের নূন্যতম টপোলজিক্যাল সাজ
সমস্যা যেখানে আমরা ইনপুট হিসাবে দেওয়া হয় বিবেচনা করুন একটি acyclic নির্দেশ গ্রাফ , একটি লেবেল ফাংশন λ থেকে ভী কিছু সেটে এল মোট অর্ডার দিয়ে < এল (যেমন, ইন্টিজার), এবং যেখানে আমরা করতে বলা হয় গনা lexicographically ক্ষুদ্রতম এর টপোলজিকাল সাজানোর জি পরিপ্রেক্ষিতে λ । আরো সঠিকভাবে, একটি টপোলজিকাল …
1
"সাপ" পুনরায় কনফিগারেশন সমস্যা
ভিডিওটি নিমবলার এবং সাপের জটিলতায় একটি ছোট পোস্ট লেখার সময় ; আমি দেখেছি যে তারা উভয়ই প্ল্যানার গ্রাফগুলিতে পুনর্গঠন সমস্যা হিসাবে মডেল করা যেতে পারে; এবং এটি অসম্ভব বলে মনে হয় যে এই জাতীয় সমস্যাগুলি গতি পরিকল্পনা অঞ্চলে ভালভাবে অধ্যয়ন করা হয়নি (উদাহরণস্বরূপ লিঙ্কযুক্ত গাড়ি বা রোবটের একটি শৃঙ্খল কল্পনা …
1
হার্ড প্রসারযোগ্যতা সমস্যা
প্রসারণযোগ্যতা সমস্যায়, আমাদের সমাধানের অংশ দেওয়া হয় এবং আমরা এটি একটি সম্পূর্ণ সমাধানে প্রসারিত করতে পারি কিনা তা আমরা সিদ্ধান্ত নিতে চাই। কিছু এক্সটেনডিবিলিটি সমস্যাগুলি দক্ষতার সাথে সমাধানযোগ্য হয় যখন অন্যান্য বর্ধনযোগ্যতা সমস্যাগুলি একটি সহজ সমস্যাটিকে একটি সহজ সমস্যার মধ্যে রূপান্তরিত করে। উদাহরণস্বরূপ, König-হল উপপাদ্য বলে যে, সব ঘন দ্বিপাক্ষিক …
3
ট্রানজিটিভ প্রতিক্রিয়া তোরণ সেট (টিএফএএস): এনপি-সম্পূর্ণ?
কিছু সময় আগে, আমি গ্রাফ সমস্যার জন্য একটি রেফারেন্স অনুরোধ পোস্ট করেছি যেখানে আমরা প্রান্তগুলির একটি 2-বিভাজন সন্ধান করতে চাই যেখানে উভয় সেট তাদের কার্ডিনালটির সাথে সম্পর্কিত নয় এমন কোনও সম্পত্তি পূরণ করে। আমি নীচের সমস্যাটি এনপি-হার্ড প্রমাণ করার চেষ্টা করছিলাম: একটি টুর্নামেন্ট দেওয়া , একটি প্রতিক্রিয়া চাপ সেট এফ …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.