634 research outputs found
The Maximum Edge Biclique Problem is NP-Complete
We prove that the maximum edge biclique problem in bipartite graphs is NP-complete.A biclique in a bipartite graph is a vertex induced subgraph which is complete.The problem of finding a biclique with a maximum number of vertices is known to be solvable in polynomial time but the complexity of finding a biclique with a maximum number of edges was still undecided.
Polyhedral characteristics of balanced and unbalanced bipartite subgraph problems
We study the polyhedral properties of three problems of constructing an
optimal complete bipartite subgraph (a biclique) in a bipartite graph. In the
first problem we consider a balanced biclique with the same number of vertices
in both parts and arbitrary edge weights. In the other two problems we are
dealing with unbalanced subgraphs of maximum and minimum weight with
nonnegative edges. All three problems are established to be NP-hard. We study
the polytopes and the cone decompositions of these problems and their
1-skeletons. We describe the adjacency criterion in 1-skeleton of the polytope
of the balanced complete bipartite subgraph problem. The clique number of
1-skeleton is estimated from below by a superpolynomial function. For both
unbalanced biclique problems we establish the superpolynomial lower bounds on
the clique numbers of the graphs of nonnegative cone decompositions. These
values characterize the time complexity in a broad class of algorithms based on
linear comparisons
Inapproximability of Maximum Edge Biclique, Maximum Balanced Biclique and Minimum k-Cut from the Small Set Expansion Hypothesis
The Small Set Expansion Hypothesis (SSEH) is a conjecture which roughly states that it is NP-hard to distinguish between a graph with a small set of vertices whose expansion is almost zero and one in which all small sets of vertices have expansion almost one. In this work, we prove conditional inapproximability results for the following graph problems based on this hypothesis:
- Maximum Edge Biclique (MEB): given a bipartite graph G, find a complete bipartite subgraph of G with maximum number of edges. We show that, assuming SSEH and that NP != BPP, no polynomial time algorithm gives n^{1 - epsilon}-approximation for MEB for every constant epsilon > 0.
- Maximum Balanced Biclique (MBB): given a bipartite graph G, find a balanced complete bipartite subgraph of G with maximum number of vertices. Similar to MEB, we prove n^{1 - epsilon} ratio inapproximability for MBB for every epsilon > 0, assuming SSEH and that NP != BPP.
- Minimum k-Cut: given a weighted graph G, find a set of edges with minimum total weight whose removal splits the graph into k components. We prove that this problem is NP-hard to approximate to within (2 - epsilon) factor of the optimum for every epsilon > 0, assuming SSEH.
The ratios in our results are essentially tight since trivial algorithms give n-approximation to both MEB and MBB and 2-approximation algorithms are known for Minimum k-Cut [Saran and Vazirani, SIAM J. Comput., 1995].
Our first two results are proved by combining a technique developed by Raghavendra, Steurer and Tulsiani [Raghavendra et al., CCC, 2012] to avoid locality of gadget reductions with a generalization of Bansal and Khot\u27s long code test [Bansal and Khot, FOCS, 2009] whereas our last result is shown via an elementary reduction
Low-Rank Matrix Approximation with Weights or Missing Data is NP-hard
Weighted low-rank approximation (WLRA), a dimensionality reduction technique
for data analysis, has been successfully used in several applications, such as
in collaborative filtering to design recommender systems or in computer vision
to recover structure from motion. In this paper, we study the computational
complexity of WLRA and prove that it is NP-hard to find an approximate
solution, even when a rank-one approximation is sought. Our proofs are based on
a reduction from the maximum-edge biclique problem, and apply to strictly
positive weights as well as binary weights (the latter corresponding to
low-rank matrix approximation with missing data).Comment: Proof of Lemma 4 (Lemma 3 in v1) has been corrected. Some remarks and
comments have been added. Accepted in SIAM Journal on Matrix Analysis and
Application
Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs
Drawings of highly connected (dense) graphs can be very difficult to read.
Power Graph Analysis offers an alternate way to draw a graph in which sets of
nodes with common neighbours are shown grouped into modules. An edge connected
to the module then implies a connection to each member of the module. Thus, the
entire graph may be represented with much less clutter and without loss of
detail. A recent experimental study has shown that such lossless compression of
dense graphs makes it easier to follow paths. However, computing optimal power
graphs is difficult. In this paper, we show that computing the optimal
power-graph with only one module is NP-hard and therefore likely NP-hard in the
general case. We give an ILP model for power graph computation and discuss why
ILP and CP techniques are poorly suited to the problem. Instead, we are able to
find optimal solutions much more quickly using a custom search method. We also
show how to restrict this type of search to allow only limited back-tracking to
provide a heuristic that has better speed and better results than previously
known heuristics.Comment: Extended technical report accompanying the PacificVis 2013 paper of
the same nam
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability
A matched formula is a CNF formula whose incidence graph admits a matching
which matches a distinct variable to every clause. We study phase transition in
a context of matched formulas and their generalization of biclique satisfiable
formulas. We have performed experiments to find a phase transition of property
"being matched" with respect to the ratio where is the number of
clauses and is the number of variables of the input formula . We
compare the results of experiments to a theoretical lower bound which was shown
by Franco and Gelder (2003). Any matched formula is satisfiable, moreover, it
remains satisfiable even if we change polarities of any literal occurrences.
Szeider (2005) generalized matched formulas into two classes having the same
property -- var-satisfiable and biclique satisfiable formulas. A formula is
biclique satisfiable if its incidence graph admits covering by pairwise
disjoint bounded bicliques. Recognizing if a formula is biclique satisfiable is
NP-complete. In this paper we describe a heuristic algorithm for recognizing
whether a formula is biclique satisfiable and we evaluate it by experiments on
random formulas. We also describe an encoding of the problem of checking
whether a formula is biclique satisfiable into SAT and we use it to evaluate
the performance of our heuristicComment: Conference version submitted to SOFSEM 2018
(https://beda.dcs.fmph.uniba.sk/sofsem2019/) 18 pages(17 without refernces),
3 figures, 8 tables, an algorithm pseudocod
Inapproximability of Maximum Biclique Problems, Minimum -Cut and Densest At-Least--Subgraph from the Small Set Expansion Hypothesis
The Small Set Expansion Hypothesis (SSEH) is a conjecture which roughly
states that it is NP-hard to distinguish between a graph with a small subset of
vertices whose edge expansion is almost zero and one in which all small subsets
of vertices have expansion almost one. In this work, we prove inapproximability
results for the following graph problems based on this hypothesis:
- Maximum Edge Biclique (MEB): given a bipartite graph , find a complete
bipartite subgraph of with maximum number of edges.
- Maximum Balanced Biclique (MBB): given a bipartite graph , find a
balanced complete bipartite subgraph of with maximum number of vertices.
- Minimum -Cut: given a weighted graph , find a set of edges with
minimum total weight whose removal partitions into connected
components.
- Densest At-Least--Subgraph (DALS): given a weighted graph , find a
set of at least vertices such that the induced subgraph on has
maximum density (the ratio between the total weight of edges and the number of
vertices).
We show that, assuming SSEH and NP BPP, no polynomial time
algorithm gives -approximation for MEB or MBB for every
constant . Moreover, assuming SSEH, we show that it is NP-hard
to approximate Minimum -Cut and DALS to within factor
of the optimum for every constant .
The ratios in our results are essentially tight since trivial algorithms give
-approximation to both MEB and MBB and efficient -approximation
algorithms are known for Minimum -Cut [SV95] and DALS [And07, KS09].
Our first result is proved by combining a technique developed by Raghavendra
et al. [RST12] to avoid locality of gadget reductions with a generalization of
Bansal and Khot's long code test [BK09] whereas our second result is shown via
elementary reductions.Comment: A preliminary version of this work will appear at ICALP 2017 under a
different title "Inapproximability of Maximum Edge Biclique, Maximum Balanced
Biclique and Minimum k-Cut from the Small Set Expansion Hypothesis
- …