On the complexity of constructing optimal ordered binary decision diagrams
Identifieur interne : 001647 ( Istex/Corpus ); précédent : 001646; suivant : 001648On the complexity of constructing optimal ordered binary decision diagrams
Auteurs : Christoph Meinel ; Anna SlobodováSource :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 1994.
Abstract
Abstract: In the following we prove the widely assumed conjecture that the construction of an optimal OBDD-representation of a Boolean function f is intractable if f is given in terms of DNFs, CNFs, logical circuits, or Ω-BDDs. The problem remains NP-hard if one wants to construct an optimal OBDD-representation merely in such cases its size is bounded by a given constant. Both results remain true if the variable ordering of an optimal OBDD-representation is known in advance. Reflecting these theoretical results and the requirements in the area of practical applications (above all in CAD of ciruits), the problem of construction of the minimal OBDD for a given variable ordering becomes of growing importance. We show that, starting with a free BDD (FBDD) P of a Boolean function f on X, for each ordering π of X, the minimal π OBDD- representation Q of f can be constructed output-efficiently, i.e. in time that is polynomial in the sizes of input and output. This result can be considerably improved in the case of starting with an OBDD instead of an FBDD. The time requirement is then smaller than the product of input length and the square of output length (worst case), and almost the product of input and output length in average.
Url:
DOI: 10.1007/3-540-58338-6_98
Links to Exploration step
ISTEX:011F469CE5E2F317F2AB1B6F352D0C9B6F1461E1Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">On the complexity of constructing optimal ordered binary decision diagrams</title>
<author><name sortKey="Meinel, Christoph" sort="Meinel, Christoph" uniqKey="Meinel C" first="Christoph" last="Meinel">Christoph Meinel</name>
<affiliation><mods:affiliation>FB IV-Informatik, Universität Trier, D-54286, Trier, Germany</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Slobodova, Anna" sort="Slobodova, Anna" uniqKey="Slobodova A" first="Anna" last="Slobodová">Anna Slobodová</name>
<affiliation><mods:affiliation>FB IV-Informatik, Universität Trier, D-54286, Trier, Germany</mods:affiliation>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:011F469CE5E2F317F2AB1B6F352D0C9B6F1461E1</idno>
<date when="1994" year="1994">1994</date>
<idno type="doi">10.1007/3-540-58338-6_98</idno>
<idno type="url">https://api.istex.fr/document/011F469CE5E2F317F2AB1B6F352D0C9B6F1461E1/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001647</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001647</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">On the complexity of constructing optimal ordered binary decision diagrams</title>
<author><name sortKey="Meinel, Christoph" sort="Meinel, Christoph" uniqKey="Meinel C" first="Christoph" last="Meinel">Christoph Meinel</name>
<affiliation><mods:affiliation>FB IV-Informatik, Universität Trier, D-54286, Trier, Germany</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Slobodova, Anna" sort="Slobodova, Anna" uniqKey="Slobodova A" first="Anna" last="Slobodová">Anna Slobodová</name>
<affiliation><mods:affiliation>FB IV-Informatik, Universität Trier, D-54286, Trier, Germany</mods:affiliation>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>1994</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
<idno type="istex">011F469CE5E2F317F2AB1B6F352D0C9B6F1461E1</idno>
<idno type="DOI">10.1007/3-540-58338-6_98</idno>
<idno type="ChapterID">44</idno>
<idno type="ChapterID">Chap44</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: In the following we prove the widely assumed conjecture that the construction of an optimal OBDD-representation of a Boolean function f is intractable if f is given in terms of DNFs, CNFs, logical circuits, or Ω-BDDs. The problem remains NP-hard if one wants to construct an optimal OBDD-representation merely in such cases its size is bounded by a given constant. Both results remain true if the variable ordering of an optimal OBDD-representation is known in advance. Reflecting these theoretical results and the requirements in the area of practical applications (above all in CAD of ciruits), the problem of construction of the minimal OBDD for a given variable ordering becomes of growing importance. We show that, starting with a free BDD (FBDD) P of a Boolean function f on X, for each ordering π of X, the minimal π OBDD- representation Q of f can be constructed output-efficiently, i.e. in time that is polynomial in the sizes of input and output. This result can be considerably improved in the case of starting with an OBDD instead of an FBDD. The time requirement is then smaller than the product of input length and the square of output length (worst case), and almost the product of input and output length in average.</div>
</front>
</TEI>
<istex><corpusName>springer</corpusName>
<author><json:item><name>Christoph Meinel</name>
<affiliations><json:string>FB IV-Informatik, Universität Trier, D-54286, Trier, Germany</json:string>
</affiliations>
</json:item>
<json:item><name>Anna Slobodová</name>
<affiliations><json:string>FB IV-Informatik, Universität Trier, D-54286, Trier, Germany</json:string>
</affiliations>
</json:item>
</author>
<language><json:string>eng</json:string>
</language>
<originalGenre><json:string>ReviewPaper</json:string>
</originalGenre>
<abstract>Abstract: In the following we prove the widely assumed conjecture that the construction of an optimal OBDD-representation of a Boolean function f is intractable if f is given in terms of DNFs, CNFs, logical circuits, or Ω-BDDs. The problem remains NP-hard if one wants to construct an optimal OBDD-representation merely in such cases its size is bounded by a given constant. Both results remain true if the variable ordering of an optimal OBDD-representation is known in advance. Reflecting these theoretical results and the requirements in the area of practical applications (above all in CAD of ciruits), the problem of construction of the minimal OBDD for a given variable ordering becomes of growing importance. We show that, starting with a free BDD (FBDD) P of a Boolean function f on X, for each ordering π of X, the minimal π OBDD- representation Q of f can be constructed output-efficiently, i.e. in time that is polynomial in the sizes of input and output. This result can be considerably improved in the case of starting with an OBDD instead of an FBDD. The time requirement is then smaller than the product of input length and the square of output length (worst case), and almost the product of input and output length in average.</abstract>
<qualityIndicators><score>7.039</score>
<pdfVersion>1.3</pdfVersion>
<pdfPageSize>439.2 x 666 pts</pdfPageSize>
<refBibsNative>false</refBibsNative>
<keywordCount>0</keywordCount>
<abstractCharCount>1242</abstractCharCount>
<pdfWordCount>4519</pdfWordCount>
<pdfCharCount>23534</pdfCharCount>
<pdfPageCount>10</pdfPageCount>
<abstractWordCount>210</abstractWordCount>
</qualityIndicators>
<title>On the complexity of constructing optimal ordered binary decision diagrams</title>
<chapterId><json:string>44</json:string>
<json:string>Chap44</json:string>
</chapterId>
<refBibs><json:item><author><json:item><name>M Blum</name>
</json:item>
<json:item><name>A,K Chandra</name>
</json:item>
<json:item><name>M,N Wegman</name>
</json:item>
</author>
<host><volume>10</volume>
<pages><last>82</last>
<first>80</first>
</pages>
<issue>2</issue>
<author></author>
<title>Inf. Process. Lett</title>
<publicationDate>1980-03</publicationDate>
</host>
<title>Equivalence of Free Boolean Graphs can be Decided Probabilistically in Polynomial Time</title>
<publicationDate>1980-03</publicationDate>
</json:item>
<json:item><author><json:item><name>R,E Bryant</name>
</json:item>
</author>
<host><volume>6</volume>
<pages><last>691</last>
<first>677</first>
</pages>
<author></author>
<title>IEEE Trans. Comput. C-35</title>
<publicationDate>1986-08</publicationDate>
</host>
<title>Graph-Based Algorithms for Boolean Function Manipulation</title>
<publicationDate>1986-08</publicationDate>
</json:item>
<json:item><author><json:item><name>R,E Bryant</name>
</json:item>
</author>
<host><volume>24</volume>
<pages><last>318</last>
<first>293</first>
</pages>
<issue>3</issue>
<author></author>
<title>ACM Computing Surveys</title>
<publicationDate>1992-09</publicationDate>
</host>
<title>Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams</title>
<publicationDate>1992-09</publicationDate>
</json:item>
<json:item><host><author><json:item><name>B Bollig</name>
</json:item>
<json:item><name>M Lsttig</name>
</json:item>
<json:item><name>I Wegener</name>
</json:item>
</author>
<title>Variable Orderings for OBDDs, Simulated Annealing , and the Hidden Weighted Bit Function</title>
<publicationDate>1993</publicationDate>
</host>
</json:item>
<json:item><author><json:item><name>S Fortune</name>
</json:item>
<json:item><name>J Hopcroft</name>
</json:item>
<json:item><name>E,M Schmidt</name>
</json:item>
</author>
<host><pages><last>240</last>
<first>227</first>
</pages>
<author></author>
<title>Proc. of Automata, Languages and Programming</title>
<publicationDate>1978</publicationDate>
</host>
<title>The Complexity of Equivalence and Containment for Free Single Program Schemes</title>
<publicationDate>1978</publicationDate>
</json:item>
<json:item><author><json:item><name>M Fujita</name>
</json:item>
<json:item><name>Y Matsunaga</name>
</json:item>
<json:item><name>T Kakuda</name>
</json:item>
</author>
<host><pages><last>54</last>
<first>50</first>
</pages>
<author></author>
<title>Proc. EDAC'91</title>
</host>
<title>On Variable Ordering of Binary Decision Diagrams for the Application of Multi-level Logic Synthesis</title>
</json:item>
<json:item><author><json:item><name>S,J Friedman</name>
</json:item>
<json:item><name>K,J </name>
</json:item>
</author>
<host><pages><last>355</last>
<first>348</first>
</pages>
<author></author>
<title>Proc. of 24th ACM/IEEE Design Automation Conference</title>
<publicationDate>1987</publicationDate>
</host>
<title>Supowit: Finding the Optimal Variable Ordering for Binary Decision Diagrams</title>
<publicationDate>1987</publicationDate>
</json:item>
<json:item><author><json:item><name>E Felt</name>
</json:item>
<json:item><name>G York</name>
</json:item>
<json:item><name>R Brayton</name>
</json:item>
<json:item><name>A Sangiovanni-Vincentelli</name>
</json:item>
</author>
<host><pages><last>135</last>
<first>30</first>
</pages>
<author></author>
<title>Proc. EURO-DAC'93</title>
</host>
<title>Dynamic Variable Reoredering for BDD Minimization</title>
</json:item>
<json:item><author><json:item><name>M,R Garey</name>
</json:item>
<json:item><name>D,S Johnson</name>
</json:item>
</author>
<host><author></author>
<title>Computers and Intractability. W. H. Freeman and Company</title>
<publicationDate>1979</publicationDate>
</host>
<publicationDate>1979</publicationDate>
</json:item>
<json:item><host><author><json:item><name>J Gergov</name>
</json:item>
<json:item><name>Ch </name>
</json:item>
</author>
<title>Meinel: Efficient Analysis and Manipulation of OBDDs Can Be Extended to FBDDs, to appeare in IEEE Trans. on Computers</title>
</host>
</json:item>
<json:item><author><json:item><name>J Gergov</name>
</json:item>
<json:item><name> Ch</name>
</json:item>
<json:item><name> Meinel</name>
</json:item>
</author>
<host><pages><last>320</last>
<first>310</first>
</pages>
<author></author>
<title>Proc. WG'92</title>
<publicationDate>1993</publicationDate>
</host>
<title>Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs</title>
<publicationDate>1993</publicationDate>
</json:item>
<json:item><author><json:item><name>N Ishiura</name>
</json:item>
<json:item><name>H Sawada</name>
</json:item>
<json:item><name>S </name>
</json:item>
</author>
<host><pages><last>475</last>
<first>472</first>
</pages>
<author></author>
<title>Proc. IEEE International Conference on Computer Aided Design</title>
<publicationDate>1991</publicationDate>
</host>
<title>Yajima: Minimization of Binary Decision Diagrams Based on Exchanges of Variables</title>
<publicationDate>1991</publicationDate>
</json:item>
<json:item><author><json:item><name> Ch</name>
</json:item>
</author>
<host><author></author>
<title>Modified Branching Programs and Their Computational Power</title>
<publicationDate>1989</publicationDate>
</host>
<publicationDate>1989</publicationDate>
</json:item>
<json:item><author><json:item><name> Ch</name>
</json:item>
</author>
<host><pages><last>170</last>
<first>149</first>
</pages>
<issue>46</issue>
<author></author>
<title>EATCS-Bulletin</title>
<publicationDate>1992</publicationDate>
</host>
<title>Branching Programs -An Efficient Data Structure for Computer- Aided Circuit Design</title>
<publicationDate>1992</publicationDate>
</json:item>
<json:item><author><json:item><name>R Rudeu</name>
</json:item>
</author>
<host><pages><last>47</last>
<first>42</first>
</pages>
<author></author>
<title>Proc. IEEE/ACM ICCAD'93</title>
</host>
<title>Dynamic Variable Ordering for Ordered Binary Decision Diagrams</title>
</json:item>
<json:item><author><json:item><name>D Sieling</name>
</json:item>
<json:item><name>I Wegener</name>
</json:item>
</author>
<host><author></author>
<title>Reduction of BDDs in Linear Time</title>
<publicationDate>1992</publicationDate>
</host>
<publicationDate>1992</publicationDate>
</json:item>
<json:item><author><json:item><name>S Tani</name>
</json:item>
<json:item><name>K Hamaguchi</name>
</json:item>
<json:item><name>S </name>
</json:item>
</author>
<host><pages><last>398</last>
<first>389</first>
</pages>
<author></author>
<title>Proc. ISAAC'93</title>
<publicationDate>1994-04</publicationDate>
</host>
<title>Yajima: The Complexity of the Optimal Variable Ordering Problem of Shared Binary Decision Diagrams</title>
<publicationDate>1994-04</publicationDate>
</json:item>
</refBibs>
<genre><json:string>conference</json:string>
</genre>
<serie><editor><json:item><name>G. Goos</name>
</json:item>
<json:item><name>J. Hartmanis</name>
</json:item>
</editor>
<issn><json:string>0302-9743</json:string>
</issn>
<language><json:string>unknown</json:string>
</language>
<eissn><json:string>1611-3349</json:string>
</eissn>
<title>Lecture Notes in Computer Science</title>
<copyrightDate>1994</copyrightDate>
</serie>
<host><editor><json:item><name>Igor Prívara</name>
</json:item>
<json:item><name>Branislav Rovan</name>
</json:item>
<json:item><name>Peter Ruzička</name>
</json:item>
</editor>
<subject><json:item><value>Computer Science</value>
</json:item>
<json:item><value>Computer Science</value>
</json:item>
<json:item><value>Computation by Abstract Devices</value>
</json:item>
<json:item><value>Algorithm Analysis and Problem Complexity</value>
</json:item>
<json:item><value>Logics and Meanings of Programs</value>
</json:item>
<json:item><value>Mathematical Logic and Formal Languages</value>
</json:item>
<json:item><value>Software Engineering</value>
</json:item>
<json:item><value>Programming Languages, Compilers, Interpreters</value>
</json:item>
</subject>
<isbn><json:string>978-3-540-58338-7</json:string>
</isbn>
<language><json:string>unknown</json:string>
</language>
<eissn><json:string>1611-3349</json:string>
</eissn>
<title>Mathematical Foundations of Computer Science 1994</title>
<bookId><json:string>3540583386</json:string>
</bookId>
<volume>841</volume>
<pages><last>524</last>
<first>515</first>
</pages>
<issn><json:string>0302-9743</json:string>
</issn>
<genre><json:string>book-series</json:string>
</genre>
<eisbn><json:string>978-3-540-48663-3</json:string>
</eisbn>
<copyrightDate>1994</copyrightDate>
<doi><json:string>10.1007/3-540-58338-6</json:string>
</doi>
</host>
<publicationDate>2005</publicationDate>
<copyrightDate>1994</copyrightDate>
<doi><json:string>10.1007/3-540-58338-6_98</json:string>
</doi>
<id>011F469CE5E2F317F2AB1B6F352D0C9B6F1461E1</id>
<score>0.7588086</score>
<fulltext><json:item><extension>pdf</extension>
<original>true</original>
<mimetype>application/pdf</mimetype>
<uri>https://api.istex.fr/document/011F469CE5E2F317F2AB1B6F352D0C9B6F1461E1/fulltext/pdf</uri>
</json:item>
<json:item><extension>zip</extension>
<original>false</original>
<mimetype>application/zip</mimetype>
<uri>https://api.istex.fr/document/011F469CE5E2F317F2AB1B6F352D0C9B6F1461E1/fulltext/zip</uri>
</json:item>
<istex:fulltextTEI uri="https://api.istex.fr/document/011F469CE5E2F317F2AB1B6F352D0C9B6F1461E1/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">On the complexity of constructing optimal ordered binary decision diagrams</title>
<respStmt><resp>Références bibliographiques récupérées via GROBID</resp>
<name resp="ISTEX-API">ISTEX-API (INIST-CNRS)</name>
</respStmt>
<respStmt><resp>Références bibliographiques récupérées via GROBID</resp>
<name resp="ISTEX-API">ISTEX-API (INIST-CNRS)</name>
</respStmt>
</titleStmt>
<publicationStmt><authority>ISTEX</authority>
<publisher>Springer Berlin Heidelberg</publisher>
<pubPlace>Berlin, Heidelberg</pubPlace>
<availability><p>Springer-Verlag, 1994</p>
</availability>
<date>1994</date>
</publicationStmt>
<sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">On the complexity of constructing optimal ordered binary decision diagrams</title>
<author xml:id="author-1"><persName><forename type="first">Christoph</forename>
<surname>Meinel</surname>
</persName>
<affiliation>FB IV-Informatik, Universität Trier, D-54286, Trier, Germany</affiliation>
</author>
<author xml:id="author-2"><persName><forename type="first">Anna</forename>
<surname>Slobodová</surname>
</persName>
<affiliation>FB IV-Informatik, Universität Trier, D-54286, Trier, Germany</affiliation>
</author>
</analytic>
<monogr><title level="m">Mathematical Foundations of Computer Science 1994</title>
<title level="m" type="sub">19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings</title>
<idno type="pISBN">978-3-540-58338-7</idno>
<idno type="eISBN">978-3-540-48663-3</idno>
<idno type="pISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="DOI">10.1007/3-540-58338-6</idno>
<idno type="book-ID">3540583386</idno>
<idno type="book-title-ID">42007</idno>
<idno type="book-volume-number">841</idno>
<idno type="book-chapter-count">54</idno>
<editor><persName><forename type="first">Igor</forename>
<surname>Prívara</surname>
</persName>
</editor>
<editor><persName><forename type="first">Branislav</forename>
<surname>Rovan</surname>
</persName>
</editor>
<editor><persName><forename type="first">Peter</forename>
<surname>Ruzička</surname>
</persName>
</editor>
<imprint><publisher>Springer Berlin Heidelberg</publisher>
<pubPlace>Berlin, Heidelberg</pubPlace>
<date type="published" when="2005-06-04"></date>
<biblScope unit="volume">841</biblScope>
<biblScope unit="page" from="515">515</biblScope>
<biblScope unit="page" to="524">524</biblScope>
</imprint>
</monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<editor><persName><forename type="first">G.</forename>
<surname>Goos</surname>
</persName>
</editor>
<editor><persName><forename type="first">J.</forename>
<surname>Hartmanis</surname>
</persName>
</editor>
<biblScope><date>1994</date>
</biblScope>
<idno type="pISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="series-Id">558</idno>
</series>
<idno type="istex">011F469CE5E2F317F2AB1B6F352D0C9B6F1461E1</idno>
<idno type="DOI">10.1007/3-540-58338-6_98</idno>
<idno type="ChapterID">44</idno>
<idno type="ChapterID">Chap44</idno>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><creation><date>1994</date>
</creation>
<langUsage><language ident="en">en</language>
</langUsage>
<abstract xml:lang="en"><p>Abstract: In the following we prove the widely assumed conjecture that the construction of an optimal OBDD-representation of a Boolean function f is intractable if f is given in terms of DNFs, CNFs, logical circuits, or Ω-BDDs. The problem remains NP-hard if one wants to construct an optimal OBDD-representation merely in such cases its size is bounded by a given constant. Both results remain true if the variable ordering of an optimal OBDD-representation is known in advance. Reflecting these theoretical results and the requirements in the area of practical applications (above all in CAD of ciruits), the problem of construction of the minimal OBDD for a given variable ordering becomes of growing importance. We show that, starting with a free BDD (FBDD) P of a Boolean function f on X, for each ordering π of X, the minimal π OBDD- representation Q of f can be constructed output-efficiently, i.e. in time that is polynomial in the sizes of input and output. This result can be considerably improved in the case of starting with an OBDD instead of an FBDD. The time requirement is then smaller than the product of input length and the square of output length (worst case), and almost the product of input and output length in average.</p>
</abstract>
<textClass><keywords scheme="Book-Subject-Collection"><list><label>SUCO11645</label>
<item><term>Computer Science</term>
</item>
</list>
</keywords>
</textClass>
<textClass><keywords scheme="Book-Subject-Group"><list><label>I</label>
<label>I16013</label>
<label>I16021</label>
<label>I1603X</label>
<label>I16048</label>
<label>I14029</label>
<label>I14037</label>
<item><term>Computer Science</term>
</item>
<item><term>Computation by Abstract Devices</term>
</item>
<item><term>Algorithm Analysis and Problem Complexity</term>
</item>
<item><term>Logics and Meanings of Programs</term>
</item>
<item><term>Mathematical Logic and Formal Languages</term>
</item>
<item><term>Software Engineering</term>
</item>
<item><term>Programming Languages, Compilers, Interpreters</term>
</item>
</list>
</keywords>
</textClass>
</profileDesc>
<revisionDesc><change when="2005-06-04">Published</change>
<change xml:id="refBibs-istex" who="#ISTEX-API" when="2016-11-22">References added</change>
<change xml:id="refBibs-istex" who="#ISTEX-API" when="2017-01-20">References added</change>
</revisionDesc>
</teiHeader>
</istex:fulltextTEI>
<json:item><extension>txt</extension>
<original>false</original>
<mimetype>text/plain</mimetype>
<uri>https://api.istex.fr/document/011F469CE5E2F317F2AB1B6F352D0C9B6F1461E1/fulltext/txt</uri>
</json:item>
</fulltext>
<metadata><istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration>
<istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType>
<istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName>
<PublisherLocation>Berlin, Heidelberg</PublisherLocation>
</PublisherInfo>
<Series><SeriesInfo TocLevels="0"><SeriesID>558</SeriesID>
<SeriesPrintISSN>0302-9743</SeriesPrintISSN>
<SeriesElectronicISSN>1611-3349</SeriesElectronicISSN>
<SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle>
<SeriesAbbreviatedTitle>Lect Notes Comput Sci</SeriesAbbreviatedTitle>
</SeriesInfo>
<SeriesHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>G.</GivenName>
<FamilyName>Goos</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>J.</GivenName>
<FamilyName>Hartmanis</FamilyName>
</EditorName>
</Editor>
</EditorGroup>
</SeriesHeader>
<Book Language="En"><BookInfo MediaType="eBook" Language="En" BookProductType="Proceedings" TocLevels="0" NumberingStyle="Unnumbered"><BookID>3540583386</BookID>
<BookTitle>Mathematical Foundations of Computer Science 1994</BookTitle>
<BookSubTitle>19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings</BookSubTitle>
<BookVolumeNumber>841</BookVolumeNumber>
<BookDOI>10.1007/3-540-58338-6</BookDOI>
<BookTitleID>42007</BookTitleID>
<BookPrintISBN>978-3-540-58338-7</BookPrintISBN>
<BookElectronicISBN>978-3-540-48663-3</BookElectronicISBN>
<BookChapterCount>54</BookChapterCount>
<BookCopyright><CopyrightHolderName>Springer-Verlag</CopyrightHolderName>
<CopyrightYear>1994</CopyrightYear>
</BookCopyright>
<BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject>
<BookSubject Code="I16013" Priority="1" Type="Secondary">Computation by Abstract Devices</BookSubject>
<BookSubject Code="I16021" Priority="2" Type="Secondary">Algorithm Analysis and Problem Complexity</BookSubject>
<BookSubject Code="I1603X" Priority="3" Type="Secondary">Logics and Meanings of Programs</BookSubject>
<BookSubject Code="I16048" Priority="4" Type="Secondary">Mathematical Logic and Formal Languages</BookSubject>
<BookSubject Code="I14029" Priority="5" Type="Secondary">Software Engineering</BookSubject>
<BookSubject Code="I14037" Priority="6" Type="Secondary">Programming Languages, Compilers, Interpreters</BookSubject>
<SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection>
</BookSubjectGroup>
</BookInfo>
<BookHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>Igor</GivenName>
<FamilyName>Prívara</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Branislav</GivenName>
<FamilyName>Rovan</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Peter</GivenName>
<FamilyName>Ruzička</FamilyName>
</EditorName>
</Editor>
</EditorGroup>
</BookHeader>
<Chapter ID="Chap44" Language="En"><ChapterInfo ChapterType="ReviewPaper" NumberingStyle="Unnumbered" TocLevels="0" ContainsESM="No"><ChapterID>44</ChapterID>
<ChapterDOI>10.1007/3-540-58338-6_98</ChapterDOI>
<ChapterSequenceNumber>44</ChapterSequenceNumber>
<ChapterTitle Language="En">On the complexity of constructing optimal ordered binary decision diagrams</ChapterTitle>
<ChapterCategory>Contributions</ChapterCategory>
<ChapterFirstPage>515</ChapterFirstPage>
<ChapterLastPage>524</ChapterLastPage>
<ChapterCopyright><CopyrightHolderName>Springer-Verlag</CopyrightHolderName>
<CopyrightYear>1994</CopyrightYear>
</ChapterCopyright>
<ChapterHistory><OnlineDate><Year>2005</Year>
<Month>6</Month>
<Day>4</Day>
</OnlineDate>
</ChapterHistory>
<ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant>
<AbstractGrant Grant="OpenAccess"></AbstractGrant>
<BodyPDFGrant Grant="Restricted"></BodyPDFGrant>
<BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant>
<BibliographyGrant Grant="Restricted"></BibliographyGrant>
<ESMGrant Grant="Restricted"></ESMGrant>
</ChapterGrants>
<ChapterContext><SeriesID>558</SeriesID>
<BookID>3540583386</BookID>
<BookTitle>Mathematical Foundations of Computer Science 1994</BookTitle>
</ChapterContext>
</ChapterInfo>
<ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Christoph</GivenName>
<FamilyName>Meinel</FamilyName>
</AuthorName>
</Author>
<Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Anna</GivenName>
<FamilyName>Slobodová</FamilyName>
</AuthorName>
</Author>
<Affiliation ID="Aff1"><OrgDivision>FB IV-Informatik</OrgDivision>
<OrgName>Universität Trier</OrgName>
<OrgAddress><Postcode>D-54286</Postcode>
<City>Trier</City>
<Country>Germany</Country>
</OrgAddress>
</Affiliation>
</AuthorGroup>
<Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading>
<Para>In the following we prove the widely assumed conjecture that the construction of an optimal OBDD-representation of a Boolean function f is intractable if f is given in terms of DNFs, CNFs, logical circuits, or Ω-BDDs. The problem remains NP-hard if one wants to construct an optimal OBDD-representation merely in such cases its size is bounded by a given constant. Both results remain true if the variable ordering of an optimal OBDD-representation is known in advance.</Para>
<Para>Reflecting these theoretical results and the requirements in the area of practical applications (above all in CAD of ciruits), the problem of construction of the minimal OBDD for a given variable ordering becomes of growing importance. We show that, starting with a free BDD (FBDD) P of a Boolean function f on X, for each ordering π of X, the minimal π OBDD- representation Q of f can be constructed output-efficiently, i.e. in time that is polynomial in the sizes of input and output. This result can be considerably improved in the case of starting with an OBDD instead of an FBDD. The time requirement is then smaller than the product of input length and the square of output length (worst case), and almost the product of input and output length in average.</Para>
</Abstract>
</ChapterHeader>
<NoBody></NoBody>
</Chapter>
</Book>
</Series>
</Publisher>
</istex:document>
</istex:metadataXml>
<mods version="3.6"><titleInfo lang="en"><title>On the complexity of constructing optimal ordered binary decision diagrams</title>
</titleInfo>
<titleInfo type="alternative" contentType="CDATA" lang="en"><title>On the complexity of constructing optimal ordered binary decision diagrams</title>
</titleInfo>
<name type="personal"><namePart type="given">Christoph</namePart>
<namePart type="family">Meinel</namePart>
<affiliation>FB IV-Informatik, Universität Trier, D-54286, Trier, Germany</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Anna</namePart>
<namePart type="family">Slobodová</namePart>
<affiliation>FB IV-Informatik, Universität Trier, D-54286, Trier, Germany</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<typeOfResource>text</typeOfResource>
<genre type="conference" displayLabel="ReviewPaper"></genre>
<originInfo><publisher>Springer Berlin Heidelberg</publisher>
<place><placeTerm type="text">Berlin, Heidelberg</placeTerm>
</place>
<dateIssued encoding="w3cdtf">2005-06-04</dateIssued>
<copyrightDate encoding="w3cdtf">1994</copyrightDate>
</originInfo>
<language><languageTerm type="code" authority="rfc3066">en</languageTerm>
<languageTerm type="code" authority="iso639-2b">eng</languageTerm>
</language>
<physicalDescription><internetMediaType>text/html</internetMediaType>
</physicalDescription>
<abstract lang="en">Abstract: In the following we prove the widely assumed conjecture that the construction of an optimal OBDD-representation of a Boolean function f is intractable if f is given in terms of DNFs, CNFs, logical circuits, or Ω-BDDs. The problem remains NP-hard if one wants to construct an optimal OBDD-representation merely in such cases its size is bounded by a given constant. Both results remain true if the variable ordering of an optimal OBDD-representation is known in advance. Reflecting these theoretical results and the requirements in the area of practical applications (above all in CAD of ciruits), the problem of construction of the minimal OBDD for a given variable ordering becomes of growing importance. We show that, starting with a free BDD (FBDD) P of a Boolean function f on X, for each ordering π of X, the minimal π OBDD- representation Q of f can be constructed output-efficiently, i.e. in time that is polynomial in the sizes of input and output. This result can be considerably improved in the case of starting with an OBDD instead of an FBDD. The time requirement is then smaller than the product of input length and the square of output length (worst case), and almost the product of input and output length in average.</abstract>
<relatedItem type="host"><titleInfo><title>Mathematical Foundations of Computer Science 1994</title>
<subTitle>19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings</subTitle>
</titleInfo>
<name type="personal"><namePart type="given">Igor</namePart>
<namePart type="family">Prívara</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Branislav</namePart>
<namePart type="family">Rovan</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Peter</namePart>
<namePart type="family">Ruzička</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<genre type="book-series" displayLabel="Proceedings"></genre>
<originInfo><copyrightDate encoding="w3cdtf">1994</copyrightDate>
<issuance>monographic</issuance>
</originInfo>
<subject><genre>Book-Subject-Collection</genre>
<topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic>
</subject>
<subject><genre>Book-Subject-Group</genre>
<topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I16013">Computation by Abstract Devices</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I16021">Algorithm Analysis and Problem Complexity</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I1603X">Logics and Meanings of Programs</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I16048">Mathematical Logic and Formal Languages</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I14029">Software Engineering</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I14037">Programming Languages, Compilers, Interpreters</topic>
</subject>
<identifier type="DOI">10.1007/3-540-58338-6</identifier>
<identifier type="ISBN">978-3-540-58338-7</identifier>
<identifier type="eISBN">978-3-540-48663-3</identifier>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="eISSN">1611-3349</identifier>
<identifier type="BookTitleID">42007</identifier>
<identifier type="BookID">3540583386</identifier>
<identifier type="BookChapterCount">54</identifier>
<identifier type="BookVolumeNumber">841</identifier>
<part><date>1994</date>
<detail type="volume"><number>841</number>
<caption>vol.</caption>
</detail>
<extent unit="pages"><start>515</start>
<end>524</end>
</extent>
</part>
<recordInfo><recordOrigin>Springer-Verlag, 1994</recordOrigin>
</recordInfo>
</relatedItem>
<relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title>
</titleInfo>
<name type="personal"><namePart type="given">G.</namePart>
<namePart type="family">Goos</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">J.</namePart>
<namePart type="family">Hartmanis</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<originInfo><copyrightDate encoding="w3cdtf">1994</copyrightDate>
<issuance>serial</issuance>
</originInfo>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="eISSN">1611-3349</identifier>
<identifier type="SeriesID">558</identifier>
<recordInfo><recordOrigin>Springer-Verlag, 1994</recordOrigin>
</recordInfo>
</relatedItem>
<identifier type="istex">011F469CE5E2F317F2AB1B6F352D0C9B6F1461E1</identifier>
<identifier type="DOI">10.1007/3-540-58338-6_98</identifier>
<identifier type="ChapterID">44</identifier>
<identifier type="ChapterID">Chap44</identifier>
<accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag, 1994</accessCondition>
<recordInfo><recordContentSource>SPRINGER</recordContentSource>
<recordOrigin>Springer-Verlag, 1994</recordOrigin>
</recordInfo>
</mods>
</metadata>
</istex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001647 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 001647 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Rhénanie |area= UnivTrevesV1 |flux= Istex |étape= Corpus |type= RBID |clé= ISTEX:011F469CE5E2F317F2AB1B6F352D0C9B6F1461E1 |texte= On the complexity of constructing optimal ordered binary decision diagrams }}
![]() | This area was generated with Dilib version V0.6.31. | ![]() |