fork download
  1. <?php
  2. $input_lines = explode(' ', fgets(STDIN));
  3. $n_count = intval($input_lines[0]);// 座席の数
  4. $m_count = intval($input_lines[1]);// グループの数
  5.  
  6. $chair_state = array();
  7.  
  8. for ($i=1; $i <= $n_count; $i++) {
  9. $chair_state[$i] = 0;
  10. }
  11.  
  12. for ($i = 0; $i < $m_count; $i++) {
  13. $people_place = fgets(STDIN);
  14. $people_place = explode(" ", $people_place);
  15. $people = intval($people_place[0]);
  16. $place = intval($people_place[1]);
  17.  
  18. $chair_empty_flag = array();
  19.  
  20. for ($j=$place; $j < ($place+$people); $j++) {
  21. if($j > $n_count) {
  22. if($chair_state[$j-$n_count] == 0)
  23. $chair_empty_flag[] = true;
  24. else
  25. $chair_empty_flag[] = false;
  26. }
  27. else {
  28. if($chair_state[$j] == 0)
  29. $chair_empty_flag[] = true;
  30. else
  31. $chair_empty_flag[] = false;
  32. }
  33.  
  34. }
  35. if(array_search(false, $chair_empty_flag) === false) {
  36. for ($j=$place; $j < ($place+$people); $j++) {
  37. $chair_state[$j] = 1;
  38. }
  39. }
  40. }
  41.  
  42. $chair_result = array_count_values($chair_state);
  43. echo $chair_result[1];
Success #stdin #stdout 0.02s 52432KB
stdin
12 6
4 6
4 8
4 10
4 12
4 2
4 4
stdout
12