2-G, 문제해설 코드 질문

<알고리즘에 올라와 있는 코드>

#include <bits/stdc++.h>
using namespace std;  
typedef long long ll;
const ll INF = 1e18;   
int n, c, a[1004];
vector<pair<int, int>> v; 
map<int, int> mp, mp_first; 
bool cmp(pair<int,int> a, pair<int, int> b){
	if(a.first == b.first){
		return mp_first[a.second] < mp_first[b.second];
	}
	return a.first > b.first;
}
int main(){
	ios_base::sync_with_stdio(false);
	cin.tie(NULL); cout.tie(NULL);
	cin >> n >> c; 
	for(int i = 0; i < n; i++){
		cin >> a[i];mp[a[i]]++;
		if(mp_first[a[i]] == 0) mp_first[a[i]] = i + 1; 
	} 
	for(auto it : mp){
		v.push_back({it.second, it.first});
	}
	sort(v.begin(), v.end(), cmp);
	for(auto i : v){
		for(int j = 0; j < i.first; j++){
			cout << i.second << " ";
		}
	} 
	 
	return 0;
}

여기서

typedef long long ll;
const ll INF = 1e18;

이 코드가 왜 필요한지 궁금합니다.

또한, 입력에서 a[1004]배열을 왜 사용하는 것인지도 궁금합니다. 배열이 아닌 정수형 변수에 입력값을 저장한 후 카운트 map의 키로 사용해도 되는데 배열을 사용한 이유가 궁금합니다.