Английская Википедия:Bipartite dimension
Шаблон:Use dmy dates In the mathematical fields of graph theory and combinatorial optimization, the bipartite dimension or biclique cover number of a graph G = (V, E) is the minimum number of bicliques (that is complete bipartite subgraphs), needed to cover all edges in E. A collection of bicliques covering all edges in G is called a biclique edge cover, or sometimes biclique cover. The bipartite dimension of G is often denoted by the symbol d(G).
Example
An example for a biclique edge cover is given in the following diagrams:
- Example for biclique edge cover
-
A bipartite graph...
-
...and a covering with four bicliques
-
the red biclique from the cover
-
the blue biclique from the cover
-
the green biclique from the cover
-
the black biclique from the cover
Bipartite dimension formulas for some graphs
The bipartite dimension of the n-vertex complete graph, <math>K_n</math> is <math>\lceil \log_2 n\rceil </math>.
The bipartite dimension of a 2n-vertex crown graph equals <math>\sigma(n)</math>, where
- <math>\sigma(n)=\min \left\{\,k \mid n \le \binom{k}{\lfloor k/2 \rfloor} \,\right\}</math>
is the inverse function of the central binomial coefficient Шаблон:Harv.
The bipartite dimension of the <math>n \times m</math> lattice graph is <math>\frac{nm}{2} -1</math>, if <math>m</math> is even and <math>n-1 = k (m-1) + 2 \ell</math> for some integers <math>0 \leq \ell < k</math>; and is <math>\big\lfloor \frac{nm}{2} \big\rfloor</math> otherwise Шаблон:Harv.
Шаблон:Harvtxt determine the bipartite dimension for some special graphs. For example, the path <math>P_n</math> has <math>d(P_n) = \lfloor n/2 \rfloor</math> and the cycle <math>C_n</math> has <math>d(C_n)=\lceil n/2\rceil</math>.
Computing the bipartite dimension
The computational task of determining the bipartite dimension for a given graph G is an optimization problem. The decision problem for bipartite dimension can be phrased as:
- INSTANCE: A graph <math>G=(V,E)</math> and a positive integer <math>k</math>.
- QUESTION: Does G admit a biclique edge cover containing at most <math>k</math> bicliques?
This problem appears as problem GT18 in Garey and Johnson's classical book on NP-completeness, and is a rather straightforward reformulation of another decision problem on families of finite sets.
The set basis problem appears as problem SP7 in Garey and Johnson's book. Here, for a family <math>\mathcal{S}=\{S_1,\ldots,S_n\}</math> of subsets of a finite set <math>\mathcal{U}</math>, a set basis for <math>\mathcal{S}</math> is another family of subsets <math>\mathcal{B} = \{B_1,\ldots,B_\ell\}</math> of <math>\mathcal{U}</math>, such that every set <math>S_i</math> can be described as the union of some basis elements from <math>\mathcal{B}</math>. The set basis problem is now given as follows:
- INSTANCE: A finite set <math>\mathcal{U}</math>, a family <math>\mathcal{S}=\{S_1,\ldots,S_n\}</math> of subsets of <math>\mathcal{U}</math>, and a positive integer k.
- QUESTION: Does there exist a set basis of size at most <math>k</math> for <math>\mathcal{S}</math>?
In its former formulation, the problem was proved to be NP-complete by Шаблон:Harvtxt, even for bipartite graphs. The formulation as a set basis problem was proved to be NP-complete earlier by Шаблон:Harvtxt. The problem remains NP-hard even if we restrict our attention to bipartite graphs whose bipartite dimension is guaranteed to be at most <math>O(\log\,\!n)</math>, with n denoting the size of the given problem instance Шаблон:Harv. On the positive side, the problem is solvable in polynomial time on bipartite domino-free graphs Шаблон:Harv.
Regarding the existence of approximation algorithms, Шаблон:Harvtxt proved that the problem cannot be approximated well (assuming P ≠ NP). Indeed, the bipartite dimension is NP-hard to approximate within <math>|V|^{1/3-\epsilon}</math> for every fixed <math>\epsilon>0</math>, already for bipartite graphs Шаблон:Harv.
In contrast, proving that the problem is fixed-parameter tractable is an exercise in designing kernelization algorithms, which appears as such in the textbook by Шаблон:Harvtxt. Шаблон:Harvtxt also provide a concrete bound on the size of the resulting kernel, which has meanwhile been improved by Шаблон:Harvtxt. In fact, for a given bipartite graph on n vertices, it can be decided in time <math>O(f(k))+n^3</math> with <math>f(k) = 2^{k2^{k-1}+3k}</math> whether its bipartite dimension is at most k Шаблон:Harv
Applications
The problem of determining the bipartite dimension of a graph appears in various contexts of computing. For instance, in computer systems, different users of a system can be allowed or disallowed accessing various resources. In a role-based access control system, a role provides access rights to a set of resources. A user can own multiple roles, and he has permission to access all resources granted by some of his roles. Also, a role can be owned by multiple users. The role mining problem is to find a minimum set of roles, such that for each user, his roles taken together grant access to all specified resources. The set of users together with the set of resources in the system naturally induces a bipartite graph, whose edges are permissions. Each biclique in this graph is a potential role, and the optimum solutions to the role mining problem are precisely the minimum biclique edge covers Шаблон:Harv.
A similar scenario is known in computer security, more specifically in secure broadcasting. In that setup, several messages need to be sent each to a set of receivers, over an insecure channel. Each message has to be encrypted using some cryptographic key that is known only to the intended receivers. Each receiver may possess multiple encryption keys, and each key will be distributed to multiple receivers. The optimum key generation problem is to find a minimum set of encryption keys for ensuring secure transmission. As above, the problem can be modeled using a bipartite graph whose minimum biclique edge covers coincide with the solutions to the optimum key generation problem Шаблон:Harv.
A different application lies in biology, where minimum biclique edge covers are used in mathematical models of human leukocyte antigen (HLA) serology Шаблон:Harv.
See also
- List of NP-complete problems
- Intersection number (graph theory), the minimum number of cliques needed to cover the edges of a graph
References
- Шаблон:Citation
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
- Шаблон:Citation.
External links