check과 index가 뭘 의미하는 변수인가요?

a와 b의 크기가 같다면 list(zip(a, b))를 하면 [(a[0], b[0]), (a[1], b[1]), ...]이 만들어집니다. 각 원소가 리스트는 아닌 튜플인데, 이걸 리스로 바꾸고 싶으시면 list(map(list, zip(a, b)))를 하시면 됩니다. 둘 중 하나의 크기가 더 작다면 결과물은 작은 쪽을 따라서, 더 큰 리스트는 일부만 가져옵니다.

index는 그냥 해당 위치 표현 숫자를 뜻하는 거였구.. check는 그냥 True False 용을 대체하는 용어였습니다.

튜플이 아닌 리스트로는 못 묶나요?

일단 리스트로 묶는 건 list(map(list, zip(a, b)))로 묶으면 된다고 말씀드렸습니다.

그리고 첫 번째 질문에 대해선... 아래에 이런저런 방법을 쭉 써놓긴 할 텐데 이걸 쓰실지 말지는 본인이 판단하시면 됩니다. 만약 너무 끔찍하다 싶으시면 그냥 손구현하세요.

입력이 "6 5 4 3"일때

list(map(int, input().split()))
=> [6, 5, 4, 3]

list(enumerate(map(int, input().split())))
=> [(0, 6), (1, 5), (2, 4), (3, 3)]

list(map(list, enumerate(map(int, input().split()))))
=> [[0, 6], [1, 5], [2, 4], [3, 3]]

check = True
list(map(lambda x: [*x, check], enumerate(map(int, input().split()))))
=> [[0, 6, True], [1, 5, True], [2, 4, True], [3, 3, True]]