এনপি-গ্রাফ পার্টিশনের সমস্যা?


16

আমি এই সমস্যায় আগ্রহী: একটি অনির্দেশিত গ্রাফ , গ্রাফ জি 1 ( 1 , ভি 1 ) এবং জি 2 ( 2 , ভি 2 ) এর মধ্যে জি এর কোনও বিভাজন রয়েছে যেমন জি 1 এবং জি 2 isomorphic?G(E,V)GG1(E1,V1)G2(E2,V2)G1G2

এখানে দুটি বিভাজন সেট E 1 এবং E 2 তে বিভক্ত । ভি 1 এবং ভি 2 সেটগুলি অবশ্যই ছিন্ন করা উচিত নয়। E 1 E 2 = E এবং V 1 V 2EE1E2V1V2E1E2=EV1V2=V

এই সমস্যাটি গ্রাফ আইসোমরফিজম সমস্যা হিসাবে কমপক্ষে শক্ত। আমার ধারণা এটি গ্রাফ আইসোমর্ফিজমের চেয়ে শক্ত তবে এনপি-হার্ড নয়।

এই বিভাজন সমস্যা -হার্ড?NP

সম্পাদনা 3-3-2012: পোস্ট MathOverflow

সম্পাদনা 3-5-2012: এটি দেখা যাচ্ছে যে ডিয়েগোর উত্তরের উল্লেখটি অপ্রকাশিত ফলাফলগুলির মধ্যে একটি। কিছু খনন করার পরে, আমি এটির এনপি-কমপ্লেনেসেস কলামে: ডেভিড জনসনের একটি চলমান গাইড (পৃষ্ঠা 8) এ এর ​​একটি উল্লেখ পেয়েছি। গ্রাহাম এবং রবিনসনের এনপি-সম্পূর্ণতার ফলাফলটি অপ্রকাশিত হিসাবে উদ্ধৃত করে আমি অন্যান্য কাগজপত্র পেয়েছি।


1
আমার মনে হয় আপনি গড় এবং ভী 1ভী 2 = ভী , অন্যথায় এটা কেবলমাত্র সমাধেয় এর পি এবং আমি এই উল্লেখ কারণ তাহলে ভী 1 এবং ভি 2 টুকরো করা হয়, ইউনিয়ন সাধারণ ক্ষেত্রে সত্য নাও হতে পারে ( প্রান্ত জন্য)। E1E2=EV1V2=VPV1V2
Saeed

@ সাeedদ, জিআই, যা পি তে নেই বলে জানা যায়, এই সমস্যাটি হ্রাসযোগ্য।
মোহাম্মদ আল তুর্কিস্তানি

1
প্রতিসাম্য বিরতি-সংরক্ষণের খেলার সাথে সম্পর্কিত বলে মনে হচ্ছে (হারেরির কাগজপত্রগুলি দেখুন: "গ্রাফ এড়য়েডেন্স গেমসে একটি প্রতিসম কৌশল", "গ্রাফগুলিতে প্রতিসাম্য বিরতি-সংরক্ষণের গেমগুলির দৈর্ঘ্য") ... উভয়ই আমার স্তর থেকে "খুব দূরে" দক্ষতা :-(
মারজিও ডি বায়াসি

1
আমি মনে করি আপনি ধরে নিতে পারেন । V1=V2=V
দিয়েগো ডি এস্ট্রাদ

1
যদি তবে একটি ডাব্লু ভি 2 - ভি 1 রয়েছে | ভি 1 | = | ভি 2 | । আপনি যোগ করতে পারেন বনাম করার ভী 2 এবং W থেকে ভী 1 এবং তাদের isomorphism দিকে মানচিত্র, যেহেতু তারা subgraphs মধ্যে বিচ্ছিন্ন হয়। vV1V2wV2V1|V1|=|V2|vV2wV1
দিয়েগো ডি এস্ট্রাদ

উত্তর:


7

আমি দেখতে পেয়েছি যে এই সমস্যাটি এনপি-হার্ড, এমনকি গাছগুলিতে সীমাবদ্ধ। গ্রাহাম এবং রবিনসন উল্লেখ, "আইসোমর্ফিক ফ্যাক্টরীকরণ IX: এমনকি গাছ", কিন্তু আমি এটি পেলাম না।

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