English

Approximating minimum-cost edge-covers of crossing biset-families

Data Structures and Algorithms 2012-07-19 v1

Abstract

An ordered pair S^=(S,S+)\hat{S}=(S,S^+) of subsets of VV is called a {\em biset} if SS+S \subseteq S^+; (VS+,VS)(V-S^+,V-S) is the co-biset of S^\hat{S}. Two bisets X^,Y^\hat{X},\hat{Y} intersect if XYX \cap Y \neq \emptyset and cross if both XYX \cap Y \neq \emptyset and X+Y+VX^+ \cup Y^+ \neq V. The intersection and the union of two bisets X^,Y^\hat{X},\hat{Y} is defined by X^Y^=(XY,X+Y+)\hat{X} \cap \hat{Y} = (X \cap Y, X^+ \cap Y^+) and X^Y^=(XY,X+Y+)\hat{X} \cup \hat{Y} = (X \cup Y,X^+ \cup Y^+). A biset-family F{\cal F} is crossing (intersecting) if X^Y^,X^Y^F\hat{X} \cap \hat{Y}, \hat{X} \cup \hat{Y} \in {\cal F} for any X^,Y^F\hat{X},\hat{Y} \in {\cal F} that cross (intersect). A directed edge covers a biset S^\hat{S} if it goes from SS to VS+V-S^+. We consider the problem of covering a crossing biset-family F{\cal F} by a minimum-cost set of directed edges. While for intersecting F{\cal F}, a standard primal-dual algorithm computes an optimal solution, the approximability of the case of crossing F{\cal F} is not yet understood, as it includes several NP-hard problems, for which a poly-logarithmic approximation was discovered only recently. Let us say that a biset-family F{\cal F} is kk-regular if X^Y^,X^Y^F\hat{X} \cap \hat{Y}, \hat{X} \cup \hat{Y} \in {\cal F} for any X^,Y^F\hat{X},\hat{Y} \in {\cal F} with V(XY)k+1|V-(X \cup Y)| \geq k+1 that intersect. In this paper we obtain an O(logV)O(\log |V|)-approximation algorithm for arbitrary crossing F{\cal F}; if in addition both F{\cal F} and the family of co-bisets of F{\cal F} are kk-regular, our ratios are: O(logVVk)O(\log \frac{|V|}{|V|-k}) if S+S=k|S^+ \setminus S|=k for all S^F\hat{S} \in {\cal F}, and O(VVklogVVk)O(\frac{|V|}{|V|-k} \log \frac{|V|}{|V|-k}) if S+Sk|S^+ \setminus S| \leq k for all S^F\hat{S} \in {\cal F}. Using these generic algorithms, we derive approximation algorithms for some network design problems.

Keywords

Cite

@article{arxiv.1207.4366,
  title  = {Approximating minimum-cost edge-covers of crossing biset-families},
  author = {Zeev Nutov},
  journal= {arXiv preprint arXiv:1207.4366},
  year   = {2012}
}