A14249 | Balance the Cards

A balanced bracket sequence is defined as an integer sequence that can be built with the following rules:

- The empty sequence is balanced.
- If $[a_1,\ldots,a_n]$ and $[b_1,\ldots, b_m]$ are balanced, then their concatenation $[a_1,\ldots,a_n,b_1,\ldots,b_m]$ is balanced.
- If $x$ is a positive integer and $[a_1,\ldots,a_n]$ is balanced, then $[x,a_1,\ldots,a_n,-x]$ is balanced.

The positive numbers can be imagined as opening brackets and the negative numbers as closing brackets, where matching brackets must have the same type (absolute value). For example, $[1, 2, -2, -1]$ and $[1, 3, -3, 2, -2, -1]$ are balanced, but $[1, 2, -1, -2]$ and $[-1, 1]$ are not balanced.

There are $2n$ cards. Each card has a number on the front and a number on the back. Each integer $1,-1,2,-2,\ldots,n,-n$ appears exactly once on the front of some card and exactly once on the back of some (not necessarily the same) card.

You can reorder the cards however you like. You are not allowed to flip cards, so numbers cannot move between the front and back. Your task is to order the cards so that the sequences given by the front numbers and the back numbers are both balanced, or report that it is impossible.

The first line contains a single integer $n$ ( $1\le n\le 2\cdot 10^5$ ) — the number of bracket types, and half the number of cards.

The next $2n$ lines describe the cards. The $i$ -th of these lines contains two integers $a_i$ , $b_i$ ( $-n\le a_i,b_i\le n$ , $a_i\ne 0$ , $b_i\ne 0$ ) — the numbers on the front and back of the $i$ -th card, respectively. Every integer $1,-1,2,-2,\ldots,n,-n$ appears exactly once as $a_i$ and exactly once as $b_i$ .

On the first line, output "YES" if it's possible to reorder these cards to satisfy the condition. Otherwise, output "NO". You can print each letter in any case (upper or lower).

If it is possible, on the next $2n$ lines output the cards in an order so that the front and back are both balanced. If there are multiple solutions, you may output any.