結果
| 問題 | No.2177 Recurring ab | 
| コンテスト | |
| ユーザー | 👑  Kazun | 
| 提出日時 | 2023-01-06 21:53:16 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 46 ms / 2,000 ms | 
| コード長 | 1,140 bytes | 
| コンパイル時間 | 173 ms | 
| コンパイル使用メモリ | 82,324 KB | 
| 実行使用メモリ | 60,160 KB | 
| 最終ジャッジ日時 | 2024-11-30 17:51:52 | 
| 合計ジャッジ時間 | 1,836 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 18 | 
ソースコード
def General_Binary_Decrease_Search_Integer(L, R, cond, default=None):
    """ 条件式が単調減少であるとき, 整数上で二部探索を行う.
    L: 解の下限
    R: 解の上限
    cond: 条件 (1変数関数, 広義単調減少 を満たす)
    default: R で条件を満たさないときの返り値
    """
    if not(cond(L)):
        return default
    if cond(R):
        return R
    L-=1
    while R-L>1:
        C=L+(R-L)//2
        if cond(C):
            L=C
        else:
            R=C
    return L
#==================================================
def solve():
    N=int(input())
    X=0
    # 2<=p<=9
    for p in range(2,10):
        for a in range(p):
            for b in range(p):
                if a!=b and N*(a*p+b)>(p*p-1):
                    X+=1
    # 10<=p
    for a in range(10):
        for b in range(10):
            if a==b:
                continue
            check=lambda p:N*(a*p+b)>(p*p-1)
            p_max=General_Binary_Decrease_Search_Integer(1,10**9,check)
            X+=max(p_max-9,0)
    return X
#==================================================
print(solve())
            
            
            
        