এমন কেস রয়েছে যেখানে কোনও সমস্যার প্রতিসাম্য (মনে হয়) এর জটিলতা চিহ্নিত করে। একটি খুব আকর্ষণীয় উদাহরণ হ'ল সীমাবদ্ধতা সন্তুষ্টি সমস্যা (সিএসপি)।
সিএসপি সংজ্ঞা
একজন সিএসপি একটি ডোমেইন দেওয়া হয় , এবং একটি বাধ্যতা ভাষা ( থেকে -ary ফাংশন করার )। একটি সীমাবদ্ধ সন্তুষ্টি দৃষ্টান্তটি ভেরিয়েবলের একটি সেট এবং থেকে প্রতিবন্ধকতা দ্বারা দেওয়া হয় । দৃষ্টান্তটির সমাধান হ'ল একটি অ্যাসাইনমেন্ট যেমন সমস্ত প্রতিবন্ধকতা সন্তুষ্ট।Γ ক ইউ কে { 0 , 1 } ভি Γ ϕ : ভ → ইউUΓkUk{0,1}VΓϕ:V→U
উদাহরণস্বরূপ, এই ভাষাতে 3-স্যাট দেওয়া হয় যা 3 লিটারেল সব disjunctions সেট করা হয়, সহজভাবে হয় । অন্য উদাহরণস্বরূপ, রৈখিক সমীকরণ সিস্টেমের mod 2 একটি দ্বারা দেওয়া হয় যা সব রৈখিক সমীকরণ সহ 2 mod ভেরিয়েবল, এবং আবার ।ইউ { 0 , 1 } Γ ট ইউ { 0 , 1 }ΓU{0,1}ΓkU{0,1}
বহুরুপতা
একটি ধারণা রয়েছে যার মধ্যে সিএসপি-এর কঠোরতা এর প্রতিসাম্য দ্বারা চিহ্নিত করা হয়। প্রশ্নে প্রতিসাম্যগুলিকে পলিমারফিজম বলা হয়। একটি পলিমারফিজম হল স্থানীয়ভাবে একটি নতুন সমাধান পাওয়ার জন্য সিএসপি-র বিভিন্ন সমাধানকে একত্রিত করার উপায় । স্থানীয়ভাবে এখানে অর্থ একটি ফাংশন যা প্রতিটি ভেরিয়েবলের জন্য পৃথকভাবে প্রয়োগ করা হয়। আরো সঠিকভাবে, আপনাকে অনেকগুলি সমাধান (বরাদ্দকরণ পরিতৃপ্ত) আছে যদি , একটি পলিমরফিজম একটি ফাংশন প্রতিটি পরিবর্তনশীল একটি নতুন সমাধান পেতে প্রয়োগ করা যেতে পারে : । জন্য একটি পলিমরফিজম হতে এটা সব tuples মানচিত্র উচিত f : U t → U ϕ ϕ ( v ) = f ( ϕ 1 ( v ) , … , ϕ t ( v ) ) f tϕ1,…,ϕtf:Ut→Uϕϕ(v)=f(ϕ1(v),…,ϕt(v))ft একই উদাহরণের সন্তোষজনক কার্যভারের কোনও ক্ষেত্রে সন্তুষ্টিজনক কার্যভার।
উদাহরণস্বরূপ রৈখিক সমীকরণের সিস্টেমগুলির জন্য একটি বহুপদীতা হল । লক্ষ্য করুন যে । একটি মাফিক এই সম্পত্তি একটি Maltsev অপারেশন হিসাবে পরিচিত হয়। মাল্টসেভ পলিমারফিজম রয়েছে এমন সিএসপিগুলিকে গাউসিয়ান নির্মূলের মাধ্যমে সমাধানযোগ্য।f(x,y,z)=x+y+z(mod2)f(x,x,y)=f(y,x,x)=yf
অন্যদিকে, 3 টি আক্ষরিকের বিভাজনে কেবল পলিমারফিজম হিসাবে স্বৈরশাসক থাকে, যেমন টাইপের ফাংশন ।f(x,y)=x
বহুবিজ্ঞান এবং জটিলতা (দ্বৈতত্ত্ব অনুমান)
আসলে বহুরুপতা গণনীয় প্রভাব আছে: যদি কোন সিএসপি সব বহুরুপতা স্বীকার , তারপর করার বহুপদী টাইম রূপান্তরযোগ্য হয় । এটি আনুষ্ঠানিকভাবে বলার উপায় যে কোনও সিএসপি যা অন্য সিএসপি- তুলনায় "কম প্রতিসামান্য" প্রকৃতপক্ষে শক্ত।Γ1Γ2Γ1Γ2Γ2Γ1
জটিলতা তত্ত্বের একটি প্রধান উন্মুক্ত সমস্যা হ'ল সিএসপিগুলির কঠোরতা চিহ্নিত করা। ফেডার এবং ভার্ডির দ্বৈতত্ত্ব অনুমানে বলা হয়েছে যে কোনও সিএসপি হয় হয় পি বা এনপি-সম্পূর্ণ। অনুমানটি বহুবর্ষ সম্পর্কে একটি বিবৃতিতে হ্রাস করা যেতে পারে: একটি সিএসপি হ'ল এনপি-হার্ড এবং কেবল যদি এটি স্বীকৃত একাধিক পলিওরফিজম হয় "স্বৈরশাসক" (অন্যথায় এটি পিতে থাকে)। যেমন একটি সিএসপি কেবল তখনই শক্ত যদি পুরানো সমাধানগুলি থেকে আসল নতুন সমাধান গঠনের স্থানীয় কোনও উপায় না থাকে। যদি পার্ট (কঠোরতা) জানা থাকে তবে অংশটি (পলটাইম অ্যালগরিদম ডিজাইনিং) কেবল তখনই খোলা থাকে।
তবে, একটি গুরুত্বপূর্ণ ক্ষেত্রে যেখানে আমাদের দ্বৈতত্ত্ব রয়েছে সেগুলি হ'ল বুলিয়ান সিএসপি (যেখানে )। স্কেফেরের উপপাদ্য অনুসারে , একটি বুলিয়ান সিএসপি পিতে রয়েছে যদি এটি 6 টির মধ্যে একটির বহুবিজ্ঞান স্বীকার করে, অন্যথায় এটি এনপি-সম্পূর্ণ। ছয়টি বহুবিজ্ঞান মূলত গাউসিয়ান নির্মূলকরণ দ্বারা বা বংশবিস্তার দ্বারা (যেমন আপনি হর্ন-সিটের সাথে উদাহরণস্বরূপ করেন) সমস্যাটি সমাধান করার প্রয়োজন হয় বা একটি তুচ্ছ কার্য দ্বারা এটি সমাধান করার জন্য।U={0,1}
পলিমারফিজম, সার্বজনীন বীজগণিত এবং দ্বিধাত্ত্বিক অনুমান সম্পর্কে আরও পড়ার জন্য, আপনি বুলাটোভের সমীক্ষায় দেখতে পারেন ।
বহুবিজ্ঞান এবং আনুমানিকতা x
আমি প্রসাদ রাঘভেন্দ্রের একটি আইএএস বক্তৃতারও প্রস্তাব দিই যেখানে তিনি তার ফলাফল রাখেনঅনুরূপ ফ্রেমওয়ার্কে অনন্য গেমস অনুমানকে ধরে নিলে যে কোনও সিএসপির অনুকূল নৈমিত্তিকতা দেওয়া। উচ্চ স্তরে, যদি কোনও সিএসপি-র সমস্ত বহুত্ববাদগুলি (এটি আনুমানিক সমস্যাগুলি পরিচালনা করতে সাধারণীকরণ করা প্রয়োজন) স্বৈরশাসকের কাছাকাছি থাকে তবে কোনও ফাংশন স্বৈরশাসক হলে সিএসপি ব্যবহার করে এটি পরীক্ষা করার উপায় ডিজাইন করতে পারে, এবং এটি পরিণত হয় অনন্য গেমগুলি থেকে আনুমানিক হ্রাসের কঠোরতা দেওয়ার জন্য আপনার যা দরকার তা হ'ল। এটি তার ফলাফলের কঠোরতার দিক দেয়; অ্যালগরিদমিক দিকটি হ'ল যখন কোনও সিএসপিতে পলিমারফিজম থাকে যা স্বৈরশাসকের কাছ থেকে দূরে থাকে, তখন কোনও ব্যক্তি একটি এনভেরিয়েন্স নীতি (কেন্দ্রীয় সীমাবদ্ধতা উপকরণগুলির জেনারালাইজেশন) ব্যবহার করতে পারে যে কোনও এসডিপি বৃত্তাকার অ্যালগরিদম একটি ভাল অনুমান দেয়। অ্যালগরিদমিক অংশের জন্য সত্যই স্কেচী অন্তর্দৃষ্টি: একটি পলিমারফিজম যা স্বৈরশাসকের থেকে দূরে থাকে না ' এটি যদি আর্গুমেন্ট হিসাবে দেওয়া হয় (একটি বিতরণ ওভার) ভেরিয়েবল অ্যাসাইনমেন্ট বা গাউসিয়ান এলোমেলো ভেরিয়েবল যা স্থানীয়ভাবে ভেরিয়েবল অ্যাসাইনমেন্টের উপর একটি বিতরণকে প্রায় অনুমান করে। এটি একটি একই উপায়ে যা কেন্দ্রীয় সীমাবদ্ধতা উপপাদ্য দ্বারা ছোট বৈকল্পিক বা গাউসিয়ান আরভি'র সাথে একই বৈকল্পিকের সাথে পৃথক র্যান্ডম ভেরিয়েবলগুলি দেওয়া হয় তবে কোনও যোগফল "যত্ন করে না"। আমাদের প্রয়োজন গাউসিয়ান র্যান্ডম ভেরিয়েবলগুলি সিএসপি সমস্যার একটি এসডিপি শিথিলকরণ থেকে গণনা করা যেতে পারে। সুতরাং আমরা এমন একটি পলিমারফিজম খুঁজে পাই যা স্বৈরশাসকের থেকে দূরে থাকে, এটিকে গাওসির নমুনাগুলি খাওয়ান, এবং একটি ভাল সমাধান ফিরে পান। যদি এটি কেন্দ্রীয় সীমার উপপাদ্য দ্বারা ছোট বৈকল্পিক বা গাউসিয়ান আরভি'র সাথে একই ভিন্নতার সাথে স্বতন্ত্র র্যান্ডম ভেরিয়েবলগুলি দেওয়া হয়। আমাদের প্রয়োজন গাউসিয়ান র্যান্ডম ভেরিয়েবলগুলি সিএসপি সমস্যার একটি এসডিপি শিথিলকরণ থেকে গণনা করা যেতে পারে। সুতরাং আমরা এমন একটি পলিমারফিজম খুঁজে পাই যা স্বৈরশাসকের থেকে দূরে থাকে, এটিকে গাওসির নমুনাগুলি খাওয়ান, এবং একটি ভাল সমাধান ফিরে পান। যদি এটি কেন্দ্রীয় সীমার উপপাদ্য দ্বারা ছোট বৈকল্পিক বা গাউসিয়ান আরভি'র সাথে একই ভিন্নতার সাথে স্বতন্ত্র র্যান্ডম ভেরিয়েবলগুলি দেওয়া হয়। আমাদের প্রয়োজন গাউসিয়ান র্যান্ডম ভেরিয়েবলগুলি সিএসপি সমস্যার একটি এসডিপি শিথিলকরণ থেকে গণনা করা যেতে পারে। সুতরাং আমরা এমন একটি পলিমারফিজম খুঁজে পাই যা স্বৈরশাসকের থেকে দূরে থাকে, এটিকে গাওসির নমুনাগুলি খাওয়ান, এবং একটি ভাল সমাধান ফিরে পান।