নখ এবং পথগুলিতে কিউবিক গ্রাফ প্রান্তে বিভক্ত করা


12

আবার একটি প্রান্ত-বিভাজন সমস্যা যার জটিলতা সম্পর্কে আমি আগ্রহী, আমার একটি পূর্ববর্তী প্রশ্ন দ্বারা প্রেরণা ।


ইনপুট: একটি ঘন গ্রাফ G=(V,E)

প্রশ্ন: সেখানে একটি পার্টিশন মধ্যে 1 , 2 , ... , গুলি , যেমন যে subgraph প্রতিটি দ্বারা প্রবর্তিত আমি হয় একটি নখর (অর্থাত কে 1 , 3 , প্রায়শই একটি তারকা বলা হয়) বা 3 -path (অর্থাত্ পি 4 )?EE1,E2,,EsEiK1,33P4


আমি মনে করি যে আমি একদিন একটি কাগজ দেখেছি যেখানে এই সমস্যাটি এনপি-সম্পূর্ণ হিসাবে প্রমাণিত হয়েছিল, তবে আমি এটি আর খুঁজে পাচ্ছি না, এবং ফলাফলটি কিউবিক গ্রাফগুলিতে প্রয়োগ হয়েছিল কিনা তা আমার মনে নেই। সম্পর্কিত বিষয়ে, আমি অবগত যে একটি দ্বিপক্ষীয় গ্রাফকে নখর মধ্যে ভাগ করে নেওয়া এনপি-সম্পূর্ণ ( ডায়ার এবং ফ্রেইজ দেখুন )। আমি বর্ণিত সমস্যা, বা সম্পর্কিত কিছু (যেমন অন্য গ্রাফের ক্লাসে একই সমস্যা, যার পরে আমি কিউবিক গ্রাফগুলি হ্রাস করার চেষ্টা করতে পারি) এর জন্য কারও কাছে কি রেফারেন্স রয়েছে?


2
এই আপনাকে সাহায্য করতে পারেন: মধ্যে এজ দেশভাগের এবং কে 1 , 3 হয় এন পি -Complete। K3K1,3NP
মোহাম্মদ আল তুর্কিস্তানি

তুরস্কিস্তানি, আপনি কি আপনার মন্তব্যে এর জন্য একটি রেফারেন্স যুক্ত করতে পারেন?
অ্যান্টনি ল্যাবারে

1
অ্যান্টনি, এখানে লিঙ্কটি দেওয়া হয়েছে ( andrew.cmu.edu/user/j blocki / K- অজ্ঞাতনামা.পিডিএফ )
মোহাম্মদ আল-তুর্কিস্তানি

হ্যাঁ সঠিক. এটাই আমার মনে হয়েছে সেই কাগজটি, যা আমি ভুলভাবে আমার সমস্যাটির সমাধান করেছি। ঠিক আছে, মনে করিয়ে দেওয়ার জন্য যাইহোক ধন্যবাদ, সম্ভবত আমি এটি দিয়ে সত্যিই কিছু করতে পারি ...
অ্যান্টনি ল্যাবারে

1
আপনার কি কি কিউবিক গ্রাফের উদাহরণ রয়েছে যা এইভাবে পার্টিশন করা যায় না?
ডেভিড এপস্টিন

উত্তর:


15

এটি সমস্যার জটিলতার কোনও উত্তর নয়, তবে এটি কমপক্ষে দেখায় যে জটিলতাটি অযৌক্তিক হওয়ার সুযোগ রয়েছে: এটি একটি ঘন গ্রাফের উদাহরণ যা পথ এবং নখগুলিতে বিভক্ত হতে পারে না।

বিকল্প পাঠ
(উত্স: uci.edu )

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

ইটিএ : উপরের দেখানো গ্রাফটি নিখুঁত মিল না রেখে কিউবিক গ্রাফের উদাহরণ হিসাবে বেশি বিখ্যাত। তবে নিখুঁত মিলের সাথে প্রতিটি ঘন গ্রাফের পাথগুলি পচে যায় (এমনকি কোনও নখর ব্যবহার করে না)। কনিগের উপপাদ্য অনুসারে এটিতে সমস্ত ঘন দ্বিদলীয় গ্রাফ রয়েছে এবং পিটারসেনের উপপাদ্যটিতে এটিতে সমস্ত ব্রিজহীন ঘন গ্রাফ অন্তর্ভুক্ত রয়েছে, মন্তব্যে জোসেফ মালকেভিচের একটি প্রশ্নের উত্তর দেওয়া হয়েছে।

