4 papers
k-Planar and Fan-Crossing Drawings and Transductions of Embeddable Graphs
Petr HlinÄný, Jan Jedelský
We introduce, for every surface , a two-way connection between definability of a graph class by FO transductions (first-order logical transformations) of the graph…
Measuring Depth of Matroids
Jakub Balabán, Petr HlinÄný, Jan Jedelský +1
Motivated by recently discovered connections between matroid depth measures and block-structured integer programming [ICALP 2020, 2022], we undertake a systematic study of recursiv…
On first-order model checking parameterized by the number of variables
Jan Jedelský
The first-order (FO) model checking problem asks, given an FO sentence and a graph , whether is a model of . This problem is known to be -hard when…
Spatio-temporal analysis of sprays by using Phase Doppler Anemometry data
Erika Rácza, Milan Malý, Jan Jedelský +1
Spray characterization often relies on empirical formulas, statistical distributions, and derived quantities. Deterministic spray behavior originates from physics-governed mechanis…