সেট কভারের একটি সাবকেসের কঠোরতা


10

সেট কভার সমস্যাটি কতটা কঠিন যদি উপাদানগুলির সংখ্যা কিছু ফাংশন (যেমন logn ) দ্বারা সীমাবদ্ধ থাকে যেখানে n সমস্যার উদাহরণের আকার। আনুষ্ঠানিকভাবে,

যাক এবং এফ = { S 1 , , এস এন } যেখানে S আমিইউ এবং মি = হে ( লগ ইন করুন এন ) । নিম্নলিখিত সমস্যাটি সিদ্ধান্ত নেওয়া কতটা কঠিনU={e1,,em}F={S1,,Sn}SiUm=O(logn)

সেট কভার '={<ইউ,এফ,>: there exists at most k subsets  Si1,,SikF that cover U}.

মি = ( √) হলে কী হবে ?m=O(n)

সুপরিচিত অনুমানের উপর ভিত্তি করে যে কোনও ফলাফল (যেমন, ইউনিক গেমস, ইটিএইচ) ভাল।

সম্পাদনা 1: এই সমস্যাটির জন্য একটি অনুপ্রেরণা খুঁজে বের করে যখন সমস্যা বৃদ্ধি পাওয়ায় সমস্যাটি শক্ত হয় । স্পষ্টতই, সমস্যাটি পি যদি এম = ( 1 ) এবং এনপি-হার্ড এম = ( এন ) থাকে । সমস্যার এনপি-কঠোরতার প্রান্তিকতা কী?mm=O(1)m=O(n)

