প্ল্যানার হ্যামিলটোনিয়ান সাইকেল এনপি-কমপ্লিট (হ্যামিলটনিয়ান চক্র থেকে) প্রমাণ করার জন্য আমি একটি সহজ গ্যাজেট চাই


23

জানা যায় যে হ্যামিলটোনিয়ান (হ্যামের সংক্ষিপ্ত) চক্রটি এনপি-সম্পূর্ণ এবং প্ল্যানার হ্যাম সাইকেল এনপি-সম্পূর্ণ Comp প্ল্যানার হ্যাম সাইকেলটির প্রমাণ হ্যাম সাইকেল থেকে নয়।

একটি দুর্দান্ত গ্যাজেট রয়েছে যা একটি গ্রাফ জি দেওয়া হবে, সমস্ত ক্রসিংগুলি কিছু প্ল্যানার গ্যাজেটের সাথে প্রতিস্থাপন করবে যাতে আপনার প্ল্যানার গ্রাফ জি থাকে 'যেমন

জি এর একটি হাম চক্র রয়েছে যদি জি 'এর একটি চক্র থাকে।

(আমি রূপগুলি যেমন হ্যাম পাথ বা পরিচালিত হাম সাইকেল বা দিকনির্দেশিত হাম পাথের সাথে খুশি হব))


