#673103 (PHP) No.1461 しあはせや歩みゆく？

• 問題: No.1461 しあはせや歩みゆく？
• ユーザー: papinianus
• 提出日時: 2021-07-05 01:33:56
• 言語: PHP (8.3.4)
• 結果: AC
• 実行時間: 44 ms / 2,000 ms
• コード長: 3,849 bytes
• コンパイル時間: 85 ms
• コンパイル使用メモリ: 32,144 KB
• 実行使用メモリ: 32,656 KB
• 最終ジャッジ日時: 2024-07-01 11:54:26
• 合計ジャッジ時間: 2,794 ms
• ジャッジサーバーID （参考情報）: judge3 / judge4

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	44 ms; 32,528 KB
testcase_01	AC	42 ms; 32,528 KB
testcase_02	AC	42 ms; 32,400 KB
testcase_03	AC	41 ms; 32,528 KB
testcase_04	AC	41 ms; 32,400 KB
testcase_05	AC	41 ms; 32,212 KB
testcase_06	AC	42 ms; 32,528 KB
testcase_07	AC	42 ms; 32,340 KB
testcase_08	AC	42 ms; 32,400 KB
testcase_09	AC	42 ms; 32,532 KB
testcase_10	AC	43 ms; 32,532 KB
testcase_11	AC	43 ms; 32,532 KB
testcase_12	AC	42 ms; 32,404 KB
testcase_13	AC	42 ms; 32,528 KB
testcase_14	AC	42 ms; 32,656 KB
testcase_15	AC	42 ms; 32,272 KB
testcase_16	AC	42 ms; 32,404 KB
testcase_17	AC	42 ms; 32,276 KB
testcase_18	AC	42 ms; 32,272 KB
testcase_19	AC	42 ms; 32,532 KB
testcase_20	AC	41 ms; 32,400 KB
testcase_21	AC	42 ms; 32,212 KB
testcase_22	AC	42 ms; 32,532 KB
testcase_23	AC	41 ms; 32,148 KB
testcase_24	AC	42 ms; 32,400 KB
testcase_25	AC	42 ms; 32,276 KB
testcase_26	AC	41 ms; 32,404 KB
testcase_27	AC	42 ms; 32,400 KB
testcase_28	AC	41 ms; 32,404 KB
testcase_29	AC	42 ms; 32,400 KB
testcase_30	AC	42 ms; 32,404 KB
testcase_31	AC	42 ms; 32,404 KB
testcase_32	AC	42 ms; 32,276 KB
testcase_33	AC	41 ms; 32,528 KB
testcase_34	AC	42 ms; 32,396 KB
testcase_35	AC	42 ms; 32,528 KB
testcase_36	AC	42 ms; 32,400 KB

コンパイルメッセージ

No syntax errors detected in Main.php

ソースコード

<?php
declare(strict_types=1);
use JetBrains\PhpStorm\Pure;

$n = UtilIO::getInt();
if($n <= 3) {
    UtilIO::echo($n);
    exit;
}
UtilIO::echo(($n-3)*5 + 3);

class UtilIO {
    // ToDo
    // bool をフレーズに変換して返す。そのときに、それらを Capital か Pascal か Lower かで選択
    // 配列を implode する補助
    protected const YES = "YES";
    protected const NO = "NO";
    protected function __construct() { }
    public static function getString():string {
        return trim(fgets(STDIN));
    }
    public static function getInt():int {
        return intval(static::getString());
    }
    public static function getStringArray($separator = " "):array {
        return explode($separator, static::getString());
    }
    public static function getIntArray($separator = " "):array {
        return array_map('intval', static::getStringArray($separator));
    }
    public static function echoYNCapital(bool $b) {
        static::echo($b ? UtilIO::YES : UtilIO::NO);
    }
    public static function echoYNPascal(bool $b) {
        static::echo($b ? ucwords(strtolower(UtilIO::YES)) : ucwords(strtolower(UtilIO::NO)));
    }
    public static function echoYNLower(bool $b) {
        static::echo($b ? strtolower(UtilIO::YES) : strtolower(UtilIO::NO));
    }
    public static function echo(mixed $value):void {
        if(is_string($value)) {
            echo static::toLine($value);
            return;
        }
        if(is_numeric($value)) {
            echo static::toLine(strval($value));
            return;
        }
        if(is_array($value)) {
            foreach($value as $v) {
                static::echo($v);
            }
            return;
        }
        var_export($value);
    }
    public static function toLine(string $str):string {
        return trim($str).PHP_EOL;
    }
}

function array_every(array $array, callable $callback, int $mode = 0): bool {
    foreach($array as $k => $v) {
        if(!arrayCallbackDelegate($callback, $k, $v, $mode)) return false;
    }
    return true;
}
function array_some(array $array, callable $callback, int $mode = 0): bool {
    foreach($array as $k => $v) {
        if(arrayCallbackDelegate($callback, $k, $v, $mode)) return true;
    }
    return false;
}
function array_zip(array $first, array $second, callable $callback): array {
    $result = [];
    foreach($first as $k => $v) {
        $result[$k] = $callback($v, $second[$k]);
    }
    return $result;
}
function arrayCallbackDelegate(callable $fn, string|int $key, mixed $value, int $mode = 0):mixed {
    return match ($mode) {
        ARRAY_FILTER_USE_BOTH => $fn($key, $value),
        ARRAY_FILTER_USE_KEY => $fn($key),
        default => $fn($value),
    };
}

class Triple {
    private array $items = [];
    public function __construct(array $array) {
        if(count($array) !== 3) throw new UnexpectedValueException("Array length should be 3.");
        if(array_some($array,fn($e) => !is_int($e))) throw new UnexpectedValueException("Every element should be integer.");
        $this->items = $array;
    }
    public function is_kadomatsu():bool {
        if ($this->items[0] === $this->items[1]) return false;
        if ($this->items[0] === $this->items[2]) return false;
        if ($this->items[1] === $this->items[2]) return false;
        if ($this->items[1] === max($this->items)) return true;
        if ($this->items[1] === min($this->items)) return true;
        return false;
    }
    public function getElementOf(int $index):int {
        if($index < 0 || $index > 2) throw UnexpectedValueException("Out of range: $index");
        return $this->items[$index];
    }
    #[Pure] public function exchange(int $index, int $value):Triple {
        $array = $this->items;
        $array[$index] = $value;
        return new Triple($array);
    }
}