Matúš Mihalák
Maastricht University
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Matúš Mihalák.
conference on innovations in theoretical computer science | 2013
Joachim M. Buhmann; Matúš Mihalák; Rastislav Šrámek; Peter Widmayer
We study optimization in the presence of uncertainty such as noise in measurements, and advocate a novel approach of tackling it. The main difference to any existing approach is that we do not assume any knowledge about the nature of the uncertainty (such as for instance a probability distribution). Instead, we are given several instances of the same optimization problem as input, and, assuming they are typical w.r.t. the uncertainty, we make use of it in order to compute a solution that is good for the sample instances as well as for future (unknown) typical instances.n We demonstrate our approach for the case of two typical input instances. We first propose a measure of similarity of instances with respect to an objective. This concept allows us to assess whether instances are indeed typical. Based on this concept, we then choose a solution randomly among all solutions that are near-optimum for both instances. We show that the exact notion of near-optimum is intertwined with the proposed measure of similarity. Furthermore, we will show that our measure of similarity also allows us to derive formal statements about the expected quality of the computed solution: If the given instances are not similar, or are too noisy, our approach will detect this. We demonstrate for a few optimization problems and real world data that our approach works well not only in theory, but also in practice.
workshop on approximation and online algorithms | 2013
Matúš Mihalák; Rastislav Šrámek; Peter Widmayer
Given a directed acyclic graph with positive edge-weights, two vertices s and t, and a threshold-weight L, we present a fully-polynomial time approximation-scheme for the problem of counting the s-t paths of length at most L. We extend the algorithm for the case of two (or more) instances of the same problem. That is, given two graphs that have the same vertices and edges and differ only in edge-weights, and given two threshold-weights L 1 and L 2, we show how to approximately count the s-t paths that have length at most L 1 in the first graph and length not much larger than L 2 in the second graph. We believe that our algorithms should find application in counting approximate solutions of related optimization problems, where finding an (optimum) solution can be reduced to the computation of a shortest path in a purpose-built auxiliary graph.
computer science symposium in russia | 2016
Kateřina Böhmová; Matúš Mihalák; Tobias Pröger; Gustavo Sacomoto; Marie-France Sagot
Given a set of directed paths called linesL, a public transportation network is a directed graph
23rd International Colloquium on Structural Information and Communication Complexity | 2016
Andreas Bärtschi; Jérémie Chalopin; Shantanu Das; Yann Disser; Barbara Geissmann; Daniel Graf; Arnaud Labourel; Matúš Mihalák
Theory of Computing Systems \/ Mathematical Systems Theory | 2016
Matúš Mihalák; Rastislav Šrámek; Peter Widmayer
G_L=V_L,A_L
conference on combinatorial optimization and applications | 2015
Akaki Mamageishvili; Matúš Mihalák
Journal of Computer and System Sciences | 2017
Joachim M. Buhmann; Alexey Gronskiy; Matúš Mihalák; Tobias Pröger; Rastislav Šrámek; Peter Widmayer
which contains exactly the vertices and arcs of every line
computing and combinatorics conference | 2018
Axel Goblet; Steven Kelk; Matúš Mihalák; Georgios Stamoulis
Theory of Computing Systems \/ Mathematical Systems Theory | 2018
Kateřina Böhmová; Luca Häfliger; Matúš Mihalák; Tobias Pröger; Gustavo Sacomoto; Marie-France Sagot
lin L
Adventures Between Lower Bounds and Higher Altitudes | 2018
Katerina Böhmová; Jérémie Chalopin; Matúš Mihalák; Guido Proietti; Peter Widmayer