Comments on Sympathy: Fast Exact Minimization of Fixed Polarity Reed-Muller Expansion for Symmetric Functions
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF ELECTRICAL AND COMPUTER ENGINEERING
Pagination or Media Count:
The above paper finds an optimal fixed-polarity Reed-Muller expansion of an eta-variable totally symmetric function using an OFDD-based algorithm that requires On7 time and On6 storage space. However, an algorithm based on Supruns transeunt triangles requires only On3 time and On2 storage space. An implementation of this algorithm yields computation times lower by several orders of magnitude.
- Numerical Mathematics
- Theoretical Mathematics
- Electricity and Magnetism