Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. A Hybrid Method for Spectral Translation Equivalent Boolean Functions
 
conference paper

A Hybrid Method for Spectral Translation Equivalent Boolean Functions

Soeken, Mathias  
•
Testa, Eleonora  
•
Miller, D. Michael
Show more
August 21, 2019
2019 Ieee Pacific Rim Conference On Communications, Computers And Signal Processing (Pacrim)
2019 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing

The equivalence of Boolean functions with respect to five invariance (aka translation) operations has been well considered with respect to the Rademacher-Walsh spectral domain. In this paper, we introduce a hybrid approach that uses both the Reed-Muller and the Rademacher-Walsh spectra. A novel hybrid algorithm that maps a Boolean function to a representative function for the equivalence class containing the original function is presented. The algorithm can be used to determine a sequence of translations that maps one function to an equivalent function. We present experimental results that show the hybrid algorithm can determine the equivalence classes for 5 variables much more efficiently than before. We also show that for 6 variables where there are 150,357 equivalence classes, 8 are very difficult, a further 58 are difficult and the remainder are straightforward in terms of the CPU time required by the hybrid algorithm.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

2019_pacrim.pdf

Access type

openaccess

Size

222.23 KB

Format

Adobe PDF

Checksum (MD5)

b84f4867261007cc0648f542e27d3b76

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés