Martin E. Dyer

University of Leeds, Leeds, England, United Kingdom

Are you Martin E. Dyer?

Claim your profile

Publications (157)77.02 Total impact

  • Source
    Martin Dyer, Mark Jerrum, Haiko Müller
    [Show abstract] [Hide abstract]
    ABSTRACT: We study a simple Markov chain, the switch chain, on the set of all perfect matchings in a bipartite graph. This Markov chain was proposed by Diaconis, Graham and Holmes as a possible approach to a sampling problem arising in Statistics. We ask: for which classes of graphs is the Markov chain ergodic and for which is it rapidly mixing? We provide a precise answer to the ergodicity question and close bounds on the mixing question. We show for the first time that the mixing time of the switch chain is polynomial in the case of monotone graphs, a class that includes examples of interest in the statistical setting.
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Given a symmetric matrix $M\in \{0,1,*\}^{D\times D}$, an $M$-partition of a graph $G$ is a function from $V(G)$ to $D$ such that no edge of $G$ is mapped to a $0$ of $M$ and no non-edge to a $1$. We give a computer-assisted proof that, when $|D|=4$, the problem of counting the $M$-partitions of an input graph is either in FP or is #P-complete. Tractability is proved by reduction to the related problem of counting list $M$-partitions; intractability is shown using a gadget construction and interpolation. We use a computer program to determine which of the two cases holds for all but a small number of matrices, which we resolve manually to establish the dichotomy. We conjecture that that the dichotomy also holds for $|D|>4$. More specifically, we conjecture that, for any symmetric matrix $M\in\{0,1,*\}^{D\times D}$, the complexity of counting $M$-partitions is the same as the related problem of counting list $M$-partitions.
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We prove that heat-bath chains (which we define in a general setting) have no negative eigenvalues. Two applications of this result are presented: one to single-site heat-bath chains for spin systems and one to a heat-bath Markov chain for sampling contingency tables. Some implications of our main result for the analysis of the mixing time of heat-bath Markov chains are discussed. We also prove an alternative characterisation of heat-bath chains, and consider possible generalisations.
    Linear Algebra and its Applications 01/2013; 454. DOI:10.1016/j.laa.2014.04.018 · 0.98 Impact Factor
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We study the complexity of approximately solving the weighted counting constraint satisfaction problem #CSP(F). In the conservative case, where F contains all unary functions, there is a classification known for the case in which the domain of functions in F is Boolean. In this paper, we give a classification for the more general problem where functions in F have an arbitrary finite domain. We define the notions of weak log-modularity and weak log-supermodularity. We show that if F is weakly log-modular, then #CSP(F)is in FP. Otherwise, it is at least as difficult to approximate as #BIS, the problem of counting independent sets in bipartite graphs. #BIS is complete with respect to approximation-preserving reductions for a logically-defined complexity class #RHPi1, and is believed to be intractable. We further sub-divide the #BIS-hard case. If F is weakly log-supermodular, then we show that #CSP(F) is as easy as a (Boolean) log-supermodular weighted #CSP. Otherwise, we show that it is NP-hard to approximate. Finally, we give a full trichotomy for the arity-2 case, where #CSP(F) is in FP, or is #BIS-equivalent, or is equivalent in difficulty to #SAT, the problem of approximately counting the satisfying assignments of a Boolean formula in conjunctive normal form. We also discuss the algorithmic aspects of our classification.
    Journal of Computer and System Sciences 08/2012; 81(1). DOI:10.1016/j.jcss.2014.06.006 · 1.09 Impact Factor
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We consider the problem of k-colouring a random r-uniform hypergraph with n vertices and cn edges, where k, r, c remain constant as n tends to infinity. Achlioptas and Naor showed that the chromatic number of a random graph in this setting, the case r=2, must have one of two easily computable values as n tends to infinity. We give a complete generalisation of this result to random uniform hypergraphs.
    Journal of Combinatorial Theory Series B 08/2012; 113. DOI:10.1016/j.jctb.2015.01.002 · 0.94 Impact Factor
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: An important tool in the study of the complexity of Constraint Satisfaction Problems (CSPs) is the notion of a relational clone, which is the set of all relations expressible using primitive positive formulas over a particular set of base relations. Post's lattice gives a complete classification of all Boolean relational clones, and this has been used to classify the computational difficulty of CSPs. Motivated by a desire to understand the computational complexity of (weighted) counting CSPs, we develop an analogous notion of functional clones and study the landscape of these clones. One of these clones is the collection of log-supermodular (lsm) functions, which turns out to play a significant role in classifying counting CSPs. In the conservative case (where all nonnegative unary functions are available), we show that there are no functional clones lying strictly between the clone of lsm functions and the total clone (containing all functions). Thus, any counting CSP that contains a single nontrivial non-lsm function is computationally as hard to approximate as any problem in #P. Furthermore, we show that any non-trivial functional clone (in a sense that will be made precise) contains the binary function "implies". As a consequence, in the conservative case, all non-trivial counting CSPs are as hard as #BIS, the problem of counting independent sets in a bipartite graph. Given the complexity-theoretic results, it is natural to ask whether the "implies" clone is equivalent to the clone of lsm functions. We use the Mobius transform and the Fourier transform to show that these clones coincide precisely up to arity 3. It is an intriguing open question whether the lsm clone is finitely generated. Finally, we investigate functional clones in which only restricted classes of unary functions are available.
    Journal of the ACM 08/2011; DOI:10.1145/2528401 · 2.94 Impact Factor
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: In evolutionary game theory, repeated two-player games are used to study strategy evolution in a population under natural selection. As the evolution greatly depends on the interaction structure, there has been growing interests in studying the games on graphs. In this setting, players occupy the vertices of a graph and play the game only with their immediate neighbours. Various evolutionary dynamics have been studied in this setting for different games. Due to the complexity of the analysis, however, most of the work in this area is experimental. This paper aims to contribute to a more complete understanding, by providing rigorous analysis. We study the imitation dynamics on two classes of graph: cycles and complete graphs. We focus on three well known social dilemmas, namely the Prisoner's Dilemma, the Stag Hunt and the Snowdrift Game. We also consider, for completeness, the so-called Harmony Game. Our analysis shows that, on the cycle, all four games converge fast, either to total cooperation or total defection. On the complete graph, all but the Snowdrift game converge fast, either to cooperation or defection. The Snowdrift game reaches a metastable state fast, where cooperators and defectors coexist. It will converge to cooperation or defection only after spending time in this state which is exponential in the size, n, of the graph. In exceptional cases, it will remain in this state indefinitely. Our theoretical results are supported by experimental investigations.
  • Source
    Martin Dyer, Velumailum Mohanaraj
    [Show abstract] [Hide abstract]
    ABSTRACT: Pavlov, a well-known strategy in game theory, has been shown to have some advantages in the Iterated Prisoner's Dilemma (IPD) game. However, this strategy can be exploited by inveterate defectors. We modify this strategy to mitigate the exploitation. We call the resulting strategy Rational Pavlov. This has a parameter p which measures the "degree of forgiveness" of the players. We study the evolution of cooperation in the IPD game, when n players are arranged in a cycle, and all play this strategy. We examine the effect of varying p on the convergence rate and prove that the convergence rate is fast, O(n log n) time, for high values of p. We also prove that the convergence rate is exponentially slow in n for small enough p. Our analysis leaves a gap in the range of p, but simulations suggest that there is, in fact, a sharp phase transition.
  • Martin E. Dyer, Velumailum Mohanaraj
    [Show abstract] [Hide abstract]
    ABSTRACT: We study the complexity of computing Nash equilibria in games where players arranged as the vertices of a graph play a symmetric 2-player game against their neighbours. We call this a pairwise-interaction game. We analyse this game for n players with a fixed number of actions and show that (1) a mixed Nash equilibrium can be computed in constant time for any game, (2) a pure Nash equilibrium can be computed through Nash dynamics in polynomial time for games with a symmetrisable payoff matrix, (3) determining whether a pure Nash equilibrium exists for zero-sum games is NP-complete, and (4) counting pure Nash equilibria is #P-complete even for 2-strategy games. In proving (3), we define a new defective graph colouring problem called Nash colouring, which is of independent interest, and prove that its decision version is NP-complete. Finally, we show that pairwise-interaction games form a proper subclass of the usual graphical games.
    Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I; 01/2011
  • Source
    Martin Dyer, David Richerby
    [Show abstract] [Hide abstract]
    ABSTRACT: Bulatov (2008) and Dyer and Richerby (2010) have established the following dichotomy for the counting constraint satisfaction problem (\#\csp): for any constraint language $\Gamma\!$, the problem of computing the number of satisfying assignments to constraints drawn from $\Gamma$ is either in \fp{} or is \numpc{}, depending on the structure of $\Gamma\!$. The principal question left open by this research was whether the criterion of the dichotomy is decidable. We show that it is; in fact, it is in \np{}.
  • Source
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Motivated by a desire to understand the computational complexity of counting constraint satisfaction problems (counting CSPs), particularly the complexity of approximation, we study functional clones of functions on the Boolean domain, which are analogous to the familiar relational clones constituting Post's lattice. One of these clones is the collection of log-supermodular (lsm) functions, which turns out to play a significant role in classifying counting CSPs. In our study, we assume that non-negative unary functions (weights) are available. Given this, we prove that there are no functional clones lying strictly between the clone of lsm functions and the total clone (containing all functions). Thus, any counting CSP that contains a single nontrivial non-lsm function is computationally as hard as any problem in #P. Furthermore, any non-trivial functional clone (in a sense that will be made precise below) contains the binary function "implies". As a consequence, all non-trivial counting CSPs (with non-negative unary weights assumed to be available) are computationally at least as difficult as #BIS, the problem of counting independent sets in a bipartite graph. There is empirical evidence that #BIS is hard to solve, even approximately. Finally, we investigate functional clones in which only restricted unary functions (either favouring 0 or 1) are available.
  • Source
    Colin Cooper, Martin E. Dyer, Andrew J. Handley
    [Show abstract] [Hide abstract]
    ABSTRACT: We present a family of peer-to-peer network protocols that yield regular graph topologies having known Hamilton cycles. These topologies are equivalent, in a well-defined sense, to the random regular graph. As a consequence, we have connectivity deterministically, and logarithmic diameter and expansion properties with high probability. We study the efficacy of certain simple topology-altering operations, designed to introduce randomness. These operations enable the network to self-stabilise when damaged. They resemble the operations used by Cooper, Dyer and Greenhill (2007) for a similar purpose in the case of random regular graphs. There is a link between our protocols and certain combinatorial structures which have been studied previously, in particular discordant permutations and Latin rectangles. We give the first rigorous polynomial mixing-time bounds for natural Markov chains that sample these objects at random. We do so by developing a novel extension to the canonical path technique for bounding mixing times: routing via a random destination. This resembles a technique used by Valiant (1982) for low-congestion routing in hypercubes.
    Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, California, USA, January 23-25, 2011; 01/2011
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: We give some reductions among problems in (nonnegative) weighted #CSP which restrict the class of functions that needs to be considered in computational complexity studies. Our reductions can be applied to both exact and approximate computation. In particular, we show that a recent dichotomy for unweighted #CSP can be extended to rational-weighted #CSP.
    Journal of Computer and System Sciences 05/2010; DOI:10.1016/j.jcss.2011.12.002 · 1.09 Impact Factor
  • [Show abstract] [Hide abstract]
    ABSTRACT: We give a trichotomy theorem for the complexity of approximately counting the number of satisfying assignments of a Boolean CSP instance. Such problems are parameterised by a constraint language specifying the relations that may be used in constraints. If every relation in the constraint language is affine then the number of satisfying assignments can be exactly counted in polynomial time. Otherwise, if every relation in the constraint language is in the co-clone IM"2 from Post's lattice, then the problem of counting satisfying assignments is complete with respect to approximation-preserving reductions for the complexity class #RH@P"1. This means that the problem of approximately counting satisfying assignments of such a CSP instance is equivalent in complexity to several other known counting problems, including the problem of approximately counting the number of independent sets in a bipartite graph. For every other fixed constraint language, the problem is complete for #P with respect to approximation-preserving reductions, meaning that there is no fully polynomial randomised approximation scheme for counting satisfying assignments unless NP=RP.
    Journal of Computer and System Sciences 05/2010; 76(3-4):267-277. DOI:10.1016/j.jcss.2009.08.003 · 1.09 Impact Factor
  • Source
    Martin Dyer, David Richerby
    [Show abstract] [Hide abstract]
    ABSTRACT: Bulatov (2008) gave a dichotomy for the counting constraint satisfaction problem #CSP. A problem from #CSP is characterised by a constraint language, which is a fixed, finite set of relations over a finite domain D. An instance of the problem uses these relations to constrain the variables in a larger set. Bulatov showed that the problem of counting the satisfying assignments of instances of any problem from #CSP is either in polynomial time (FP) or is #P-complete. His proof draws heavily on techniques from universal algebra and cannot be understood without a secure grasp of that field. We give an elementary proof of Bulatov's dichotomy, based on succinct representations, which we call frames, of a class of highly structured relations, which we call strongly rectangular. We show that these are precisely the relations which are invariant under a Mal'tsev polymorphism. En route, we give a simplification of a decision algorithm for strongly rectangular constraint languages, due to Bulatov and Dalmau (2006). We establish a new criterion for the #CSP dichotomy, which we call strong balance, and we prove that this property is decidable. In fact, we establish membership in NP. Thus, we show that the dichotomy is effective, resolving the most important open question concerning the #CSP dichotomy.
    SIAM Journal on Computing 03/2010; 42(3). DOI:10.1137/100811258 · 0.76 Impact Factor
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs with bounded-degree instances, for constraint languages containing the two unary constant relations {0} and {1}. When the maximum degree is at least 25 we obtain a complete classification of the complexity of this problem. It is exactly solvable in polynomial-time if every relation in the constraint language is affine. It is equivalent to the problem of approximately counting independent sets in bipartite graphs if every relation can be expressed as conjunctions of {0}, {1} and binary implication. Otherwise, there is no FPRAS unless NP=RP. For lower degree bounds, additional cases arise in which the complexity is related to the complexity of approximately counting independent sets in hypergraphs. Comment: 12-page conference version for STACS 2010
  • Source
    Martin E. Dyer, David Richerby
    [Show abstract] [Hide abstract]
    ABSTRACT: Bulatov (2008) has given a dichotomy for the counting constraint satisfaction problem, #CSP. A problem from #CSP is characterized by a constraint language γ, which is a fixed, finite set of relations over a finite domain. An instance of the problem uses these relations to constrain the values taken by a finite set of variables. Bulatov showed that, for any fixed γ, the problem of counting the satisfying assignments of instances of any problem from #CSP is either in polynomial time (FP) or #P-complete, according on the structure of the constraint language γ. His proof draws heavily on techniques from universal algebra and cannot be understood without a secure grasp of that field. We give an elementary proof of Bulatov's dichotomy, based on succinct representations, which we call frames, of a class of highly structured relations, which we call strongly rectangular. We show that these are precisely the relations that are invariant under a Mal'tsev polymorphism. En route, we give a simplification of a decision algorithm for strongly rectangular constraint languages due to Bulatov and Dalmau (2006). Out proof uses no universal algebra, except for the straightforward concept of the Mal'tsev polymorphism and is accessible to readers with little background in #CSP.
    Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010; 01/2010
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs with bounded-degree instances, for constraint languages containing the two unary constant relations {0} and {1}. When the maximum degree is at least 25 we obtain a complete classification of the complexity of this problem. It is exactly solvable in polynomial-time if every relation in the constraint language is affine. It is equivalent to the problem of approximately counting independent sets in bipartite graphs if every relation can be expressed as conjunctions of {0}, {1} and binary implication. Otherwise, there is no FPRAS unless NP = RP. For lower degree bounds, additional cases arise in which the complexity is related to the complexity of approximately counting independent sets in hypergraphs.
    27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France; 01/2010
  • Source
    Martin E. Dyer, Alan M. Frieze
    [Show abstract] [Hide abstract]
    ABSTRACT: We consider the problem of generating a colouring of the random graph Gn,p uniformly at random using a natural Markov chain algorithm: the Glauber dynamics. We assume that there are β� colours available, whereis the maximum degree of the grap h, and we wish to determine the least β = β(p) such that the distribution is close to uniform in O(n log n) steps of the chain. This problem has been previously studied for Gn,p in cases where np is relatively small. Here we consider the "dense" cases, where np ∈ (ω ln n, n) and ω = ω(n) → ∞. Our methods are closely tailored to the random graph setting, but we obtain considerably better bounds on β(p) than can be achieved using more general techniques.

Publication Stats

4k Citations
77.02 Total Impact Points

Institutions

  • 1988–2013
    • University of Leeds
      • School of Computing
      Leeds, England, United Kingdom
  • 2000–2002
    • The University of Warwick
      • Department of Computer Science
      Coventry, England, United Kingdom
  • 1985–1995
    • Carnegie Mellon University
      • • Computer Science Department
      • • Department of Mathematical Sciences
      Pittsburgh, Pennsylvania, United States
  • 1985–1990
    • Queen Mary, University of London
      Londinium, England, United Kingdom