1 citations · 1 across the 8 of their papers we have counts for
4 papers · 1 filter
Beyond the Boundary: Optimal Grid Dispersion by Spread, Reverse, and Collect
Manish Kumar, Anisur Rahaman Molla, Debasish Pattanayak +1
\emph{Dispersion} requires a set of mobile agents to occupy distinct nodes of a graph such that each node contains at most one agent. We study deterministic dispersion of …
Short Graph Sketches Suffice for Error-resilient Leader Verification in CONGEST
Pawel Garncarek, Tomasz Jurdziński, Dariusz Kowalski +1
Locally Checkable Proofs (LCPs) enable the verification of global graph properties using locally checkable certificates assigned by a prover. Recently, this framework was extended…
Observation of intertwined charge density wave order and superconductivity in Janus monolayer
Subhajit Pramanick, Shubham Patel, Sudip Chakraborty +1
Low-dimensional transition-metal dichalcogenides (TMDCs) provide an ideal platform for studying the emergence of charge density wave (CDW) and superconductivity. The discovery of e…
Distributed Local Verification using Proofs with(out) Errors
Paweł Garncarek, Tomasz Jurdzinski, Dariusz Kowalski +1
We study local verification of graph properties in distributed networks under the framework of \emph{locally checkable proofs} (LCPs). In an LCP, a prover assigns proof labels to n…