Similar Items: $rm P$ has polynomial-time finite-state verifiers