cpp/number_theory/enumerate_quotients.hpp

View this file on GitHub
Last update: 2024-10-30 22:03:24+09:00
Include: #include "cpp/number_theory/enumerate_quotients.hpp"

Depends on

共通ヘッダー (cpp/template/small_template.hpp)

Verified with

cpp/verify/enumerate_quotients.test.cpp

Code

#pragma once
#include "template/small_template.hpp"

// 整数との商 floor(n / x) を列挙する
vector<ull> enumerate_quotients(ull n) {
  // N/k - N/(k+1) > 1
  // N/k(k+1) > 1
  // N > k(k+1)
  ull ok = 4294967295;
  ull ng = 0;
  ull k;
  while (ok - ng > 1) {
    k = (ok + ng) / 2;
    (k * (k + 1) >= n ? ok : ng) = k;
  }
  vector<ull> ret;
  ull p = n / ok;
  for (ull i = 1; i <= p; i++) {
    ret.emplace_back(i);
  }
  for (ull i = ok - 1; i >= 1; i--) {
    ret.emplace_back(n / i);
  }
  return ret;
}

Traceback (most recent call last):
  File "/opt/hostedtoolcache/Python/3.12.0/x64/lib/python3.12/site-packages/onlinejudge_verify/documentation/build.py", line 71, in _render_source_code_stat
    bundled_code = language.bundle(stat.path, basedir=basedir, options={'include_paths': [basedir]}).decode()
                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/opt/hostedtoolcache/Python/3.12.0/x64/lib/python3.12/site-packages/onlinejudge_verify/languages/cplusplus.py", line 187, in bundle
    bundler.update(path)
  File "/opt/hostedtoolcache/Python/3.12.0/x64/lib/python3.12/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 401, in update
    self.update(self._resolve(pathlib.Path(included), included_from=path))
                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/opt/hostedtoolcache/Python/3.12.0/x64/lib/python3.12/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 260, in _resolve
    raise BundleErrorAt(path, -1, "no such header")
onlinejudge_verify.languages.cplusplus_bundle.BundleErrorAt: template/small_template.hpp: line -1: no such header