1 / 23

Counting Graph Colourings by using Sequences of Subgraphs

Counting Graph Colourings by using Sequences of Subgraphs. Charilaos Efthymiou DIMAP University of Warwick DIMAP Summer School – July 2010. Counting. Problem : Given Find the cardinality of the set of feasible solutions

seamus
Download Presentation

Counting Graph Colourings by using Sequences of Subgraphs

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Counting Graph Colourings by using Sequences of Subgraphs Charilaos Efthymiou DIMAP University of Warwick DIMAP Summer School – July 2010

  2. Counting • Problem: Given Find the cardinality of the set of feasible solutions • Examples: matching, independent sets, proper colourings, bin packing, SAT

  3. Graph Colouring G=(V, E) Set of colours{1,…,k} (Proper) Colouring σ:V →{1,…,k} and σ(v)≠σ(u)for every {v,u}E 1 1 2 1 1 3 Colours :{1, 2, 3, 4} 6 3 2 4 3 5

  4. Counting Vs Sampling G=(V, E) 2 1 Set of colours{1,…,k} c d Z(G, k):  k-colouring of G a 3 e Process: Choose u.a.r. a k-colouring of the graph b 6 Ei,j: “Vertices i, j receive different colour” 4 5 pa:: Pr[ E1,6 in Ga] pb: Pr[ E1,4 in Gb] pc: Pr[ E2,6 in Gc] pd: Pr[ E2,5 in Gd] pe: Pr[ {6,3} in Ge] Z(G,k)=|V|k papbpcpdpe

  5. Counting • Exact counting is hard, • Valiant ‘79P class • Approximate counting using Rapidly Mixing Markov Chains • Celebrated achievements: FPRAS for • Permanents: Jerrum, Sinclair 1989, Jerrum Sinclair Vigoda 2001 • Volume of convex body: Dyer, Frieze Kannan 1991 • Counting independent sets in degree-4 graphs: Luby and Vigoda 1997

  6. Graph k-colourings • Maximum degree Δ • [Vigoda 99] k>11/6Δ– arbitrarygraph • [Mοssel & Sly 08] Random graphs with fixed expected degree d , with k>f(d) • [Hayes, Vera & Vigoda] Planar Graphs k> Ω(Δ/log Δ)

  7. For this talk… • We propose algorithms which are not based on Markov Chains. • Compute the corresponding probabilities directly. • Weakness: • We only compute ε-approximation to log Z(G, k) • Strength: • Deterministic • Explicit results for Gnp

  8. Works for Det. Counting • Colourings • Regular graphs with high girth Δ+1-colours- PTAS • Bandyopadhyay, Gamarnik 2005 • G with girth 4, 2.8Δ-colours FPTAS • Gamarnik, Katz 2007 • Sparse Random Graphs with number of colours that depend on the expected degree -PTAS • Efthymiou, Spirakis 2008. • Graph matchings - FPTAS • Bayatui, Gamarnik, Katz, Nair, Tetali 2007. • Independent sets FPTAS • Weitz 2006

  9. Easy Examples… • Trees • Compute each probability recursively! • DP - - For constant k the time-complexity is O(n) • Graphs of bounded treewidth • Graphs with number of k-colourings (proper & non-proper) that is O(nc)

  10. Efficient computation of marginals – Correlation decay u v A B C t

  11. 3-step algorithm • Compute Pr[Euv] on the “small” graph. • Prove independence from boundary conditions. • Dobrushin’s Condition for Uniqueness of Gibbs measure • Project to the initial graph.

  12. Reduce computational load differently… l1 r1 u l2 r2 v l3 r3 l4 r4 t A B C

  13. Reduce computational load differently… l1 r1 u l2 r2 v l3 r3 l4 r4 A B C

  14. Implications on spatial mixing conditions l1 r1 u l2 r2 v l3 r3 l4 r4 A B C t t L(l3, t): Vertices outside red cycle L(r3, t): Vertices outside green cycle

  15. Comparison with the first approach l1 r1 u l2 r2 v l3 r3 l4 r4 t L(l3, t): Vertices outside red cycle

  16. Theorem - Accuracy l1 r1 u l2 r2 v l3 r3 l4 r4

  17. Spatial Correlation decay G=(V,E) u BP(v,u) Product measure: Pq Pr[Disagreeing]=q Pr[Non-Disagreeing]=1-q “Path of disagreement between u & v” v

  18. Bounding Spatial Correlation decay :

  19. Applications I – Sparse Gnp • The underlying graph is Gnp with expected degree d, d is fixed • Vertex set V={1,…, n} • Each possible edge appear with probability p, independently of the others. • Expected degree is d is fixed real, i.e. p=d/n • The maximum degree is Θ(log n/ loglog n) • Chromatic number Constant

  20. Applications I – Sparse Gnp • Isolate Θ(log n) neighborhoods around u,v • Tree with additional Θ(log n) edges • Computations by Dynamic Programming • Using k≥(2+ε)d with probability 1-n-Ω(1) we get a polynomial time, n-Ω(1)-approximation of log Z(Gnp,k).

  21. Applications II – Locally α-dense graphs • G(V,E) is locally α-denseof bounded maximum degree Δ if • For all {w1, w2} E w2 has at most (1-α)Δ neighbors which are not adjacent to w1 • α  [0,1] is a parameter of the model

  22. Applications II – Locally dense graphs • For k>(2-α)Δ we get a (log n)-Ω(1)-approximation of log Z(G,k), in polynomial time. • If, additionally, every Θ(log n) neighborhood of G has constant treewidth, then we get a n-Ω(1)-approximation of log Z(G,k), in polynomial time.

  23. Thank You!

More Related