không gian trạng thái và bài toán tìm kiếm