fair-web/models/contest_ranklist.js

let Sequelize = require('sequelize');
let db = syzoj.db;

let User = syzoj.model('user');
let Problem = syzoj.model('problem');
let ContestPlayer = syzoj.model('contest_player');

let model = db.define('contest_ranklist', {
  id: { type: Sequelize.INTEGER, primaryKey: true, autoIncrement: true },
  ranking_params: { type: Sequelize.JSON },
  ranklist: { type: Sequelize.JSON }
}, {
  timestamps: false,
  tableName: 'contest_ranklist'
});

let Model = require('./common');
class ContestRanklist extends Model {
  static async create(val) {
    return ContestRanklist.fromRecord(ContestRanklist.model.build(Object.assign({
      ranking_params: {},
      ranklist: {}
    }, val)));
  }

  async getPlayers() {
    let a = [];
    for (let i = 1; i <= this.ranklist.player_num; i++) {
      a.push(await ContestPlayer.fromID(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);
    }

    let JudgeState = syzoj.model('judge_state');

    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.fromID(player.score_details[i].judge_id);
          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;
  }

  getModel() { return model; }
}

ContestRanklist.model = model;

module.exports = ContestRanklist;