পরামিতি ক্লিকের কঠোরতা?


17

যাক 0p1 এবং সিদ্ধান্ত সমস্যা বিবেচনা

উপদল পি ইনপুট: পূর্ণসংখ্যা গুলি , গ্রাফ জি সঙ্গে টি ছেদচিহ্ন এবং প্রান্ত প্রশ্ন: কী অন্তত একটি উপদল ধারণ গুলি ছেদচিহ্ন?p
sGtp(t2)
Gs

চক্রের একটি দৃষ্টান্ত p অনুপাতে রয়েছে p সব সম্ভব প্রান্ত বাইরে। স্পষ্টত উপদল p কিছু মানের জন্য সহজ p । উপদল 0 শুধুমাত্র সম্পূর্ণ বিচ্ছিন্ন গ্রাফ রয়েছে এবং উপদল 1 সম্পূর্ণ গ্রাফ রয়েছে। উভয় ক্ষেত্রেই, উপদল p রৈখিক সময় সিদ্ধান্ত নিয়েছে করা যেতে পারে। অন্যদিকে, এর মানের জন্য p পাসে 1/2 , চক্রান্তকারী p উপদল নিজেই থেকে কমানো করে NP-কষ্টকর: মূলত তার সাথে অসংলগ্ন করা ইউনিয়ন নিতে যথেষ্ট Turan গ্রাফ T(t,s1)

আমার প্রশ্ন:

উপদল হয় p পারেন প্রতিটি মানের জন্য সম্পূর্ণ দ্বারা NP-PTIME বা p ? নাকি এর মান p , যার জন্য উপদল p অন্তর্বর্তী জটিলতা আছে (যদি পি ≠ দ্বারা NP)?

এই প্রশ্নটি হাইপারগ্রাফিক্স সম্পর্কিত সম্পর্কিত প্রশ্ন থেকে উত্থাপিত হয়েছিল, তবে এটি নিজস্বভাবে আকর্ষণীয় বলে মনে হয়।


1
মজার প্রশ্ন!
সুরেশ ভেঙ্কট

Pa আসল সংখ্যাটি 0 এবং 1 এর মধ্যে, বা p টি এর ফাংশন হতে পারে?
রবিন কোঠারি

@ রবিন: আমি নির্দিষ্ট করে নেই, দুটোই আকর্ষণীয় হবে।
আন্দ্রেস সালামন

3
যদি প্রান্তের অনুপাতটি একটি উচ্চতর বাউন্ড হয় (এবং সঠিক গণনার প্রয়োজন বা নিম্ন সীমা নয়) তবে কোনও ধ্রুবক এই সমস্যাটি ক্লিকিউ থেকে হ্রাস দ্বারা এনপি-হার্ড হয়: বিচ্ছিন্ন উল্লম্বের পর্যাপ্ত পরিমাণে বড় সংযোজন যুক্ত করুন । সংখ্যার প্রান্তটি প্রদত্ত প্রকাশের সমান ? বা আমি কি স্পষ্টতই স্পষ্ট জিনিস মিস করছি? :-)0<p<1
0-10 এ গফিলিপ

1
@ জিফিলিপ: আপনি উল্লেখ করেছেন যে হ্রাস তাত্ক্ষণিকভাবে যদি অনুপাতটি কেবলমাত্র একটি উপরের বাউন্ড হয়; এই কারণেই প্রশ্নটি সঠিক অনুপাতের শর্তে চিহ্নিত করা হয়।
আন্দ্রেস সালামন

উত্তর:


14

আমি ধরে নিয়েছি যে সমস্যার সংজ্ঞা হিসাবে প্রশ্নটি সম্পর্কে gphilip এর মন্তব্যের বিপরীতে CLIQUE p গ্রাফের প্রান্তের সংখ্যার সমান।p(t2)

ক্লিকিউ পি সমস্যাটি সাধারণ ক্লিক্যু সমস্যা থেকে হ্রাস করে কোনও যুক্তিযুক্ত ধ্রুবক 0 < পি <1 এর জন্য এনপি-সম্পূর্ণ । (ভাবনাটি হলো এই যে পি মূলদ শুধুমাত্র যাতে প্রয়োজন বোধ করা হয় থেকে নির্ণিত করা যেতে পারে এন সময় বহুপদী মধ্যে এন ।)pN

