একটি স্যুইচ নেটওয়ার্ক সমস্যার জটিলতা


17

একটি সুইচ নেটওয়ার্ক (নামটি উদ্ভাবিত) তিন ধরণের নোড দিয়ে তৈরি করা হয়:

  • এক স্টার্ট নোড
  • এক প্রান্ত নোড
  • এক বা একাধিক সুইচ নোড

সুইচ নোডে 3 টি প্রস্থান রয়েছে: বাম, উপরে, ডান; দুটি রাষ্ট্র এল এবং আর এবং একটি লক্ষ্য রাষ্ট্র টিএল বা টিআর রয়েছে । প্রতিটি সুইচ নিম্নলিখিত নিয়ম সঙ্গে traversed করা যেতে পারে:

  • বাম থেকে উপরে সর্বদা; স্যুইচ এর অবস্থার পরিবর্তন এল
  • সর্বদা ডান থেকে উপরে; রাষ্ট্রের জন্য সুইচটি আর-তে পরিবর্তিত হয়
  • যদি স্যুইচটি এল অবস্থায় থাকে তবে উপর থেকে বাম দিকে; রাষ্ট্র পরিবর্তন হয় না
  • উপরের থেকে ডানদিকে যদি স্যুইচটি রাজ্যে থাকে; রাষ্ট্র পরিবর্তন হয় না
  • বাম থেকে ডানে বা ডানে থেকে বামে কখনই না

সুইচ নোড
চিত্র 1. টার্গেটের স্টেট টিআর সহ স্টেট এল-এ নোড পরিবর্তন করুন

এই বৈশিষ্ট্যগুলিও ধারণ করে:

  • 0, 1 বা 2 একটি স্যুইচ প্রস্থান পৃথক করা যেতে পারে (অন্য স্যুইচ সংযুক্ত নয়);
  • একটি রাস্তা তার অবস্থার পরিবর্তন করতে একটি সুইচকে কেবল "স্পর্শ" করতে পারে: বাম থেকে প্রবেশ করুন এবং বাম থেকে প্রস্থান করুন বা ডান থেকে প্রবেশ করুন এবং ডান থেকে প্রস্থান করুন;
  • একটি স্যুইচ বার বার স্পর্শ / ছোঁয়া যেতে পারে তার উপর কোনও বিধিনিষেধ নেই।

সিদ্ধান্তের সমস্যাটি হ'ল: "স্টার্ট নোড থেকে এন্ড নোডের কোনও পথ কি এমনভাবে বিদ্যমান যেগুলি সুইচের সমস্ত চূড়ান্ত রাজ্যগুলি একই টার্গেটের অবস্থার সাথে মিলে যায়?"

স্পষ্টতই, সমস্ত টার্নগুলি যেগুলি প্রাথমিকভাবে তাদের টার্গেট অবস্থায় নেই সেগুলি অবশ্যই অন্তত একবার ট্র্যাভার করে (বা স্পর্শ) করতে হবে;

এটি একটি তুচ্ছ নেটওয়ার্কের দ্রুত চিত্র (এক্সেলের সাহায্যে তৈরি ... আমি আরও ভাল করে তুলব):

example2

একটি তুচ্ছ সমাধান হল:

S -> 1 -> 2 -> 3 -> 2 -> E -> 1 -> E

সম্পাদনা 2:

  1. এই সমস্যাটি কি জানা যায়? ---> আপনি আমাকে হেরনের থিসিস (সীমাবদ্ধতার গ্রাফ) সম্পর্কে ভাল রেফারেন্স দিয়েছেন ;

এনপিএসপিএকজনসি=পিএসপিএকজনসি

এনপি

এনপি-মিপিটি


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

4
@Vor এই ঘনিষ্ঠভাবে Demaine এবং Hearn এর বাধ্যতা লজিক গেম এর সাথে সম্পর্কিত মনে (আমার ধারণা Hearn থিসিস groups.csail.mit.edu/mac/users/bob/hearn-thesis-final.pdf এই কাজের একটি খুব সুন্দর কাজের মধ্যে থাকবেন হয় )। আমি ভাবছি যে কেউ যদি তাদের কৌশলগুলি ব্যবহার করে আপনার সমস্যার জটিলতা সমাধান করতে পারে। দেখে মনে হচ্ছে এটি এনএক্সপি-সম্পূর্ণ হতে পারে ...
জোশুয়া গ্রাচো

3
আমি কেবল হেনার / ডেমাইন কাজটি উল্লেখ করতে যাচ্ছিলাম - নোট করুন যে এটি এখন একটি বই হিসাবে পাওয়া যায়, "গেমস, ধাঁধা এবং গণনা" (আইএসবিএন 978-1-56881-322-6) এবং এটি অবশ্যই এতে জার্মানী বোধ করে প্রশ্ন।
স্টিভেন স্টাডনিকি

2
@ কাভেঃ আমার দক্ষতার স্তরের জন্য এটি NPSPACE = PSPACE এ তুচ্ছ। এটি "গণনা" করতে সক্ষম নয় বলে মনে হচ্ছে ; তবে আমি কোনও সহজ প্রমাণ দেখতে পাচ্ছি না যে যদি কোনও সমাধান উপস্থিত থাকে, তবে অন্য একটি সলিউশন উপস্থিত রয়েছে যেখানে প্রতিটি স্যুইচটি কেবল অবিচ্ছিন্নভাবে বার বার স্পর্শ করে / ছোঁয়া থাকে।
মারজিও ডি বায়াসি

1
একটি পার্শ্ব নোট: এই ধাঁধার একটি সহজ সংস্করণ ডিলেনবার্গ এবং নেলসনও বিবেচনা করেছিলেন এবং এটি তাদের গবেষণা নোট পেরিমিটার অনুসন্ধানে
কার্লোস লিনারস ল্যাপেজ

