আমরা সঙ্গে এক উৎস নোড DAGs (নির্দেশ acyclic গ্রাফ) বিবেচনা এবং এক লক্ষ্য নোড টি ; সমান্তরাল প্রান্তগুলি একই জোড়ের কোণে যোগদানের অনুমতি রয়েছে। একজন ট - কাটা প্রান্ত যার অপসারণের একটি সেট সব ধ্বংস করে গুলি - টি পাথ চেয়ে দীর্ঘতর ট ; খাটো গুলি - টি পাথ সেইসাথে দীর্ঘ "ভেতরের" পাথ (যাদের মধ্যে নয় গুলি এবং টন ) টেকা পারে!
প্রশ্ন: এটা যথেষ্ট একটি সম্পর্কে সর্বাধিক অপসারণ করা হয় যাতে একটি DAG থেকে প্রান্ত এর অংশ সব ধ্বংস করার গুলি - টি চেয়ে পাথ আর ট ?
অর্থাৎ যদি মধ্যে প্রান্ত মোট সংখ্যা উল্লেখ করে জি , তারপর প্রতি DAG করে জি আছে একটি ট -cut সম্পর্কে সর্বাধিক সঙ্গে ই ( জি ) / K প্রান্ত? দুটি উদাহরণ:
- যদি সমস্ত - টি পাথের দৈর্ঘ্য > কে থাকে , তবে ≤ e ( G ) / k প্রান্ত সহ একটি কে- কাট উপস্থিত রয়েছে। এই ঝুলিতে কারণ তারপর হতে হবে ট গ্রন্থিচ্যুত ট -cuts: শুধু নোড স্তর জি উৎস নোড থেকে তাদের দূরত্ব অনুযায়ী গুলি ।
- যদি একটি ট্রানজিটিভ টুর্নামেন্ট (সম্পূর্ণ ডিএজি) হয়, তবে ≤ কে ( এন / কে) সহ কে- কেট প্রান্ত বিদ্যমান: ফিক্স একটি টপোলজিকাল ক্রমনোড, মধ্যে নোড বিভক্ত টদৈর্ঘ্যের পরপর অন্তরএন/ট, এবং একই বিরতি নোড যোগদান সব প্রান্ত অপসারণ; এই সব ধ্বংস করবেগুলি-টিপাথ বেশিট।
মন্তব্য 1: একটি সরল একটি ইতিবাচক উত্তর (যা আমি দিতে চেষ্টা চেষ্টা প্রথম হিসাবে) দেখাতে হবে যে প্রত্যেক DAG সম্পর্কে থাকতে হবে চেষ্টা করতে হবে গ্রন্থিচ্যুত ট -cuts। দুর্ভাগ্যক্রমে, উদাহরণ 2 দেখায় যে এই প্রয়াসটি খারাপভাবে ব্যর্থ হতে পারে: একটি দুর্দান্ত যুক্তির মাধ্যমে ডেভিড এপ্পস্টেইন দেখিয়েছেন , কে প্রায় √ , গ্রাফটিএন-তেচার-এর বেশিবিচ্ছিন্নকে-কাটথাকতে পারে না!
মন্তব্য 2: এটা খুবই গুরুত্বপূর্ণ যে একটি -cut শুধুমাত্র প্রয়োজন সব দীর্ঘ ধ্বংস করতে গুলি - টি অগত্যা সব দীর্ঘ পাথ পাথ, এবং না। যথা, এখানে 1 টি ডিএজি রয়েছে যার মধ্যে প্রতিটি "খাঁটি" কে -কুট ( এস বা টি- তে প্রান্তের ঘটনা এড়ানো ) অবশ্যই প্রায় সমস্ত প্রান্ত ধারণ করে। সুতরাং, আমার প্রশ্নটি আসলে: এস বা টি দিয়ে প্রান্তের ঘটনাগুলি সরানোর সম্ভাবনা কি কে- সিটের আকারকে যথেষ্ট পরিমাণে হ্রাস করতে পারে ? সম্ভবত, উত্তরটি নেতিবাচক, তবে আমি এখনও একটি পাল্টা নমুনা খুঁজে পাইনি।
অনুপ্রেরণা: আমার প্রশ্নটি মনোোটোন স্যুইচিং-এবং-রেক্টিফায়ার নেটওয়ার্কগুলির জন্য নিম্ন সীমা প্রমাণ করে প্রেরণাপ্রাপ্ত। এই জাতীয় নেটওয়ার্কটি কেবল একটি ডিএজি, যার প্রান্তগুলির কয়েকটি পরীক্ষার দ্বারা লেবেলযুক্ত "এটি কি ?" (কোনও পরীক্ষা নেই x i = 0 )। আকার নেটওয়ার্কের লেবেল প্রান্ত সংখ্যা। একটি ইনপুট ভেক্টর গৃহীত হয়, যদি কোনও এস - টি পাথ থাকে যার সমস্ত পরীক্ষাগুলি এই ভেক্টরের সাথে সামঞ্জস্যপূর্ণ। মার্কভ হয়েছে প্রমাণিত যে, যদি একটি একঘেয়েমি বুলিয়ান ফাংশন চ কোন minterms চেয়ে খাটো হয়েছে ঠ এবং কোন maxterms চেয়ে খাটো W , তারপর আকার ঠ প্রয়োজন। আমার প্রশ্নের পজেটিভ উত্তর সম্পর্কে আকারের যে নেটওয়ার্ক সূচিত করা হবে ট ⋅ W ট প্রয়োজনীয়, অন্তত যদি W ট ভেরিয়েবল সেট থাকা উচিত 0 অর্ডার চেয়ে দীর্ঘতর সব minterms ধ্বংস করার জন্য ট ।
1 নির্মাণ এই কাগজে দেওয়া হয় । সম্পূর্ণ বাইনারি ট্রি নিন গভীরতা লগ এন । সমস্ত প্রান্ত অপসারণ করুন। প্রত্যেক ভেতরের নোড জন্য বনাম , একটি প্রান্ত আঁকা বনাম বাম subtree প্রতিটি গাছের পাতা থেকে টি ভি , এবং থেকে একটি প্রান্ত বনাম ডান সাবট্রি প্রতিটি গাছের পাতা থেকে টি ভি । সুতরাং, টি এর প্রতিটি দুটি পাতাগুলি ডাগের 2 দৈর্ঘ্যের একটি পথ দ্বারা সংযুক্ত থাকে । DAG নিজেই হয়েছে ~ এন নোড এবং ~ এন লগ ইন করুন এন প্রান্ত কিন্তু Ω ( ঢ path এর চেয়ে দীর্ঘ সমস্ত পাথ ধ্বংস করতে অবশ্যই প্রান্তগুলি সরিয়ে ফেলতে হবে √ ।