জেড 3 বা বুলেক্টারের মতো এসএমটি সলভার সমস্যা সমাধানের জন্য হিউরিস্টিক্সের একটি জটিল সেট ব্যবহার করে। তবে এটি প্রদত্ত সমস্যার জন্য এমন কোনও সমাধানকারীর কার্যকারিতাটি খুব শক্তভাবে ভবিষ্যদ্বাণী করে। আমার প্রশ্নটি হ'ল:
প্রশ্ন
কোয়ান্টিফায়ার-মুক্ত বিটভেেক্টর (কিউএফবিভি) তত্ত্বের কোনও নির্দিষ্টটির জন্য কোনও এসএমটি সলভারের কার্যকারিতাটি বোঝার বা অন্তর্দৃষ্টি পাওয়ার কোনও উপায় আছে কি?
এর মধ্যে এমন কোনও ভিজ্যুয়ালাইজেশন সরঞ্জাম অন্তর্ভুক্ত রয়েছে যা সলভার "আটকে আছে" / কোথায় অগ্রগতি করে না তা বুঝতে সহায়তা করবে।
অ্যাপ্লিকেশন
আগে থেকেই বুঝতে হবে যে একই সমস্যার বিভিন্ন এনকোডিংগুলি কীভাবে সলভার পারফরম্যান্সকে প্রভাবিত করে (এখানে শিল্পের অবস্থা "কিছুটা আলাদা এনকোডিং চেষ্টা না করে আশা করি যে এটি যথেষ্ট দ্রুত যথেষ্ট"), তাই না?)
সময়সীমাবদ্ধতার কারণে যদি কোনও প্রদত্ত সমস্যা কোনও এসএমটি সলভার দ্বারা সমাধানযোগ্য না হয় তবে সমস্যাটিকে অন্যভাবে প্রকাশ করার জন্য কোনও উপায় সন্ধান করুন যাতে এটি সমাধান করা যায়।
ডোমেন-নির্দিষ্ট সমস্যার সরলকরণগুলিতে সময় নষ্ট করা থেকে বিরত থাকুন যা মোটেও সলভার পারফরম্যান্সকে প্রভাবিত করবে না এমনকি এমনকি সলভার কর্মক্ষমতাকে নেতিবাচকভাবে প্রভাবিত করবে না।
বিদ্যমান গবেষণা
আমি এই বিষয় নিয়ে গবেষণা করার চেষ্টা করেছি, তবে আমি খুব বেশি কিছু খুঁজে পাইনি। স্যাট / এসএমটি সলভারগুলির ক্ষেত্রে আমার এখনও খুব বেশি অভিজ্ঞতা নেই, তাই আমি যদি কিছু মিস করি তবে দুঃখিত।
স্যাটজিলা : মেশিন-লার্নিং কৌশলগুলি ব্যবহার করে সমস্যা থেকে প্রাপ্ত বৈশিষ্ট্যগুলির ভিত্তিতে সেরা পারফরম্যান্স সলভারের পূর্বাভাস।
এটি কেবল এসএমটির পরিবর্তে স্যাট প্রয়োগ করে এবং সলভার পারফরম্যান্সের কারণ ব্যাখ্যা করে না।
জেড 3 এক্সিয়ম প্রোফাইলার জেড 3 ইনস্ট্যান্টেশন গ্রাফ এবং মেলানো লুপগুলির বিশ্লেষণের একটি ভিজ্যুয়ালাইজেশন
দেখে মনে হচ্ছে এটি কেবল পরিমাণযুক্ত তত্ত্বগুলিতে ফোকাস করে।