多項式時間検証可能という側面からnpを考えると、対話証明とみなすこともできる。