首页 > 其他分享 >倍增与ST表

倍增与ST表

时间:2023-09-23 17:12:56浏览次数:29  
标签:dots 求解 凑出 命题 ST _+ 倍增

倍增

概念

倍增是一种为了求解 \(f^n(x)\) ,通过求解 \(f(x), f^2(x),f^4(x), f^{2^m}(x)\) 来求解的方法,直接求解的时间复杂度为 \(O(xn)\),而使用倍增,就可以达到 \(O(x\log n)\) ,是一种极其方便并且快速的方法。

思路

使用倍增我们需要先证明一下问题:

\(\{x^i|0 \le i < m\}(m \ge 0)\) 可以凑出 \(2 ^ m\) 以内的所有正整数。


\(m = 4\) 时,集合为 \(\{1,2,4,8\}\),\(2 ^ m = 16\),此时命题成立。

假设 \(m = k\) 时,命题成立,即 \(A = \{1,2,4,8,\dots 2^{m - 1}\}\) 可以凑出 \(\{x|x < 2^m ,x\in N_+\}\)。

当 \(m = k + 1\) 时,有集合 \(A \in B = \{1,2,4,8,\dots 2^{m - 1}\}\) , 则一定可以凑出 \(\{x|2^{m - 1},x\in N_+\}\),同时我们有 \(A\cup B - A\cap B = 2^{m - 1}\) ,那么 \(N = \{x|x < 2^{m - 1},x\in N_+\}\) 一定可以凑成 \(M = \{x + 2^{m - 1}|x < 2^{m - 1} ,x\in N_+\}\),两者的并集 \(N \cup M = \{x|x < 2^{m},x\in N_+ \}\) 就是 \(2^m\) 以内的所有数。

命题成立。

标签:dots,求解,凑出,命题,ST,_+,倍增
From: https://www.cnblogs.com/JJL0610/p/17724721.html

相关文章

  • 用户加载界面设计--基于C#和Visual Studio2019
    1、设定窗体位置为屏幕中心、修改窗体为无边框形式修改右下角的这里:修改为(屏幕中心打开):修改右下角这里:修改为(无边框形式):然后再调整修改页的大小(自由拉伸即可):之后调整边框背景颜色:为窗体重命名:2、打开工具箱,拖出一个Label标签在这里可以修改Label的字体样式:设置......
  • 无涯教程-JavaScript - NEGBINOM.DIST函数
    描述NEGBINOM.DIST函数返回负二项式分布,即在第Number_s次成功之前出现Number_f次失败的概率,并具有Probability_s成功的概率。该函数与二项式分布相似,不同之处在于成功次数是固定的,而试验次数是可变的。像二项式一样,假定审判是独立的。语法NEGBINOM.DIST(number_f,numb......
  • Docker 部署 Elasticsearch 8.6.2
    Docker部署Elasticsearch8.6.2dockerpullelasticsearch:8.6.2mkdir-pv/home/zonglin/elasticsearch/pluginssudodockerrun--nameelasticsearch-p9200:9200-p9300:9300\--restart=always\-e"discovery.type=single-node"\-eES_JAVA_......
  • Elasticsearch 常用指令
    Elasticsearch常用指令查询所有节点$curl'http://127.0.0.1:9200/_cat/nodes'192.168.31.127496102.162.112.03dilmrt*node-1查询集群状态$curl-k'http://127.0.0.1:9200/_cluster/health?pretty'{"cluster_name":"docker-clus......
  • ElasticSearch 查询练习
    ......
  • Elasticsearch 配置参数
    Elasticsearch配置参数1.elasticsearch配置文件说明:elasticsearch: bin: lib: modules: logs: plugins: config: elasticsearch.yml#elasticsearch配置文件 jvm.options#jvm配置文件 log4j2.properties#......
  • elasticsearch 集群搭建
    elasticsearch集群搭建elasticsearch.ymlcluster.name:bigdatanode.name:node-1path.data:/usr/local/las/data/elasticsearchpath.logs:/usr/local/las/log/elasticsearchbootstrap.memory_lock:falsebootstrap.system_call_filter:falsenetwork.host:0.0.0.0ne......
  • ElasticSearch RestFul 风格
    ......
  • elasticsearch 自定义字典
    ......
  • Strict Paredit
    StrictParedithttps://github.com/ailisp/strict-paredit-vscode StrictPareditClassic,EmacsParedit-likeStructuraleditingandnavigationforCommonLisp,ClojureandScheme.Thisisa Paredit extensionfor VisualStudioCode.Itisathinwrapperaro......