num1, num2, num3 = input().split()
num1 = int(num1); num2 = int(num2); num3 = int(num3)

파이썬에서 변수 n개를 한번에 입력받아 int형으로 형변환할때 위 코드보다 효율적인 방법이 있을까요? map함수를 이용해서 하는것을 본적이 있는것같아서요