এনএক্সএন পারমিউটেশন ম্যাট্রিক্সের সেট এস দেওয়া (যা এন এর সম্ভাব্য পারমিটেশন ম্যাট্রিক্সের কেবলমাত্র একটি ছোট ভগ্নাংশ), আমরা কীভাবে এস এর ন্যূনতম-আকারের উপগ্রহগুলি খুঁজে পেতে পারি যে টির ম্যাট্রিকগুলি যুক্ত করতে প্রতিটি অবস্থানে কমপক্ষে 1 থাকে?
আমি এই সমস্যাটিতে আগ্রহী যেখানে এস S_n এর একটি ছোট উপগোষ্ঠী। আমি ভাবছি যে লোভী অ্যালগরিদমের তুলনায় অনেক দ্রুত (প্রায়শই) এবং এটি 'ভাগ্যবান' না হওয়া পর্যন্ত অনেকবার চালানো সম্ভব (প্রায়শই! ছোট ক্ষেত্রে) বা অপ্রয়োজনীয়তা গ্যারান্টি দেয় কিনা তা আমি পারি না।
এই সমস্যাটি সম্পর্কে কয়েকটি সহজ তথ্য: যথাক্রমে অনুকূলিতকরণের ম্যাট্রিক্সের একটি দৈর্ঘ্যের এন চক্রীয় গ্রুপ এই সমস্যাটি সমাধান করে। (কমপক্ষে এন ম্যাট্রিক্সের প্রয়োজন কারণ প্রতিটি ক্রমান্বয়ে ম্যাট্রিক্সের এন রয়েছে এবং সেখানে এন ^ 2 রয়েছে)
আমি যে সেটগুলির মধ্যে আগ্রহী সেগুলির মধ্যে একটি এন-চক্রীয় গোষ্ঠী নেই।
এই সমস্যাটি সেট কভারের একটি খুব বিশেষ ক্ষেত্রে। প্রকৃতপক্ষে, আমরা যদি x the 2 উপাদানগুলির সাথে (1,2, ... n) * (1,2, ... n) সেট করে রাখি তবে প্রতিটি ক্রমান্বয়ে ম্যাট্রিক্স একটি আকার n উপসেটের সাথে মিলে যায় এবং আমি এক্সটি কভার করা এই সাবসেটগুলির মধ্যে ক্ষুদ্রতম উপবৃত্তের সন্ধান করছি Set সেট কভার নিজেই এই সমস্যাটি দেখার পক্ষে ভাল উপায় নয়, কারণ সাধারণ সেট কভার সমস্যার সমাপ্তি।
লোভী দৃষ্টিভঙ্গি ব্যবহার করে এই সমস্যাটি খুব বেশি ধীর না হওয়ার একমাত্র কারণ হ'ল পারমিটেশন গ্রুপের প্রতিসাম্যতা অনেক বেশি বাড়াবাড়ি দূর করতে সহায়তা করে। বিশেষত, যদি এস একটি উপগোষ্ঠী হয়, এবং টি একটি ছোট উপসেট হয় যা নূন্যতম আচ্ছাদন সেট হয়, তবে সেটগুলি এসটি (গ্রুপের কোনও উপাদান দ্বারা টি গুণিত) এখনও এস এ রয়েছে এবং এখনও একটি আচ্ছাদন সেট রয়েছে (অবশ্যই একই আকারের, তাই এখনও ন্যূনতম।) আপনি যদি ভাবছিলেন যে সফল ক্ষেত্রে n ~ 30 এবং | S | ~ 1000 রয়েছে, ভাগ্যবান লোভী ফলাফলের সাথে | টি | ~ 37। এন ~ 50 এর ক্ষেত্রে বেশ কিছু দুর্বল সীমানা পেতে খুব দীর্ঘ সময় লাগে।
সংক্ষেপে বলছি, আমি যদি ভাবছি যে এই সমস্যাটির সান্নিধ্যের পদ্ধতি আছে বা এটি এখনও কিছু সাধারণভাবে প্রচ্ছন্নতার তাত্ত্বিকের মধ্যে উপযুক্ত enough যেমন সাধারণ সেট কভার সমস্যার জন্য রয়েছে। অনুশীলনে আনুমানিক সম্পর্কিত সমস্যার জন্য কোন অ্যালগরিদম ব্যবহার করা হয়? দেখে মনে হচ্ছে যে সাবসিটগুলি একই আকারের এবং প্রতিটি উপাদান একই ছোট ফ্রিকোয়েন্সি 1 / n এ উপস্থিত হওয়ায় সম্ভবত কিছু সম্ভব হতে পারে।
-B