New Lower Bounds in Merlin-Arthur Communication and Graph Streaming Verification.
Prantar GhoshVihan ShahPublished in: ITCS (2024)
Keyphrases
- lower bound
- upper bound
- min sum
- graph representation
- random walk
- branch and bound
- graph model
- structured data
- directed graph
- graph theory
- objective function
- communication systems
- graph structure
- model checking
- video streaming
- real time
- communication networks
- weighted graph
- branch and bound algorithm
- data streams
- graph theoretic
- stream processing
- communication protocols
- constant factor
- graph matching
- connected components
- image registration
- streaming data
- bipartite graph
- lower and upper bounds
- max flow