{"title":"遗传算法在Kronecker形式类中获得最小布尔函数表示的问题","authors":"S. Vinokurov, L. Ryabets, A. Frantseva","doi":"10.1109/SCM.2017.7970599","DOIUrl":null,"url":null,"abstract":"In this paper the algorithm of receiving the minimal complexity of Boolean function representations in the class of Kronecker forms based on evolutionary algorithm is constructed. Operator approach is used for function representation. Each Boolean function corresponds to unique representation, the special operator form. The obtained algorithm of receiving the minimal representation is based on the complexity of special operator form embedding in the classes of operator bundles, generated from single operator. The genetic algorithm is used to organize search by operators. The population consists of classes of operator bundles and the fitness function is defined as a complexity of special operator form embedding in the current class. The selection of candidates for next iteration is based on result of logarithmic function. Computational experiments have shown that results of genetic search for 9-variable Boolean functions correspond to the results of exact exhaustive search algorithm.","PeriodicalId":315574,"journal":{"name":"2017 XX IEEE International Conference on Soft Computing and Measurements (SCM)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Genetic algorithm in the problem of obtaining minimal Boolean functions representations in the class of Kronecker forms\",\"authors\":\"S. Vinokurov, L. Ryabets, A. Frantseva\",\"doi\":\"10.1109/SCM.2017.7970599\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper the algorithm of receiving the minimal complexity of Boolean function representations in the class of Kronecker forms based on evolutionary algorithm is constructed. Operator approach is used for function representation. Each Boolean function corresponds to unique representation, the special operator form. The obtained algorithm of receiving the minimal representation is based on the complexity of special operator form embedding in the classes of operator bundles, generated from single operator. The genetic algorithm is used to organize search by operators. The population consists of classes of operator bundles and the fitness function is defined as a complexity of special operator form embedding in the current class. The selection of candidates for next iteration is based on result of logarithmic function. Computational experiments have shown that results of genetic search for 9-variable Boolean functions correspond to the results of exact exhaustive search algorithm.\",\"PeriodicalId\":315574,\"journal\":{\"name\":\"2017 XX IEEE International Conference on Soft Computing and Measurements (SCM)\",\"volume\":\"39 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2017 XX IEEE International Conference on Soft Computing and Measurements (SCM)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SCM.2017.7970599\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 XX IEEE International Conference on Soft Computing and Measurements (SCM)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SCM.2017.7970599","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Genetic algorithm in the problem of obtaining minimal Boolean functions representations in the class of Kronecker forms
In this paper the algorithm of receiving the minimal complexity of Boolean function representations in the class of Kronecker forms based on evolutionary algorithm is constructed. Operator approach is used for function representation. Each Boolean function corresponds to unique representation, the special operator form. The obtained algorithm of receiving the minimal representation is based on the complexity of special operator form embedding in the classes of operator bundles, generated from single operator. The genetic algorithm is used to organize search by operators. The population consists of classes of operator bundles and the fitness function is defined as a complexity of special operator form embedding in the current class. The selection of candidates for next iteration is based on result of logarithmic function. Computational experiments have shown that results of genetic search for 9-variable Boolean functions correspond to the results of exact exhaustive search algorithm.