Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Matúš Mihalák is active.

Publication


Featured researches published by Matúš Mihalák.


conference on innovations in theoretical computer science | 2013

Robust optimization in the presence of uncertainty

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

Counting approximately-shortest paths in directed acyclic graphs

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

Computing and Listing st-Paths in Public Transportation Networks

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

Collaborative Delivery with Energy-Constrained Mobile Robots

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

Approximately Counting Approximately-Shortest Paths in Directed Acyclic Graphs

Matúš Mihalák; Rastislav Šrámek; Peter Widmayer

G_L=V_L,A_L


conference on combinatorial optimization and applications | 2015

Multicast Network Design Game on a Ring

Akaki Mamageishvili; Matúš Mihalák


Journal of Computer and System Sciences | 2017

Robust Optimization in the Presence of Uncertainty: A Generic Approach

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

On a Fixed Haplotype Variant of the Minimum Error Correction Problem

Axel Goblet; Steven Kelk; Matúš Mihalák; Georgios Stamoulis


Theory of Computing Systems \/ Mathematical Systems Theory | 2018

Computing and Listing st -Paths in Public Transportation Networks

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

Sequence Hypergraphs: Paths, Flows, and Cuts

Katerina Böhmová; Jérémie Chalopin; Matúš Mihalák; Guido Proietti; Peter Widmayer

Collaboration


Dive into the Matúš Mihalák's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Yann Disser

Technical University of Berlin

View shared research outputs
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge