A Family of Provably Correct Algorithms for Exact Triangle Counting.
Matthew LeeTze Meng LowPublished in: CORRECTNESS@SC (2017)
Keyphrases
- provably correct
- machine learning algorithms
- computational complexity
- computational cost
- learning algorithm
- data structure
- times faster
- worst case
- neural network
- theoretical analysis
- computational efficiency
- orders of magnitude
- optimization problems
- brute force
- recently developed
- benchmark datasets
- relational databases
- expert systems
- decision trees
- machine learning