All Your Paths are Different Lengths

AtCoder
IDarc102_b
Time2000ms
Memory256MB
Difficulty
You are given an integer $L$. Construct a directed graph that satisfies the conditions below. The graph may contain multiple edges between the same pair of vertices. It can be proved that such a graph always exists. * The number of vertices, $N$, is at most $20$. The vertices are given ID numbers from $1$ to $N$. * The number of edges, $M$, is at most $60$. Each edge has an integer length between $0$ and $10^6$ (inclusive). * Every edge is directed from the vertex with the smaller ID to the vertex with the larger ID. That is, $1,2,...,N$ is one possible topological order of the vertices. * There are exactly $L$ different paths from Vertex $1$ to Vertex $N$. The lengths of these paths are all different, and they are integers between $0$ and $L-1$. Here, the length of a path is the sum of the lengths of the edges contained in that path, and two paths are considered different when the sets of the edges contained in those paths are different. ## Constraints * $2 \leq L \leq 10^6$ * $L$ is an integer. ## Input Input is given from Standard Input in the following format: $L$ [samples]
Samples
Input #1
4
Output #1
8 10
1 2 0
2 3 0
3 4 0
1 5 0
2 6 0
3 7 0
4 8 0
5 6 1
6 7 1
7 8 1

In the graph represented by the sample output, there are four paths from Vertex $1$ to $N=8$:

*   $1$ → $2$ → $3$ → $4$ → $8$ with length $0$
*   $1$ → $2$ → $3$ → $7$ → $8$ with length $1$
*   $1$ → $2$ → $6$ → $7$ → $8$ with length $2$
*   $1$ → $5$ → $6$ → $7$ → $8$ with length $3$

There are other possible solutions.
Input #2
5
Output #2
5 7
1 2 0
2 3 1
3 4 0
4 5 0
2 4 0
1 3 3
3 5 1
API Response (JSON)
{
  "problem": {
    "name": "All Your Paths are Different Lengths",
    "description": {
      "content": "You are given an integer $L$. Construct a directed graph that satisfies the conditions below. The graph may contain multiple edges between the same pair of vertices. It can be proved that such a graph",
      "description_type": "Markdown"
    },
    "platform": "AtCoder",
    "limit": {
      "time_limit": 2000,
      "memory_limit": 262144
    },
    "difficulty": "None",
    "is_remote": true,
    "is_sync": true,
    "sync_url": null,
    "sign": "arc102_b"
  },
  "statements": [
    {
      "statement_type": "Markdown",
      "content": "You are given an integer $L$. Construct a directed graph that satisfies the conditions below. The graph may contain multiple edges between the same pair of vertices. It can be proved that such a graph...",
      "is_translate": false,
      "language": "English"
    }
  ]
}
Full JSON Raw Segments