• DocumentCode
    474435
  • Title

    Faster symmetry discovery using sparsity of symmetries

  • Author

    Darga, Paul T. ; Sakallah, Karem A. ; Markov, Igor L.

  • Author_Institution
    Electr. Eng. & Comput. Sci. Dept., Univ. of Michigan, Ann Arbor, MI
  • fYear
    2008
  • fDate
    8-13 June 2008
  • Firstpage
    149
  • Lastpage
    154
  • Abstract
    Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this symmetry. However, existing tools suffer quadratic runtime in the number of symmetries explicitly returned and are of limited use on very large, sparse, symmetric graphs. This paper introduces a new symmetry-discovery algorithm which exploits the sparsity present not only in the input but also the output, i.e., the symmetries themselves. By avoiding quadratic runtime on large graphs, it improves state-of- the-art runtimes from several days to less than a second.
  • Keywords
    graph theory; symmetry; graph symmetry tools; quadratic runtime; symmetry-discovery algorithm; Boolean functions; Electronic design automation and methodology; Mathematics; Microprocessors; Partitioning algorithms; Permission; Personal digital assistants; Runtime; Space technology; State-space methods; Boolean satisfiability; Symmetry; constraint satisfaction problems; graph automorphism; model checking; partition refinement; sparsity;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference, 2008. DAC 2008. 45th ACM/IEEE
  • Conference_Location
    Anaheim, CA
  • ISSN
    0738-100X
  • Print_ISBN
    978-1-60558-115-6
  • Type

    conf

  • Filename
    4555799