| Budget Amount *help |
¥5,460,000 (Direct Cost: ¥4,200,000、Indirect Cost: ¥1,260,000)
Fiscal Year 2014: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2013: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2012: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
|---|
| Outline of Final Research Achievements |
The methodology for designing enumeration algorithms of geometric objects are discussed by integrating basic technologies (e.g., BDDs (Binary Decision Diagrams), ZDDs (Zero-suppressed BDDs) and reverse search). As for the enumeration of developments of polyhedra, the efficiency of the combined method with the frontier-based ZDD construction and a removal of isomorphic developments is shown. The extension of this method is discussed for enumerating general developments (i.e., developments obtained by cutting not only the edges but also faces) of polyhedra. Moreover, the counting method for essentially different developments of any polyhedron is proposed. We can count the number of non-isomorphic developments without enumerating the developments.
|
