from django.urls import reverse from django.utils.html import format_html from django.utils.translation import gettext as _ from judge.models import Submission from judge.utils.problems import get_result_data from judge.utils.raw_sql import join_sql_subquery from judge.views.submission import ForceContestMixin, ProblemSubmissions __all__ = ['RankedSubmissions', 'ContestRankedSubmission'] class RankedSubmissions(ProblemSubmissions): tab = 'best_submissions_list' dynamic_update = False def get_queryset(self): if self.in_contest: contest_join = '''INNER JOIN judge_contestsubmission AS cs ON (sub.id = cs.submission_id) INNER JOIN judge_contestparticipation AS cp ON (cs.participation_id = cp.id)''' points = 'cs.points' constraint = 'AND cp.contest_id = %s' else: contest_join = '' points = 'sub.points' constraint = '' queryset = super(RankedSubmissions, self).get_queryset().filter(user__is_unlisted=False) join_sql_subquery( queryset, subquery=''' SELECT sub.id AS id FROM ( SELECT sub.user_id AS uid, MAX(sub.points) AS points FROM judge_submission AS sub {contest_join} WHERE sub.problem_id = %s AND {points} > 0 {constraint} GROUP BY sub.user_id ) AS highscore STRAIGHT_JOIN ( SELECT sub.user_id AS uid, sub.points, MIN(sub.time) as time FROM judge_submission AS sub {contest_join} WHERE sub.problem_id = %s AND {points} > 0 {constraint} GROUP BY sub.user_id, {points} ) AS fastest ON (highscore.uid = fastest.uid AND highscore.points = fastest.points) STRAIGHT_JOIN judge_submission AS sub ON (sub.user_id = fastest.uid AND sub.time = fastest.time) {contest_join} WHERE sub.problem_id = %s AND {points} > 0 {constraint} GROUP BY sub.user_id '''.format(points=points, contest_join=contest_join, constraint=constraint), params=[self.problem.id, self.contest.id] * 3 if self.in_contest else [self.problem.id] * 3, alias='best_subs', join_fields=[('id', 'id')], ) if self.in_contest: return queryset.order_by('-contest__points', 'time') else: return queryset.order_by('-points', 'time') def get_title(self): return _('Best solutions for %s') % self.problem_name def get_content_title(self): return format_html(_('Best solutions for {0}'), self.problem_name, reverse('problem_detail', args=[self.problem.code])) def _get_result_data(self): return get_result_data(super(RankedSubmissions, self).get_queryset().order_by()) class ContestRankedSubmission(ForceContestMixin, RankedSubmissions): def get_title(self): if self.problem.is_accessible_by(self.request.user): return _('Best solutions for %(problem)s in %(contest)s') % { 'problem': self.problem_name, 'contest': self.contest.name, } return _('Best solutions for problem %(number)s in %(contest)s') % { 'number': self.get_problem_number(self.problem), 'contest': self.contest.name, } def get_content_title(self): if self.problem.is_accessible_by(self.request.user): return format_html(_('Best solutions for {0} in {2}'), self.problem_name, reverse('problem_detail', args=[self.problem.code]), self.contest.name, reverse('contest_view', args=[self.contest.key])) return format_html(_('Best solutions for problem {0} in {1}'), self.get_problem_number(self.problem), self.contest.name, reverse('contest_view', args=[self.contest.key])) def _get_result_data(self): return get_result_data(Submission.objects.filter( problem_id=self.problem.id, contest__participation__contest_id=self.contest.id))