1,519 research outputs found
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
A Birthday Repetition Theorem and Complexity of Approximating Dense CSPs
A -birthday repetition of a
two-prover game is a game in which the two provers are sent
random sets of questions from of sizes and respectively.
These two sets are sampled independently uniformly among all sets of questions
of those particular sizes. We prove the following birthday repetition theorem:
when satisfies some mild conditions, decreases exponentially in where is the total number of
questions. Our result positively resolves an open question posted by Aaronson,
Impagliazzo and Moshkovitz (CCC 2014).
As an application of our birthday repetition theorem, we obtain new
fine-grained hardness of approximation results for dense CSPs. Specifically, we
establish a tight trade-off between running time and approximation ratio for
dense CSPs by showing conditional lower bounds, integrality gaps and
approximation algorithms. In particular, for any sufficiently large and for
every , we show the following results:
- We exhibit an -approximation algorithm for dense Max -CSPs
with alphabet size via -level of Sherali-Adams relaxation.
- Through our birthday repetition theorem, we obtain an integrality gap of
for -level Lasserre relaxation for fully-dense Max
-CSP.
- Assuming that there is a constant such that Max 3SAT cannot
be approximated to within of the optimal in sub-exponential
time, our birthday repetition theorem implies that any algorithm that
approximates fully-dense Max -CSP to within a factor takes
time, almost tightly matching the algorithmic
result based on Sherali-Adams relaxation.Comment: 45 page
Approximating Dense Max 2-CSPs
In this paper, we present a polynomial-time algorithm that approximates
sufficiently high-value Max 2-CSPs on sufficiently dense graphs to within
approximation ratio for any constant .
Using this algorithm, we also achieve similar results for free games,
projection games on sufficiently dense random graphs, and the Densest
-Subgraph problem with sufficiently dense optimal solution. Note, however,
that algorithms with similar guarantees to the last algorithm were in fact
discovered prior to our work by Feige et al. and Suzuki and Tokuyama.
In addition, our idea for the above algorithms yields the following
by-product: a quasi-polynomial time approximation scheme (QPTAS) for
satisfiable dense Max 2-CSPs with better running time than the known
algorithms
Recommended from our members
An ontology for the description of and navigation through philosophical resources
What does it mean for a student to come to an understanding of a philosophical standpoint and can the explosion of resources now available on the web support this process, or is it inclined instead to create more confusion? We believe that a possible answer to the problem of finding a means through the morass of information on the web to the philosophical insights it conceals and can be made to reveal lies in the process of narrative pathway generation. That is, the active linking of resources into a learning path that contextualizes them with respect to one another. This result can be achieved only if the content of the resources is indexed, not just their status as a text document, an image or a video. To this aim, we propose a formal conceptualization of the domain of philosophy, an ontology that would allow the categorization of resources according to a series of pre-agreed content descriptors. Within an e-learning scenario, a teacher could use a tool comprising such an ontology to annotate at various levels of granularity available philosophical materials, and let the students explore this semantic space in an unsupervised manner, according to pre-defined narrative pathways
Computing an Approximately Optimal Agreeable Set of Items
We study the problem of finding a small subset of items that is
\emph{agreeable} to all agents, meaning that all agents value the subset at
least as much as its complement. Previous work has shown worst-case bounds,
over all instances with a given number of agents and items, on the number of
items that may need to be included in such a subset. Our goal in this paper is
to efficiently compute an agreeable subset whose size approximates the size of
the smallest agreeable subset for a given instance. We consider three
well-known models for representing the preferences of the agents: ordinal
preferences on single items, the value oracle model, and additive utilities. In
each of these models, we establish virtually tight bounds on the approximation
ratio that can be obtained by algorithms running in polynomial time.Comment: A preliminary version appeared in Proceedings of the 26th
International Joint Conference on Artificial Intelligence (IJCAI), 201
When Do Envy-Free Allocations Exist?
We consider a fair division setting in which indivisible items are to be
allocated among agents, where the agents have additive utilities and the
agents' utilities for individual items are independently sampled from a
distribution. Previous work has shown that an envy-free allocation is likely to
exist when but not when , and left open the
question of determining where the phase transition from non-existence to
existence occurs. We show that, surprisingly, there is in fact no universal
point of transition---instead, the transition is governed by the divisibility
relation between and . On the one hand, if is divisible by , an
envy-free allocation exists with high probability as long as . On the
other hand, if is not "almost" divisible by , an envy-free allocation is
unlikely to exist even when .Comment: Appears in the 33rd AAAI Conference on Artificial Intelligence
(AAAI), 201
Near-Optimal UGC-hardness of Approximating Max k-CSP_R
In this paper, we prove an almost-optimal hardness for Max -CSP based
on Khot's Unique Games Conjecture (UGC). In Max -CSP, we are given a set
of predicates each of which depends on exactly variables. Each variable can
take any value from . The goal is to find an assignment to
variables that maximizes the number of satisfied predicates.
Assuming the Unique Games Conjecture, we show that it is NP-hard to
approximate Max -CSP to within factor for any . To the best of our knowledge, this result
improves on all the known hardness of approximation results when . In this case, the previous best hardness result was
NP-hardness of approximating within a factor by Chan. When , our result matches the best known UGC-hardness result of Khot, Kindler,
Mossel and O'Donnell.
In addition, by extending an algorithm for Max 2-CSP by Kindler, Kolla
and Trevisan, we provide an -approximation algorithm
for Max -CSP. This algorithm implies that our inapproximability result
is tight up to a factor of . In comparison,
when is a constant, the previously known gap was , which is
significantly larger than our gap of .
Finally, we show that we can replace the Unique Games Conjecture assumption
with Khot's -to-1 Conjecture and still get asymptotically the same hardness
of approximation
- …