20 Terms
Home > Industry/Domain > Computer science > Algorithms & data structures
Algorithms & data structures
The optimization of programming methods and organization of information to achieve a desired result more efficiently.
Industry: Computer science
Add a new termContributors in Algorithms & data structures
Algorithms & data structures
polychotomy
Computer science; Algorithms & data structures
Division into many distinct classifications.
min-heap property
Computer science; Algorithms & data structures
Each node in a tree has a key which is greater than or equal to the key of its parent.
max-heap property
Computer science; Algorithms & data structures
Each node in a tree has a key which is less than or equal to the key of its parent.
heap property
Computer science; Algorithms & data structures
Each node in a tree has a key which is more extreme (greater or less) than or equal to the key of its parent.
model checking
Computer science; Algorithms & data structures
Efficiently deciding whether a temporal logic formula is satisfied in a finite state machine model.
formal verification
Computer science; Algorithms & data structures
Establishing properties of hardware or software designs using logic, rather than (just) testing or informal arguments. This involves formal specification of the requirement, formal modeling of the ...
dual linear program
Computer science; Algorithms & data structures
Every linear program has a corresponding linear program called the dual. It is max y (b· y
