611 research outputs found
The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function (Extended Abstract)
In this article we treat a notion of continuity for a multi-valued function F
and we compute the descriptive set-theoretic complexity of the set of all x for
which F is continuous at x. We give conditions under which the latter set is
either a G_\delta set or the countable union of G_\delta sets. Also we provide
a counterexample which shows that the latter result is optimum under the same
conditions. Moreover we prove that those conditions are necessary in order to
obtain that the set of points of continuity of F is Borel i.e., we show that if
we drop some of the previous conditions then there is a multi-valued function F
whose graph is a Borel set and the set of points of continuity of F is not a
Borel set. Finally we give some analogue results regarding a stronger notion of
continuity for a multi-valued function. This article is motivated by a question
of M. Ziegler in "Real Computation with Least Discrete Advice: A Complexity
Theory of Nonuniform Computability with Applications to Linear Algebra",
(submitted)
Quantum algorithms for testing properties of distributions
Suppose one has access to oracles generating samples from two unknown
probability distributions P and Q on some N-element set. How many samples does
one need to test whether the two distributions are close or far from each other
in the L_1-norm ? This and related questions have been extensively studied
during the last years in the field of property testing. In the present paper we
study quantum algorithms for testing properties of distributions. It is shown
that the L_1-distance between P and Q can be estimated with a constant
precision using approximately N^{1/2} queries in the quantum settings, whereas
classical computers need \Omega(N) queries. We also describe quantum algorithms
for testing Uniformity and Orthogonality with query complexity O(N^{1/3}). The
classical query complexity of these problems is known to be \Omega(N^{1/2}).Comment: 20 page
Dynamic load balancing for the distributed mining of molecular structures
In molecular biology, it is often desirable to find common properties in large numbers of drug candidates. One family of
methods stems from the data mining community, where algorithms to find frequent graphs have received increasing attention over the
past years. However, the computational complexity of the underlying problem and the large amount of data to be explored essentially
render sequential algorithms useless. In this paper, we present a distributed approach to the frequent subgraph mining problem to
discover interesting patterns in molecular compounds. This problem is characterized by a highly irregular search tree, whereby no
reliable workload prediction is available. We describe the three main aspects of the proposed distributed algorithm, namely, a dynamic
partitioning of the search space, a distribution process based on a peer-to-peer communication framework, and a novel receiverinitiated
load balancing algorithm. The effectiveness of the distributed method has been evaluated on the well-known National Cancer
Institute’s HIV-screening data set, where we were able to show close-to linear speedup in a network of workstations. The proposed
approach also allows for dynamic resource aggregation in a non dedicated computational environment. These features make it suitable
for large-scale, multi-domain, heterogeneous environments, such as computational grids
The Hardness of Embedding Grids and Walls
The dichotomy conjecture for the parameterized embedding problem states that
the problem of deciding whether a given graph from some class of
"pattern graphs" can be embedded into a given graph (that is, is isomorphic
to a subgraph of ) is fixed-parameter tractable if is a class of graphs
of bounded tree width and -complete otherwise.
Towards this conjecture, we prove that the embedding problem is
-complete if is the class of all grids or the class of all walls
Some Lower Bounds in Parameterized AC^0
We demonstrate some lower bounds for parameterized problems via parameterized classes corresponding to the classical AC^0. Among others, we derive such a lower bound for all fpt-approximations of the parameterized clique problem and for a parameterized halting problem, which recently turned out to link problems of computational complexity, descriptive complexity, and proof theory. To show the first lower bound, we prove a strong AC^0 version of the planted clique conjecture: AC^0-circuits asymptotically almost surely can not distinguish between a random graph and this graph with a randomly planted clique of any size <= n^xi (where 0 <= xi < 1)
- …