~/talk

Distributed Vertex Cover Reconfiguration

Talkat ITCS 2022 · 2022-01-31..02-03· [distributed-systems]
links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

Defines batched reconfiguration where each batch must be safe under any adversarial ordering (equivalently batch vertices form an independent set), and proves a compression: any monotone sequential schedule becomes a batched schedule with O(1/ε) batches and 1+ε approximation to the max intermediate cover. Builds distributed algorithms in the LOCAL model using a small separator decomposition (clusters diameter O(1/ε), separator size ≈ε|α Δ β|) to compute schedules in O(log* n / ε) rounds; applies to cactus, planar and bounded‑diversity cases.

AI-written summary · about

  1. 0:00Intro
  2. 0:31Motivation
  3. 1:36Sequential Vertex Cover Reconfiguration
  4. 4:41Batch Vertex Cover Reconfiguration Goal: Reconfigure faster Batched reconfiguration schedule (incomplete)
  5. 9:38Our Results & Summary Centralized
  6. 14:13Sequential to Batch Compression - Proof
  7. 18:57Implications
  8. 20:44LOCAL Model [Linial; FOCS '87]
  9. 21:51A computer in a big big world
  10. 22:59Reconfiguration in the LOCAL model
  11. 24:32(d,x)-Separator Decomposition
  12. 26:11Using the Decomposition
  13. 30:09Approximation analysis Schedule bounds
  14. 31:22Computing the Decomposition
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.