AC Array Checker

AtCoderのTaskページにおいて配列の要素の最大値が指定した数より小さい場合に強調します。

Terá de instalar uma extensão como Tampermonkey, Greasemonkey ou Violentmonkey para instalar este script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

Terá de instalar uma extensão como Tampermonkey ou Violentmonkey para instalar este script.

Terá de instalar uma extensão como Tampermonkey ou Userscripts para instalar este script.

Terá de instalar uma extensão como Tampermonkey para instalar este script.

Terá de instalar uma extensão de gestão de scripts de utilizador para instalar este script.

(Já tenho um gestor de scripts de utilizador, deixe-me instalá-lo!)

Terá de instalar uma extensão como Stylus para instalar este estilo.

Terá de instalar uma extensão como Stylus para instalar este estilo.

Terá de instalar uma extensão como Stylus para instalar este estilo.

Terá de instalar uma extensão de gestão de estilos de utilizador para instalar este estilo.

Terá de instalar uma extensão de gestão de estilos de utilizador para instalar este estilo.

Terá de instalar uma extensão de gestão de estilos de utilizador para instalar este estilo.

(Já tenho um gestor de estilos de utilizador, deixe-me instalá-lo!)

// ==UserScript==
// @name         AC Array Checker
// @namespace    http://tampermonkey.net/
// @version      2024-02-20
// @description  AtCoderのTaskページにおいて配列の要素の最大値が指定した数より小さい場合に強調します。
// @author       You
// @license mit
// @match        https://atcoder.jp/contests/*/tasks/*
// @icon         https://www.google.com/s2/favicons?sz=64&domain=atcoder.jp
// @grant        none
// ==/UserScript==

const main = (function() {
    'use strict';

    // 10^7
    const maximum = 10000000;

    document.querySelectorAll("annotation[encoding=\"application/x-tex\"]").forEach((ele) => {
        if(ele.aac_checked) { return; }
        ele.aac_checked = true;
        const match = ele.innerHTML.match(/[0-9]+[\s\t]*\\[gl]?eq[\s\t]+[a-zA-Z]+\_[a-zA-Z]+[\s\t]*\\[gl]?eq[\s\t]+(.*)/);
        if(match) {
            const exp = new Function("return " + match[1].replaceAll("\\times", "*").replaceAll("\\cdot", "/").replaceAll("^", "**"));
            console.log(exp);
            if(exp() <= maximum) {
                ele.parentNode.parentNode.parentNode.parentNode.style += ";color:red;font-size: 20pt;";
            }
        }
    });

});

setInterval(main, 100);