আমি ধরে নিয়েছি যে সমস্যার সংজ্ঞা হিসাবে প্রশ্নটি সম্পর্কে gphilip এর মন্তব্যের বিপরীতে CLIQUE p গ্রাফের প্রান্তের সংখ্যার সমান।⌈p(t2)⌉
ক্লিকিউ পি সমস্যাটি সাধারণ ক্লিক্যু সমস্যা থেকে হ্রাস করে কোনও যুক্তিযুক্ত ধ্রুবক 0 < পি <1 এর জন্য এনপি-সম্পূর্ণ । (ভাবনাটি হলো এই যে পি মূলদ শুধুমাত্র যাতে প্রয়োজন বোধ করা হয় থেকে নির্ণিত করা যেতে পারে এন সময় বহুপদী মধ্যে এন ।)⌈pN⌉
যাক ট ≥3 একটি পূর্ণসংখ্যা উভয় পরিতৃপ্ত হতে ট 2 ≥1 / পি এবং (1-1 / ট ) (1-2 / ট )> P । গ্রাফ দেওয়া জি সঙ্গে এন ছেদচিহ্ন এবং মি একটি থ্রেশহোল্ড মান সহ প্রান্ত গুলি , হ্রাস হিসাবে অনুসরণ করে কাজ করে।
- তাহলে গুলি < ট , আমরা সময় হে (ইন উপদল সমস্যা সমাধানের এন গুলি ) সময়। যদি অন্তত আকারের একটি উপদল হয় গুলি , আমরা একটি নির্দিষ্ট হ্যা-উদাহরণস্বরূপ উত্পাদন। অন্যথায়, আমরা একটি নির্দিষ্ট নো-ইনস্ট্যান্স উত্পাদন করি।
- যদি এন < গুলি হয় তবে আমরা একটি স্থির নো-ইনস্ট্যান্স তৈরি করি।
- যদি n ≥ s ≥ k হয় , আমরা G a ( k −1)-পার্টিটাইট গ্রাফ যুক্ত করব যেখানে প্রতিটি সেট n টি উল্লম্ব সমন্বয়ে থাকে যার ঠিক প্রান্ত এবং এই গ্রাফ উত্পাদন।⌈p(nk2)⌉−m
নোট যে ক্ষেত্রে 1 হে (নেয় এন ট -1 ) সময়, যা বহুপদী হয় এন প্রত্যেক জন্য পি । কেস 3 সম্ভব কারণ কারণ যদি n ≥ s ≥ k হয় , তবে নন-নেগেটিভ এবং সম্পূর্ণ (ইন প্রান্ত অধিকাংশ সংখ্যা হয়ট-1) -partite গ্রাফ কেএন, ...,এননিম্নলিখিত দুটি দাবির মধ্যে দেখানো হয়েছে।⌈p(nk2)⌉−m
দাবী ঘ । ।⌈p(nk2)⌉−m≥0
প্রুফ । যেহেতু , আমরা যদিপি ( এনকে ) প্রমাণ করি তবে এটি যথেষ্টm≤(n2) , বা সমানভাবেপিএনকে(এন কে−1) ≥এন(এন−1)। যেহেতুপি≥ 1 /ট2, আমরাpnk(Nk-1) ≥এন(এন-1 /ট) ≥এন(এন-1)। Qed।p(nk2)≥(n2)
দাবি 2 । । (দ্রষ্টব্য যে ডান দিকের দিকটি সম্পূর্ণ (কে − 1) প্রান্তের গ্রাফ কেএন,…,এনএর প্রান্তের সংখ্যা)⌈p(nk2)⌉−m<n2(k−12)
প্রুফ । যেহেতু এবং m ≥ 0, আমরা যদি পি ( এন কে) প্রমাণ করি তবে এটি যথেষ্ট⌈x⌉<x+1 , বা সমতুল্যএন2(কে−1) (কে−2) -পিএনকে(এন কে−1) - 2 ≥ 0. যেহেতুপি<(1−1 /কে) (1−2 /কে), আমাদের
এন2(কে-1)(কে-2)-পিএনকে(এনকে-1)-2≥এন2(কে-1)(কে-2p(nk2)+1≤n2(k−12)
এন2( কে - 1 ) ( কে - 2 ) - পি এন কে ( এন কে - 1 ) - 2
=এন। N2( কে - 1 ) ( কে - 2 ) - এন ( এন - 1)ট)(k−1)(k−2)−2
কিউইডি।
=nk(k−1)(k−2)−2≥(k−1)(k−2)−2≥0.
সম্পাদনা করুন : পুনর্বিবেচনা 1 হ্রাস একটি ত্রুটি ছিল; কখনও কখনও এটিতে নেতিবাচক সংখ্যার প্রান্তের একটি গ্রাফের প্রয়োজন হয় (যখন পি ছোট ছিল)। এই ত্রুটি এখন স্থির করা হয়েছে।