Veronika Slívová

dblp:215/4866 · DBLP profile ↗
← Back
6ranked-venue papers
0as first author
1since 2021 · last 2021
0000-0003-4514-9098ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 6 · 1 since 2021Security and privacy · 2
YearPublicationVenuePosition
2021 Data Structures Lower Bounds and Popular Conjectures
abstract
In this paper, we investigate the relative power of several conjectures that attracted recently lot of interest. We establish a connection between the Network Coding Conjecture (NCC) of Li and Li and several data structure like problems such as non-adaptive function inversion of Hellman and the well-studied problem of polynomial evaluation and interpolation. In turn these data structure problems imply super-linear circuit lower bounds for explicit functions such as integer sorting and multi-point polynomial evaluation.
Pavel Dvorák, Michal Koucký 0001, Karel Král 0002, Veronika Slívová
ESA4
2020 On Average-Case Hardness in TFNP from One-Way Functions
Pavel Hubácek, Chethan Kamath, Karel Král 0002, Veronika Slívová
TCC (3)4
2020 Colouring (Pr + Ps)-Free Graphs
abstract
Abstract The k-Colouring problem is to decide if the vertices of a graph can be coloured with at most k colours for a fixed integer k such that no two adjacent vertices are coloured alike. If each vertex u must be assigned a colour from a prescribed list $$L(u)\subseteq \{1,\ldots ,k\},$$ L ( u ) ⊆ { 1 , … , k } , then we obtain the List k-Colouring problem. A graph G is H-free if G does not contain H as an induced subgraph. We continue an extensive study into the complexity of these two problems for H-free graphs. The graph $$P_r+P_s$$ P r + P s is the disjoint union of the r-vertex path $$P_r$$ P r and the s-vertex path $$P_s.$$ P s . We prove that List 3-Colouring is polynomial-time solvable for $$(P_2+P_5)$$ ( P 2 + P 5 ) -free graphs and for $$(P_3+P_4)$$ ( P 3 + P 4 ) -free graphs. Combining our results with known results yields complete complexity classifications of 3-Colouring and List 3-Colouring on H-free graphs for all graphs H up to seven vertices.
Tereza Klimosová, Josef Malík, Tomás Masarík, Jana Masaríková, Daniël Paulusma, Veronika Slívová
Algorithmica6
2019 Stronger Lower Bounds for Online ORAM
Pavel Hubácek, Michal Koucký 0001, Karel Král 0002, Veronika Slívová
TCC (2)4
2018 ARRIVAL: Next Stop in CLS
Bernd Gärtner, Thomas Dueholm Hansen, Pavel Hubácek, Karel Král 0002, Hagar Mosaad, Veronika Slívová
ICALP6
2018 Colouring (P_r+P_s)-Free Graphs
abstract
The $k$-Colouring problem is to decide if the vertices of a graph can be coloured with at most $k$ colours for a fixed integer $k$ such that no two adjacent vertices are coloured alike. If each vertex u must be assigned a colour from a prescribed list $L(u) \subseteq \{1,\cdots, k\}$, then we obtain the List $k$-Colouring problem. A graph $G$ is $H$-free if $G$ does not contain $H$ as an induced subgraph. We continue an extensive study into the complexity of these two problems for $H$-free graphs. The graph $P_r+P_s$ is the disjoint union of the $r$-vertex path $P_r$ and the $s$-vertex path $P_s$. We prove that List $3$-Colouring is polynomial-time solvable for $(P_2+P_5)$-free graphs and for $(P_3+P_4)$-free graphs. Combining our results with known results yields complete complexity classifications of $3$-Colouring and List $3$-Colouring on $H$-free graphs for all graphs $H$ up to seven vertices.
Tereza Klimosová, Josef Malík, Tomás Masarík, Jana Masaríková, Daniël Paulusma, Veronika Slívová
ISAAC6