স্যাট সলভার ব্যবহার সম্পর্কিত রূপান্তর জরিপ


13

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

এরকম কোনও জরিপটি কি আমার অস্তিত্বের কারণে তা বন্ধ করে দিয়েছে বা আমি সবেমাত্র মিস করেছি বলে?


"স্যাট এর রূপগুলি" বলতে আপনার অর্থ কী?
জর্জিও ক্যামেরানি

@ ওয়াল্টার: দুঃখিত, যদি এটি সঠিক শব্দ না হয় তবে আমার অর্থ এস্যাট, প্ল্যানার-স্যাট, এনএই-স্যাট ইত্যাদি ছিল ... তবে আমার সম্ভবত দুটি শব্দ বন্ধনীর মধ্যে আবদ্ধ করা উচিত, যেহেতু আমি না স্যাট সলভার ব্যবহার করার সময় তা বিবেচনা করে কিনা know k
অ্যান্টনি ল্যাবারে

4
চিন্তা করবেন না, এটি সঠিক শব্দ, আমার এটি বোঝা উচিত ছিল। নিখুঁত ব্যবহারিক দৃষ্টিকোণ থেকে তবে আমি মনে করি না যে এটি গুরুত্বপূর্ণ (আপনার এনকোডিংটি কী পার্সামোনীয় তা সবচেয়ে গুরুত্বপূর্ণ)। আপনি যে অপটিমাইজেশন সমস্যার সমাধান করতে চাইছেন সে সম্পর্কে আপনি আরও কিছু বিশদ সরবরাহ করতে পারেন? আমি স্যাটের ব্যবহারিক প্রয়োগগুলিতে এবং স্যাট সমাধানের ইঞ্জিনিয়ারিংয়ের দিকগুলিতে খুব আগ্রহী।
জর্জিও ক্যামেরানী

এটি কিছুটা বিভ্রান্তিকর মনে হচ্ছে আপনি একটি অপ্টিমাইজেশন প্রোব সম্পর্কে কথা বলছেন তবে একই সাথে স্যাট সম্পর্কে। সাধারণত অনুকূলতার জন্য আপনার আরও শক্তিশালী কিছু প্রয়োজন, যেমন ম্যাক্স-স্যাট। হয়তো আপনি তা স্পষ্ট করতে পারে।
মিকোলাস

এই প্রশ্নটি কিছুটা সম্পর্কিত হতে পারে: cstheory.stackexchange.com/q/4314/4506
মিকোলাস

উত্তর:


9

নিশ্চিত না যে আপনি এটি যা খুঁজছেন তা কিন্তু এখানে একটি: জেএম সিলভা, বুলিয়ান সন্তুষ্টিযোগ্যতার ব্যবহারিক প্রয়োগ


2
আমি আপনার লিঙ্কের মাধ্যমে এটি অ্যাক্সেস করতে পারিনি, এখানে অন্য একটি । প্রথম নজরে, কাগজটি বেশ আকর্ষণীয় বলে মনে হচ্ছে তবে আমি যা খুঁজছি তার চেয়ে বেশি অ্যাপ্লিকেশনগুলিতে মনোনিবেশ করা।
অ্যান্টনি ল্যাবারে

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

8

সন্তুষ্টিযোগ্যতার হ্যান্ডবুকের দ্বিতীয় অধ্যায়টি সেই রূপান্তরগুলি ডিজাইন করার সময় বিবেচনার দিকগুলি বিবেচনা করে এবং সেই সাথে আমার প্রশ্নের জবাব দেয় এমন রেফারেন্সের একটি তালিকা। এটি আমাকে এই কয়েকটি রূপান্তরের সাথে নিজেকে পরিচিত করার জন্য কয়েকটি দৃষ্টিভঙ্গি খুঁজে পেতে সহায়তা করেছে:

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