কিউএফবিভি এসএমটি সলভারগুলির কার্যকারিতা বোঝা


9

জেড 3 বা বুলেক্টারের মতো এসএমটি সলভার সমস্যা সমাধানের জন্য হিউরিস্টিক্সের একটি জটিল সেট ব্যবহার করে। তবে এটি প্রদত্ত সমস্যার জন্য এমন কোনও সমাধানকারীর কার্যকারিতাটি খুব শক্তভাবে ভবিষ্যদ্বাণী করে। আমার প্রশ্নটি হ'ল:

প্রশ্ন

কোয়ান্টিফায়ার-মুক্ত বিটভেেক্টর (কিউএফবিভি) তত্ত্বের কোনও নির্দিষ্টটির জন্য কোনও এসএমটি সলভারের কার্যকারিতাটি বোঝার বা অন্তর্দৃষ্টি পাওয়ার কোনও উপায় আছে কি?

এর মধ্যে এমন কোনও ভিজ্যুয়ালাইজেশন সরঞ্জাম অন্তর্ভুক্ত রয়েছে যা সলভার "আটকে আছে" / কোথায় অগ্রগতি করে না তা বুঝতে সহায়তা করবে।

অ্যাপ্লিকেশন

  • আগে থেকেই বুঝতে হবে যে একই সমস্যার বিভিন্ন এনকোডিংগুলি কীভাবে সলভার পারফরম্যান্সকে প্রভাবিত করে (এখানে শিল্পের অবস্থা "কিছুটা আলাদা এনকোডিং চেষ্টা না করে আশা করি যে এটি যথেষ্ট দ্রুত যথেষ্ট"), তাই না?)

  • সময়সীমাবদ্ধতার কারণে যদি কোনও প্রদত্ত সমস্যা কোনও এসএমটি সলভার দ্বারা সমাধানযোগ্য না হয় তবে সমস্যাটিকে অন্যভাবে প্রকাশ করার জন্য কোনও উপায় সন্ধান করুন যাতে এটি সমাধান করা যায়।

  • ডোমেন-নির্দিষ্ট সমস্যার সরলকরণগুলিতে সময় নষ্ট করা থেকে বিরত থাকুন যা মোটেও সলভার পারফরম্যান্সকে প্রভাবিত করবে না এমনকি এমনকি সলভার কর্মক্ষমতাকে নেতিবাচকভাবে প্রভাবিত করবে না।

বিদ্যমান গবেষণা

আমি এই বিষয় নিয়ে গবেষণা করার চেষ্টা করেছি, তবে আমি খুব বেশি কিছু খুঁজে পাইনি। স্যাট / এসএমটি সলভারগুলির ক্ষেত্রে আমার এখনও খুব বেশি অভিজ্ঞতা নেই, তাই আমি যদি কিছু মিস করি তবে দুঃখিত।

  • স্যাটজিলা : মেশিন-লার্নিং কৌশলগুলি ব্যবহার করে সমস্যা থেকে প্রাপ্ত বৈশিষ্ট্যগুলির ভিত্তিতে সেরা পারফরম্যান্স সলভারের পূর্বাভাস।

    এটি কেবল এসএমটির পরিবর্তে স্যাট প্রয়োগ করে এবং সলভার পারফরম্যান্সের কারণ ব্যাখ্যা করে না।

  • জেড 3 এক্সিয়ম প্রোফাইলার জেড 3 ইনস্ট্যান্টেশন গ্রাফ এবং মেলানো লুপগুলির বিশ্লেষণের একটি ভিজ্যুয়ালাইজেশন

    দেখে মনে হচ্ছে এটি কেবল পরিমাণযুক্ত তত্ত্বগুলিতে ফোকাস করে।

উত্তর:


3

সংক্ষিপ্ত উত্তরটি হ'ল না, আমরা এটি বুঝতে পারি না। দীর্ঘ উত্তর হ্যাঁ, আমাদের কিছু সীমা রয়েছে, কিন্তু এই সীমাগুলি খুব সহায়ক নয়। এটি বেশ পরিষ্কার যে সবচেয়ে খারাপ সময় চলমান সময় ব্যয় হয়। এটি খুব সহায়ক নয়, কারণ আমরা জানি যে কিছু / অনেক ব্যবহারিক পরিস্থিতিতে এটি মোটামুটি দ্রুত চালিত হয় - এবং কেন এটি সত্য তা আমরা জানি না।

আমরা জানি না কেন স্যাট সমাধানকারীদের পক্ষে এটি সত্য, কিউএফবিভির জন্য একা থাকুন। কেনএফবিভি সলভাররা প্রায়শই দ্রুত হয় তা বোঝার জন্য কেন স্যাট সলভারগুলি প্রায়শই দ্রুত হয় তা বোঝার পক্ষে কমপক্ষে কঠোর মনে হয় যা ইতিমধ্যে আমাদের বর্তমান উপলব্ধির স্তরের বাইরে। আপনি যদি এই সাইটে আরও অনুসন্ধান করেন তবে আপনি পরবর্তী বিষয়গুলি বোঝার জন্য বর্তমান প্রচেষ্টার সংক্ষিপ্তসার পেতে পারেন।


আপনার উত্তরের জন্য ধন্যবাদ! আমি ইতিমধ্যে ছিল যদিও এটি হতে পারে। আপনি কি জানেন যে এমন কোনও গবেষণা রয়েছে যা সাধারণ নিয়মগুলি সন্ধান করার চেষ্টা করে না, তবে পরিবর্তে কোনও স্যাট / স্মার্ট দ্রাবকটির ধীর পারফরম্যান্সের কারণটি কল্পনা করুন (বা অন্য কোনও উপায়ে ব্যবহারকারীকে সমস্যার কোন অংশটি দিচ্ছে এবং এসএমটি বুঝতে সাহায্য করুন) সমাধানকারী কঠিন)
bennofs
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.