Departments (Hard Version) CodeChef Solution

Problem

This is the hard version of the problem. The only difference between the easy and hard versions is that in the hard one, there are no constraints on the number of employees in every department.

ChefCorp has $N$ employees. Each employee belongs to exactly one of the $M$ departments. Each department is headed by exactly one of the employees belonging to that department.

The management structure of ChefCorp is as follows:

• Each employee of a department (including its head) is in contact with every other employee of that department.
• The head of each department is in contact with the heads of all the other departments.

For example, let $N=7$, $M=3$ and employees $1,\text{2},3$ belong to the first department, employees $\text{4},5$ belong to the second department and employees $\text{6},7$ belong to the third department (employees in bold represent the heads of the departments). The following pairs of employees are in contact with each other: $(1,2),(1,3),(2,3),(4,5),(6,7),(2,4),(4,6),(2,6)$.

However, due to some inexplicable reasons, ChefCorp loses all its data on the departments. Given the total number of employees $N$ and every pair of employees who are in contact with each other, can you help recover the number of departments and the employees belonging to each of the departments?

Input Format

• The first line contains a single integer $T$ — the number of test cases. Then the test cases follow.
• The first line of each test case contains a single integer $N$ — the total number of employees in ChefCorp.
• The second line of each test case contains a single integer $K$ — the number of pairs of employees in contact with each other.
• $K$ lines follow. The i^{th}ith of these $K$ lines contain two space-separated integers u_iui​ and v_ivi​, denoting that employee u_iui​ is in contact with v_ivi​.

Output Format

• For each test case, output the following:
  • In the first line output $M$ — the number of departments.
  • In the second line, output $N$ space-separated integers D_1, D_2, \ldots, D_ND1​,D2​,…,DN​ (1 \leq D_i \leq M)(1≤Di​≤M) — denoting that the i^{th}ith employee belongs to the D_i^{th}Dith​ department.
  • In the third line, output $M$ space-separated integers H_1, H_2, \ldots, H_MH1​,H2​,…,HM​ (1 \leq H_i \leq N, H_i \neq H_j(1≤Hi​≤N,Hi​=Hj​ when i \neq j)i=j) — denoting that the H_i^{th}Hith​ employee is the head of the i^{th}ith department.

If there are multiple answers, output any. It is guaranteed that at least one solution always exists.

Constraints

Sample 1:

4
7
8
1 2
1 3
2 3
4 5
2 4
4 6
2 6
2
1
1 2
3
2
3 2
3 1
6
8
6 2
5 4
3 1
5 2
3 6
2 1
6 1
2 3

3
1 1 1 2 2 3 3
2 4 6
2
1 2
1 2
2
1 2 1
3 2
2
1 1 1 2 2 1
2 5

Explanation:

Test case 1: Explained in the problem statement.