G. Wu, Y. Lv, D. He, J. He, H. Zhou and S. Chan, "Deterministic Algorithms for Solving Boolean Polynomial Equations Based on Channel Coding Theory," in IEEE Access, vol. 8, pp. 26764-26772, 2020, doi: 10.1109/ACCESS.2020.2971393
Deterministic algorithms for solving boolean polynomial equations based on channel coding theory
|Author:||Wu, Guangfu1; Lv, Yijie1; He, Daojing1,2;|
1Department of Information Engineering, Jiangxi University of Science and Technology, Ganzhou 330006, China
2Department of Software Engineering, East China Normal University, Shanghai 200241, China
3Centre for Wireless Communications, University of Oulu, 90014 Oulu, Finland
4Department of Electronic Engineering, City University of Hong Kong, Hong Kong 999077
|Online Access:||PDF Full Text (PDF, 2.3 MB)|
|Persistent link:|| http://urn.fi/urn:nbn:fi-fe2020050625421
Institute of Electrical and Electronics Engineers,
|Publish Date:|| 2020-05-06
Solving the satisfiability problems of Boolean polynomial equations is still an open challenge in the fields of mathematics and computer science. In this paper, our goal is to propose a non-algebraic method for solving maximal Boolean polynomial equations (Max-PoSSo problem). By leveraging channel coding theory and dynamic programming, we propose three deterministic and robust algorithms for solving the satisfiability problems of Boolean polynomial equations. Comparisons are made among the three proposed algorithms and Genetic and Gröbner algorithms. Simulation results show that the proposed algorithms exhibit better performance in terms of the largest number of Boolean polynomials equal to 0 compared to the benchmark schemes in the literature.
|Pages:||26764 - 26772|
|Type of Publication:||
A1 Journal article – refereed
|Field of Science:||
213 Electronic, automation and communications engineering, electronics
This work was supported in part by the National Natural Science Foundation of China under Grant 11461031, in part by the Natural Science Foundation of Jiangxi Province under Grant 20181BBE58018, in part by the Science and Technology Project of Jiangxi Education Department under Grant GJJ180442, and in part by the Science and Technology Key Project of the Education Department of Jiangxi Province under Grant GJJ170492.
© The Authors 2020. This work is licensed under a Creative Commons Attribution 4.0 License. For more information, see http://creativecommons.org/licenses/by/4.0/.