結果

問題 No.247 線形計画問題もどき
コンテスト
ユーザー rpy3cpp
提出日時 2015-07-17 22:58:40
言語 Python3
(3.14.3 + numpy 2.4.4 + scipy 1.17.1)
コンパイル:
python3 -mpy_compile _filename_
実行:
python3 _filename_
結果
AC  
実行時間 105 ms / 2,000 ms
コード長 862 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 593 ms
コンパイル使用メモリ 20,696 KB
実行使用メモリ 15,360 KB
最終ジャッジ日時 2026-03-29 01:27:31
合計ジャッジ時間 4,224 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 23
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

def read_data():
    C = int(input())
    N = int(input())
    As = list(map(int, input().split()))
    return C, N, As

def solve(C, N, As):
    As.sort()
    lower, residue = divmod(C, As[-1])
    if residue == 0:
        return lower
    lower += 1
    upper = C // As[0]
    for total in range(lower, upper + 1):
        if has_solution(total, C, As, N-1):
            return total
    return -1

def has_solution(total, C, As, idx):
    a = As[idx]
    if idx == 0:
        n, r = divmod(C, a)
        return r == 0 and n == total
    for n in range(C//a, -1, -1):
        new_total = total - n
        new_C = C - n * a
        if new_C > new_total * As[idx - 1]:
            return False
        result = has_solution(new_total, new_C, As, idx - 1)
        if result:
            return True
    return False

C, N, As = read_data()
print(solve(C, N, As))
0