Message Passing and Combinatorial Optimization

  • Author / Creator
    Ravanbakhsh, Mohsen
  • Graphical models use the intuitive and well-studied methods of graph theory to implicitly represent dependencies between variables in large systems. They can model the global behaviour of a complex system by specifying only local factors.This thesis studies inference in discrete graphical models from an "algebraic perspective" and the ways inference can be used to express and approximate NP-hard combinatorial problems. We investigate the complexity and reducibility of various inference problems, in part by organizing them in an inference hierarchy. We then investigate tractable approximations for a subset of these problems using distributive law in the form of message passing. The quality of the resulting message passing procedure, called Belief Propagation (BP), depends on the influence of loops in the graphical model. We contribute to three classes of approximations that improve BP for loopy graphs (I) loop correction techniques; (II) survey propagation, another message passing technique that surpasses BP in some settings; and (III) hybrid methods that interpolate between deterministic message passing and Markov Chain Monte Carlo inference. We then review the existing message passing solutions and provide novel graphical models and inference techniques for combinatorial problems under three broad classes: (I) constraint satisfaction problems (CSPs) such as satisfiability, coloring, packing, set / clique-cover and dominating / independent set and their optimization counterparts; (II) clustering problems such as hierarchical clustering, K-median, K-clustering, K-center and modularity optimization; (III) problems over permutations including (bottleneck) assignment, graph ``morphisms'' and alignment, finding symmetries and (bottleneck) traveling salesman problem. In many cases we show that message passing is able to find solutions that are either near optimal or favourably compare with today's state-of-the-art approaches.

  • Subjects / Keywords
  • Graduation date
    Spring 2015
  • Type of Item
  • Degree
    Doctor of Philosophy
  • DOI
  • License
    This thesis is made available by the University of Alberta Libraries with permission of the copyright owner solely for non-commercial purposes. This thesis, or any portion thereof, may not otherwise be copied or reproduced without the written consent of the copyright owner, except to the extent permitted by Canadian copyright law.
  • Language
  • Institution
    University of Alberta
  • Degree level
  • Department
  • Supervisor / co-supervisor and their department(s)
  • Examining committee members and their departments
    • Szepesvari, Csaba (Computing Science)
    • Moore Cristopher (Santa Fe Institute)
    • Salavatipour Mohammad (Computing Science)
    • Schuurmans, Dale (Computing Science)