About: Binary decision diagram     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatFormalMethods, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FBinary_decision_diagram

In computer science, a binary decision diagram (BDD) or branching program is a data structure that is used to represent a Boolean function. On a more abstract level, BDDs can be considered as a compressed representation of sets or relations. Unlike other compressed representations, operations are performed directly on the compressed representation, i.e. without decompression. Similar data structures include negation normal form (NNF), Zhegalkin polynomials, and propositional directed acyclic graphs (PDAG).

AttributesValues
rdf:type
rdfs:label
  • Diagrama de decisió binari (ca)
  • Binäres Entscheidungsdiagramm (de)
  • Binary decision diagram (en)
  • Diagrama de decisión binario (es)
  • Diagramme de décision binaire (fr)
  • 二分決定図 (ja)
  • Binair beslissingsdiagram (nl)
  • Бинарная диаграмма решений (ru)
  • Бінарна діаграма рішень (uk)
  • 二元决策图 (zh)
rdfs:comment
  • En les ciències de la computació, un diagrama de decisió binari (DDB) és una estructura de dades utilitzada per representar una funció booleana. Els DDBs poden ser considerats com una representació de conjunts o relacions. A diferència d'altres representacions comprimides, les operacions es realitzen directament en els DDB, sense necessitat de descomprimir-los. (ca)
  • In computer science, a binary decision diagram (BDD) or branching program is a data structure that is used to represent a Boolean function. On a more abstract level, BDDs can be considered as a compressed representation of sets or relations. Unlike other compressed representations, operations are performed directly on the compressed representation, i.e. without decompression. Similar data structures include negation normal form (NNF), Zhegalkin polynomials, and propositional directed acyclic graphs (PDAG). (en)
  • En ciencias de la computación, un diagrama de decisión binario (DDB), tal como una forma normal de negación (FNN) o un (GADP), es una estructura de datos utilizada para representar una función booleana. A un nivel más abstracto, los DDBs pueden ser considerados como una representación comprimida de conjuntos o relaciones. A diferencia de otras representaciones comprimidas, las operaciones se realizan directamente en los DDB, sin necesidad de descomprimirlos. (es)
  • In de informatica is een binair beslissingsdiagram (Engels: binary decision diagram, BDD) een datastructuur waarmee een booleaanse functie gerepresenteerd kan worden. (nl)
  • 二分決定図(にぶんけっていず、Binary Decision Diagram、BDD)とは、ブール関数を表現するのに使われるデータ構造である。二分決定グラフあるいは(基本的には二分木のような構造であることから)二分決定木と呼ぶこともある。 (ja)
  • 在计算机科学中,二元决策图(英語:binary decision diagram, BDD),或译为二元判定图,是被用来表达一个布尔函数的一种数据结构。 (zh)
  • Бінарна діаграма рішень (англ. Binary decision diagram) або програма розгалуження — це структура даних в інформатиці, яка використовується для представлення булевої функції. На більш абстрактному рівні, БДР можна розглядати як стиснене представлення множин або відношень. На відміну від інших стиснених представлень, операції виконуються безпосередньо на стислому представлені, тобто без декомпресії. Інші структури даних, які використовуються для представлення булевої функції включають в себе заперечення нормальної форми, . (uk)
  • Бинарная диаграмма решений (БДР) или программа с ветвлением является формой представления булевой функции от переменных в виде направленного ациклического графа, состоящего из внутренних узлов решений (помеченных ), каждый из которых имеет по два потомка, и двух терминальных узлов (помеченных 0 и 1), каждый из которых соответствует одному из двух значений булевой функции. В зарубежной литературе бинарные диаграммы решений и программы с ветвлением называются binary decision diagram (BDD) и branching programs (BP) соответственно. (ru)
  • Ein binäres Entscheidungsdiagramm (BED; engl. binary decision diagram, BDD) ist eine Datenstruktur zur Repräsentation Boolescher Funktionen. Binäre Entscheidungsdiagramme werden vor allem im Bereich der Hardwaresynthese und -verifikation eingesetzt. (de)
  • En informatique, un graphe de décision binaire ou diagramme de décision binaire (ou BDD pour Binary Decision Diagram en anglais) est une structure de données utilisée pour représenter des fonctions booléennes, ou des questionnaires binaires. On utilise les BDD pour représenter des ensembles ou des relations de manière compacte / compressée. (fr)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/BDD.png
  • http://commons.wikimedia.org/wiki/Special:FilePath/BDD_Variable_Ordering_Bad.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/BDD_Variable_Ordering_Good.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/BDD_diagram_with_complemented_edges.png
  • http://commons.wikimedia.org/wiki/Special:FilePath/BDD_simple.svg
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software