BDD, ZDD, フãƒãƒ³ãƒ†ã‚£ã‚¢æ³•, Graphillion - iwiwi 備忘録詳ã—ã„資料ã¸ã®ãƒã‚¤ãƒ³ã‚¿ã‚’示ã—ã¤ã¤ï¼Œè‡ªåˆ†ãŒèªã‚“ã§ç†è§£ã—ãŸç¯„囲ã®ç°¡æ½”ãªã¾ã¨ã‚を書ãã¾ã™ï¼Ž BDD 入門 湊先生ã®æŽˆæ¥ãŒè©³ã—ã分ã‹ã‚Šã‚„ã™ã„． http://www-alg.ist.hokudai.ac.jp/~minato/alg2013.html 概念自体 図を一個見れã°ä¸€ç™ºã§ç†è§£ã§ãã‚‹ DAG ã§ï¼Œå„ä¸é–“ノードã¯å¤‰æ•°ã§ï¼Œãã®å¤‰æ•°ã®å€¤ã«å¿œã˜ã¦æ¬¡ã«é€²ã‚€åã‚’é¸ã¶ï¼Žçµ‚ç€ç‚¹ãŒç”ãˆï¼Ž 構築法 é †åºä»˜ã既約 BDD (ROBDD) を普通作るらã—ã„．é‡è¦ãªæ€§è³ªã‚’æŒã¤ã‚‰ã—ã„． é †åºä»˜ã ï¼ å¤‰æ•°ãŒå‡ºç¾ã—ã¦ãã‚‹é †ç•ªãŒå…¨é †åº 以下㮠2 ã¤ã®ãƒ«ãƒ¼ãƒ«ã‚’é©ç”¨ã—続ã‘ã¦ã„ã‚Œã°æ—¢ç´„ã«ãªã‚‹ï¼ˆé©ç”¨é †é–¢ä¿‚ãªã—） 冗長ãªæŽ¥ç‚¹ã‚’å…¨ã¦å‰Šé™¤ ç‰ä¾¡ãªæŽ¥ç‚¹ã‚’å…¨ã¦å…±æœ‰ 実際ã«ã¯ï¼ŒBDD ã®é–“ã®äºŒé …è«–ç†æ¼”ç®—ã‚’ç¹°ã‚Šè¿”ã—ã¦æ§‹ç¯‰ã™ã‚‹ BDD åŒå£«ã®æ¼”ç®— (Family Algebra) and, or, xor, not, ... ã¿ãŸã„ãªè‰²ã€…ãª
ãƒã‚¯ãƒ“シンã«ã‚‚ã‚ã‹ã‚‹å…¨æ–‡æ¤œç´¢ - Qiita
{{#tags}}- {{label}}
{{/tags}}