On Recognition of Symmetries for Switching Functions in Reed-Muller Forms

Abstract

This paper addresses the recognition of partial symmetry in variables of switching functions represented in positive polarity Reed-Muller (RM) form. We develop a formal representation of partial symmetries in this RM form and present algorithms for their detection. In addition, we show necessary and sufficient conditions to recognize in RM expression partial and total symmetries in variables of the function. Our program RECSym successfully recognizes symmetries in RM expansion in standard benchmark circuits.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1999
Accession Number
ADA605493

Entities

People

  • G. Holowinski
  • G. W. Dueck
  • J. T. Butler
  • S. N. Yanushkevich
  • V. P. Shmerko

Organizations

  • Naval Postgraduate School

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Detection
  • Identification
  • Information Operations
  • Information Processing
  • Pattern Recognition
  • Recognition
  • Standards
  • Switching
  • Symmetry

Readers

  • Calculus or Mathematical Analysis
  • Life Cycle Cost Analysis
  • Neural Network Machine Learning.