Networks are present in our lives in numerous different environments: to name just a few, networks can model social
relationships, they can model the Internet and links between web pages, they might model the spread of a virus infection
between people, and they might represent computer processors/sensors that have to exchange information.
This project aims to obtain new insights into the behaviour of networks, which are studied from a geometric and
computational perspective. Thereto, the project brings together researchers from different areas such as computational
geometry, discrete mathematics, graph drawing, and probability. Among of the topics of research are enumerative problems
on geometric networks, crossing numbers, random networks, imprecise models of data, restricted orientation geometry.
Combinatorial approaches are combined with algorithms. Algorithmic applications of networks are also studied in the context
of unmanned aerial vehicles (UAVs) and in the context of musical information retrieval (MIR).
The project contains the work packages: “Geometric networks”, "Stochastic Geometry and Networks", “Restricted orientation
geometry”, “Graph-based algorithms for UAVs and for MIR”, and “Dissemination and gender equality promotion”.
The project connects researchers from 14 universities located in Austria, Belgium, Canada, Chile, Czech Republic, Italy,
Mexico, and Spain, who will collaborate and share their different expertise in order to obtain new knowledge on the
combinatorics of networks and applications.
This CRP focuses on combinatorial properties of discrete sets of points and other simple geometric objects primarily in the plane. In general, geometric graphs are a central topic in discrete and computational geometry, and many important questions in mathematics and computer science can be formulated as problems on geometric graphs. In the current context, several families of geometric graphs, such as proximity and skeletal structures, constitute useful abstractions for the study of combinatorial properties of the point sets on which they are defined. For arrangements of other objects, such as lines or convex sets, their combinatorial properties are usually also described via an underlying graph structure.
Computational Geometry is dedicated to the algorithmic study of elementary geometric questions. Traditionally it deals with basic geometric objects like points, lines, and planes. For real world applications, however, often reliable techniques for advanced geometric primitives like surfaces and location query structures are needed.
The role of this project is twofold. On one hand it will provide the theoretical background for advanced geometric algorithms and data structures for several other projects within this joint research project (JRP). These include geometric structures for fast information retrieval, the generation and manipulation of triangular meshes, the computation of suitable distance functions to multidimensional objects, and the representation of advanced geometric objects.
Another aim of this project is to develop novel techniques for the manipulation and optimization of geometric structures. Here the emphasis is on geometric graphs (triangulation-like and Voronoi diagram-like structures, spanning trees). Properties of these structures will be investigated, with the goal of designing more efficient geometric algorithms and data structures.
Existing geometric algorithms libraries (CGAL, LEDA) will be used to guarantee robustness of the developed algorithms.
Discrete mathematics studies the mathematical properties of structures that can be accurately represented by a computer. It is omnipresent in everyday life: encryption techniques, for example when paying with a credit card or when surfing the Internet, are based on methods of discrete mathematics. Another example are optimization problems, for example when designing train timetables or when planning industrial supply chains. More generally, discrete mathematics forms the theoretical backbone of computer science - an understanding of how an algorithm works is impossible without mathematics.
The consortium of our doc.fund brings together colleagues from TU Graz and the University of Graz and focuses on building bridges between sub-areas of discrete mathematics. Our consortium emerges from the doctoral program “Discrete Mathematics”, which was financially supported by the FWF from 2010 to 2024 and has firmly anchored research in this area in Graz and made it internationally visible. We concentrate on fundamental research without losing sight of application areas. We define the term discrete mathematics broadly, extending into the areas of number theory, algebra and theoretical computer science, and thus cover a wide range of research fields. The specific topics in the doc.funds project range from the question of which polynomials can be represented as a sum of squares, to computability in networks with limited information, to the problem of which surfaces can be made from textile material.
Each doctoral position in this doc.funds project is supervised equally by two members of the consortium. In most cases, the support takes place at different institutes and the proposed projects lie at the intersection of their expertise. This means we work on innovative and highly relevant research topics with optimal team support. In addition, we are continuing our proven tools for excellent doctoral training, for example our lively weekly seminar, the opportunity for long-term stays at foreign research institutions, and a successful mentoring program. This results in excellent training, both for an academic career and for many sectors of the economy. In fact, graduates of our predecessor program hold responsible positions in a wide variety of areas, such as consulting, software development, insurance and data analysis.
Geometric objects such as points, lines and polygons are the key elements of a big variety of interesting research problems in computer science. With the rise of modern technologies, more and more of these tasks are solved by computers, as opposed to the classic pen-and-paper approach.
Over the last thirty years, researchers around the world have developed different techniques and algorithms that take advantage of the structure provided by geometry to sIn this thesis we consider triangles in the colored Euclidean plane.
We call a triangle monochromatic if all its vertices have the same color.
First, we study how many colors are needed so that for every triangle we can color the Euclidean plane in such a way, that there does not exist a monochromatic rotated copy of the triangle or a monochromatic translated copy of the triangle.
Furthermore, we show that for every triangle every coloring of the Euclidean plane in finitely many colors contains a monochromatic triangle, which is similar to the given triangle.
Then we study the problem, for which triangles there exists a 6-coloring, such that the triangle is nonmonochromatic in this 6-coloring.
We also show, that for every triangle there exists a 2-coloring of the rational plane, such that the triangle is nonmonochromatic.
Finally we give a 5-coloring of a strip with height 1, such that there do not exist two points with distance 1, which have the same color.
olve these problems.
This area of research, in between mathematics and computer science, is known as discrete and computational geometry. In this joint seminar we plan to use tools from discrete aIn this thesis we consider triangles in the colored Euclidean plane.
We call a triangle monochromatic if all its vertices have the same color.
First, we study how many colors are needed so that for every triangle we can color the Euclidean plane in such a way, that there does not exist a monochromatic rotated copy of the triangle or a monochromatic translated copy of the triangle.
Furthermore, we show that for every triangle every coloring of the Euclidean plane in finitely many colors contains a monochromatic triangle, which is similar to the given triangle.
Then we study the problem, for which triangles there exists a 6-coloring, such that the triangle is nonmonochromatic in this 6-coloring.
We also show, that for every triangle there exists a 2-coloring of the rational plane, such that the triangle is nonmonochromatic.
Finally we give a 5-coloring of a strip with height 1, such that there do not exist two points with distance 1, which have the same color.
Computational geometry (such as order-type-like properties, see below) and apply them to problems that
come motivated from the field of sensor networks.
Zentrales Thema dieser gemeinsamen Forschung ist die Untersuchung
grundlegender Datenstrukturen aus dem Bereich der rechnerischen
Geometrie (Computational Geometry), einem relativ jungen Teilgebiet
der (theoretischen) Informatik. Dabei sollen sowohl theoretische
Aspekte untersucht werden, als auch deren konkrete Umsetzung im Rahmen
einer allgemein verwendbaren Programmbibliothek.
Auf Seite der theoretischen Untersuchungen sollen sowohl klassische
Datenstrukturen, wie Voronoi-Diagramme oder Triangulierungen, aber auch
relativ neue Datenstrukturen, wie Pseudo-Triangulierungen oder
Straight-Skeletons, untersucht werden. Genauere Einzelheiten werden in
den nachfolgenden Abschnitten beschrieben. Gleichzeitig soll aber auch
für alle untersuchten Strukturen deren tatsächliche
Verwendbarkeit in der Praxis berücksichtigt werden. So ist es
geplant, jeweils spezielle Aspekte dieser Strukturen in konkreten
Implementationen umzusetzen. Um einen bestmöglichen Nutzen der
erzielten Ergebnisse zu gewährleisten, sollen die Implementationen
in einer standardisierten Bibliothek der gesamten CG-Community zur
Verfügung gestellt werden. Dazu ist die Umsetzung in CGAL
(Computational Geometry Algorithms Library, siehe { www.cgal.org})
geplant. Es handelt sich dabei um ein ursprünglich von
der EU gefördertes Projekt, das insbesondere von unserem
französichen Projektpartner an zentraler Stelle mitbetrieben wird.
The general topic of this project is the investigation of geometric
graphs, i.e., graphs where the vertex set is a point set in the
plane and the edges are straight line segments spanned by these points.
Throughout we assume the points to be in general position, that is no
three of them lie on a common line, and to be labeled.
Geometric graphs are a versatile data structure, as they include
triangulations, Euclidean spanning trees, spanning paths,
polygonalizations, plane perfect matchings and so on. The
investigation of geometric graphs belongs to the field of
(combinatorial) mathematics, graph theory, as well as to discrete and
computational geometry. The alliance of our two research groups will
perfectly cover these fields. For example this will allow us to use
an interesting combination of enumerative investigations (lead by the
Austrian team) and theoretical research (coordinated by the Spanish
group). Let us point out that this combination of theoretical
knowledge and practical experience, which is perfectly provided by the
combination of these two teams, will be essential for the success of
this project.
There are many classic as well as new tantalizing problems on
geometric graphs, and the investigation of seemingly unrelated
questions often leads to new relations and deeper structural insight.
So the focus of this project is to investigate several classes of
problems with the common goal of optimizing properties of geometric graphs.