1,210,617 research outputs found
The Covering Problem
An important endeavor in computer science is to understand the expressive
power of logical formalisms over discrete structures, such as words. Naturally,
"understanding" is not a mathematical notion. This investigation requires
therefore a concrete objective to capture this understanding. In the
literature, the standard choice for this objective is the membership problem,
whose aim is to find a procedure deciding whether an input regular language can
be defined in the logic under investigation. This approach was cemented as the
right one by the seminal work of Sch\"utzenberger, McNaughton and Papert on
first-order logic and has been in use since then. However, membership questions
are hard: for several important fragments, researchers have failed in this
endeavor despite decades of investigation. In view of recent results on one of
the most famous open questions, namely the quantifier alternation hierarchy of
first-order logic, an explanation may be that membership is too restrictive as
a setting. These new results were indeed obtained by considering more general
problems than membership, taking advantage of the increased flexibility of the
enriched mathematical setting. This opens a promising research avenue and
efforts have been devoted at identifying and solving such problems for natural
fragments. Until now however, these problems have been ad hoc, most fragments
relying on a specific one. A unique new problem replacing membership as the
right one is still missing. The main contribution of this paper is a suitable
candidate to play this role: the Covering Problem. We motivate this problem
with 3 arguments. First, it admits an elementary set theoretic formulation,
similar to membership. Second, we are able to reexplain or generalize all known
results with this problem. Third, we develop a mathematical framework and a
methodology tailored to the investigation of this problem
The Lebesgue Universal Covering Problem
In 1914 Lebesgue defined a "universal covering" to be a convex subset of the
plane that contains an isometric copy of any subset of diameter 1. His
challenge of finding a universal covering with the least possible area has been
addressed by various mathematicians: Pal, Sprague and Hansen have each created
a smaller universal covering by removing regions from those known before.
However, Hansen's last reduction was microsopic: he claimed to remove an area
of , but we show that he actually removed an area of just . In the following, with the help of Greg Egan, we find a new,
smaller universal covering with area less than . This reduces the
area of the previous best universal covering by a whopping .Comment: 11 pages, 5 jpeg figures, numerical errors correcte
Restricted Strip Covering and the Sensor Cover Problem
Given a set of objects with durations (jobs) that cover a base region, can we
schedule the jobs to maximize the duration the original region remains covered?
We call this problem the sensor cover problem. This problem arises in the
context of covering a region with sensors. For example, suppose you wish to
monitor activity along a fence by sensors placed at various fixed locations.
Each sensor has a range and limited battery life. The problem is to schedule
when to turn on the sensors so that the fence is fully monitored for as long as
possible. This one dimensional problem involves intervals on the real line.
Associating a duration to each yields a set of rectangles in space and time,
each specified by a pair of fixed horizontal endpoints and a height. The
objective is to assign a position to each rectangle to maximize the height at
which the spanning interval is fully covered. We call this one dimensional
problem restricted strip covering. If we replace the covering constraint by a
packing constraint, the problem is identical to dynamic storage allocation, a
scheduling problem that is a restricted case of the strip packing problem. We
show that the restricted strip covering problem is NP-hard and present an O(log
log n)-approximation algorithm. We present better approximations or exact
algorithms for some special cases. For the uniform-duration case of restricted
strip covering we give a polynomial-time, exact algorithm but prove that the
uniform-duration case for higher-dimensional regions is NP-hard. Finally, we
consider regions that are arbitrary sets, and we present an O(log
n)-approximation algorithm.Comment: 14 pages, 6 figure
Solution of the minimum modulus problem for covering systems
We answer a question of Erd\H{o}s by showing that the least modulus of a
distinct covering system of congruences is no larger than .Comment: Submitted version, comments welcom
- β¦