BDD/ZDDを基盤ã¨ã™ã‚‹ é›¢æ•£æ§‹é€ ã¨æ¼”算処ç†ç³»ã®æœ€è¿‘ã®å±•é–‹ Recent Topics on Discrete Structures and Algebraic Operations Based on BDDs/ZDDs 湊 真一 Shin-ichi MINATO アブストラクト 二分決定グラフ（BDD: Binary Decision DiBDD/ZDDを基盤ã¨ã™ã‚‹ é›¢æ•£æ§‹é€ ã¨æ¼”算処ç†ç³»ã®æœ€è¿‘ã®å±•é–‹ Recent Topics on Discrete Structures and Algebraic Operations Based on BDDs/ZDDs 湊 真一 Shin-ichi MINATO アブストラクト 二分決定グラフ（BDD: Binary Decision Diagram）ã¯ï¼Œè«–ç†é–¢æ•°ã‚’効率良ã表ç¾ã™ã‚‹ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã®ä¸€ç¨®ã§ã‚ る．BDD ã«é–¢ã™ã‚‹å‡¦ç†æŠ€æ³•ã¯ä¸»ã« VLSI è¨è¨ˆæŠ€è¡“ã®åˆ†é‡Žã§ 1990 年代ã«ç™ºå±•ã—ãŸã‚‚ã®ã§ã‚ã‚‹ãŒï¼Œè¿‘å¹´ã§ã¯ãƒ‡ãƒ¼ã‚¿ãƒžã‚¤ãƒ‹ãƒ³ã‚° や知è˜ç™ºè¦‹ã®åˆ†é‡Žã§ã‚‚効果的ã«æ´»ç”¨ã•ã‚Œã‚‹ã‚ˆã†ã«ãªã£ã¦ãã¦ã„る．ä¸ã§ã‚‚，ゼãƒã‚µãƒ—レス型 BDD（ZDD: Zero-suppressed BDD）ã¨å‘¼ã°ã‚Œã‚‹ BDD ã®å¤‰åŒ–å½¢ã¯ï¼Œãƒ‡ãƒ¼ã‚¿ãƒ™ãƒ¼ã‚¹è§£æžã®å¤šãã®å•é¡Œã§è¦‹ã‚‰ã‚Œã‚‹ã‚ˆã†ãªã€Œç–Žãªçµ„åˆã›ã®é›†åˆã€ã‚’扱ã†å ´åˆã« 特ã«åŠ¹æžœ
Good Web Hosting - Fast and cheap Webhosting
spock - Google Code
{{#tags}}- {{label}}
{{/tags}}