2022-10-17 12:42:32 +00:00
< ? php
if ( ! Auth :: check () && UOJConfig :: $data [ 'switch' ][ 'force-login' ]) {
redirectToLogin ();
}
if ( ! isNormalUser ( $myUser ) && UOJConfig :: $data [ 'switch' ][ 'force-login' ]) {
become403Page ();
}
requirePHPLib ( 'form' );
requireLib ( 'bootstrap5' );
$group_id = $_GET [ 'id' ];
if ( ! validateUInt ( $group_id )) {
become404Page ();
}
$list_id = $_GET [ 'list_id' ];
if ( ! validateUInt ( $list_id )) {
become404Page ();
}
$assignment = queryAssignmentByGroupListID ( $group_id , $list_id );
if ( ! $assignment ) {
become404Page ();
}
$group = queryGroup ( $assignment [ 'group_id' ]);
$list = queryProblemList ( $assignment [ 'list_id' ]);
?>
< ? php echoUOJPageHeader ( UOJLocale :: get ( 'assignments' )) ?>
< div class = " row " >
<!-- left col -->
< div class = " col-lg-9 " >
< h1 class = " h2 " >
< small class = " fs-4 " > 作业: </ small >< ? = $list [ 'title' ] ?>
</ h1 >
< ul class = " mt-3 " >
2022-10-21 12:42:48 +00:00
< li > 对应题单: < a class = " text-decoration-none " href = " <?= HTML::url('/problem_list/'. $list['id'] ) ?> " > #<?= $list['id'] ?></a></li>
2022-10-17 12:42:32 +00:00
< li > 所属小组: < a class = " text-decoration-none " href = " <?= HTML::url('/group/'. $group['id'] ) ?> " >< ? = $group [ 'title' ] ?> </a></li>
2022-10-21 12:42:48 +00:00
< li > 结束时间: < ? = $assignment [ 'end_time' ] ?> </li>
2022-10-17 12:42:32 +00:00
</ ul >
< ? php
2022-10-21 12:42:48 +00:00
$problems = DB :: selectAll ( " select problem_id from lists_problems where list_id = { $list [ 'id' ] } " );
$users = queryGroupUsers ( $group [ 'id' ]);
2022-10-17 12:42:32 +00:00
$problem_ids = [];
2022-10-21 12:42:48 +00:00
$usernames = [];
$n_users = count ( $users );
$n_problems = count ( $problems );
foreach ( $problems as $problem ) {
$problem_ids [] = $problem [ 'problem_id' ];
2022-10-17 12:42:32 +00:00
}
2022-10-21 12:42:48 +00:00
sort ( $problem_ids );
foreach ( $users as $user ) {
$usernames [] = $user [ 'username' ];
2022-10-17 12:42:32 +00:00
}
2022-10-21 12:42:48 +00:00
// standings: rank => [user => [username, realname], scores[], rank]
$standings = [];
2022-10-17 12:42:32 +00:00
2022-10-21 12:42:48 +00:00
foreach ( $usernames as $username ) {
$user = queryUser ( $username );
$row = [ 'total_score' => 0 ];
2022-10-17 12:42:32 +00:00
2022-10-21 12:42:48 +00:00
$row [ 'user' ] = [
'username' => $user [ 'username' ],
'realname' => $user [ 'realname' ],
];
2022-10-17 12:42:32 +00:00
2022-10-21 12:42:48 +00:00
foreach ( $problem_ids as $problem_id ) {
$cond = " submitter = ' { $user [ 'username' ] } ' AND problem_id = $problem_id " ;
$submission = DB :: selectFirst ( " SELECT id, score FROM submissions INNER JOIN (SELECT MAX(score) AS score FROM submissions WHERE $cond ) AS max USING (score) WHERE $cond ORDER BY submit_time DESC " );
if ( $submission ) {
$row [ 'scores' ][] = [
'submission_id' => $submission [ 'id' ],
'score' => intval ( $submission [ 'score' ]),
];
$row [ 'total_score' ] += $submission [ 'score' ];
} else {
$row [ 'scores' ][] = null ;
}
}
2022-10-17 12:42:32 +00:00
2022-10-21 12:42:48 +00:00
$standings [] = $row ;
}
usort ( $standings , function ( $lhs , $rhs ) {
if ( $lhs [ 'total_score' ] != $rhs [ 'total_score' ]) {
return $rhs [ 'total_score' ] - $lhs [ 'total_score' ];
2022-10-17 12:42:32 +00:00
}
2022-10-21 12:42:48 +00:00
return strcmp ( $lhs [ 'user' ][ 'username' ], $rhs [ 'user' ][ 'username' ]);
});
?>
< div id = " standings " ></ div >
< script >
var n_problems = < ? = $n_problems ?> ;
var max_total_score = < ? = $n_problems * 100 ?> ;
var standings = < ? = json_encode ( $standings ) ?> ;
$ ( '#standings' ) . long_table (
standings ,
1 ,
'<tr>' +
'<th style="width:10em"><?= UOJLocale::get(' username ') ?></th>' +
'<th style="width:2em"><?= UOJLocale::get(' contests :: total score ') ?></th>' +
< ? php foreach ( $problem_ids as $problem_id ) : ?>
'<th style="width:2em">' +
'<a class="text-decoration-none" href="<?= HTML::url(' / problem / ' . $problem_id) ?>">#<?= $problem_id ?></a>' +
'</th>' +
< ? php endforeach ?>
'</tr>' ,
function ( row ) {
var col_tr = '' ;
if ( row [ 'total_score' ] == max_total_score ) {
col_tr += '<tr class="table-success">' ;
2022-10-17 12:42:32 +00:00
} else {
2022-10-21 12:42:48 +00:00
col_tr += '<tr>' ;
2022-10-17 12:42:32 +00:00
}
2022-10-21 12:42:48 +00:00
col_tr += '<td>' + getUserLink ( row [ 'user' ][ 'username' ], row [ 'user' ][ 'realname' ]) + '</td>' ;
col_tr += '<td>' +
'<span class="uoj-score" data-max="' + max_total_score + '" style="color:' + getColOfScore ( row [ 'total_score' ] / n_problems ) + '">' + row [ 'total_score' ] + '</span>' +
'</td>' ;
for ( var i = 0 ; i < row [ 'scores' ] . length ; i ++ ) {
var col = row [ 'scores' ][ i ];
if ( col ) {
if ( col [ 'score' ] == 100 ) {
col_tr += '<td class="table-success">' ;
2022-10-17 12:42:32 +00:00
} else {
2022-10-21 12:42:48 +00:00
col_tr += '<td>' ;
2022-10-17 12:42:32 +00:00
}
2022-10-21 12:42:48 +00:00
col_tr += '<a class="text-decoration-none uoj-score" href="/submission/' + col [ 'submission_id' ] + '" style="color:' + getColOfScore ( col [ 'score' ]) + '">' + col [ 'score' ] + '</a>' ;
col_tr += '</td>' ;
} else {
col_tr += '<td></td>' ;
2022-10-17 12:42:32 +00:00
}
}
2022-10-21 12:42:48 +00:00
col_tr += '</tr>' ;
return col_tr ;
},
{
div_classes : [ 'card' , 'my-3' , 'table-responsive' , 'text-center' ],
table_classes : [ 'table' , 'uoj-table' , 'mb-0' ],
page_len : 20 ,
}
);
</ script >
2022-10-17 12:42:32 +00:00
<!-- end left col -->
</ div >
2022-10-19 03:57:06 +00:00
< aside class = " col-lg-3 mt-3 mt-lg-0 " >
2022-10-17 12:42:32 +00:00
<!-- right col -->
< ? php uojIncludeView ( 'sidebar' , [ 'assignments_hidden' => true ]); ?>
</ aside >
</ div >
< ? php echoUOJPageFooter () ?>