結果

問題 No.247 線形計画問題もどき
ユーザー rpy3cpprpy3cpp
提出日時 2015-07-17 22:58:40
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 43 ms / 2,000 ms
コード長 862 bytes
コンパイル時間 495 ms
コンパイル使用メモリ 12,544 KB
実行使用メモリ 10,752 KB
最終ジャッジ日時 2024-07-07 11:00:25
合計ジャッジ時間 1,938 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 23
権限があれば一括ダウンロードができます

ソースコード

diff # 

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