Decisison Problem, Deep Learning Computer Vision Flashcards
Decision problem
Is there any combination of outputs such that z = 1
This type of a decision problem is called satisfiability
Satifiable
A circuit is satifiable if there are any combinations of A,B,C, such that Z= 1
Satisfying assignment
When the circuit letters are all given a value that would make Z = 1
Certificate
Decision problems are answered yes or no, but they require proof. This proof is called a certificate it allows anyone to verify the correctness of the answer
Complexity class
Computational problems can be organized into complexity classes to characterize their difficulty
P (polynomial time)
Decision problem that can be answered with a polynomial number of operations
- isSorted
- uvPath
- weightProblem
NP (nondeterministic polynomial time)
Decision problem for which a yes answer with a certificate can be verified in polynomial time
- SAT
- Partition
- Dominating set
Turing table
Some problems like choosing the best chess move on an arbitrary large board are not NP, but can be solved by a computer
-nxn Chess
Non-Turing decidable
Some problems are proven to be undefinable by Turing machine
- Halting problem
- posts correspondence problem
Using data
- learn the limitations of your data
- understand how data is acquired
- identify where the mathematical elegance becomes impractical
- domain knowledge
Computer vision and deep learning used in
- computer graphics
- astronomy
- biomedical imaging
Active data acquisition
Beyond passive machine learning
Learn from data hot to collect data
Be active when making decisions