結果
| 問題 | 
                            No.143 豆
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2020-12-24 23:30:33 | 
| 言語 | Java  (openjdk 23)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 67 ms / 1,000 ms | 
| コード長 | 568 bytes | 
| コンパイル時間 | 2,648 ms | 
| コンパイル使用メモリ | 80,032 KB | 
| 実行使用メモリ | 51,324 KB | 
| 最終ジャッジ日時 | 2024-07-23 11:40:29 | 
| 合計ジャッジ時間 | 4,178 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 17 | 
ソースコード
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
import java.util.stream.Stream;
public class Main {
	public static void main(String[] args) throws IOException {
		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		//K N F
		int[] teisu = Stream.of(br.readLine().split(" ")).mapToInt(Integer::parseInt).toArray();
		int count = teisu[0] * teisu[1];
		//年齢
		int sum = Stream.of(br.readLine().split(" ")).mapToInt(Integer::parseInt).sum();
		System.out.println(Math.max(-1, count - sum));
	}
}