পিএইচপি এর সন্তোষজনক উদাহরণগুলিতে ডিপিএল-ভিত্তিক স্যাট-সলভারগুলি কতটা দক্ষ?


15

আমরা জানি যে DPLL ভিত্তিক স্যাট-solvers এর unsatisfiable দৃষ্টান্ত সঠিকভাবে উত্তর দিতে ব্যর্থ (পায়রা গর্ত নীতি), যেমন "সেখান থেকে একটি injective ম্যাপিং উপর করতে ": এন + 1 এনPHPn+1n

PHPnn+1:=(i[n+1] j[n] pi,j)(ii[n+1] j[n] (¬pi,j¬pi,j))

আমি কিভাবে তারা Satisfiable দৃষ্টান্ত পারফর্ম সম্পর্কে ফলাফলের জন্য খোঁজ করছি এ "সেখান থেকে একটি injective ম্যাপিং হয়, যেমন এন করতে এন "।PHPnএন

তারা কি এই জাতীয় উদাহরণগুলিতে দ্রুত একটি সন্তোষজনক দায়িত্ব খুঁজে পায়?


1
"সঠিকভাবে উত্তর দিতে ব্যর্থ হয়ে" আপনার অর্থ কি "এন এর পর্যাপ্ত পরিমাণে বড় সংস্থান রয়েছে?"
বিজয় ডি

@ কাভেঃ আপনি কি একই ধারাটিতে পুনরায় পুনরাবৃত্তি এবং / অথবা ভেরিয়েবলগুলির পুনরাবৃত্তি করার অনুমতি দিচ্ছেন? ধন্যবাদ
তাইফুন পে

@ বিজয়ডি, আমি বলতে চাইছি অ্যালগরিদম বড় পরিমাণে জন্য বহুবর্ষের সময় সঠিক উত্তর দেয় না । আমি প্রত্যাশা করছি যে কেউ প্রমাণ করতে পারে যে কোনও ডিপিএল-ভিত্তিক অ্যালগরিদম এই পরিবারে বহুবর্ষে কাজ করবে। এন
কাভেঃ

@ জিক্সটার, আপনার অর্থ কী তা আমি নিশ্চিত নই। আমার সূত্রগুলির একটি নির্দিষ্ট পরিবার আছে। আপনি কি জিজ্ঞাসা করছেন যে সূত্রটিতে পুনরাবৃত্তি আছে?
কাভেঃ

উত্তর:


14

এর সন্তোষজনক দৃষ্টান্তে , ডিপিএল-ভিত্তিক স্যাট সলভাররা লিনিয়ার সময়ে একটি সন্তোষজনক কার্যভার সরবরাহ করবে।পিএইচপি

কেন দেখতে, দেখ, কিভাবে CNF একজন unsatisfiable ইনস্ট্যান্সের এনকোডিং দিয়ে এন গর্ত এবং এন + + 1 পায়রা sintactically একটি দৃষ্টান্ত অভিন্ন = গ্রাফ রঙ, যেখানে ইনপুট গ্রাফ একটি উপদল হয় এন + + 1 ছেদচিহ্ন ।পিএইচপিএনএন+ +1=এনএন+ +1

একইভাবে, CNF একটি Satisfiable ইনস্ট্যান্সের এনকোডিং দিয়ে এন গর্ত এবং এন পায়রা sintactically একটি দৃষ্টান্ত অভিন্ন = গ্রাফ রঙ, যেখানে ইনপুট গ্রাফ একটি উপদল হয় এন ছেদচিহ্ন।পিএইচপিএনএন=এনএন

এখন, এন বর্ণের সাথে একটি ক্লিকে রঙ করা সহজবোধ্য: শিখুনটি স্ক্যান করুন এবং তাদের প্রত্যেককে একটি করে রঙ নির্ধারণ করুন (ইতিমধ্যে নির্ধারিত রংগুলি ইউনিট প্রচারের মাধ্যমে গ্রাফের চক্র-নেস দ্বারা স্বয়ংক্রিয়ভাবে বাতিল হয়ে যায় ) । বাকী যে কোনও রঙ আপনি চয়ন করুন না কেন, এটি ভাল হবে এবং একটি সন্তোষজনক কার্যভারের দিকে নিয়ে যাবে।এনএন

দেখুন DPLL সমাধানকারী বিন্দু থেকে: প্রতিবার এটি একটি পরিবর্তনশীল এর বুলিয়ান মান অনুমান করতে চেষ্টা করবে , এই ধরনের মান সঠিক হতে পারে হবে (যাই হোক না কেন), কারণ সেখানে অবশ্যই একটি পরিতৃপ্ত নিয়োগ যা পরিবর্তনশীল হবে বনাম আমি হয়েছে অনুমান করা মান ইউনিট প্রচারটি বাকী কাজটি করবে, সন্তুষ্টিজনক পথ ধরে সলভারকে গাইড করে (অন্য কথায়: এটি ভুল মানগুলি অনুমান করতে বাধা দিয়ে)।বনামআমিবনামআমি

অনুসন্ধানটি তারপরে একের পর এক পরিবর্তনশীল, লাইন দিয়ে প্রতিটি সময় সঠিক অনুমান করা যায়।


ধন্যবাদ, আমি এটাই প্রত্যাশা করছিলাম যাইহোক, আপনি কি এমন একটি রেফারেন্স জানেন যা এতে উল্লেখ করে (যেমন "ডিপিএলএল অ্যালগরিদম লিনিয়ার সময়ে পিএইচপি / জিসির সন্তোষজনক উদাহরণগুলি সমাধান করে")?
কাভেঃ

1
আপনি স্বাগত জানাই। এটি উল্লেখ করে এমন কোনও রেফারেন্স আমি জানি না, আমি একে একে কিছু কাঁচা যুক্তির মাধ্যমে সন্ধান করেছি। এটির উপর আনুষ্ঠানিকভাবে প্রমাণ করা কঠিন হবে না, প্রতিটি স্যাট সলভার পরবর্তী পরিবর্তনশীল বাছাই করতে এবং তার বুলিয়ান মানটি অনুমান করার ক্ষেত্রে উভয়ই কিছু যুক্তিসঙ্গত হিউরিস্টিক ব্যবহার করে। প্রকৃতপক্ষে এটি অবশ্যই লক্ষ্য করা উচিত যে এখানে কমপক্ষে একটি অযৌক্তিক হিউরিস্টিক উপস্থিত রয়েছে যা আমাদের রৈখিক সময়ে কোনও সমাধানে পৌঁছাতে বাধা দেয় (যেমন অযৌক্তিক হিউরিস্টিক সম্ভব না হওয়া পর্যন্ত প্রতিটি পরিবর্তনশীলকে মিথ্যা হিসাবে সেট করা হবে)। একটি যুক্তিসঙ্গত heuristic সঙ্গে, লিনিয়ার সময় নিশ্চিত করা হয়।
জর্জিও ক্যামেরানি

আমি রাজী. আমি আশা করছি যে কেউ এটি অন্য কোথাও বলেছিল যাতে আমি যখন প্রয়োজন তখন উদ্ধৃত করতে পারি। আমি আরও কয়েক দিন অপেক্ষা করতে চাই এবং যদি কেউ রেফারেন্স না দেয় তবে আমি এই উত্তরটি গ্রহণ করব। আবার ধন্যবাদ. :)
কাভেঃ

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