LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 241-243 of 486

    • The Byzantine Firing Squad Problem 

      Burns, James E.; Lynch, Nancy A. (1985-04)
      A new problem, the Byzanntine Firing Squad problem, is defined and solved in two versions, Permissive and Strict. Both problems provide for synchronization of initially unsychronized processors in a synchronous network, ...

    • Qualitative Simulation of Mechanisms 

      Kuipers, Benjamin (1985-04)
      Qualitative simulation is a key inference process in qualitative causal reasoning. However, the precise meaning of the different proposals and their relation with differential equations is often unclear. In this paper, we ...

    • Generalized Planar Matching 

      Berman, Fran; Leighton, Tom; Shor, Peter; Snyder, Larry (1985-04)
      In this paper, we prove that maximum planar H-matching (the problem of determining the maximum number of node-disjointed copies of the fixed graph H contained in a variable planar graph G) is NP-complete for any connected ...