63 research outputs found
Realizability of Free Spaces of Curves
The free space diagram is a popular tool to compute the well-known Fr\'echet
distance. As the Fr\'echet distance is used in many different fields, many
variants have been established to cover the specific needs of these
applications. Often, the question arises whether a certain pattern in the free
space diagram is "realizable", i.e., whether there exists a pair of polygonal
chains whose free space diagram corresponds to it. The answer to this question
may help in deciding the computational complexity of these distance measures,
as well as allowing to design more efficient algorithms for restricted input
classes that avoid certain free space patterns. Therefore, we study the inverse
problem: Given a potential free space diagram, do there exist curves that
generate this diagram?
Our problem of interest is closely tied to the classic Distance Geometry
problem. We settle the complexity of Distance Geometry in ,
showing -hardness. We use this to show that for curves in
, the realizability problem is
-complete, both for continuous and for discrete Fr\'echet
distance. We prove that the continuous case in is only weakly
NP-hard, and we provide a pseudo-polynomial time algorithm and show that it is
fixed-parameter tractable. Interestingly, for the discrete case in
, we show that the problem becomes solvable in polynomial time.Comment: 26 pages, 12 figures, 1 table, International Symposium on Algorithms
And Computations (ISAAC 2023
-divisibility of ultrafilters II: The big picture
A divisibility relation on ultrafilters is defined as follows: if and only if every set in
upward closed for divisibility also belongs to . After
describing the first levels of this quasiorder, in this paper we
generalize the process of determining the basic divisors of an ultrafilter.
First we describe these basic divisors, obtained as (equivalence classes of)
powers of prime ultrafilters. Using methods of nonstandard analysis we
determine the pattern of an ultrafilter: the collection of its basic divisors
as well as the multiplicity of each of them. All such patterns have a certain
closure property in an appropriate topology. We isolate the family of sets
belonging to every ultrafilter with a given pattern. Finally, we show that
every pattern with the closure property is realized by an ultrafilter
SPQR-tree-like embedding representation for level planarity
An SPQR-tree is a data structure that efficiently represents all planar embeddings of a connected planar graph. It is a key tool in a number of constrained planarity testing algorithms, which seek a planar embedding of a graph subject to some given set of constraints. We develop an SPQR-tree-like data structure that represents all level-planar embeddings of a biconnected level graph with a single source, called the LP-tree, and give an algorithm to compute it in linear time. Moreover, we show that LP-trees can be used to adapt three constrained planarity algorithms to the level-planar case by using LP-trees as a drop-in replacement for SPQR-trees
LIPIcs, Volume 274, ESA 2023, Complete Volume
LIPIcs, Volume 274, ESA 2023, Complete Volum
LIPIcs, Volume 258, SoCG 2023, Complete Volume
LIPIcs, Volume 258, SoCG 2023, Complete Volum
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science
Computability Theory (hybrid meeting)
Over the last decade computability theory has seen many new and
fascinating developments that have linked the subject much closer
to other mathematical disciplines inside and outside of logic.
This includes, for instance, work on enumeration degrees that
has revealed deep and surprising relations to general topology,
the work on algorithmic randomness that is closely tied to
symbolic dynamics and geometric measure theory.
Inside logic there are connections to model theory, set theory, effective descriptive
set theory, computable analysis and reverse mathematics.
In some of these cases the bridges to seemingly distant mathematical fields
have yielded completely new proofs or even solutions of open problems
in the respective fields. Thus, over the last decade, computability theory
has formed vibrant and beneficial interactions with other mathematical
fields.
The goal of this workshop was to bring together researchers representing
different aspects of computability theory to discuss recent advances, and to
stimulate future work
- …