An efficient query learning algorithm for ordered binary decision diagrams

Atsuyoshi Nakamura

首页> 外文期刊>Information and computation >An efficient query learning algorithm for ordered binary decision diagrams

【24h】

An efficient query learning algorithm for ordered binary decision diagrams

机译：一种有效的有序二元决策图查询学习算法

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, we propose a new algorithm that exactly learns ordered binary decision diagrams (OB-DDs) with a given variable ordering via equivalence and membership queries. Our algorithm uses at most n equivalence queries and at most 2n([log_2 m] + 3n) membership queries, where n is the number of nodes in the target-reduced OBDD and m is the number of variables. The upper bound on the number of membership queries is smaller by a factor of O(m) compared with that for the previous best known algorithm proposed by R. Gavalda and D. Guijarro [Learning Ordered Binary Decision Diagrams, Proceedings of the 6th International Workshop on Algorithmic Learning Theory, 1995, pp. 228-238].

机译：在本文中，我们提出了一种新算法，该算法可通过对等和隶属关系查询来精确学习具有给定变量排序的有序二进制决策图（OB-DD）。我们的算法最多使用n个等价查询和最多2n（[log_2 m] + 3n）个成员资格查询，其中n是目标约简OBDD中的节点数，m是变量数。与先前由R. Gavalda和D. Guijarro [第六届国际研讨会论文集学习有序二元决策图]提出的最著名算法相比，成员资格查询数量的上限小O（m）。算法学习理论，1995年，第228-238页]。

著录项

来源
《Information and computation》 |2005年第2期|p.178-198|共21页
作者
Atsuyoshi Nakamura;
展开▼
作者单位

Division of Computer Science, Graduate School of Information Science and Technology, Hokkaido University, Sapporo 060-0814, Japan;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
ordered binary decision diagram; branching program; query learning; exact learning; DFA;

机译：有序二元决策图;分支程序;查询学习;精确学习;DFA;

相似文献

外文文献
中文文献
专利

1. An efficient query learning algorithm for zero-suppressed binary decision diagrams [J] . Hayato Mizumoto, Shota Todoroki, Diptarama, JMLR: Workshop and Conference Proceedings . 2017,第1期

机译：零抑制二进制决策图的高效查询学习算法
2. Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams [J] . Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato JMLR: Workshop and Conference Proceedings . 2018,第3期

机译：零抑制二元决策图的高效Bandit组合优化算法
3. An efficient algorithm for exact computation of system and survival signatures using binary decision diagrams [J] . Reed Sean Reliability Engineering & System Safety . 2017,第sepa期

机译：使用二进制决策图精确计算系统和生存特征的有效算法
4. Efficient algorithms for the transformation between different types of binary decision diagrams [C] . P.Savicky, I.Wegener 14th Conference on Foundations of Software Technology and Theoretical Computer Science, December 15-17, 1994, Madras, India . 1994

机译：在不同类型的二进制决策图之间进行转换的高效算法
5. Design and implementation of multiple-valued decision diagrams based on a binary decision diagram package. [D] . Viswanathan, Kanish. 2005

机译：基于二进制决策图包的多值决策图的设计和实现。
6. Two Efficient Label-Equivalence-Based Connected-Component Labeling Algorithms for 3-D Binary Images [O] . Lifeng He, Yuyan Chao, Kenji Suzuki -1

机译：双高效基于标签的等价连通区域标记算法3 d二值图像
7. An efficient query learning algorithm for ordered binary decision diagrams [O] . Nakamura Atsuyoshi 2005

机译：一种有效的有序二元决策图查询学习算法

An efficient query learning algorithm for ordered binary decision diagrams

摘要

著录项

相似文献

相关主题

期刊订阅