☰

ac-predictor

コンテスト中にAtCoderのパフォーマンスを予測します

目前为 2018-07-01 提交的版本，查看 最新版本。

  1. // ==UserScript==
  2. // @name        ac-predictor
  3. // @namespace   http://ac-predictor.azurewebsites.net/
  4. // @version     0.1.1
  5. // @description コンテスト中にAtCoderのパフォーマンスを予測します
  6. // @author      keymoon
  7. // @license     MIT
  8. // @homepage    https://github.com/key-moon/ac-predictor
  9. // @supportURL  https://github.com/key-moon/ac-predictor/issues
  10. // @match       https://beta.atcoder.jp/contests/*
  11. // ==/UserScript==
  12. embedData();
  13. genSideMenu();
  14. appendToSideMenu(getPredictorElem())
  15. appendToSideMenu(getEstimatorElem())
  16.  
  17. function embedData() {
  18. 	historyJsonURL = `https://beta.atcoder.jp/users/${userScreenName}/history/json`
  19. 	standingsJsonURL = `https://beta.atcoder.jp/contests/${contestScreenName}/standings/json`
  20. 	aperfsJsonURL = `https://ac-predictor.azurewebsites.net/api/aperfs/${contestScreenName}`
  21. 	
  22. 	$.ajax({
  23. 		url: historyJsonURL,
  24. 		type: "GET",
  25. 		dataType: "json"
  26. 	}).done(function (history) {
  27. 		historyObj = history
  28. 	})
  29. 	
  30. 	var maxDic = { "soundhound2018-summer-qual": 2400 };
  31. 	maxPerf = (maxDic[contestScreenName] ? maxDic[contestScreenName] : (contestScreenName.substr(0, 3) === "abc" ? 1600 : (contestScreenName.substr(0, 3) === "arc" ? 3200 : 8192)))
  32. 	function appendScriptToHead(script) {
  33. 		var head = document.getElementsByTagName('head')[0];
  34. 		var sideMenuScript = script;
  35. 		var s = document.createElement("script");
  36. 		s.innerHTML = script;
  37. 		head.appendChild(s)
  38. 	}
  39. }
  40.  
  41.  
  42. function appendToSideMenu(elem) {
  43. 	$('#sidemenu').append(elem);
  44. }
  45.  
  46. //サイドメニューを生成
  47. function genSideMenu() {
  48. 	var menuWidth = 350
  49. 	var keyWidth = 50
  50. 	var speed = 150
  51. 	var sideMenuScript =
  52. `<script>//参考:http://blog.8bit.co.jp/?p=12308
  53. const activeClass = 'sidemenu-active'
  54. var menuWrap = '#menu_wrap'
  55. var sideMenu = '#sidemenu'
  56. var sideMenuKey = '#sidemenu-key'
  57. var menuWidth = ${menuWidth}
  58. var keyWidth = ${keyWidth}
  59. var speed = ${speed}
  60.  
  61. var windowHeight = $(window).height();
  62. $(sideMenu).height(windowHeight);
  63.  
  64. //メニュー開閉
  65. $(sideMenuKey).click(function () {
  66. 	if ($(menuWrap).hasClass(activeClass)) {
  67. 		//activeを削除
  68. 		$(menuWrap).removeClass(activeClass);
  69. 		//ボタンの文言を変更
  70. 		$(sideMenuKey).removeClass('glyphicon-menu-right');
  71. 		$(sideMenuKey).addClass('glyphicon-menu-left');
  72. 	}
  73. 	else {
  74. 		//activeを付与
  75. 		$(menuWrap).addClass(activeClass);
  76. 		//ボタンの文言を変更
  77. 		$(sideMenuKey).removeClass('glyphicon-menu-left');
  78. 		$(sideMenuKey).addClass('glyphicon-menu-right');
  79. 	};
  80. });
  81.  
  82. //画面リサイズ時にheightを読み直し
  83. var timer = false;
  84. $(window).resize(function () {
  85. 	if (timer !== false) {
  86. 		clearTimeout(timer);
  87. 	}
  88. 	timer = setTimeout(function () {
  89. 		windowHeight = $(window).height();
  90. 		$(sideMenu).height(windowHeight);
  91. 	}, 50);
  92. });</script>`
  93. 	var sideMenuStyle =
  94. `<style>#menu_wrap{
  95. 	display:block;
  96. 	position:fixed;
  97. 	top:0;
  98. 	width:${keyWidth + menuWidth}px;
  99. 	right:-${menuWidth}px;
  100. 	transition: all ${speed}ms 0ms ease;
  101. 	margin-top:50px;
  102. }
  103.  
  104. #sidemenu{
  105. 		background:#000;
  106. 		opacity:0.85;
  107. }
  108. #sidemenu-key{
  109. 	border-radius:5px 0px 0px 5px;
  110. 	background:#000;
  111. 	opacity:0.75;
  112. 	color:#FFF;
  113. 	padding:30px 0;
  114. 	cursor:pointer;
  115. 	margin-top:100px;
  116. 	text-align: center;
  117. }
  118.  
  119. #sidemenu{
  120. 	display:inline-block;
  121. 	width:${menuWidth}px;
  122. 	float:right;
  123. }
  124.  
  125. #sidemenu-key{
  126. 	display:inline-block;
  127. 	width:${keyWidth}px;
  128. 	float:right;
  129. }
  130.  
  131. .sidemenu-active{
  132. 	transform: translateX(-${menuWidth}px);
  133. }
  134.  
  135. .sidemenu-container{
  136. 	padding: 10px 20px 10px 20px;
  137. 	border-bottom: 1px solid #FFF;
  138. }
  139.  
  140. .sidemenu-txt{
  141. 	color: #DDD;
  142. }
  143. </style>`
  144. 	var tweetScript =
  145. `<script>!function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0],p=/^http:/.test(d.location)?'http':'https';if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src=p+'://platform.twitter.com/widgets.js';fjs.parentNode.insertBefore(js,fjs);}}(document, 'script', 'twitter-wjs');</script>`
  146. 	var ratingScript = 
  147. `<script src="https://koba-e964.github.io/atcoder-rating-estimator/atcoder_rating.js"></script>`
  148. 	$('#main-div').append(`<div id="menu_wrap"><div id="sidemenu" class="container"></div><div id="sidemenu-key" class="glyphicon glyphicon-menu-left"></div>${tweetScript}${ratingScript}${sideMenuScript}${sideMenuStyle}</div>`)
  149. }
  150.  
  151. function getPredictorElem() {
  152. 	var predictorScript =
  153. `<script>
  154. if (!startTime.isBefore()) {
  155. 	$("#estimator-input-rank").attr("disabled","")
  156. 	$("#estimator-input-perf").attr("disabled","")
  157. 	$("#estimator-input-rate").attr("disabled","")
  158. 	$("#estimator-reload").attr("disabled","")
  159. 	$("#estimator-current").attr("disabled","")
  160. 	$("#estimator-tweet").attr("disabled","")
  161. 	$("#predictor-alert").html("<h5 class='sidemenu-txt'>コンテストは始まっていません</h5>");
  162. }
  163. else {
  164. 	LoadAPerfs()
  165. 	if(!endTime.isBefore()) var loadTimer = setInterval(LoadAPerfs, 30000)
  166. }
  167.  
  168. $('[data-toggle="tooltip"]').tooltip()
  169. function UpdatePredictor(rank,perf,rate) {
  170. 	$("#estimator-input-rank").val(round(rank))
  171. 	$("#estimator-input-perf").val(round(perf))
  172. 	$("#estimator-input-rate").val(round(rate))
  173. 	updatePredictorTweetBtn()
  174. 	function round(val) {
  175. 		return Math.round(val * 100) / 100;
  176. 	}
  177. }
  178.  
  179. function UpdatePredictorFromRank(rank) {
  180. 	var perf = getPerf(rank)
  181. 	var rate = getRate(perf)
  182. 	lastUpdated = 0
  183. 	UpdatePredictor(rank,perf,rate)
  184. }
  185.  
  186. function UpdatePredictorFromPerf(perf) {
  187. 	var upper = 16384
  188. 	var lower = 0
  189. 	while(upper - lower > 0.125) {
  190. 		if (perf > getPerf(lower + (upper - lower) / 2)) upper -= (upper - lower) / 2
  191. 		else lower += (upper - lower) / 2
  192. 	}
  193. 	lastUpdated = 1
  194. 	var rank = lower + (upper - lower) / 2;
  195. 	var rate = getRate(perf)
  196. 	UpdatePredictor(rank,perf,rate)
  197. }
  198. function UpdatePredictorFromRate(rate) {
  199. 	var upper = 16384
  200. 	var lower = 0
  201. 	while(upper - lower > 0.125) {
  202. 		if (rate < getRate(lower + (upper - lower) / 2)) upper -= (upper - lower) / 2
  203. 		else lower += (upper - lower) / 2
  204. 	}
  205. 	lastUpdated = 2
  206. 	var perf = lower + (upper - lower) / 2;
  207. 	upper = 16384
  208. 	lower = 0
  209. 	while(upper - lower > 0.125) {
  210. 		if (perf > getPerf(lower + (upper - lower) / 2)) upper -= (upper - lower) / 2
  211. 		else lower += (upper - lower) / 2
  212. 	}
  213. 	var rank = lower + (upper - lower) / 2;
  214. 	UpdatePredictor(rank,perf,rate)
  215. }
  216.  
  217. function getRate(perf) {
  218. 	return Math.min(maxPerf, positivize_rating(calc_rating(historyObj.filter(x => x.IsRated).map(x => x.Performance).concat(perf).reverse())));
  219. }
  220.  
  221. function getPerf(rank) {
  222. 	var upper = 8192
  223. 	var lower = -8192
  224.  
  225. 	while (upper - lower > 0.5) {
  226. 		if (rank - 0.5 > calcPerf(lower + (upper - lower) / 2)) upper -= (upper - lower) / 2
  227. 		else lower += (upper - lower) / 2
  228. 	}
  229.  
  230. 	var innerPerf = Math.round(lower + (upper - lower) / 2)
  231.  
  232. 	return Math.min(innerPerf, maxPerf)
  233.  
  234. 	function calcPerf(X) {
  235. 		var res = 0;
  236. 		activePerf.forEach(function (APerf) {
  237. 			res += 1.0 / (1.0 + Math.pow(6.0, ((X - APerf) / 400.0)))
  238. 		})
  239. 		return res;
  240. 	}
  241. }
  242. $('#estimator-current').click(function () {
  243. 	//自分の順位を確認
  244. 	var myRank = 0;
  245.  
  246. 	var tiedList = []
  247. 	var lastRank = 0;
  248. 	var rank = 1;
  249. 	var isContainedMe = false;
  250. 	//全員回して自分が出てきたら順位更新フラグを立てる
  251. 	standingsObj.StandingsData.forEach(function (element) {
  252. 		if (!element.IsRated || element.TotalResult.Count === 0) return;
  253. 		if (lastRank !== element.Rank) {
  254. 			if (isContainedMe) {
  255. 				 myRank = rank + (tiedList.length - 1) / 2;
  256. 				isContainedMe = false;
  257. 			}
  258. 			rank += tiedList.length;
  259. 			tiedList = []
  260. 		}
  261.  
  262. 		if (isContainedMe) {
  263. 			 myRank = rank + (tiedList.length - 1) / 2;
  264. 			isContainedMe = false;
  265. 		}
  266.  
  267. 		if(userScreenName == element.UserScreenName) isContainedMe = true;
  268. 		tiedList.push(element)
  269. 		lastRank = element.Rank;
  270. 	})
  271. 	//存在しなかったら空欄
  272. 	if(myRank === 0) {
  273. 		UpdatePredictor("","","")
  274. 	}
  275. 	else {
  276. 		UpdatePredictorFromRank(myRank)
  277. 	}
  278. })
  279. function LoadStandings() {
  280. 	$.ajax({
  281. 		url: standingsJsonURL,
  282. 		type: "GET",
  283. 		dataType: "json"
  284. 	}).done(function (standings) {
  285. 		standingsObj = standings
  286. 		CalcActivePerf()
  287. 	})
  288. }
  289.  
  290. function CalcActivePerf() {
  291. 	activePerf = []
  292. 	//Perf計算時に使うパフォ(Ratedオンリー)
  293. 	standingsObj.StandingsData.forEach(function (element) {
  294. 		if (element.IsRated && element.TotalResult.Count !== 0) {
  295. 			if (!(aperfsObj[element.UserScreenName])) {
  296. 				console.log(element.UserScreenName)
  297. 			}
  298. 			else {
  299. 				activePerf.push(aperfsObj[element.UserScreenName])
  300. 			}
  301. 		}
  302. 	})
  303. 	$('#estimator-reload').button('reset')
  304. 	switch(lastUpdated) {
  305. 		case 0:
  306. 			UpdatePredictorFromRank($("#estimator-input-rank").val())
  307. 			break;
  308. 		case 1:
  309. 			UpdatePredictorFromPerf($("#estimator-input-perf").val())
  310. 			break;
  311. 		case 2:
  312. 			UpdatePredictorFromRate($("#estimator-input-rate").val())
  313. 			break;
  314. 	}
  315. }
  316.  
  317. function LoadAPerfs() {
  318. 	$('#estimator-reload').button('loading')
  319. 	$.ajax({
  320. 		url: aperfsJsonURL,
  321. 		type: "GET",
  322. 		dataType: "json"
  323. 	}).done(function (aperfs) {
  324. 		aperfsObj = aperfs
  325. 		dicLength = Object.keys(aperfsObj).length;
  326. 		LoadStandings()
  327. 	})
  328. }
  329.  
  330. $('#estimator-reload').click(function () {
  331. 	LoadAPerfs()
  332. })
  333. function updatePredictorTweetBtn() {
  334. 	var tweetStr = 
  335. \`Rated内順位: \${$("#estimator-input-rank").val()}位%0A
  336. パフォーマンス: \${$("#estimator-input-perf").val()}%0A
  337. レート: \${$("#estimator-input-rate").val()}\`
  338. 	$('#predictor-tweet').attr("href", \`https://twitter.com/intent/tweet?text=\${tweetStr}\`)
  339. }
  340. var lastUpdated = 0;
  341. $('#estimator-input-rank').keyup(function(event) {
  342.     UpdatePredictorFromRank($("#estimator-input-rank").val())
  343. });
  344. $('#estimator-input-perf').keyup(function(event) {
  345.     UpdatePredictorFromPerf($("#estimator-input-perf").val())
  346. });
  347. $('#estimator-input-rate').keyup(function(event) {
  348.     UpdatePredictorFromRate($("#estimator-input-rate").val())
  349. });</script>`
  350.  
  351. 	var dom =
  352. `<div id="predictor" class="sidemenu-container">
  353. 	<h3 class="sidemenu-txt">Rating Predictor</h3>
  354. 	<div id="predictor-alert"></div>
  355. 	<div id="predictor-data">
  356. 		<div class="row">
  357. 			<div class="input-group col-xs-offset-1 col-xs-10">
  358. 				<span class="input-group-addon">順位<span class="glyphicon glyphicon-question-sign" aria-hidden="true" data-html="true" data-toggle="tooltip" title="" data-original-title="Rated内の順位です。複数人同順位の際は人数を加味します(5位が4人居たら6.5位として計算)"></span></span>
  359. 				<input class="form-control" id="estimator-input-rank">
  360. 				<span class="input-group-addon">位</span>
  361. 			</div>
  362. 			
  363. 			<div class="input-group col-xs-offset-1 col-xs-10">
  364. 				<span class="input-group-addon">パフォーマンス</span>
  365. 				<input class="form-control" id="estimator-input-perf">
  366. 			</div>
  367.  
  368. 			<div class="input-group col-xs-offset-1 col-xs-10">
  369. 				<span class="input-group-addon">レーティング</span>
  370. 				<input class="form-control" id="estimator-input-rate">
  371. 			</div>
  372. 		</div>
  373. 	</div>
  374. 	<div class="btn-group">
  375. 		<button class="btn btn-default" id="estimator-current">現在の順位</button>
  376. 		<button type="button" class="btn btn-primary" id="estimator-reload" data-loading-text="更新中…">更新</button>
  377. 		<a class="btn btn-default" rel="nofollow" onClick="window.open(encodeURI(decodeURI(this.href)),'twwindow','width=550, height=450, personalbar=0, toolbar=0, scrollbars=1'); return false;" id='predictor-tweet'>ツイート</a>
  378. 		<!--<button class="btn btn-default" id="estimator-solved" disabled>現問題AC後</button>-->
  379. 	</div>
  380. 	<div id="predictor-reload">
  381. 		<!--<h5 class="sidemenu-txt">更新設定</h5>-->
  382. 		<div class="row">
  383. 			<!--<div class="input-group col-xs-offset-1 col-xs-10">
  384. 				<span class="input-group-addon" id="estimator-input-desc">自動更新</span>
  385. 				<input type="number" class="form-control" id="estimator-input">
  386. 				<span class="input-group-addon">秒</span>
  387. 			</div>-->
  388. 			
  389. 		</div>
  390. 	</div>
  391. 	${predictorScript}
  392. </div>`;
  393. 	return dom;
  394. }
  395.  
  396. function getEstimatorElem() {
  397. 	var estimatorScript =
  398. 		`var estimator_state = 0;
  399. $("#estimator-input").keyup(function () {
  400. 	var input = $("#estimator-input").val();
  401. 	if (!isFinite(input)) {
  402. 		displayAlert("数字ではありません")
  403. 		return;
  404. 	}
  405. 	var history = historyObj.filter(x => x.IsRated)
  406. 	history.sort(function (a, b) {
  407. 		if (a.EndTime < b.EndTime) return 1;
  408. 		if (a.EndTime > b.EndTime) return -1;
  409. 		return 0;
  410. 	})
  411. 	history = history.map(x => x.InnerPerformance)
  412. 	var input = parseInt(input, 10)
  413. 	var res = -1;
  414. 	if (estimator_state === 0) {
  415. 		// binary search
  416. 		var goal_rating = unpositivize_rating(input)
  417. 		var lo = -10000.0;
  418. 		var hi = 10000.0;
  419. 		for (var i = 0; i < 100; ++i) {
  420. 			var mid = (hi + lo) / 2;
  421. 			var r = calc_rating([mid].concat(history));
  422. 			if (r >= goal_rating) {
  423. 				hi = mid;
  424. 			} else {
  425. 				lo = mid;
  426. 			}
  427. 		}
  428. 		res = (hi + lo) / 2;
  429. 	}
  430. 	else {
  431. 		res = calc_rating([input].concat(history));
  432. 	}
  433. 	res = Math.round(res * 100) / 100
  434. 	$("#estimator-res").val(res)
  435. 	updateTweetBtn()
  436. });
  437.  
  438. $("#estimator-toggle").click(function () {
  439. 	if (estimator_state === 0) {
  440. 		$("#estimator-input-desc").text("パフォーマンス")
  441. 		$("#estimator-res-desc").text("到達レーティング")
  442. 		estimator_state = 1;
  443. 	}
  444. 	else {
  445. 		$("#estimator-input-desc").text("目標レーティング")
  446. 		$("#estimator-res-desc").text("必要パフォーマンス")
  447. 		estimator_state = 0;
  448. 	}
  449. 	var val = $("#estimator-res").val();
  450. 	$("#estimator-res").val($("#estimator-input").val())
  451. 	$("#estimator-input").val(val)
  452. 	updateTweetBtn()
  453. })
  454.  
  455. function updateTweetBtn() {
  456. 	var tweetStr = 
  457. \`AtCoderのハンドルネーム: \${userScreenName}%0A
  458. \${estimator_state == 0 ? "目標レーティング" : "パフォーマンス"}: \${$("#estimator-input").val()}%0A
  459. \${estimator_state == 0 ? "必要パフォーマンス" : "到達レーティング"}: \${$("#estimator-res").val()}\`
  460. 	$('#estimator-tweet').attr("href", \`https://twitter.com/intent/tweet?text=\${tweetStr}\`)
  461. }
  462.  
  463. function displayAlert (message) {
  464. 	var alertDiv =  document.createElement('div')
  465. 	alertDiv.setAttribute("role", "alert")
  466. 	alertDiv.setAttribute("class", "alert alert-warning alert-dismissible")
  467. 		var closeButton = document.createElement('button')
  468. 		closeButton.setAttribute("type", "button")
  469. 		closeButton.setAttribute("class", "close")
  470. 		closeButton.setAttribute("data-dismiss", "alert")
  471. 		closeButton.setAttribute("aria-label", "閉じる")
  472. 			var closeSpan = document.createElement('span')
  473. 			closeSpan.setAttribute("aria-hidden", "true")
  474. 			closeSpan.textContent = "×"
  475. 		closeButton.appendChild(closeSpan)
  476. 		var	messageContent = document.createTextNode(message)
  477. 	alertDiv.appendChild(closeButton)
  478. 	alertDiv.appendChild(messageContent)
  479. 	$("#estimator-alert").append(alertDiv)
  480. }`
  481. 	var dom =
  482. `<div id="estimator" class="sidemenu-container">
  483. 	<h3 class="sidemenu-txt">Rating Estimator</h3>
  484. 	<div id="estimator-alert"></div>
  485. 	<div class="row">
  486. 		<div class="input-group">
  487. 			<span class="input-group-addon" id="estimator-input-desc">目標レート</span>
  488. 			<input type="number" class="form-control" id="estimator-input">
  489. 		</div>
  490. 	</div>
  491. 	<div class="row">
  492. 		<div class="input-group">
  493. 			<span class="input-group-addon" id="estimator-res-desc">必要パフォーマンス</span>
  494. 			<input class="form-control" id="estimator-res" disabled="disabled">
  495. 			<span class="input-group-btn">
  496. 				<button class="btn btn-default" id="estimator-toggle">入替</button>
  497. 			</span>
  498. 		</div>
  499. 	</div>
  500. 	<div class="row" style="margin: 10px 0px;">
  501. 		<a class="btn btn-default col-xs-offset-8 col-xs-4" rel="nofollow" onClick="window.open(encodeURI(decodeURI(this.href)),'twwindow','width=550, height=450, personalbar=0, toolbar=0, scrollbars=1'); return false;" id='estimator-tweet'>ツイート</a>
  502. 	</div>
  503. 	<script>${estimatorScript}</script>
  504. </div>`
  505. 	return dom;
  506. }