ZsgsDesign / NOJ

app/Models/Rating/RatingCalculator.php

Spacing +71 added lines, -71 removed lines

@@ -17,24 +17,24 @@ 
     public $totParticipants=0;
     public $INITIAL_RATING=1500;
 
-    public function __construct($cid){
+    public function __construct($cid) {
         $this->cid=$cid;
 
         // get rank
         $this->getRecord();
     }
 
-    private function getRecord(){
+    private function getRecord() {
         $contestRankRaw=Cache::tags(['contest', 'rank'])->get($this->cid);
 
         if ($contestRankRaw==null) {
             $contestModel=new ContestModel();
-            $contestRankRaw=Chache::tags('contest','rank')->get($this->cid);
+            $contestRankRaw=Chache::tags('contest', 'rank')->get($this->cid);
             //$contestModel->contestRankCache($this->cid);//TODO:use realtimeContestRankCache
         }
 
-        $this->totParticipants = count($contestRankRaw);
-        foreach($contestRankRaw as $c){
+        $this->totParticipants=count($contestRankRaw);
+        foreach ($contestRankRaw as $c) {
             $this->contestants[]=[
                 "uid"=>$c["uid"],
                 "points"=>$c["score"],
@@ -43,84 +43,84 @@ 
         }
     }
 
-    private function reassignRank(){
+    private function reassignRank() {
         $this->sort("points");
-        $idx = 0;
-        $points = $this->contestants[0]["points"];
-        $i = 1;
-        while($i < $this->totParticipants){
-            if($this->contestants[$i]["points"] < $points){
-                $j = $idx;
-                while($j < $i){
-                    $this->contestants[$j]["rank"] = $i;
-                    $j += 1;
+        $idx=0;
+        $points=$this->contestants[0]["points"];
+        $i=1;
+        while ($i<$this->totParticipants) {
+            if ($this->contestants[$i]["points"]<$points) {
+                $j=$idx;
+                while ($j<$i) {
+                    $this->contestants[$j]["rank"]=$i;
+                    $j+=1;
                 }
-                $idx = $i;
-                $points = $this->contestants[$i]["points"];
+                $idx=$i;
+                $points=$this->contestants[$i]["points"];
             }
-            $i += 1;
+            $i+=1;
         }
-        $j = $idx;
-        while($j < $this->totParticipants){
-            $this->contestants[$j]["rank"] = $this->totParticipants;
-            $j += 1;
+        $j=$idx;
+        while ($j<$this->totParticipants) {
+            $this->contestants[$j]["rank"]=$this->totParticipants;
+            $j+=1;
         }
     }
 
-    private function getEloWinProbability($Ra, $Rb){
-        return 1.0 / (1 + pow(10, ($Rb-$Ra)/400.0));
+    private function getEloWinProbability($Ra, $Rb) {
+        return 1.0 / (1+pow(10, ($Rb-$Ra) / 400.0));
     }
 
-    private function getSeed($rating){
-        $result = 1.0;
-        foreach($this->contestants as $other){
-            $result += $this->getEloWinProbability($other["rating"], $rating);
+    private function getSeed($rating) {
+        $result=1.0;
+        foreach ($this->contestants as $other) {
+            $result+=$this->getEloWinProbability($other["rating"], $rating);
         }
         return $result;
     }
 
-    private function getRatingToRank($rank){
+    private function getRatingToRank($rank) {
         $left=1;
         $right=8000;
-        while($right - $left > 1){
-            $mid = floor(($right + $left)/2);
-            if($this->getSeed($mid) < $rank){
-                $right = $mid;
-            }else{
-                $left = $mid;
+        while ($right-$left>1) {
+            $mid=floor(($right+$left) / 2);
+            if ($this->getSeed($mid)<$rank) {
+                $right=$mid;
+            } else {
+                $left=$mid;
             }
         }
         return $left;
     }
 
-    private function sort($key){
-        usort($this->contestants, function ($a, $b) use ($key) {
+    private function sort($key) {
+        usort($this->contestants, function($a, $b) use ($key) {
             return $b[$key] <=> $a[$key];
         });
     }
 
-    public function calculate(){
-        if(empty($this->contestants)){
+    public function calculate() {
+        if (empty($this->contestants)) {
             return;
         }
 
         // recalc rank
         $this->reassignRank();
 
-        foreach($this->contestants as &$member){
-            $member["seed"] = 1.0;
-            foreach($this->contestants as $other){
-                if($member["uid"] != $other["uid"]){
-                    $member["seed"] += $this->getEloWinProbability($other["rating"], $member["rating"]);
+        foreach ($this->contestants as &$member) {
+            $member["seed"]=1.0;
+            foreach ($this->contestants as $other) {
+                if ($member["uid"]!=$other["uid"]) {
+                    $member["seed"]+=$this->getEloWinProbability($other["rating"], $member["rating"]);
                 }
             }
         }
         unset($member);
 
-        foreach($this->contestants as &$contestant){
-            $midRank = sqrt($contestant["rank"] * $contestant["seed"]);
-            $contestant["needRating"] = $this->getRatingToRank($midRank);
-            $contestant["delta"] = floor(($contestant["needRating"] - $contestant["rating"])/2);
+        foreach ($this->contestants as &$contestant) {
+            $midRank=sqrt($contestant["rank"] * $contestant["seed"]);
+            $contestant["needRating"]=$this->getRatingToRank($midRank);
+            $contestant["delta"]=floor(($contestant["needRating"]-$contestant["rating"]) / 2);
         }
         unset($contestant);
 
@@ -128,39 +128,39 @@ 
 
         // DO some adjuct
         // Total sum should not be more than ZERO.
-        $sum = 0;
+        $sum=0;
 
-        foreach($this->contestants as $contestant){
-            $sum += $contestant["delta"];
+        foreach ($this->contestants as $contestant) {
+            $sum+=$contestant["delta"];
         }
-        $inc = -floor($sum / $this->totParticipants) - 1;
-        foreach($this->contestants as &$contestant){
-            $contestant["delta"] += $inc;
+        $inc=-floor($sum / $this->totParticipants)-1;
+        foreach ($this->contestants as &$contestant) {
+            $contestant["delta"]+=$inc;
         }
         unset($contestant);
 
         // Sum of top-4*sqrt should be adjusted to ZERO.
 
-        $sum = 0;
-        $zeroSumCount = min(intval(4*round(sqrt($this->totParticipants))), $this->totParticipants);
+        $sum=0;
+        $zeroSumCount=min(intval(4 * round(sqrt($this->totParticipants))), $this->totParticipants);
 
-        for($i=0;$i<$zeroSumCount;$i++){
-            $sum += $this->contestants[$i]["delta"];
+        for ($i=0; $i<$zeroSumCount; $i++) {
+            $sum+=$this->contestants[$i]["delta"];
         }
 
-        $inc = min(max(-floor($sum / $zeroSumCount), -10), 0);
+        $inc=min(max(-floor($sum / $zeroSumCount), -10), 0);
 
-        for($i=0;$i<$zeroSumCount;$i++){
-            $this->contestants[$i]["delta"] += $inc;
+        for ($i=0; $i<$zeroSumCount; $i++) {
+            $this->contestants[$i]["delta"]+=$inc;
         }
 
         return $this->validateDeltas();
     }
 
-    public function storage(){
+    public function storage() {
         $contestants=$this->contestants;
-        DB::transaction(function () use ($contestants) {
-            foreach($contestants as $contestant){
+        DB::transaction(function() use ($contestants) {
+            foreach ($contestants as $contestant) {
                 $newRating=$contestant["rating"]+$contestant["delta"];
                 DB::table("users")->where([
                     "id"=>$contestant["uid"]
@@ -182,20 +182,20 @@ 
         }, 5);
     }
 
-    private function validateDeltas(){
+    private function validateDeltas() {
         $this->sort("points");
 
-        for($i=0;$i<$this->totParticipants;$i++){
-            for($j=$i+1;$j<$this->totParticipants;$j++){
-                if($this->contestants[$i]["rating"] > $this->contestants[$j]["rating"]){
-                    if($this->contestants[$i]["rating"] + $this->contestants[$i]["delta"] < $this->contestants[$j]["rating"] + $this->contestants[$j]["delta"]){
+        for ($i=0; $i<$this->totParticipants; $i++) {
+            for ($j=$i+1; $j<$this->totParticipants; $j++) {
+                if ($this->contestants[$i]["rating"]>$this->contestants[$j]["rating"]) {
+                    if ($this->contestants[$i]["rating"]+$this->contestants[$i]["delta"]<$this->contestants[$j]["rating"]+$this->contestants[$j]["delta"]) {
                         Log::warning("First rating invariant failed: {$this->contestants[i]["uid"]} vs. {$this->contestants[j]["uid"]}.");
                         return false;
                     }
                 }
 
-                if($this->contestants[$i]["rating"] < $this->contestants[$j]["rating"]){
-                    if($this->contestants[$i]["delta"] < $this->contestants[$j]["delta"]){
+                if ($this->contestants[$i]["rating"]<$this->contestants[$j]["rating"]) {
+                    if ($this->contestants[$i]["delta"]<$this->contestants[$j]["delta"]) {
                         Log::warning("Second rating invariant failed: {$this->contestants[i]["uid"]} vs.  {$this->contestants[j]["uid"]}.");
                         return false;
                     }

app/Models/ContestModel.php

Spacing +48 added lines, -48 removed lines

@@ -124,9 +124,9 @@ 
         //     "gid"=>$gid
         // ])->orderBy('begin_time', 'desc')->get()->all();
         $preQuery=DB::table($this->tableName);
-        $paginator=$preQuery->where('gid','=',$gid)->orderBy('begin_time', 'desc')->paginate(10);
+        $paginator=$preQuery->where('gid', '=', $gid)->orderBy('begin_time', 'desc')->paginate(10);
         $contest_list=$paginator->all();
-        if(empty($contest_list)){
+        if (empty($contest_list)) {
             return null;
         }
 
@@ -161,13 +161,13 @@ 
                 ->join('contest', 'group_member.gid', '=', 'contest.gid')
                 ->leftJoin('contest_participant', 'contest.cid', '=', 'contest_participant.cid')
                 ->where(
-                    function ($query) {
+                    function($query) {
                         $query->where('public', 1)
                               ->where('audit_status', 1);
                     }
                 )
                 ->orWhere(
-                    function ($query) use ($uid) {
+                    function($query) use ($uid) {
                         $query->where('group_member.uid', $uid)
                                 ->where('group_member.role', '>', 0);
                             //     ->where(function ($query) use ($uid) {
@@ -232,14 +232,14 @@ 
         }
     }
 
-    public function registContest($cid,$uid)
+    public function registContest($cid, $uid)
     {
         $registered=DB::table("contest_participant")->where([
             "cid"=>$cid,
             "uid"=>$uid
         ])->first();
 
-        if(empty($registered)){
+        if (empty($registered)) {
             DB::table("contest_participant")->insert([
                 "cid"=>$cid,
                 "uid"=>$uid,
@@ -540,7 +540,7 @@ 
                     "problem_detail" => $prob_detail
                 ];
             }
-            usort($ret, function ($a, $b) {
+            usort($ret, function($a, $b) {
                 if ($a["score"]==$b["score"]) {
                     if ($a["penalty"]==$b["penalty"]) {
                         return 0;
@@ -587,7 +587,7 @@ 
                     "problem_detail" => $prob_detail
                 ];
             }
-            usort($ret, function ($a, $b) {
+            usort($ret, function($a, $b) {
                 if ($a["score"]==$b["score"]) {
                     if ($a["solved"]==$b["solved"]) {
                         return 0;
@@ -680,7 +680,7 @@ 
     {
         return DB::table("contest_clarification")->where([
             "cid"=>$cid
-        ])->where(function ($query) {
+        ])->where(function($query) {
             $query->where([
                 "public"=>1
             ])->orWhere([
@@ -833,7 +833,7 @@ 
                 "users.id",
                 "=",
                 "submission.uid"
-            )->where(function ($query) use ($frozen_time) {
+            )->where(function($query) use ($frozen_time) {
                 $query->where(
                     "submission_date",
                     "<",
@@ -1026,12 +1026,12 @@ 
     public function updateProfessionalRate($cid)
     {
         $basic=$this->basic($cid);
-        if($basic["rated"]&&!$basic["is_rated"]){
+        if ($basic["rated"] && !$basic["is_rated"]) {
             $ratingCalculator=new RatingCalculator($cid);
-            if($ratingCalculator->calculate()){
+            if ($ratingCalculator->calculate()) {
                 $ratingCalculator->storage();
                 return true;
-            }else{
+            } else {
                 return false;
             }
         } else {
@@ -1041,7 +1041,7 @@ 
 
     public function arrangeContest($gid, $config, $problems)
     {
-        DB::transaction(function () use ($gid, $config, $problems) {
+        DB::transaction(function() use ($gid, $config, $problems) {
             $cid=DB::table($this->tableName)->insertGetId([
                 "gid"=>$gid,
                 "name"=>$config["name"],
@@ -1077,31 +1077,31 @@ 
         }, 5);
     }
 
-    public function updateContestRankTable($cid,$sub){
-        $lock = Cache::lock("contestrank$cid",10);
-        try{
-            if($lock->get()){
-                if(Cache::tags(['contest','rank'])->get($cid) != null){
-                    $chache = Cache::tags(['contest','data'])->get($cid);
-                    $ret = Cache::tags(['contest','rank'])->get($cid);
-                    if (time() > $chache['frozen_time'])
+    public function updateContestRankTable($cid, $sub) {
+        $lock=Cache::lock("contestrank$cid", 10);
+        try {
+            if ($lock->get()) {
+                if (Cache::tags(['contest', 'rank'])->get($cid)!=null) {
+                    $chache=Cache::tags(['contest', 'data'])->get($cid);
+                    $ret=Cache::tags(['contest', 'rank'])->get($cid);
+                    if (time()>$chache['frozen_time'])
                         return;
 
-                    $id = 0;
+                    $id=0;
 
-                    foreach($chache['problemSet'] as $key => $p){
-                        if ($p['pid'] == $sub['pid']){
-                            $chache['problemSet'][$key]['cpid'] = $key;
-                            $id = $key;
+                    foreach ($chache['problemSet'] as $key => $p) {
+                        if ($p['pid']==$sub['pid']) {
+                            $chache['problemSet'][$key]['cpid']=$key;
+                            $id=$key;
                         }
                     }
 
-                    $ret = $this->updateContestRankDetail($chache['contest_info'],$chache['problemSet'][$id],$cid,$sub['uid'],$ret);
-                    $ret = $this->sortContestRankTable($chache['contest_info'],$cid,$ret);
+                    $ret=$this->updateContestRankDetail($chache['contest_info'], $chache['problemSet'][$id], $cid, $sub['uid'], $ret);
+                    $ret=$this->sortContestRankTable($chache['contest_info'], $cid, $ret);
 
                     Cache::tags(['contest', 'rank'])->put($cid, $ret);
                 }
-                else{
+                else {
                     $ret=[];
                     $chache=[];
                     $chache['contest_info']=DB::table("contest")->where("cid", $cid)->first();
@@ -1118,7 +1118,7 @@ 
                             "cid"=>$cid,
                             "audit"=>1
                         ])->select('uid')->get()->all();
-                    }else{
+                    } else {
                         $submissionUsers=DB::table("submission")->where([
                             "cid"=>$cid
                         ])->where(
@@ -1129,24 +1129,24 @@ 
                     }
                     foreach ($submissionUsers as $s) {
                         foreach ($chache['problemSet'] as $key => $p) {
-                            $p['cpid'] = $key;
-                            $ret = $this->updateContestRankDetail($chache['contest_info'],$p,$cid,$s['uid'],$ret);
+                            $p['cpid']=$key;
+                            $ret=$this->updateContestRankDetail($chache['contest_info'], $p, $cid, $s['uid'], $ret);
                         }
                     }
-                    $ret = $this->sortContestRankTable($chache['contest_info'],$cid,$ret);
+                    $ret=$this->sortContestRankTable($chache['contest_info'], $cid, $ret);
                     Cache::tags(['contest', 'rank'])->put($cid, $ret);
                 }
             }
-        }catch(LockTimeoutException $e){
+        } catch (LockTimeoutException $e) {
             Log::warning("Contest Rank Lock Timed Out");
-        }finally{
+        } finally {
             optional($lock)->release();
         }
     }
 
-    public function sortContestRankTable($contest_info,$cid,$ret){
-        if ($contest_info["rule"]==1){
-            usort($ret, function ($a, $b) {
+    public function sortContestRankTable($contest_info, $cid, $ret) {
+        if ($contest_info["rule"]==1) {
+            usort($ret, function($a, $b) {
                 if ($a["score"]==$b["score"]) {
                     if ($a["penalty"]==$b["penalty"]) {
                         return 0;
@@ -1161,8 +1161,8 @@ 
                     return 1;
                 }
             });
-        }else if ($contest_info["rule"]==2){
-            usort($ret, function ($a, $b) {
+        } else if ($contest_info["rule"]==2) {
+            usort($ret, function($a, $b) {
                 if ($a["score"]==$b["score"]) {
                     if ($a["solved"]==$b["solved"]) {
                         return 0;
@@ -1181,15 +1181,15 @@ 
         return $ret;
     }
 
-    public function updateContestRankDetail($contest_info,$problem,$cid,$uid,$ret){
-        $id = count($ret);
-        foreach($ret as $key => $r){
-            if($r['uid'] == $uid)
-                $id = $key;
+    public function updateContestRankDetail($contest_info, $problem, $cid, $uid, $ret) {
+        $id=count($ret);
+        foreach ($ret as $key => $r) {
+            if ($r['uid']==$uid)
+                $id=$key;
         }
         if ($contest_info["rule"]==1) {
             // ACM/ICPC Mode
-                $prob_detail = $ret[$id]['problem_detail'];
+                $prob_detail=$ret[$id]['problem_detail'];
                 $totPen=$ret[$id]['penalty'];
                 $totScore=$ret[$id]['score'];
 
@@ -1223,7 +1223,7 @@ 
                 ];
         } elseif ($contest_info["rule"]==2) {
             // OI Mode
-            $prob_detail = $ret[$id]['problem_detail'];
+            $prob_detail=$ret[$id]['problem_detail'];
             $totScore=$ret[$id]['score'];
             $totSolved=$ret[$id]['solved'];
 

Braces +12 added lines, -11 removed lines

@@ -1031,7 +1031,7 @@ 
             if($ratingCalculator->calculate()){
                 $ratingCalculator->storage();
                 return true;
-            }else{
+            } else{
                 return false;
             }
         } else {
@@ -1084,8 +1084,9 @@ 
                 if(Cache::tags(['contest','rank'])->get($cid) != null){
                     $chache = Cache::tags(['contest','data'])->get($cid);
                     $ret = Cache::tags(['contest','rank'])->get($cid);
-                    if (time() > $chache['frozen_time'])
-                        return;
+                    if (time() > $chache['frozen_time']) {
+                                            return;
+                    }
 
                     $id = 0;
 
@@ -1100,8 +1101,7 @@ 
                     $ret = $this->sortContestRankTable($chache['contest_info'],$cid,$ret);
 
                     Cache::tags(['contest', 'rank'])->put($cid, $ret);
-                }
-                else{
+                } else{
                     $ret=[];
                     $chache=[];
                     $chache['contest_info']=DB::table("contest")->where("cid", $cid)->first();
@@ -1118,7 +1118,7 @@ 
                             "cid"=>$cid,
                             "audit"=>1
                         ])->select('uid')->get()->all();
-                    }else{
+                    } else{
                         $submissionUsers=DB::table("submission")->where([
                             "cid"=>$cid
                         ])->where(
@@ -1137,9 +1137,9 @@ 
                     Cache::tags(['contest', 'rank'])->put($cid, $ret);
                 }
             }
-        }catch(LockTimeoutException $e){
+        } catch(LockTimeoutException $e){
             Log::warning("Contest Rank Lock Timed Out");
-        }finally{
+        } finally{
             optional($lock)->release();
         }
     }
@@ -1161,7 +1161,7 @@ 
                     return 1;
                 }
             });
-        }else if ($contest_info["rule"]==2){
+        } else if ($contest_info["rule"]==2){
             usort($ret, function ($a, $b) {
                 if ($a["score"]==$b["score"]) {
                     if ($a["solved"]==$b["solved"]) {
@@ -1184,8 +1184,9 @@ 
     public function updateContestRankDetail($contest_info,$problem,$cid,$uid,$ret){
         $id = count($ret);
         foreach($ret as $key => $r){
-            if($r['uid'] == $uid)
-                $id = $key;
+            if($r['uid'] == $uid) {
+                            $id = $key;
+            }
         }
         if ($contest_info["rule"]==1) {
             // ACM/ICPC Mode

app/Models/SubmissionModel.php

Spacing +12 added lines, -12 removed lines

@@ -425,15 +425,15 @@ 
         if (isset($sub['verdict'])) {
             $sub["color"]=$this->colorScheme[$sub['verdict']];
         }
-        $result = DB::table($this->tableName)->where(['sid'=>$sid])->update($sub);
-
-        $contestModel = new ContestModel();
-        $submission_info = DB::table($this->tableName) -> where(['sid'=>$sid]) -> get() -> first();
-        if ($submission_info['cid'] && $contestModel->isContestRunning($submission_info['cid'])){
-            $sub['pid'] = $submission_info['pid'];
-            $sub['uid'] = $submission_info['uid'];
-            $sub['cid'] = $submission_info['cid'];
-            $contestModel->updateContestRankTable($submission_info['cid'],$sub);
+        $result=DB::table($this->tableName)->where(['sid'=>$sid])->update($sub);
+
+        $contestModel=new ContestModel();
+        $submission_info=DB::table($this->tableName) -> where(['sid'=>$sid]) -> get() -> first();
+        if ($submission_info['cid'] && $contestModel->isContestRunning($submission_info['cid'])) {
+            $sub['pid']=$submission_info['pid'];
+            $sub['uid']=$submission_info['uid'];
+            $sub['cid']=$submission_info['cid'];
+            $contestModel->updateContestRankTable($submission_info['cid'], $sub);
         }
         return $result;
     }
@@ -504,15 +504,15 @@ 
             'desc'
         );
 
-        if($filter["pcode"]){
+        if ($filter["pcode"]) {
             $paginator=$paginator->where(["pcode"=>$filter["pcode"]]);
         }
 
-        if($filter["result"]){
+        if ($filter["result"]) {
             $paginator=$paginator->where(["verdict"=>$filter["result"]]);
         }
 
-        if($filter["account"]){
+        if ($filter["account"]) {
             $paginator=$paginator->where(["name"=>$filter["account"]]);
         }