7
কিছুটা তুচ্ছ পর্যবেক্ষণ। ধরা যাক আপনি G এবং প্রান্তগুলি (x,y) এবং (u,v) ক্রসটি x,v,y,u ক্রসিং পয়েন্টের চারদিকে ঘড়ির কাঁটার দিকে উপস্থিত আছেন। একটি গ্যাজেট দ্বারা এটি প্রতিস্থাপন Pxvyu আছে চার প্রবেশদ্বার পয়েন্ট x,v,y,u সংশ্লিষ্ট x,v,y,u । একটি হ্যামিল্টনিয়ান চক্র তাহলেG উভয় প্রান্ত ব্যবহার(x,y) এবং(u,v) তারপরG সংশ্লিষ্ট চক্র স্ব-ক্রস করতে হবে। অবশ্যই এই একটি `গ্যাজেট" এবং এছাড়াও হ্যামিল্টনিয়ান চক্র যে অধিকাংশ সাদাসিধা ব্যাখ্যা অনুমানG চাহিদা সংশ্লিষ্ট চক্র হিসাবে একই প্রান্ত অনুসরণ করতেG
Marek Chrobak

4
হ্যাম সাইকেল কী? অনুমান করবেন না যে প্রত্যেকে আপনার সংক্ষিপ্তসারগুলি বোঝে।
Tsuyoshi Ito

2
@ মেরেকক্রোবাক: আমি আপনার মন্তব্যের সাথে একমত আপনি আপনার যুক্তি এড়াতে দুটি উপায় দিন। আমি মনে করি সবচেয়ে প্রাকৃতিক এক সেকেন্ড এগুলির মধ্যে একটি: একটা হ্যামিল্টনিয়ান চক্র xyuvx মধ্যে G iff অস্তিত্ব আছে একটি হ্যামিল্টনিয়ান চক্র xxuuyyvvx
ব্রুনো

12
@ শুয়োশি: এর অর্থ হ্যামিল্টোনীয় চক্র। আমি মনে করি যে এটি প্রত্যেকেরই বুঝতে পারে তা অনুমিত হওয়া যুক্তিযুক্ত।
ডোমোটরপ

3
@ বিল: আমি ভাবছি যে আপনি কেন এমন গ্যাজেটের উপস্থিতি থাকা উচিত বলে মনে করেন। পারাপারের যখন সমতল মধ্যে একটি অবাধ গ্রাফ এম্বেডিং খুব বড় হতে পারে সংখ্যা ( সম্পূর্ণ গ্রাফ জন্য - ক্রসিং থিম দেখুন)। সুতরাং, যদি আপনি এন প্রান্ত এবং অনেকগুলি প্রান্তের সাথে গ্রাফ দিয়ে শুরু করেন (চতুর্ভুজ কাছাকাছি বলুন) তবে Θ(n4)n
উল্টা

উত্তর:


13

কমপক্ষে, একটি ক্রসওভারের জন্য কোনও "দুর্দান্ত" গ্যাজেট নেই।

যাক এবং ( এক্স , Y ) একটি ক্রস আমরা প্রতিস্থাপন করতে চান হও।(a,b)(x,y)এখানে চিত্র বর্ণনা লিখুন

আমাদের গ্রাফ, জন্য অনেকগুলি কেস রয়েছে তবে আমাদের কমপক্ষে নিম্নলিখিত চারটি সন্তুষ্ট করতে হবে। কেস 1: কমপক্ষে একটি হ্যামিল্টোনীয় চক্র রয়েছে, তবে কোনওটি কিনারা ব্যবহার করে না। কেস 2: কমপক্ষে একটি চক্র রয়েছে এবং সমস্ত চক্র দুটি প্রান্তের ঠিক একটি ব্যবহার করে। কেস 3: কমপক্ষে একটি চক্র রয়েছে এবং সমস্ত চক্র উভয় প্রান্ত ব্যবহার করে। কেস 4: হ্যামিল্টোনীয় চক্র নেই।G

যদি আমাদের গ্যাজেটটি (বেশী বা) প্রত্যেকের জন্য ছেদচিহ্ন দুই সব একই প্রতিবেশীদের সংলগ্ন (যাতে একটি 0 এবং একটি 1 বজায় রাখা একটি 'র প্রতিবেশীদের) তাহলে জি ' অগত্যা এখনো প্ল্যানার হবে না। উপরের আমাদের ক্ষেত্রে প্রথমটি সন্তুষ্ট করতে, তারপরে আমাদের গ্যাজেটে কোনও নতুন শীর্ষবিন্দু থাকতে পারে না। a,b,x,ya0a1aG

উপরের 3 কেসটি পূরণ করার জন্য, গ্যাজেটে আমাদের কমপক্ষে দুটি প্রান্ত থাকা উচিত। প্ল্যানার এবং কভারিং জুড়ি, বা ( , ওয়াই ) , ( এক্স , বি ) কেস 2 কে সন্তুষ্ট করে না, তাই আমাদের তৃতীয় প্রান্তটি দরকার। সাধারণতার ক্ষতি ছাড়াই, এই তিনটি ( , y ) , ( y , ) , ( x , ) হতে দিন(a,x),(y,b)(a,y),(x,b)(a,y),(y,b),(x,b)

তবে, সেই প্রতিস্থাপনটি চতুর্থ ক্ষেত্রে ভঙ্গ করে, কারণ যখন হ্যামিল্টোনীয় চক্র ধারণ করতে পারে তখন জি না G উদাহরণস্বরূপ, জি = ( ভি , ) নিন যেখানে V = { a , b , x , y , p , q , r , s , t } , এবং E = { ( a , b ) , ( x , y )GGG=(V,E)V={a,b,x,y,p,q,r,s,t},জি প্ল্যানার নয় এবং হ্যামিল্টোনীয় চক্র নেই।E={(a,b),(x,y),(a,r),(a,p),(a,q),(b,s),(b,x),(p,s),(p,t),(p,y),(q,x),(r,y),(t,x)}Gএখানে চিত্র বর্ণনা লিখুন

G=(V,E)E={(a,y),(y,b),(x,b)} {(x,y),(a,r),(a,p),(a,q),(b,s),(p,s),(p,t),(p,y),(q,x),(r,y),(t,x)}Ga,q,x,t,p,s,b,y,r,a

(b,y)(a,x)G

(a,b),(a,y),(x,b)

যেহেতু তিনটি প্রান্তগুলি ব্রেক 4 কেস যুক্ত করে, আরও যুক্ত করা কোনও লাভ করবে না।

a,b,xy

(দ্রষ্টব্য: আমি উপরে কোনও ত্রুটি করেছি কিনা দয়া করে আমাকে জানান!)

( দ্রষ্টব্য 2: আমার কিছু সুন্দর পরিসংখ্যান ছিল, তবে সেগুলি পোস্ট করতে পারছি না Posted পোস্ট হয়েছে))


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