fair-web/models/contest_ranklist.ts

import * as TypeORM from "typeorm";
import Model from "./common";

declare var syzoj: any;

import ContestPlayer from "./contest_player";
import JudgeState from "./judge_state";

@TypeORM.Entity()
export default class ContestRanklist extends Model {
  @TypeORM.PrimaryGeneratedColumn()
  id: number;

  @TypeORM.Column({ nullable: true, type: "json" })
  ranking_params: any;

  @TypeORM.Column({ default: JSON.stringify({ player_num: 0 }), type: "json" })
  ranklist: any;

  async getPlayers() {
    let a = [];
    for (let i = 1; i <= this.ranklist.player_num; i++) {
      a.push(await ContestPlayer.findById(this.ranklist[i]));
    }
    return a;
  }

  async updatePlayer(contest, player) {
    let players = await this.getPlayers(), newPlayer = true;
    for (let x of players) {
      if (x.user_id === player.user_id) {
        newPlayer = false;
        break;
      }
    }

    if (newPlayer) {
      players.push(player);
    }

    if (contest.type === 'noi' || contest.type === 'ioi') {
      for (let player of players) {
        player.latest = 0;
        player.score = 0;

        for (let i in player.score_details) {
          let judge_state = await JudgeState.findById(player.score_details[i].judge_id);
          if (!judge_state) continue;

          player.latest = Math.max(player.latest, judge_state.submit_time);

          if (player.score_details[i].score != null) {
            let multiplier = this.ranking_params[i] || 1.0;
            player.score_details[i].weighted_score = Math.round(player.score_details[i].score * multiplier);
            player.score += player.score_details[i].weighted_score;
          }
        }
      }

      players.sort((a, b) => {
        if (a.score > b.score) return -1;
        if (b.score > a.score) return 1;
        if (a.latest < b.latest) return -1;
        if (a.latest > b.latest) return 1;
        return 0;
      });
    } else {
      for (let player of players) {
        player.timeSum = 0;
        for (let i in player.score_details) {
          if (player.score_details[i].accepted) {
            player.timeSum += (player.score_details[i].acceptedTime - contest.start_time) + (player.score_details[i].unacceptedCount * 20 * 60);
          }
        }
      }

      players.sort((a, b) => {
        if (a.score > b.score) return -1;
        if (b.score > a.score) return 1;
        if (a.timeSum < b.timeSum) return -1;
        if (a.timeSum > b.timeSum) return 1;
        return 0;
      });
    }

    this.ranklist = { player_num: players.length };
    for (let i = 0; i < players.length; i++) this.ranklist[i + 1] = players[i].id;
  }
}