স্যাট সমাধানকারীদের মধ্যে কেন বিরাট পার্থক্য রয়েছে?


25

বীজগণিত সংক্রান্ত আক্রমণে স্যাট সলভারগুলি খুব গুরুত্বপূর্ণ , উদাহরণস্বরূপ ওয়াকস্যাট এবং মিনিস্যাট

যাইহোক, এখানে উপলভ্য মাপদণ্ডের সমস্যাগুলি সমাধান করার সময় দুজনের মধ্যে প্রচুর পারফরম্যান্সের পার্থক্য রয়েছে - এই সমস্যাগুলির জন্য মিনিসেটের চেয়ে ওয়ালকস্যাট অনেক দ্রুত। কেন?

ওয়াকস্যাটের এই বাস্তবায়নে কিছু পারফরম্যান্সের উন্নতি হয়েছে বলে মনে হয় - আন্তর্জাতিক স্যাট প্রতিযোগিতায় এটি অন্তর্ভুক্ত না হওয়ার কোনও কারণ আছে কি?


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

সংক্ষিপ্ত দ্রষ্টব্য: মিনিস্যাট বেশ পুরানো, রক্ষণাবেক্ষণ মনে হয় না এবং প্রতিযোগিতায় অংশ নেননি। এছাড়াও, "বিরাট" বলতে কী বোঝায় এবং আপনি কোন ট্র্যাকটিকে (এলোমেলো / নৈপুণ্য / প্রয়োগ) উল্লেখ করছেন?
রাডু গ্রিগোর

5
@ রাদু: মিনিসাট ২.২.০ জুলাই ২০১০ সালে প্রকাশিত হয়েছিল। আমি বলব না এটি রক্ষণাবেক্ষণ করা হয়নি। এছাড়াও, কোডটি বেশ স্থিতিশীল এবং পরিষ্কার, সুতরাং খুব কম আপডেটগুলি কোনও সমস্যা নাও হতে পারে। আমি একমত যে যদিও নতুন সমাধানকারীরা আরও ভালভাবে শিল্পের প্রতিফলন ঘটায়।
বিজয় ডি

1
ক্রিপ্টো.এসই থেকে ক্রস পোস্ট পোস্ট করা হয়েছে । Crypto.stackexchange.com/questions/153/…
এম আলাগান

উত্তর:


33

হ্যাঁ, মিনিস্যাট এবং ওয়াকস্যাটের মধ্যে একটি বড় পার্থক্য রয়েছে। প্রথমত, স্পষ্ট করে বলি - MiniSAT হ'ল ডিপিএল / সিডিসিএল অ্যালগরিদমগুলির জেনেরিক শ্রেণির একটি নির্দিষ্ট প্রয়োগ যা ব্যাকট্র্যাকিং এবং ক্লজ লার্নিং ব্যবহার করে, অন্যদিকে ওয়াকস্যাট এমন একটি অ্যালগরিদমের সাধারণ নাম যা লোভী পদক্ষেপ এবং এলোমেলো পদক্ষেপের মধ্যে পরিবর্তিত হয়।

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

আপনার দাবির সাথে আমি প্রচুর ইস্যুটি নিয়েছি যে সেই পৃষ্ঠায় থাকা দৃষ্টান্তগুলিতে মিনিস্যাটের চেয়ে ওয়াকস্যাটটি আরও দ্রুত is একটি জিনিস হিসাবে, সেখানে স্যাট উদাহরণগুলির গিগাবাইট রয়েছে - আপনি তাদের তুলনা করার জন্য কতজন চেষ্টা করেছিলেন? ওয়াকস্যাট বেশিরভাগ কাঠামোগত দৃষ্টান্তের ক্ষেত্রে মোটেই প্রতিযোগিতামূলক নয়, এ কারণেই এটি প্রায়শ প্রতিযোগিতায় দেখা যায় না।

একদিকে নোট - বিজয় ঠিক বলেছেন যে মিনিস্যাটটি এখনও প্রাসঙ্গিক। আসলে, কারণ এটি ওপেন সোর্স এবং ভালো করে লেখা আছে, MiniSAT হয় সমাধানকারী অর্ডার একটি প্রদত্ত অপ্টিমাইজেশান প্রতিশ্রুতি আছে যা প্রদর্শন করার জন্য বীট। অনেকে তাদের অপ্টিমাইজেশন প্রদর্শন করতে মিনিস্যাটকে নিজেই টুইট করেন - সাম্প্রতিক স্যাট প্রতিযোগিতায় "মিনিস্যাট হ্যাক" বিভাগটি দেখুন।


17

একজনএক্সওয়াইবিওয়াইএক্স

এই বিষয়ে পড়ার জন্য একটি ভাল কাগজ হ'ল এটি নুডেলম্যান এট আল-র একটি । কাগজের পুরো বিষয়টি হ'ল স্যাট উদাহরণগুলির সহজে-গণনা বৈশিষ্ট্যগুলি নির্ধারণ করা যা আপনাকে বলতে পারে কোনটি অ্যালগরিদমগুলি ভাল সম্পাদন করতে পারে এবং কোনটি নয়। এই কৌশলটি ব্যবহার করে পোর্টফোলিও-ভিত্তিক অ্যালগরিদম তৈরি করা সম্ভব যা কোনও সমস্যার উদাহরণটি দ্রুত বিশ্লেষণ করবে, তারপরে সর্বাধিক উপযুক্ত অ্যালগরিদম দিয়ে উদাহরণটি সমাধান করুন। কাগজগুলির একটি অগ্রগতি রয়েছে যা এর পরে অনুসরণ করে; গুগলিং স্যাটজিলা প্রচুর পড়ার উপাদান তৈরি করবে।

একজনবি

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