<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>差分数组 on Lishengxie</title><link>https://lishengxie.top/tags/%E5%B7%AE%E5%88%86%E6%95%B0%E7%BB%84/</link><description>Recent content in 差分数组 on Lishengxie</description><generator>Hugo</generator><language>zh-cn</language><lastBuildDate>Sat, 23 Dec 2023 23:05:16 +0800</lastBuildDate><atom:link href="https://lishengxie.top/tags/%E5%B7%AE%E5%88%86%E6%95%B0%E7%BB%84/index.xml" rel="self" type="application/rss+xml"/><item><title>算法学习-差分数组</title><link>https://lishengxie.top/post/differential-array/</link><pubDate>Sat, 23 Dec 2023 23:05:16 +0800</pubDate><guid>https://lishengxie.top/post/differential-array/</guid><description>&lt;h2 id="差分数组"&gt;差分数组&lt;/h2&gt;&#10;&lt;ul&gt;&#10;&lt;li&gt;参考教程：&lt;a href="https://wansuanfa.com/index.php/589"&gt;https://wansuanfa.com/index.php/589&lt;/a&gt;&lt;/li&gt;&#10;&lt;li&gt;leetcode题目：&lt;a href="https://leetcode.cn/problems/corporate-flight-bookings/"&gt;1109. 航班预订统计&lt;/a&gt;&lt;/li&gt;&#10;&lt;/ul&gt;&#10;&lt;h2 id="问题描述"&gt;问题描述&lt;/h2&gt;&#10;&lt;p&gt;给定一个数组，需要频繁地对某个区间内的元素做加减操作，并获取最后的操作结果。常规做法是每次都遍历整个区间然后修改区间内的元素，但是元素的访问需要时间、频繁访问元素会减慢程序的运行时间。因此，可以使用差分数组来进行优化。&lt;/p&gt;&#10;&lt;h2 id="一维差分数组定义"&gt;一维差分数组定义&lt;/h2&gt;&#10;&lt;p&gt;一维差分数组&lt;span class="katex-inline"&gt; d[n] &lt;/span&gt;定义为原始数组&lt;span class="katex-inline"&gt; nums &lt;/span&gt;相邻元素之间的差，即&lt;span class="katex-inline"&gt;d[i]=nums[i]-nums[i-1]&lt;/span&gt;，其中&lt;span class="katex-inline"&gt;d[0]=nums[0]&lt;/span&gt;。这样原数组就是差分数组的前缀和&#10;&lt;/p&gt;&#10;&lt;div class="katex-display"&gt;&#10;nums[i] = \sum_{k=0}^i d[k].&#10;&lt;/div&gt;&lt;p&gt;由此，我们可以改进原来的区间操作，如对区间&lt;span class="katex-inline"&gt;[a,b]&lt;/span&gt;内每个元素加3，那么只需要在区间的两端进行操作即可，即&#10;&lt;/p&gt;&#10;&lt;div class="katex-display"&gt;&#10;d[a] += 3, d[b+1] -= 3&#10;&lt;/div&gt;&lt;h3 id="证明"&gt;证明&lt;/h3&gt;&#10;&lt;p&gt;假设&lt;span class="katex-inline"&gt;nums1&lt;/span&gt;是修改后的数组，&lt;span class="katex-inline"&gt;d1&lt;/span&gt;是修改后的差分数组，其中&lt;span class="katex-inline"&gt;d1[a]=d[a]+3, d1[b+1]=d[b+1]-3&lt;/span&gt;.&lt;/p&gt;&#10;&lt;blockquote&gt;&#10;&lt;p&gt;hugo里面换行公式需要&lt;code&gt;\\\\&lt;/code&gt;四个反斜杠&lt;/p&gt;&#10;&lt;/blockquote&gt;&#10;&lt;ul&gt;&#10;&lt;li&gt;对于&lt;span class="katex-inline"&gt;0\leq i \lt a&lt;/span&gt;, &lt;span class="katex-inline"&gt;nums1[i] = \sum_{k=0}^i d1[k] = \sum_{k=0}^i d[k] = nums[i]&lt;/span&gt;.&lt;/li&gt;&#10;&lt;li&gt;对于&lt;span class="katex-inline"&gt;a\leq i \leq b&lt;/span&gt;,&#10;&#10;&lt;div class="katex-display"&gt;&#10;\begin{aligned}&#10;nums1[i] &amp; = \sum_{k=0}^i d1[k] \\\\ &#10;&amp; = \sum_{k=0}^{a-1}d[k] + \sum_{k=a+1}^{b}d[k] + d[a] + 3 \\\\ &#10;&amp; = \sum_{k=0}^i d[k] + 3 \\\\ &#10;&amp; = nums[i]+3&#10;\end{aligned}&#10;&lt;/div&gt;&lt;/li&gt;&#10;&lt;li&gt;对于&lt;span class="katex-inline"&gt;i \gt b&lt;/span&gt;,&#10;&#10;&lt;div class="katex-display"&gt;&#10;\begin{align}&#10;nums1[i] &amp;= \sum_{k=0}^i d1[k]\\\\ &#10;&amp;= \sum_{k=0}^{a-1}d[k] + \sum_{k=a+1}^{b}d[k] + \sum_{k=b+1}^{i}d[k] + d[a] + 3 + d[b] - 3\\\\ &amp;= \sum_{k=0}^i d[k] + 3 - 3\\\\ &#10;&amp;= nums[i].&#10;\end{align}&#10;&lt;/div&gt;&#10;由此，可以证明只修改差分数组的两端即可以修改原数组的整个区间。&lt;/li&gt;&#10;&lt;/ul&gt;&#10;&lt;h3 id="代码"&gt;代码&lt;/h3&gt;&#10;&lt;div class="highlight"&gt;&lt;pre tabindex="0" style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4;-webkit-text-size-adjust:none;"&gt;&lt;code class="language-C++" data-lang="C++"&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;&lt;span style="color:#66d9ef"&gt;class&lt;/span&gt; &lt;span style="color:#a6e22e"&gt;Solution&lt;/span&gt; {&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;&lt;span style="color:#66d9ef"&gt;public&lt;/span&gt;&lt;span style="color:#f92672"&gt;:&lt;/span&gt;&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; vector&lt;span style="color:#f92672"&gt;&amp;lt;&lt;/span&gt;&lt;span style="color:#66d9ef"&gt;int&lt;/span&gt;&lt;span style="color:#f92672"&gt;&amp;gt;&lt;/span&gt; diff;&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; vector&lt;span style="color:#f92672"&gt;&amp;lt;&lt;/span&gt;&lt;span style="color:#66d9ef"&gt;int&lt;/span&gt;&lt;span style="color:#f92672"&gt;&amp;gt;&lt;/span&gt; nums;&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; &lt;span style="color:#66d9ef"&gt;void&lt;/span&gt; &lt;span style="color:#a6e22e"&gt;diffNums&lt;/span&gt;() {&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; diff[&lt;span style="color:#ae81ff"&gt;0&lt;/span&gt;] &lt;span style="color:#f92672"&gt;=&lt;/span&gt; nums[&lt;span style="color:#ae81ff"&gt;0&lt;/span&gt;];&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; &lt;span style="color:#66d9ef"&gt;for&lt;/span&gt;(&lt;span style="color:#66d9ef"&gt;int&lt;/span&gt; i &lt;span style="color:#f92672"&gt;=&lt;/span&gt; &lt;span style="color:#ae81ff"&gt;1&lt;/span&gt;; i &lt;span style="color:#f92672"&gt;&amp;lt;&lt;/span&gt; nums.size(); &lt;span style="color:#f92672"&gt;++&lt;/span&gt;i) {&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; diff[i] &lt;span style="color:#f92672"&gt;=&lt;/span&gt; nums[i] &lt;span style="color:#f92672"&gt;-&lt;/span&gt; nums[i&lt;span style="color:#f92672"&gt;-&lt;/span&gt;&lt;span style="color:#ae81ff"&gt;1&lt;/span&gt;];&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; }&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; }&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; &lt;span style="color:#66d9ef"&gt;void&lt;/span&gt; &lt;span style="color:#a6e22e"&gt;increment&lt;/span&gt;(&lt;span style="color:#66d9ef"&gt;int&lt;/span&gt; a, &lt;span style="color:#66d9ef"&gt;int&lt;/span&gt; b, &lt;span style="color:#66d9ef"&gt;int&lt;/span&gt; val) {&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; diff[a] &lt;span style="color:#f92672"&gt;+=&lt;/span&gt; val;&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; &lt;span style="color:#66d9ef"&gt;if&lt;/span&gt; (b &lt;span style="color:#f92672"&gt;+&lt;/span&gt; &lt;span style="color:#ae81ff"&gt;1&lt;/span&gt; &lt;span style="color:#f92672"&gt;&amp;lt;&lt;/span&gt; diff.size())&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; diff[b &lt;span style="color:#f92672"&gt;+&lt;/span&gt; &lt;span style="color:#ae81ff"&gt;1&lt;/span&gt;] &lt;span style="color:#f92672"&gt;-=&lt;/span&gt; val;&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; }&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; &lt;span style="color:#66d9ef"&gt;void&lt;/span&gt; &lt;span style="color:#a6e22e"&gt;result&lt;/span&gt;() {&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; nums[&lt;span style="color:#ae81ff"&gt;0&lt;/span&gt;] &lt;span style="color:#f92672"&gt;=&lt;/span&gt; diff[&lt;span style="color:#ae81ff"&gt;0&lt;/span&gt;];&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; &lt;span style="color:#66d9ef"&gt;for&lt;/span&gt; (&lt;span style="color:#66d9ef"&gt;int&lt;/span&gt; i &lt;span style="color:#f92672"&gt;=&lt;/span&gt; &lt;span style="color:#ae81ff"&gt;1&lt;/span&gt;; i &lt;span style="color:#f92672"&gt;&amp;lt;&lt;/span&gt; diff.size(); i&lt;span style="color:#f92672"&gt;++&lt;/span&gt;)&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; nums[i] &lt;span style="color:#f92672"&gt;=&lt;/span&gt; diff[i] &lt;span style="color:#f92672"&gt;+&lt;/span&gt; nums[i &lt;span style="color:#f92672"&gt;-&lt;/span&gt; &lt;span style="color:#ae81ff"&gt;1&lt;/span&gt;];&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; }&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; vector&lt;span style="color:#f92672"&gt;&amp;lt;&lt;/span&gt;&lt;span style="color:#66d9ef"&gt;int&lt;/span&gt;&lt;span style="color:#f92672"&gt;&amp;gt;&lt;/span&gt; corpFlightBookings(vector&lt;span style="color:#f92672"&gt;&amp;lt;&lt;/span&gt;vector&lt;span style="color:#f92672"&gt;&amp;lt;&lt;/span&gt;&lt;span style="color:#66d9ef"&gt;int&lt;/span&gt;&lt;span style="color:#f92672"&gt;&amp;gt;&amp;gt;&amp;amp;&lt;/span&gt; bookings, &lt;span style="color:#66d9ef"&gt;int&lt;/span&gt; n) {&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; nums.resize(n, &lt;span style="color:#ae81ff"&gt;0&lt;/span&gt;);&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; diff.resize(n, &lt;span style="color:#ae81ff"&gt;0&lt;/span&gt;);&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; diffNums();&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; &lt;span style="color:#66d9ef"&gt;for&lt;/span&gt; (&lt;span style="color:#66d9ef"&gt;int&lt;/span&gt; i &lt;span style="color:#f92672"&gt;=&lt;/span&gt; &lt;span style="color:#ae81ff"&gt;0&lt;/span&gt;; i &lt;span style="color:#f92672"&gt;&amp;lt;&lt;/span&gt; bookings.size(); &lt;span style="color:#f92672"&gt;++&lt;/span&gt;i) {&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; increment(bookings[i][&lt;span style="color:#ae81ff"&gt;0&lt;/span&gt;]&lt;span style="color:#f92672"&gt;-&lt;/span&gt;&lt;span style="color:#ae81ff"&gt;1&lt;/span&gt;, bookings[i][&lt;span style="color:#ae81ff"&gt;1&lt;/span&gt;]&lt;span style="color:#f92672"&gt;-&lt;/span&gt;&lt;span style="color:#ae81ff"&gt;1&lt;/span&gt;, bookings[i][&lt;span style="color:#ae81ff"&gt;2&lt;/span&gt;]);&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; }&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; result();&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; &lt;span style="color:#66d9ef"&gt;return&lt;/span&gt; nums;&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt; }&#10;&lt;/span&gt;&lt;/span&gt;&lt;span style="display:flex;"&gt;&lt;span&gt;};&#10;&lt;/span&gt;&lt;/span&gt;&lt;/code&gt;&lt;/pre&gt;&lt;/div&gt;&lt;h2 id="拓展---二维差分数组"&gt;拓展 - 二维差分数组&lt;/h2&gt;&#10;&lt;p&gt;二维差分数组可以在一维差分数组的基础上进行拓展，视为一个平面，定义如下&#10;&lt;/p&gt;</description></item></channel></rss>