মনে করুন আমাদের কাছে গ্রাফের একটি সেট এস (সীমাবদ্ধ গ্রাফ, তবে সেগুলির একটি অসীম সংখ্যা) এবং এসের উপর কাজ করে এমন এক অনুক্রমের গ্রুপ পি P
দৃষ্টান্ত: পি তে একটি ক্রমবর্ধমান পি।
প্রশ্ন: এস-তে কোনও গ্রাফ আছে যা অটোমরফিজম পি স্বীকার করে?
এই সমস্যাটি কি কিছু সেট এস-এর জন্য এনপি-সম্পূর্ণ?
এটি সহজেই পরীক্ষা করা যায় যে কোনও গ্রাফ ক্রমশক্তি পি (যেমন শংসাপত্র) স্বীকার করে। তবুও, এস এর উদাহরণগুলি খুঁজে পাওয়া সহজ যেখানে সমস্যাটি এনপি-সম্পূর্ণ নয়, যেমন এস সম্পূর্ণ গ্রাফের সেট, যেখানে উত্তর সর্বদা হ্যাঁ।
দ্রষ্টব্য: তারা আসলে কী ধরণের গ্রাফ হয় সে বিষয়ে আমি সত্যিই আগ্রহী নই; আপনি যদি পছন্দ করেন তবে এগুলি অ-সরল, নির্দেশিত, রঙিন ইত্যাদি হতে পারে
সংযোজন: আমি বর্তমানে যে সমস্যাটি দেখছি তা হ'ল শ্রেণীবদ্ধকরণ যা আইসোটোপিজমগুলি লাতিন স্কোয়ারগুলির অটোপোমিজম (যা একটি বিশেষ ধরণের গ্রাফ অটোমোর্ফিজম হিসাবেও ব্যাখ্যা করা যেতে পারে)।
একটি লাতিন বর্গক্ষেত্র দেওয়া (i, j) নীচে আমরা একটি গ্রাফ তৈরি করতে পারি:
- শীর্ষস্থানীয় সেটটি ম্যাট্রিক্সে কোষের সেট (i, j) এবং
- স্বতন্ত্র (আই, জে) এবং (আই ', জ') এর মধ্যে একটি প্রান্ত থাকে যখনই আমি = আমি 'বা জে = জ' বা এল (আই, জে) = এল (আই ', জ')।
এই জাতীয় গ্রাফটিকে লাতিন বর্গক্ষেত্র গ্রাফ বলা হয় (উদাহরণস্বরূপ বেইলি এবং ক্যামেরনের এই নিবন্ধটি দেখুন http://designtheory.org/library/encyc/topics/lsee.pdf )। আমরা লাতিন বর্গ গ্রাফের একটি অটোপোরিজম হিসাবে লাতিন বর্গের একটি অটোপোটিজমকে ব্যাখ্যা করতে পারি। সুতরাং এস ল্যাটিন বর্গক্ষেত্রের গ্রাফগুলির সেট হয়ে যান ল্যাটিনের অর্ডার n এর স্কোয়ার থেকে তৈরি। সুতরাং আমি যে প্রশ্নটিতে আগ্রহী তা হ'ল:
একটি ক্রমাঙ্কন পি দেওয়া, পি এস এর গ্রাফগুলির একটি (বা আরও) এর একটি স্বশাসন?
আমার অনুভূতিটি হ'ল সাধারণভাবে উত্তর দেওয়া একটি কঠিন প্রশ্ন - আমি বর্তমানে এই বিষয়ে 30+ পৃষ্ঠার একটি পেপার লিখছি (2 সহ-লেখক সহ)। প্রকৃতপক্ষে বেশিরভাগ সময় এটি সহজ (বেশিরভাগ সময় এটি "না"), তবে কিছু কঠিন মামলা রয়েছে।
সুতরাং আমি সিদ্ধান্তগুলির সমস্যাগুলি খুঁজে পেতে আগ্রহী যা "প্রতিসম শ্রেণিবিন্যাস" সম্পর্কিত। তাদের আসলে লাতিন স্কোয়ারের সাথে সম্পর্কিত হওয়ার দরকার নেই, আমি কেবল লাতিন স্কোয়ারগুলির প্রশ্নের উত্তর দেওয়ার জন্য এই কৌশলগুলি ব্যবহার করার আশা করছি।