結果
| 問題 | No.2929 Miracle Branch | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2025-02-07 15:54:13 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 146 ms / 2,000 ms | 
| コード長 | 2,399 bytes | 
| コンパイル時間 | 785 ms | 
| コンパイル使用メモリ | 82,516 KB | 
| 実行使用メモリ | 97,856 KB | 
| 最終ジャッジ日時 | 2025-02-07 15:54:24 | 
| 合計ジャッジ時間 | 10,475 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 43 | 
ソースコード
#!/usr/bin/env python3
import sys
def main():
    input = sys.stdin.readline
    x = int(input())
    # X=1 の特例
    if x == 1:
        print(2)
        print("1 2")
        print("b g")
        return
    # 200,000 以下の因数で試し割り(200,000 を超える因数があれば後で検出)
    temp = x
    prime_factors = []  # 素因数をリストに列挙
    d = 2
    while d * d <= temp and d <= 200000:
        while temp % d == 0:
            prime_factors.append(d)
            temp //= d
        d += 1
    if temp > 1:
        prime_factors.append(temp)
    
    # もし因数の中に 200,000 を超えるものがあれば,頂点数が必ず制限を超える
    for p in prime_factors:
        if p > 200000:
            print(-1)
            return
    # ここで,素因数リスト prime_factors から「まとめるべき部分」
    # - 2 の因子は,2 個でまとめると 4 として使うと頂点数が減る
    factors = []
    count2 = prime_factors.count(2)
    non_twos = [p for p in prime_factors if p != 2]
    # 2 の個数が偶数なら,そのペアをまとめて 4 を作る
    factors.extend([4] * (count2 // 2))
    # 奇数個なら,最後の 1 つはそのまま 2 とする
    if count2 % 2 == 1:
        factors.append(2)
    # 2 以外の素因数はそのまま使う(それぞれの素因数 p は p+1 の頂点を必要とする)
    factors.extend(non_twos)
    
    # 茶色頂点の数 k と総緑色頂点数(因子和)から全体頂点数を計算
    k = len(factors)
    total_vertices = k + sum(factors)
    if total_vertices > 200000:
        print(-1)
        return
    n = total_vertices
    edges = []
    # 茶色頂点は 1,2,...,k とし,それらを鎖状につなぐ
    for i in range(1, k):
        edges.append((i, i+1))
    # 次に,各茶色頂点 i に対して factors[i-1] 個の緑色頂点を付ける
    current_green = k + 1
    for i, f in enumerate(factors, start=1):
        for _ in range(f):
            edges.append((i, current_green))
            current_green += 1
    # 色は,頂点 1..k を茶色 (b),残りを緑色 (g) とする
    colors = ["b"] * k + ["g"] * (n - k)
    # 出力(フォーマットに厳密に従う)
    print(n)
    for u, v in edges:
        print(u, v)
    print(" ".join(colors))
if __name__ == '__main__':
    main()
            
            
            
        