যাক ≥3 একটি পূর্ণসংখ্যা উভয় পরিতৃপ্ত হতে 2 ≥1 / পি এবং (1-1 / ) (1-2 / )> P । গ্রাফ দেওয়া জি সঙ্গে এন ছেদচিহ্ন এবং মি একটি থ্রেশহোল্ড মান সহ প্রান্ত গুলি , হ্রাস হিসাবে অনুসরণ করে কাজ করে।

  1. তাহলে গুলি < , আমরা সময় হে (ইন উপদল সমস্যা সমাধানের এন গুলি ) সময়। যদি অন্তত আকারের একটি উপদল হয় গুলি , আমরা একটি নির্দিষ্ট হ্যা-উদাহরণস্বরূপ উত্পাদন। অন্যথায়, আমরা একটি নির্দিষ্ট নো-ইনস্ট্যান্স উত্পাদন করি।
  2. যদি এন < গুলি হয় তবে আমরা একটি স্থির নো-ইনস্ট্যান্স তৈরি করি।
  3. যদি nsk হয় , আমরা G a ( k −1)-পার্টিটাইট গ্রাফ যুক্ত করব যেখানে প্রতিটি সেট n টি উল্লম্ব সমন্বয়ে থাকে যার ঠিক প্রান্ত এবং এই গ্রাফ উত্পাদন।p(nk2)m

নোট যে ক্ষেত্রে 1 হে (নেয় এন -1 ) সময়, যা বহুপদী হয় এন প্রত্যেক জন্য পি । কেস 3 সম্ভব কারণ কারণ যদি nsk হয় , তবে নন-নেগেটিভ এবং সম্পূর্ণ (ইন প্রান্ত অধিকাংশ সংখ্যা হয়-1) -partite গ্রাফ কেএন, ...,এননিম্নলিখিত দুটি দাবির মধ্যে দেখানো হয়েছে।p(nk2)m

দাবী ঘp(nk2)m0

প্রুফ । যেহেতু , আমরা যদিপি ( এনকে ) প্রমাণ করি তবে এটি যথেষ্টm(n2) , বা সমানভাবেপিএনকে(এন কে−1) ≥এন(এন−1)। যেহেতুপি≥ 1 /2, আমরাpnk(Nk-1) ≥এন(এন-1 /) ≥এন(এন-1)। Qedp(nk2)(n2)

দাবি 2 । (দ্রষ্টব্য যে ডান দিকের দিকটি সম্পূর্ণ (কে − 1) প্রান্তের গ্রাফ কেএন,…,এনএর প্রান্তের সংখ্যা)p(nk2)m<n2(k12)

প্রুফ । যেহেতু এবং m ≥ 0, আমরা যদি পি ( এন কে) প্রমাণ করি তবে এটি যথেষ্টx<x+1 , বা সমতুল্যএন2(কে−1) (কে−2) -পিএনকে(এন কে−1) - 2 ≥ 0. যেহেতুপি<(1−1 /কে) (1−2 /কে), আমাদের এন2(কে-1)(কে-2)-পিএনকে(এনকে-1)-2এন2(কে-1)(কে-2p(nk2)+1n2(k12)

এন2(-1)(-2)-পিএন(এন-1)-2
=এন
n2(k1)(k2)n(n1k)(k1)(k2)2
কিউইডি
=nk(k1)(k2)2(k1)(k2)20.

সম্পাদনা করুন : পুনর্বিবেচনা 1 হ্রাস একটি ত্রুটি ছিল; কখনও কখনও এটিতে নেতিবাচক সংখ্যার প্রান্তের একটি গ্রাফের প্রয়োজন হয় (যখন পি ছোট ছিল)। এই ত্রুটি এখন স্থির করা হয়েছে।


এটি নির্দিষ্ট বাক্যাংশের নিকটতম, সুতরাং এটি মোকাবেলার জন্য ধন্যবাদ। কেস 3 আমার মনে যা ছিল তার থেকে নিকটতম। তবে, আমি হিসাবটি অনুসরণ করি না - আপনি কি আরও কিছুটা প্রসারিত করতে পারেন?
আন্দ্রেস সালামন

@ আন্দ্রেস সালামন: সম্পন্ন হয়েছে।
Tsuyoshi Ito

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