প্রমাণটি খুব সহজ: যদি এম কিউবিক গ্রাফের মধ্যে একটি নিখুঁত মিল হয় তবে এম-এর অপসারণটি একটি 2-নিয়মিত গ্রাফ ছেড়ে যায়, এটি চক্রের একটি পৃথক ইউনিয়ন। প্রতিটি চক্রকে নির্বিচারে ওরিয়েন্ট্ট করুন এবং এম এর প্রতিটি প্রান্ত uvকে চক্রের প্রান্তগুলিতে যুক্ত করুন যা ইউ এবং ভি অনুসরণ করে তাদের চক্রের অরিয়েন্টেশনগুলিতে।

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

(অস্বীকৃতি: এই ধারণাটি ইতিমধ্যে কারডেন টমাসসেনের জিডি ২০১০-তে আমন্ত্রিত বক্তৃতায় উপস্থিত থাকতে পারে, যা এই ধরণের গ্রাফ পচন সমস্যা সম্পর্কে ছিল।)

(অস্বীকৃতি ছাড়াও (অ্যান্টনি ল্যাবারে লিখেছেন): পার্টিশনের সাথে পার্টিশনের সাথে নিখুঁত মিলের পথে যাওয়ার পথে "ওরিয়েন্টেশন আইডিয়া" জ্যাঞ্জার, রিইনেল্ট এবং পুললেব্ল্যাঙ্ক এই গবেষণাপত্রে প্রকাশ করেছেন , যিনি এটিকে ডাব্লুএইচ কানিংহামকে দায়ী করেছেন।)


প্লেনটি 2-সংযুক্ত না থাকা অবস্থায় এই দুর্দান্ত উদাহরণ। পরবর্তী পদক্ষেপটি প্লেন 2-সংযুক্ত গ্রাফের দিকে তাকানো হতে পারে।
জোসেফ মালকেভিচ

আপনার মূল্যবান মন্তব্য এবং এই পাল্টা নমুনার জন্য ধন্যবাদ, আমি একটি ;-) অনুসন্ধান বন্ধ করতে পারি
অ্যান্থনি ল্যাবারে

আপনি এটি দরকারী মনে করতে পারেন যে এই লবগুলি (ডিগ্রি ক্রম 1,3,3,3,3,3 সহ অনন্য গ্রাফ) একটি মাল্টিগ্রাফ সাধারণীকরণের একটি লুপ-অন-এজ-এর জায়গায় ব্যবহার করা যেতে পারে (আমার মনে হয়) তোমার সমস্যা.
কলিন ম্যাককুইলান

9

kk3k=323

এটি আসলে গল্পটির শেষ ছিল না: যদি ঘনক গ্রাফ দ্বিপক্ষীয় হয়, তবে দ্বিখণ্ডনের একটি সেট নির্বাচন করে এবং এটি "নখ কেন্দ্রগুলির" সেট তৈরি করে কেবল একটি নখর ব্যবহার করে এর প্রান্ত সেটটি ভাগ করা সহজ। সাধারণ সমস্যাটি সত্যই কঠিন, যা ঘনক পরিকল্পনার মনোটোন 1-ইন -3 সন্তুষ্টিযোগ্যতা থেকে হ্রাস ব্যবহার করে প্রমাণিত হতে পারে। সমস্ত বিবরণ অক্সেক্সে অবাধে অ্যাক্সেসযোগ্য


6

সম্ভবত এই কাগজটি আগ্রহী হতে পারে:

ক্লিনস্কমিড, পিটার নিয়মিত গ্রাফগুলির নিয়মিত পার্টিশন। Canad। ম্যাথ। ষাঁড়. 21 (1978), না। 2, 177–181।

এটি এমন গ্রাফগুলির সাথে সম্পর্কিত যা দৈর্ঘ্যের 3 "জেড-পাথস" এর মিলন হিসাবে রচনা করা যেতে পারে (

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