Logo
Unionpedia
Communicatie
Ontdek het op Google Play
Nieuw! Download Unionpedia op je Android™ toestel!
Gratis
Snellere toegang dan browser!
En Ads-free!

Binair beslissingsdiagram

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

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

Beslissingsboom

Beslissingsboom Een beslissingsboom of beslisboom is een wetenschappelijk model 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 functie is een functie met de vorm Voor elke k zijn er invoerwaarden met elk 2 mogelijke uitvoerwaarden, dus in totaal zijn er functies met ariteit k. Elke booleaanse functie met ariteit k kan genoteerd worden als een logische propositie in k variabelen.

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 »

Grafentheorie

right De grafentheorie is een tak van wiskunde die de eigenschappen van grafen bestudeert.

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

Informatica

Informatica, in Vlaanderen ook computerwetenschappen genoemd, is de studie en de wetenschap van de theoretische fundamenten van informatie en het rekenen, de theoretische informatica, en de implementatie en toepassing in computersystemen.

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

Isomorfisme

In de abstracte algebra, een deelgebied van de wiskunde, is een isomorfisme (Grieks: ἴσος isos "gelijk", en μορφή morphe "vorm") een bijectieve afbeelding f zodat zowel f als zijn inverse f^ 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 geldige redeneringen in de vorm van proposities.

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

Tautologie (logica)

Een tautologie in de logica is een redenering waarvan de logische structuur dusdanig is dat deze niet onwaar kan zijn.

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

Variabele

Een variabele is in de wiskunde de aanduiding voor een willekeurig element van een verzameling.

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

Vervulbaarheid

In de klassieke logica is een propositie vervulbaar als er een toekenning, waar of onwaar, bestaat van de atomaire formules in die propositie 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 aan het einde van de 19e eeuw werd ontwikkeld door Charles Dodgson.

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

Richt hier:

OBDD, ROBDD.

UitgaandeInkomende
Hey! We zijn op Facebook nu! »