okfdd分解类型选择的遗传算法

Proceedings First International Symposium on Intelligence in Neural and Biological Systems. INBS'95 Pub Date : 1995-05-29 DOI:10.1109/INBS.1995.404257

R. Drechsler, B. Becker, Nicole Drechsler, A. Jahnke

{"title":"okfdd分解类型选择的遗传算法","authors":"R. Drechsler, B. Becker, Nicole Drechsler, A. Jahnke","doi":"10.1109/INBS.1995.404257","DOIUrl":null,"url":null,"abstract":"A genetic algorithm (GA) is applied to find decomposition type lists (DTLs) that minimize the size of ordered Kronecker functional decision diagrams (OKFDDs). OKFDDs are a data structure for representation and manipulation of Boolean functions. The choice of the DTL largely influences the size of the OKFDD, i.e. its size may vary from polynomial to exponential. In Dreschsler, Becker, and Jahnke (1995) heuristic methods have been presented. In this paper the authors show by experiments that better results can be obtained by using GAs.<<ETX>>","PeriodicalId":423954,"journal":{"name":"Proceedings First International Symposium on Intelligence in Neural and Biological Systems. INBS'95","volume":"48 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"A genetic algorithm for decomposition type choice in OKFDDs\",\"authors\":\"R. Drechsler, B. Becker, Nicole Drechsler, A. Jahnke\",\"doi\":\"10.1109/INBS.1995.404257\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A genetic algorithm (GA) is applied to find decomposition type lists (DTLs) that minimize the size of ordered Kronecker functional decision diagrams (OKFDDs). OKFDDs are a data structure for representation and manipulation of Boolean functions. The choice of the DTL largely influences the size of the OKFDD, i.e. its size may vary from polynomial to exponential. In Dreschsler, Becker, and Jahnke (1995) heuristic methods have been presented. In this paper the authors show by experiments that better results can be obtained by using GAs.<<ETX>>\",\"PeriodicalId\":423954,\"journal\":{\"name\":\"Proceedings First International Symposium on Intelligence in Neural and Biological Systems. INBS'95\",\"volume\":\"48 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1995-05-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings First International Symposium on Intelligence in Neural and Biological Systems. INBS'95\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/INBS.1995.404257\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings First International Symposium on Intelligence in Neural and Biological Systems. INBS'95","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/INBS.1995.404257","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

应用遗传算法(GA)寻找分解类型列表(DTLs)，使有序Kronecker功能决策图(okfdd)的大小最小。okfdd是一种用于表示和操作布尔函数的数据结构。DTL的选择在很大程度上影响OKFDD的大小，即其大小可能从多项式到指数变化。Dreschsler、Becker和Jahnke(1995)提出了启发式方法。本文通过实验证明，使用GAs可以获得较好的效果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A genetic algorithm for decomposition type choice in OKFDDs

A genetic algorithm (GA) is applied to find decomposition type lists (DTLs) that minimize the size of ordered Kronecker functional decision diagrams (OKFDDs). OKFDDs are a data structure for representation and manipulation of Boolean functions. The choice of the DTL largely influences the size of the OKFDD, i.e. its size may vary from polynomial to exponential. In Dreschsler, Becker, and Jahnke (1995) heuristic methods have been presented. In this paper the authors show by experiments that better results can be obtained by using GAs.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings First International Symposium on Intelligence in Neural and Biological Systems. INBS'95

自引率

0.00%

发文量