2 papers
cs.DC2025
Distributed Interactive Proofs for Planarity with Log-Star Communication
Yuval Gil, Merav Parter
We provide new communication-efficient distributed interactive proofs for planarity. The notion of a \emph{distributed interactive proof (DIP)} was introduced by Kol, Oshman, and S…
cs.DS2025
New Distributed Interactive Proofs for Planarity: A Matter of Left and Right
Yuval Gil, Merav Parter
We provide new distributed interactive proofs (DIP) for planarity and related graph families. The notion of a \emph{distributed interactive proof} (DIP) was introduced by Kol, Oshm…