3 এসএটি-সন্তুষ্টিযোগ্যতার ট্র্যাকটেবলের শর্ত


12

আমি যে বিষয়টি বিশেষভাবে ভাবছি তা হ'ল যদি এই ধরণের সমস্যাগুলি ট্র্যাকটেবলের গ্যারান্টিযুক্ত কোনও 3SAT সূত্রকে সন্তুষ্ট করে এমন অ্যাসাইনমেন্টের শতাংশের বিষয়ে আকর্ষণীয় শর্ত থাকে।

উদাহরণস্বরূপ 3SAT সমস্যা বর্গ ধরুন এর 2 এন সম্ভব বরাদ্দকরণ বুলিয়ান সূত্র সন্তুষ্ট; আমরা কি দক্ষতার সাথে একটি সন্তোষজনক দায়িত্ব খুঁজে পেতে পারি? কি জন্য ε পি ফলে সমস্যা?ϵ(n)2n2nϵ

নোট সম্পাদনা: প্রতিস্থাপিত সঙ্গে ε ( এন ) বিভ্রান্তির পরিষ্কার করতে।ϵϵ(n)


4
একটি সরল পর্যবেক্ষণ: যদি সবচেয়ে বিপরীত এ polynomially ছোট হয়, তাহলে অবিশেষে স্যাম্পলিং 1 / ε বার প্রত্যাশিত বহুপদী সময় একটি সমাধান উত্পাদ হবে। সুতরাং যদি ϵ 1 এবং 1 / পলি (এন) এর মধ্যে হয় তবে এই সমস্যাটি সহজ (এটি জেডপিতে রয়েছে)। ϵ1/ϵϵ
রবিন কোঠারি

1
একইভাবে, যদি 1 / eps কোয়াশিপলিনোমিয়াল হয়, তবে আপনার একটি এলোমেলোভাবে কোসিপোলি সময় অ্যালগরিদম রয়েছে, যা নিজেই অবাক হবে
সুরেশ ভেঙ্কট

উত্তর:


12

0<ϵ<11/polylog(n)ϵ2n

অ্যালগরিদমগুলি কঠিন নয়:

SS

ϵ

SSS

2SAT এর অ্যালগরিদমটি আমি ইতিমধ্যে এস কুক বিখ্যাত 1971 এর গবেষণাপত্রে মনে করি।

3 সিএনএফ-এর জন্য অ্যালগরিদমটি হ'ল: এল ট্রেভিসান প্রোক -এ কে-ডিএনএফ-এর জন্য নির্ণায়ক সম্পর্কিত আনুমানিক গণনা সম্পর্কিত একটি নোট । অ্যাপ্রোক্স-র্যান্ডোমের, স্প্রিংগার-ভার্লাগ, পৃষ্ঠা 417-426, 2004

3 সিএনএফ-এর ফলাফল দেখানোর মূল কাগজটি হ'ল: ই.হির্চ, এমন অনেক সূত্রের জন্য একটি দ্রুত নির্ধারক অ্যালগরিদম যা অনেক সন্তোষজনক দায়িত্ব রয়েছে , আইজিপিএল জার্নাল, 6 (1): 59-71, 1998


ϵ

1
ϵ=1/polylog(n)

আপনি কীভাবে এস নির্মাণ করবেন?
রাদু গ্রিগোর

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