Logo
Unionpedia
Communicatie
Ontdek het op Google Play
Nieuw! Download Unionpedia op je Android™ toestel!
Installeren
Snellere toegang dan browser!
 

Binair beslissingsdiagram

Index Binair beslissingsdiagram

Binair beslissingsdiagram In de informatica is een binair beslissingsdiagram (Engels: binary decision diagram, BDD) een datastructuur waarmee een booleaanse functie gerepresenteerd kan worden.

18 relaties: Beslissingsboom, Booleaanse functie, Constante tijd, Contradictie, Datastructuur, Engels, Grafentheorie, Grote-O-notatie, Informatica, Isomorfisme, NP-volledig, Parameter, Propositielogica, Tautologie (logica), Variabele, Vervulbaarheid, Vervulbaarheidsprobleem, Waarheidstabel.

Beslissingsboom

Beslissingsboom voor het wel of niet spelen, en het aantal keren uit 14 dat elk geval optrad. Een beslissingsboom, beslisboom of alternatievenschema is een boomstructuur voor de weergave van de alternatieven en keuzen in een besluitvormingsproces, en is een techniek uit de besliskunde.

Nieuw!!: Binair beslissingsdiagram en Beslissingsboom · Bekijk meer »

Booleaanse functie

Een booleaanse waarde of booleaanse constante is een van de twee waarden "waar" (vaak gepresenteerd door het getal 1) en "onwaar" (vaak gepresenteerd door het getal 0).

Nieuw!!: Binair beslissingsdiagram en Booleaanse functie · Bekijk meer »

Constante tijd

In de complexiteitstheorie kan een algoritme in constante tijd of O(1) tijd uitgevoerd worden als de benodigde tijd niet afhangt van de grootte van de invoer.

Nieuw!!: Binair beslissingsdiagram en Constante tijd · Bekijk meer »

Contradictie

Een contradictie of tegenspraak is een situatie waarbij twee beweringen of waarnemingen die elkaar uitsluiten tegelijkertijd waar moeten zijn.

Nieuw!!: Binair beslissingsdiagram en Contradictie · Bekijk meer »

Datastructuur

Een datastructuur is in de informatica een manier waarop de elementen (in dit verband ook wel componenten, delen of items genoemd) van een samengestelde variabele samenhangen.

Nieuw!!: Binair beslissingsdiagram en Datastructuur · Bekijk meer »

Engels

Het Engels (English) is een Indo-Europese taal, die vanwege de nauwe verwantschap met talen als het Fries, (Neder-)Duits en Nederlands tot de West-Germaanse talen wordt gerekend.

Nieuw!!: Binair beslissingsdiagram en Engels · Bekijk meer »

Grafentheorie

Enkelvoudige graaf met zes knopen De grafentheorie is een deelgebied van de wiskunde dat de eigenschappen van grafen bestudeert.

Nieuw!!: Binair beslissingsdiagram en Grafentheorie · Bekijk meer »

Grote-O-notatie

In de wiskunde is de grote-O-notatie, ook het grote-O-symbool, een van de Landau-symbolen waarmee op compacte wijze aangegeven kan worden dat een functie asymptotisch gedomineerd wordt door een andere functie.

Nieuw!!: Binair beslissingsdiagram en Grote-O-notatie · Bekijk meer »

Informatica

Informatica richt zich op de theoretische grondslagen van informatie, de mechanische (automatische) verzameling en verwerking ervan, evenals de praktische toepassingen die eruit voortvloeien.

Nieuw!!: Binair beslissingsdiagram en Informatica · Bekijk meer »

Isomorfisme

In de abstracte algebra, een deelgebied van de wiskunde, is een isomorfisme of isomorfie, van het Griekse: ἴσος, isos, gelijk en μορφή, morphē, vorm, een bijectie f zodat zowel f als de inverse f^ ervan homomorf zijn, dat wil zeggen, structuurbewarende afbeeldingen.

Nieuw!!: Binair beslissingsdiagram en Isomorfisme · Bekijk meer »

NP-volledig

NP-volledigheid is een concept uit de complexiteitstheorie.

Nieuw!!: Binair beslissingsdiagram en NP-volledig · Bekijk meer »

Parameter

Een parameter is in de exacte wetenschappen een onbekende of variabele die de uiteindelijke toestand van een systeem, dan wel de uiteindelijke waarde van een uitdrukking bepaalt wanneer deze een waarde toegekend krijgt.

Nieuw!!: Binair beslissingsdiagram en Parameter · Bekijk meer »

Propositielogica

De propositielogica is een tak van logica die zich bezighoudt met het redeneren met proposities.

Nieuw!!: Binair beslissingsdiagram en Propositielogica · Bekijk meer »

Tautologie (logica)

Een tautologie in de logica is een propositie die alleen al op formeel logische gronden waar is.

Nieuw!!: Binair beslissingsdiagram en Tautologie (logica) · Bekijk meer »

Variabele

In de wiskunde is een variabele een symbool dat een willekeurig wiskundig object representeert, bijvoorbeeld een getal, een verzameling of een functie.

Nieuw!!: Binair beslissingsdiagram en Variabele · Bekijk meer »

Vervulbaarheid

In de klassieke propositielogica is een propositie vervulbaar als er een toekenning van waarheidswaardes aan de atomaire formules van die propositie bestaat zodat de propositie waar is.

Nieuw!!: Binair beslissingsdiagram en Vervulbaarheid · Bekijk meer »

Vervulbaarheidsprobleem

In de complexiteitstheorie verwijst het vervulbaarheidsprobleem (ook bekend als SAT, van het Engelse satisfiability) naar het bepalen of een logische propositie vervuld kan worden; een propositie kan vervuld worden als er een toekenning van waar of onwaar aan de atomaire formules bestaat zodanig dat de gehele propositie waar is.

Nieuw!!: Binair beslissingsdiagram en Vervulbaarheidsprobleem · Bekijk meer »

Waarheidstabel

Een waarheidstabel of waarheidstafel is een wiskundige tabel die in het begin van de 20e eeuw werd ontwikkeld door Emil Leon Post.

Nieuw!!: Binair beslissingsdiagram en Waarheidstabel · Bekijk meer »

Richt hier:

OBDD, ROBDD.

UitgaandeInkomende
Hey! We zijn op Facebook nu! »