সম্পাদনা করুন 2: আছে সময়ের মধ্যে তা সিদ্ধান্ত নিতে একটি তুচ্ছ অ্যালগরিদম বিদ্যমান (যা আকারের সব সাব-সেট নির্বাচন উল্লেখ মি এর ফাঃ )। সুতরাং, সমস্যাটি এনপি-হার্ড নয় তবে এম = ( লগ এন ) যেহেতু ইটিএইচটি সূচিত করে যে কোনও এনপি-হার্ড সমস্যার (যেখানে এন এর আকার হ'ল সময় ( 2 এন ( 1 ) ) তে কোনও অ্যালগরিদম নেই where এনপি-হার্ড সমস্যা)।O(nm)mFm=O(logn)হে(2এন(1))এন


2
সময় সমস্যা সিদ্ধান্ত নিতে একটি ভাল অ্যালগোরিদম বিদ্যমান (জন্য আরো স্পষ্ট করে বেল সংখ্যা মি ): একটি ইনপুট প্রতিটি উপসেট আচ্ছাদন সেট অস্তিত্ব আছে সাব-সেট নির্বাচন মধ্যে উপাদানের প্রতিটি পার্টিশনের জন্য, পরীক্ষা কি না। সুতরাং এম = ( লগ এন / লগ লগ এন ) এর জন্য বহুবর্ষের সময় সমস্যার সমাধান করা যেতে পারে। যদিও এটি এম = ( লগ এন ) সম্পর্কে আপনার প্রশ্নের পুরোপুরি উত্তর দেয় না । mO(m)mm=O(logn/loglogn)m=O(logn)
ডেভিড এপস্টিন

উত্তর:


11

যখন , তখন আপনি বহুবর্ষীয় সময়ে সর্বোত্তম খুঁজে পেতে ডায়নামিক প্রোগ্রামিং ব্যবহার করতে পারেন। টেবিল বুলিয়ান-মূল্যবান কক্ষ রয়েছে টি , এক্স প্রত্যেকের জন্য { 0 , ... , } এবং এক্স ইউ ইঙ্গিত আছে কিনা, সেট যা উপাদান আবরণ এক্সm=O(logn)T,X{0,,k}XUX

যখন ,mCsay বলুনm=O(n) , সমস্যাটি এনপি-হার্ড থেকে যায়। সেট কভার, অ্যাড এর একটি দৃষ্টান্ত দেওয়ামিনতুন উপাদানএক্স1,...,x এরমিএবং(2সি - 1 মি)2নতুন সেট সহ নতুন উপাদান, অ-খালি সাব-সেট নির্বাচন নিয়ে গঠিত{এক্স1,...,x এরমি}(যখনমিবৃহৎ যথেষ্ট হয়(2সি - 1 মি)2<2মি)। এছাড়াওকেmCnmx1,,xm(2C1m)2{x1,,xm}m(2C1m)2<2mkএক দ্বারা. নতুন হয় মি ' = 2 মিটার এবং এন ' = + + ( 2 সি - 1 মি ) 2( সি - 1 মি ' ) 2m,nm=2mn=n+(2C1m)2(C1m)2


আরও সাধারণভাবে, কেস এনপি-হার্ড এবং কেস এম = এন ( 1 ) এনটি-হার্ড ধরে নিচ্ছে না ETH, যেহেতু সেখানে একটি পি এল ওয়াই ( এন , 2 মি ) অ্যালগরিদম রয়েছে । মি=এনহে(1)মি=এন(1)poly(n,2m)
যুবাল ফিল্মাস 21

11

ক্ষেত্রে হয় এন হে ( ) যেমন ইউভাল দ্বারা লক্ষনীয় সময়, কিন্তু জন্য নোট = হে ( 1 ) আপনি সমস্যা সমাধান করতে পারে হে ( মি ) সময় (বহুপদী সময়) দ্বারা সম্পূর্ণ অনুসন্ধান শক্তিশালী তাত্পর্যপূর্ণ সময় হাইপোথিসিস ধরে নেওয়া (যে এন ভেরিয়েবল এবং ( এন ) ধারাগুলির সাথে সূত্রগুলিতে সিএনএফ-স্যাট কমপক্ষে 2 এন - ( এন ) প্রয়োজনm=clognnO(c)k=O(1)O(nkm)NO(N)2No(N)সময়), এই দুটি সময়সীমা হ'ল নিম্নলিখিত অর্থে বহুবর্ষে আমরা কী আশা করতে পারি তার "সীমা"।

আমার সালে Mihai Patrascu সঙ্গে SODA'10 কাগজ আমরা আকারের একটি প্রভাবশালী সেট খুঁজে বের করার মূলত isomorphic সমস্যা নিয়ে অনুসন্ধান একটি অবাধ মধ্যে এন -node লেখচিত্র, দেখাচ্ছে যে যদি সেট -dominating মধ্যে সমাধান করা যেতে পারে এন - ε কিছু সময় 2 এবং ε > 0 , তারপরে এন ভেরিয়েবল এবং এম তে সিএনএফ-স্যাট এর জন্য 2 এন ( 1 - ε / 2 ) পি এল ওয়াই ( এম ) সময় অ্যালগরিদম রয়েছেknknkεk2ε>02N(1ε/2)poly(M)NM ক্লজ।

একটি সেট আচ্ছাদন ইনস্ট্যান্সের মধ্যে এবং একটি প্রভাবশালী সেট ইনস্ট্যান্সের মধ্যে ছেদচিহ্ন এর এলাকাগুলোর সেট মধ্যে সম্পর্ক লক্ষ করেন, এবং হ্রাস পরিদর্শন, আপনি দেখবেন যে এই হ্রাস এছাড়াও শো সমাধানে সঙ্গে -Set কভার এন আকারের একটি মহাবিশ্ব উপর সেট মি মধ্যে এন - εf ( এম ) সময়টি সিএনএফ-স্যাট অ্যালগরিদমকে সিএনএফ সূত্রের জন্য এম ক্লজ এবং এন ভেরিয়েবলগুলিতে 2 এন ( 1 - ε / 2 ) এ চলমান ( এম )knmnkεf(m)MN2N(1ε/2)f(M)সময়। শক্তিশালী ETH খণ্ডন করার উদ্দেশ্যে, ক্ষেত্রে সিএনএফ-স্যাট সমাধান করা যথেষ্ট । অত: পর চলমান আপনার সমস্যার জন্য একটি আলগোরিদিম এন - ε2 মি / α ( মি ) কিছু সীমাবদ্ধ ফাংশন জন্য সময় α ( মি ) একটি বিস্ময়কর নতুন স্যাট অ্যালগরিদম উত্পাদ হবে।M=O(N)nkε2m/α(m)α(m)

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.