54,976 research outputs found
Improved Hardness of Approximating Chromatic Number
We prove that for sufficiently large K, it is NP-hard to color K-colorable
graphs with less than 2^{K^{1/3}} colors. This improves the previous result of
K versus K^{O(log K)} in Khot [14]
Satisfaction classes in nonstandard models of first-order arithmetic
A satisfaction class is a set of nonstandard sentences respecting Tarski's
truth definition. We are mainly interested in full satisfaction classes, i.e.,
satisfaction classes which decides all nonstandard sentences. Kotlarski,
Krajewski and Lachlan proved in 1981 that a countable model of PA admits a
satisfaction class if and only if it is recursively saturated. A proof of this
fact is presented in detail in such a way that it is adaptable to a language
with function symbols. The idea that a satisfaction class can only see finitely
deep in a formula is extended to terms. The definition gives rise to new
notions of valuations of nonstandard terms; these are investigated. The notion
of a free satisfaction class is introduced, it is a satisfaction class free of
existential assumptions on nonstandard terms.
It is well known that pathologies arise in some satisfaction classes. Ideas
of how to remove those are presented in the last chapter. This is done mainly
by adding inference rules to M-logic. The consistency of many of these
extensions is left as an open question.Comment: Thesis for the degree of licentiate of philosophy, 74 pages, 4
figure
Deconstructing Approximate Offsets
We consider the offset-deconstruction problem: Given a polygonal shape Q with
n vertices, can it be expressed, up to a tolerance \eps in Hausdorff distance,
as the Minkowski sum of another polygonal shape P with a disk of fixed radius?
If it does, we also seek a preferably simple-looking solution P; then, P's
offset constitutes an accurate, vertex-reduced, and smoothened approximation of
Q. We give an O(n log n)-time exact decision algorithm that handles any
polygonal shape, assuming the real-RAM model of computation. A variant of the
algorithm, which we have implemented using CGAL, is based on rational
arithmetic and answers the same deconstruction problem up to an uncertainty
parameter \delta; its running time additionally depends on \delta. If the input
shape is found to be approximable, this algorithm also computes an approximate
solution for the problem. It also allows us to solve parameter-optimization
problems induced by the offset-deconstruction problem. For convex shapes, the
complexity of the exact decision algorithm drops to O(n), which is also the
time required to compute a solution P with at most one more vertex than a
vertex-minimal one.Comment: 18 pages, 11 figures, previous version accepted at SoCG 2011,
submitted to DC
Asymptotic Proportion of Hard Instances of the Halting Problem
Although the halting problem is undecidable, imperfect testers that fail on
some instances are possible. Such instances are called hard for the tester. One
variant of imperfect testers replies "I don't know" on hard instances, another
variant fails to halt, and yet another replies incorrectly "yes" or "no". Also
the halting problem has three variants: does a given program halt on the empty
input, does a given program halt when given itself as its input, or does a
given program halt on a given input. The failure rate of a tester for some size
is the proportion of hard instances among all instances of that size. This
publication investigates the behaviour of the failure rate as the size grows
without limit. Earlier results are surveyed and new results are proven. Some of
them use C++ on Linux as the computational model. It turns out that the
behaviour is sensitive to the details of the programming language or
computational model, but in many cases it is possible to prove that the
proportion of hard instances does not vanish.Comment: 18 pages. The differences between this version and arXiv:1307.7066v1
are significant. They have been listed in the last paragraph of Section 1.
Excluding layout, this arXiv version is essentially identical to the Acta
Cybernetica versio
Privately Releasing Conjunctions and the Statistical Query Barrier
Suppose we would like to know all answers to a set of statistical queries C
on a data set up to small error, but we can only access the data itself using
statistical queries. A trivial solution is to exhaustively ask all queries in
C. Can we do any better?
+ We show that the number of statistical queries necessary and sufficient for
this task is---up to polynomial factors---equal to the agnostic learning
complexity of C in Kearns' statistical query (SQ) model. This gives a complete
answer to the question when running time is not a concern.
+ We then show that the problem can be solved efficiently (allowing arbitrary
error on a small fraction of queries) whenever the answers to C can be
described by a submodular function. This includes many natural concept classes,
such as graph cuts and Boolean disjunctions and conjunctions.
While interesting from a learning theoretic point of view, our main
applications are in privacy-preserving data analysis:
Here, our second result leads to the first algorithm that efficiently
releases differentially private answers to of all Boolean conjunctions with 1%
average error. This presents significant progress on a key open problem in
privacy-preserving data analysis.
Our first result on the other hand gives unconditional lower bounds on any
differentially private algorithm that admits a (potentially
non-privacy-preserving) implementation using only statistical queries. Not only
our algorithms, but also most known private algorithms can be implemented using
only statistical queries, and hence are constrained by these lower bounds. Our
result therefore isolates the complexity of agnostic learning in the SQ-model
as a new barrier in the design of differentially private algorithms
- …