In length-constrained minimum spanning tree (MST) we are given an $n$-node graph $G = (V,E)$ with edge weights $w : E \to \mathbb{Z}_{\geq 0}$ and edge lengths $l: E \to \mathbb{Z}_{\geq 0}$ along with a root node $r \in V$ and a length-constraint $h \in \mathbb{Z}_{\geq 0}$. Our goal is to output a spanning tree of minimum weight according to $w$ in which every node is at distance at most $h$ from $r$ according to $l$.
We give a polynomial-time algorithm for planar graphs which, for any constant $ε> 0$, outputs an $O\left(\log^{1+ε} n\right)$-approximate solution with every node at distance at most $(1+ε)h$ from $r$ for any constant $ε> 0$. Our algorithm is based on new length-constrained versions of classic planar separators which may be of independent interest. Additionally, our algorithm works for length-constrained Steiner tree. Complementing this, we show that any algorithm on general graphs for length-constrained MST in which nodes are at most $2h$ from $r$ cannot achieve an approximation of $O\left(\log ^{2-ε} n\right)$ for any constant $ε> 0$ under standard complexity assumptions; as such, our results separate the approximability of length-constrained MST in planar and general graphs.
এই পত্রিকাটি দৈর্ঘ্য-সীমাবদ্ধ ন্যূনতম বিস্তৃত বৃক্ষ (দৈর্ঘ্য-সীমাবদ্ধ MST) সমস্যা অধ্যয়ন করে: একটি n-নোড গ্রাফ G=(V,E) দেওয়া হয়েছে, যার প্রান্ত ওজন w: E → Z≥0 এবং প্রান্ত দৈর্ঘ্য l: E → Z≥0, এবং একটি মূল নোড r∈V এবং দৈর্ঘ্য সীমাবদ্ধতা h∈Z≥0। লক্ষ্য হল w অনুযায়ী একটি ন্যূনতম ওজনের বিস্তৃত বৃক্ষ আউটপুট করা, যাতে প্রতিটি নোড থেকে মূল নোড r পর্যন্ত দূরত্ব (l অনুযায়ী) সর্বাধিক h হয়।
লেখকরা সমতল গ্রাফের জন্য একটি বহুপদী সময় অ্যালগরিদম প্রস্তাব করেছেন, যা যেকোনো ধ্রুবক ε>0 এর জন্য একটি O(log^(1+ε) n) আনুমানিক সমাধান আউটপুট করে, যেখানে প্রতিটি নোড থেকে r পর্যন্ত দূরত্ব সর্বাধিক (1+ε)h। অ্যালগরিদমটি নতুন দৈর্ঘ্য-সীমাবদ্ধ সমতল বিভাজক সংস্করণের উপর ভিত্তি করে তৈরি, যা এই বিভাজকগুলি নিজেই স্বাধীন গবেষণা মূল্য রাখে। অতিরিক্তভাবে, অ্যালগরিদমটি দৈর্ঘ্য-সীমাবদ্ধ স্টেইনার বৃক্ষ সমস্যার জন্যও প্রযোজ্য। পরিপূরক হিসাবে, লেখকরা প্রমাণ করেছেন যে সাধারণ গ্রাফে, যেকোনো অ্যালগরিদম যা নোডের দূরত্ব মূল থেকে সর্বাধিক 2h রাখে তা মান জটিলতা অনুমানের অধীনে O(log^(2-ε) n) আনুমানিকতা অর্জন করতে পারে না, যা সমতল গ্রাফ এবং সাধারণ গ্রাফের দৈর্ঘ্য-সীমাবদ্ধ MST এর আনুমানিকতা আলাদা করে।
ব্যবহারিক প্রয়োজনীয়তা: ঐতিহ্যবাহী ন্যূনতম বিস্তৃত বৃক্ষ (MST) শুধুমাত্র সংযোগযোগ্যতা নিশ্চিত করে, কিন্তু বাস্তব যোগাযোগ নেটওয়ার্ক ডিজাইনে, শুধুমাত্র সংযোগযোগ্যতা অপর্যাপ্ত। যদি বার্তা প্রেরণকে খুব দীর্ঘ পথ অতিক্রম করতে হয়, তা হতে পারে:
যোগাযোগ বিলম্ব অত্যধিক (প্রতিটি প্রান্তের বিলম্ব খরচ রয়েছে)
নির্ভরযোগ্যতা হ্রাস (দীর্ঘ পথে আরও বেশি ব্যর্থতার সম্ভাবনা)
তাত্ত্বিক চ্যালেঞ্জ: দৈর্ঘ্য সীমাবদ্ধতা সমস্যাটিকে উল্লেখযোগ্যভাবে কঠিন করে তোলে:
ক্লাসিক সমস্যার কাঠামোগত বৈশিষ্ট্য ভেঙে দেয়
শক্তিশালী অ্যালগরিদম অসম্ভবতার ফলাফল তৈরি করে
বর্তমান সেরা সাধারণ গ্রাফ অ্যালগরিদম কয়েক দশক আগের O(n^ε) আনুমানিকতা
নির্দেশিত স্টেইনার বৃক্ষের সমতুল্যতা: দৈর্ঘ্য-সীমাবদ্ধ MST মূলত নির্দেশিত স্টেইনার বৃক্ষ (DST) সমস্যার সমতুল্য, যা একটি প্রধান খোলা সমস্যা।
1. পরামিতি সেট করুন: ξ=ε/2, α=log^ξ n, β=log n/(ξ² log log n)
2. 2h-দৈর্ঘ্য-সীমাবদ্ধ α-বিয়োজন শ্রেণিবিন্যাস T গণনা করুন
3. প্রতিটি অঞ্চলের জন্য β-খণ্ড গণনা করুন
4. গতিশীল প্রোগ্রামিং টেবিল সমাধান করুন, দৈর্ঘ্য-সীমাবদ্ধ স্টেইনার বৃক্ষ অ্যালগরিদম প্রয়োগ করুন
5. সমাধান গ্রাফ নির্মাণ করুন এবং সংক্ষিপ্ততম পথ বৃক্ষ ফেরত দিন
গতিশীল প্রোগ্রামিং:
অবস্থা: DPH,g অঞ্চল H এর অনুমান g এর অধীনে সর্বোত্তম ওজন প্রতিনিধিত্ব করে
রূপান্তর: সমস্ত উপ-অঞ্চলের অনুমান গণনা করা হয়, স্টেইনার বৃক্ষ উদাহরণ সমাধান করা হয়
অনুমান স্থান: প্রতিটি খণ্ডের দূরত্ব {h/β, 2h/β, ..., h} থেকে নির্বাচিত হয়
পত্রিকাটিতে ৪৩টি সম্পর্কিত সংদর্ভ রয়েছে, যা দৈর্ঘ্য-সীমাবদ্ধ নেটওয়ার্ক ডিজাইন, সমতল গ্রাফ অ্যালগরিদম, আনুমানিক অ্যালগরিদম এবং জটিলতা তত্ত্বের একাধিক ক্ষেত্রের গুরুত্বপূর্ণ কাজ অন্তর্ভুক্ত করে। মূল সংদর্ভগুলি অন্তর্ভুক্ত করে:
চারিকার ইত্যাদি (১৯৯৯): দৈর্ঘ্য-সীমাবদ্ধ MST এর ক্লাসিক ফলাফল
ফ্রিগস্ট্যাড-মাউসাভি (২০২৩): সমতল নির্দেশিত স্টেইনার বৃক্ষ অ্যালগরিদম
এই পত্রিকাটি তাত্ত্বিক কম্পিউটার বিজ্ঞানের ক্ষেত্রে গুরুত্বপূর্ণ তাৎপর্য রাখে, শুধুমাত্র একটি দীর্ঘস্থায়ী খোলা সমস্যা সমাধান করে না বরং সমতল গ্রাফ অ্যালগরিদম ডিজাইনের জন্য নতুন প্রযুক্তিগত সরঞ্জাম প্রদান করে। যদিও ব্যবহারিক দিক থেকে উন্নতির জায়গা রয়েছে, তবে এর তাত্ত্বিক অবদান এবং প্রযুক্তিগত উদ্ভাবন এটিকে এই ক্ষেত্রের একটি গুরুত্বপূর্ণ কাজ করে তোলে।