トピック: Computational complexity.