স্বতন্ত্র সংখ্যা সহ 3-বিভাজন সমস্যার গুনগত জটিলতা


23

এই প্রশ্নটি আমি অন্য প্রশ্নের জবাবে পোস্ট করা একটি উত্তরের সাথে সম্পর্কিত ।

3-পার্টিশনের সমস্যাটি নিম্নোক্ত সমস্যা:
দৃষ্টান্ত : ইতিবাচক একটি 1 ,…, একটি এন , যেখানে n = 3 মি এবং n এর পূর্ণসংখ্যার যোগফল এমবি এর সমান, যেমন প্রতিটি আমি বি / 4 <a i কে সন্তুষ্ট করে <বি / 2
প্রশ্ন : ক্যান পূর্ণসংখ্যার একটি 1 , ..., একটি এন এম multisets বিভক্ত করা যাতে প্রতিটি multiset এর সমষ্টি বি সমান?

এটি সুপরিচিত যে 3 পার্টিশনের সমস্যাটি এনপি-সম্পূর্ণরূপে দৃ sense় অর্থে যে ইনপুটটিতে নম্বরগুলি অবিচ্ছিন্নভাবে দেওয়া হলেও এটি এনপি-সম্পূর্ণ থাকে। প্রমাণের জন্য গ্যারি এবং জনসনকে দেখুন ।

প্রশ্নগুলি : 1 ,…, এন সবগুলি পৃথক হলে 3-পার্টিশনের সমস্যা কী এনপি-সম্পূর্ণ থাকবে ? এটি কি দৃ the় অর্থে এনপি-সম্পূর্ণ রয়ে গেছে?

(আমার অনুভূতি হ'ল উভয় প্রশ্নের উত্তর সম্ভবত হ্যাঁ কারণ সমস্ত সংখ্যা স্বতন্ত্র হলে সমস্যাটি আরও সহজ হওয়ার কেন কোনও কারণ আমি দেখতে পাচ্ছি না))

দেখে মনে হচ্ছে না যে গ্যারি এবং জনসনের প্রমাণগুলি এই সীমিত সংস্করণের এনপি-সম্পূর্ণতা প্রতিষ্ঠা করে।

উপরে সংযুক্ত অন্যান্য প্রশ্নের উত্তরে আমি একটি প্রমাণ দিয়েছি যে পৃথক সংখ্যার সাথে--পার্টিশন সমস্যা (সমানভাবে সংজ্ঞায়িত) শক্তিশালী অর্থে এনপি-সম্পূর্ণ।


2
আমি মনে করি এটি একটি গুরুত্বপূর্ণ সমস্যা; আমি সাহিত্যে এমন বেশ কয়েকটি কাগজপত্র পেয়েছি যা বর্ণনা করে বা ধরে নিয়েছে যে গেটে ও জনসনের মাল্টিসেট সংস্করণের প্রশংসা করার চেয়ে সেট ভার্সনটি শক্ত, আর কোনও অন্য সমস্যার জন্য এনপি-সম্পূর্ণতার দাবিতে এই অনুমিতি ব্যবহার করা হয়েছে hard ।
ডেভিড এপস্টেইন

উত্তর:


19

এটি প্রমাণিত হয় [১, করোলারি 7], 3-পার্টিশনটি strongly এনপি-হার্ড থাকে যখন পূর্ণসংখ্যার সব আলাদা হয়। সীমাগুলি [1] এ আরোপিত হয় না, তবে এটি কোনও পার্থক্য করা উচিত নয়।a1,,anB/4<ai<B/2

[১]: হিদার হুলেট, টড জি। উইল, গারহার্ড জে ওয়াগিনগার: ডিগ্রি সিকোয়েন্সগুলির মাল্টিগ্রাফ উপলব্ধি: সর্বাধিককরণ সহজ, ক্ষুদ্রকরণ শক্ত। Oper। রেস। লেট। 36 (5): 594-596 (2008)। ডোই


5
সীমা মনোরম সহজে সব একই সংখ্যক যোগ করে সম্পন্ন করা হয় । আইB/4<ai<B/2ai
ডেভিড এপস্টিন

1
প্রকৃতপক্ষে, এই সীমাবদ্ধতা আরোপ করা সোজাও।
30-30

2
ধন্যবাদ, এটি আমার প্রশ্নের সম্পূর্ণ উত্তর দেয়। নোট করুন যে আংশিক ল্যাটিন বর্গ সমাপ্তির সমস্যাটি ত্রিমাত্রিক মিলের একটি বিশেষ ক্ষেত্রে হিসাবে সহজেই তৈরি করা যেতে পারে। পিএলএসসি দ্বারা থ্রিডিএম প্রতিস্থাপন করা আমার কাছে ঘটেনি, তবে প্রমাণটি দেখার পরে, পদ্ধতির বিষয়টি খুব স্বাভাবিক বলে মনে হচ্ছে।
Tsuyoshi Ito
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.