問題一覧 > 通常問題

No.2700 Please Hack Greedy Solution!

レベル : / 実行時間制限 : 1ケース 0.500秒 / メモリ制限 : 512 MB / スペシャルジャッジ問題 （複数の解が存在する可能性があります）
タグ : / 解いたユーザー数 51
作問者 : hirayuu_ychirayuu_yc / テスター : hamamuhamamu MagentorMagentor
1 ProblemId : 10613 / 出題時の順位表 / 自分の提出
問題文最終更新日: 2024-04-11 14:03:32

問題文

これは出力のみの課題です。

0-1ナップサック問題で、ほぼすべての場合で厳密解が貪欲解を上回ることはあるでしょうか。

正整数 $N,W$ と、正整数の組の列 $((v_1,w_1),(v_2,w_2),\dots,(v_N,w_N))$ のうち、以下の条件を満たすものを一つ求めてください。

  • $1\leq N\leq 2000$
  • $1000\leq W\leq 2000$
  • $1\leq v_i\leq 10^9$
  • $1\leq w_i\leq W$
  • $p=1,2,\dots,W$ のうち、以下の条件を満たさない $p$ は多くとも $1$ つ
    • $\{1,2,\dots,N\}$ の部分集合 $S$ であって $\sum_{i\in S} w_i\leq p$ を満たすものの中で、$\sum_{i\in S} v_i$ の最大値を $R$ とする。ただし、空でない $S$ の中で $\sum_{i\in S} w_i\leq p$ を満たすものが存在しない場合、$R=0$ とする。
    • $((v_1,w_1),(v_2,w_2),\dots,(v_N,w_N))$ を、$\frac{v_i}{w_i}$ の大きい順（ただし、同じ場合は $w_i$ の大きい順）に並び替えたものに置き換え、$q=p,G=0$ として $i=1,2,\dots,N$ の順に以下の操作を行う。
      • もし $w_i\leq q$ なら、$q\gets q-w_i$ 、$G\gets G+v_i$ に置き換える。
    • このとき、$R$ が最終的な $G$ より真に大きい

入力

入力は与えられない。

出力

条件を満たす $N,W,((v_1,w_1),(v_2,w_2),\dots,(v_N,w_N))$ を以下のように出力してください。

$N\ W$
$v_1\ w_1$
$v_2\ w_2$
$\vdots$
$v_N\ w_N$

サンプル

サンプル1
出力
2 3
3 1
4 2

この出力は出力例を示すものであり、以下の理由で条件を満たさないため WA と判定されます。

  • $1000\leq W\leq 2000$ を満たさない
  • $p=1,2,\dots,W$ のうち、条件を満たさない $p$ は $1,3$ の $2$ つ
    • $p=1$ のとき、$R=G=3$ なので、条件を満たしません。
      • $\sum_{i\in S} w_i\leq p$ を満たす $S$ は $\{\},\{1\}$ の $2$ つで、$\sum_{i\in S} v_i$ は $S$ が $\{1\}$ のときに最大の $3$ になります。よって、$R=3$ です。
      • $((v_1,w_1),(v_2,w_2))$ を$\frac{v_i}{w_i}$ の大きいに並び替えたものである $((3,1),(4,2))$ に置き換え、$q=p,G=0$ とします。
        • $w_1\leq q$ なので、$q$ を $q-w_1=0$、$G$ を $G+v_1=3$ に置き換えます。
        • $w_2\leq q$ でないので、何もしません。
        • よって、最終的な $G$ は $3$ です。
    • $p=2$ のとき、$R=4,G=3$ なので、条件を満たします。
      • $\sum_{i\in S} w_i\leq p$ を満たす $S$ は $\{\},\{1\},\{2\}$ の $3$ つで、$\sum_{i\in S} v_i$ は $S$ が $\{2\}$ のときに最大の $4$ になります。よって、$R=4$ です。
      • $((v_1,w_1),(v_2,w_2))$ を$\frac{v_i}{w_i}$ の大きいに並び替えたものである $((3,1),(4,2))$ に置き換え、$q=p,G=0$ とします。
        • $w_1\leq q$ なので、$q$ を $q-w_1=1$、$G$ を $G+v_1=3$ に置き換えます。
        • $w_2\leq q$ でないので、何もしません。
        • よって、最終的な $G$ は $3$ です。
    • $p=3$ のとき、$R=G=7$ なので、条件を満たしません。
      • $\sum_{i\in S} w_i\leq p$ を満たす $S$ は $\{\},\{1\},\{2\},\{1,2\}$ の $4$ つで、$\sum_{i\in S} v_i$ は $S$ が $\{1,2\}$ のときに最大の $7$ になります。よって、$R=7$ です。
      • $((v_1,w_1),(v_2,w_2))$ を$\frac{v_i}{w_i}$ の大きいに並び替えたものである $((3,1),(4,2))$ に置き換え、$q=p,G=0$ とします。
        • $w_1\leq q$ なので、$q$ を $q-w_1=2$、$G$ を $G+v_1=3$ に置き換えます。
        • $w_2\leq q$ なので、$q$ を $q-w_2=0$、$G$ を $G+v_2=7$ に置き換えます。
        • よって、最終的な $G$ は $7$ です。

提出するには、Twitter 、GitHub、 Googleもしくは右上の雲マークをクリックしてアカウントを作成してください。