উত্তর:


2

সমস্যাটি কমপক্ষে এনপি-হার্ড, 3-স্যাট থেকে হ্রাস দ্বারা।

প্রথমে নিম্নলিখিত দিকনির্দেশিত গ্রাফের প্রারম্ভ থেকে প্রস্থান পর্যন্ত কোনও সন্ধানের পথটি নিষেধাজ্ঞার সাথে বিবেচনা করুন যে কোনও পাথ কোনও ধারাটির তিনটি (বর্গ) নোড দেখতে না পারে:

3SAT

(এক্স1এক্স2এক্স3)(এক্স1¬এক্স2এক্স4)

আমরা এই গ্রাফগুলিকে একটি সুইচ নেটওয়ার্কে রূপান্তর করি। এর জন্য আমরা তিনটি গ্যাজেট ব্যবহার করি:

  1. প্রতিটি বৃত্ত নোড এবং দ্বি নির্দেশমূলক প্রান্তটি একটি তারে পরিণত হয় , যা সুইচের মধ্যে সংযোগ স্থাপন করে।
  2. প্রতিটি নির্দেশিত প্রান্তটি একক স্যুইচ সমন্বিত একমুখী গ্যাজেটে পরিণত হয় (নীচে দেখুন)।
  3. প্রতিটি বর্গ নোড একটি ক্লজ গ্যাজেটের অংশ ( তিনটি নীচে দেখুন) যে তিনটি সুইচের একটির প্রতিনিধিত্ব করে ।

নিম্নলিখিত চিত্রগুলিতে, স্যুইচগুলি দুটি আগত তীর হিসাবে আঁকা হয়, যার একটি ড্যাশযুক্ত (অক্ষম)। লক্ষ্য দিকটি একটি কালো বৃত্ত দিয়ে অঙ্কিত হয় (যেমন শক্ত তীরটি শেষ পর্যন্ত বৃত্তের পাশে হওয়া উচিত)।

মন্তব্য: আমরা গ্যাজেটগুলির প্রস্থান থেকে গ্রাফের প্রস্থানটি আলাদা করতে বোল্ডফেস ব্যবহার করব ।

একজনবিবিএকজনএক্স1এক্স2এক্স3এক্স1'এক্স2'এক্স3'

একমুখী গ্যাজেট ক্লজ গ্যাজেট

মনে রাখবেন যে আসল গ্রাফের জন্য, এমন একটি পথ খুঁজে পাওয়া যা প্রস্থান করতে পরিচালিত করেছিল এবং কোনও ধারাটির তিনটি বর্গ নোড ঘুরে দেখেনি NP- সম্পূর্ণ ছিল। এখন স্যুইচগুলির টার্গেট পজিশনের বিষয়ে চিন্তা না করে রূপান্তরিত গ্রাফের প্রস্থানটি পৌঁছানোর সমস্যাটি বিবেচনা করুন ।

মূল গ্রাফ সমস্যার সমাধান যে কোনও পথই রূপান্তরিত গ্রাফের সমাধান। সুতরাং ধরুন যে রূপান্তরিত গ্রাফের জন্য কোনও পাথ মূল গ্রাফের সমাধান নয়। এটি দুটি ক্ষেত্রে ঘটতে পারে:

  1. বিএকজন
  2. কোনও পাথ কিছু ক্লজ গ্যাজেটের তিনটি পথকেই অনুসরণ করে ।

প্রথম ক্ষেত্রে, ওয়ান-ওয়ে গ্যাজেটটি অবশ্যই প্রথমে অভিপ্রায়িত দিকে যেতে হবে, সেক্ষেত্রে পথটি প্রথমে এটি অনুসরণ করা এড়াতে পারে।

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

ডিডলকড ক্লজ

এটি এখনও দেখানো যায় যে মূল গ্রাফ সমস্যার যে কোনও সমাধানের জন্য, রুপান্তরিত গ্রাফের স্যুইচগুলি তাদের লক্ষ্য স্থিতিতে স্থাপন করা যেতে পারে। এর জন্য, আমরা এই সত্যটি ব্যবহার করি যে প্রস্থানটি কেবল তখনই পৌঁছতে পারে যখন কোনও সমাধান হয়, বা কিছু ক্লজ গ্যাজেটটি অপরিবর্তনযোগ্য হয়।

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

আমাদের মন্তব্য করা উচিত যে ক্লোজ গ্যাজেটগুলি কেবল যখন একটি নিরীক্ষণযোগ্য প্রস্থান থেকে প্রবেশ করার সময় পুনরুদ্ধার করা যায়; এবং ক্লোজ গ্যাজেট এবং পরবর্তী ভেরিয়েবলের মধ্যে স্থাপন করা ওয়ান-ওয়ে গ্যাজেটগুলির কারণে , প্রস্থান তারের না পৌঁছানো পর্যন্ত এটি ঘটতে পারে না ।

সুতরাং, স্যুইচ নেটওয়ার্কের সমস্যাটি এনপি-হার্ড।


সমস্যাটি এনপি বা পিএসপিএসিই-তে রয়েছে কিনা তা এখনও স্পষ্ট নয়। পরিকল্পনাকারী স্যুইচ নেটওয়ার্ক নির্মাণে একটি এনপি-কঠোরতা হ্রাস, সোকোবানের সীমিত রূপগুলির জন্য দুর্দান্ত প্রভাব ফেলবে, কারণ সমস্ত স্যুইচগুলি নীচের সোকোবান গ্যাজেটের সমতুল্য।

Sokoban

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