~/talk

From Channel Assignment to Subgraph Isomorphism

links:none on file
slides:none on file

Shows a concrete compression that encodes n bits into k log k via merging permutations, producing channel-assignment instances of size roughly n / log n and deriving ETH-based lower bounds for both general and L-bounded versions. Translates the same permutation-compression and a simpler one-to-many packing trick (a reduction from graph homomorphism to subgraph isomorphism) into a subgraph-isomorphism lower bound, yielding a near-tight exponential time barrier of roughly 2^{Ω(n sqrt(log n))} under ETH.

AI-written summary · about

  1. 0:00Intro
  2. 0:15Graph Coloring Recall the Graph Coloring problem.
  3. 0:57The Channel Assignment problem.
  4. 1:52Algorithms for Channel Assignment
  5. 2:28CSP Hierarchy
  6. 3:04Permutation Encoding
  7. 6:31Naive Encoding
  8. 8:34Need some colors!
  9. 12:41Guessing is cheap
  10. 14:37Tight lower bound for Subgraph Isomorphism
  11. 15:01Back to the Channel Assignment
  12. 17:02Summary of Channel Assignment
~/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.