Research on Algorithm of Boolean Function Isomorphism Decision Based on ROBDD

Hong Yan Li

doi:10.4028/www.scientific.net/AMR.710.642

Paper Titles

The Research of Infrared Image Generation Method Based on the OGRE
p.623

The Application of Modified BP Neural Network Method to the Evaluation of the Quality of Teaching
p.628

Building and Clustering Analysis of Brain Functional Network in Acupuncture
p.633

An Improved SDIF Radar Pulse Signal Main Sorting Algorithm
p.637

Research on Algorithm of Boolean Function Isomorphism Decision Based on ROBDD
p.642

Parameter Optimization of Street-Phelps Model Based on Particle Swarm Optimization
p.647

Multi-Objective Optimization of Automobile Powertrain Based on Genetic Algorithm
p.651

Palm Vein Recognition Algorithm Using Curvelet and Wavelet
p.655

Study on the Architecture and Key Technology for Internet of Things
p.660

HomeAdvanced Materials ResearchAdvanced Materials Research Vol. 710Research on Algorithm of Boolean Function...

Research on Algorithm of Boolean Function Isomorphism Decision Based on ROBDD

Abstract:

As an indispensable tool in cryptosystem design and analysis, Boolean function has always been one of important issues. Isomorphism decision of Boolean function has wide applications. However, how to determine the isomorphism of Boolean functions is NP-hard problem. In this paper, an algorithm of determining Boolean function Isomorphism based on ROBDD is presented, which can effectively solve problem of Boolean functions Isomorphism decision.

You might also be interested in these eBooks

Advanced Technologies and Solutions in Industry

View Preview

Info:

Periodical:

Advanced Materials Research (Volume 710)

Pages:

642-646

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.710.642

Citation:

Cite this paper

Online since:

June 2013

Authors:

Hong Yan Li

Keywords:

Boolean Functions, Determining Algorithm, Isomorphism, ROBDD, Sort

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Drechsler R,Becker B,Gockel N. Genetic algorithm for variable ordering of OBDDs[J]. IEE Proc-Comput. Digit.Tech , 1996,143(6):364-368

DOI: 10.1049/ip-cdt:19960789

Google Scholar

[2] Gomez P J A , Sanchez P J M . Searching optimal ROBDDs using methodologies based on evolutionary algorithms[J] . IEE Proc-Circuits Devices Syst. , 1999, 146(4):164-168

DOI: 10.1049/ip-cds:19990439

Google Scholar

[3] Juan A , Gomez P , Juan M , Sanchez P . An application of genetic algorithms to the ROBDD optimization [J] . Genetic Algorithms in Engineering Systems: Innovarions and Aplications , 1997 , (446): 290-295

Google Scholar

[4] Long Wangning, Yang shiyuan.. OBDD variable ordering algorithm based on the weight analysis [J]. Journal of Computers 1997 ,20 (8) :702-710

Google Scholar

[5] Bei Jinsong, Bian jinian. Adaptive selection algorithm of OBDD variables ordering. Computer Aided Design and Computer Graphics [J ] ,1999 ,11 (5) :412-416

Google Scholar