Category
page 11971 in computing
floppy disk
removable disk storage medium

NP-complete
thumb|upright=0.8|It can be difficult to find a valid solution to a Sudoku puzzle, but once a solution has been found its validity can be verified easily. It is NP-complete to determine whether an Sudoku has a valid solution.
System F
typed lambda calculus