IDEAS home Printed from https://ideas.repec.org/a/sae/risrel/v222y2008i4p573-582.html
   My bibliography  Save this article

Some disturbing facts about depth-first left-most variable ordering heuristics for binary decision diagrams

Author

Listed:
  • A B Rauzy

Abstract

Binary decision diagrams (BDDs) have proven to be a very efficient tool to assess fault trees. However, the size of the BDD, and therefore the efficiency of the whole methodology, is highly dependent on the choice of variable ordering. The determination of the best variable ordering is intractable. Therefore, heuristics have been designed to select reasonably good variable orderings. The most popular of these heuristics consists in numbering variables by means of a depth-first left-most (DFLM) traversal of the formula, after possibly some rearrangements of the inputs of the gates. In this article, this heuristic is studied in a systematic way. It is shown to be very sensitive to the way the formula is written. A series of experiments shows also that the notion of locality of variables, which was believed to be a key issue in the determination of good orderings, must be handled with care. These facts are quite disturbing and raise questions about the design of good variable ordering heuristics.

Suggested Citation

  • A B Rauzy, 2008. "Some disturbing facts about depth-first left-most variable ordering heuristics for binary decision diagrams," Journal of Risk and Reliability, , vol. 222(4), pages 573-582, December.
    • Handle: RePEc:sae:risrel:v:222:y:2008:i:4:p:573-582
    DOI: 10.1243/1748006XJRR174
    as

    Download full text from publisher

    File URL: https://journals.sagepub.com/doi/10.1243/1748006XJRR174
    Download Restriction: no
    File URL: https://libkey.io/10.1243/1748006XJRR174?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Ibáñez-Llano, Cristina & Rauzy, Antoine & Meléndez, Enrique & Nieto, Francisco, 2010. "Hybrid approach for the assessment of PSA models by means of binary decision diagrams," Reliability Engineering and System Safety, Elsevier, vol. 95(10), pages 1076-1092.
    2. Mo, Yuchang, 2013. "Can we trust module-respect heuristics?," Reliability Engineering and System Safety, Elsevier, vol. 111(C), pages 139-146.
    3. Bjorkman, Kim, 2013. "Solving dynamic flowgraph methodology models using binary decision diagrams," Reliability Engineering and System Safety, Elsevier, vol. 111(C), pages 206-216.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:sae:risrel:v:222:y:2008:i:4:p:573-582. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: SAGE Publications (email available below). General contact details of provider: .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.