背景 トランザクション理論の学習をしていて、「あるトランザクションスケジューリングが与えられた時に、それがView Serializableを満たすかを否かを明らかにするのは、NP完全問題」という一文が出てきて、そもそもNP完全問題って何だっけ？どれほど難しい…