Leetcode算法竞赛动态规划背包问题

这次的 Leetcode 周赛 (350) 第四题还挺巧妙的

https://leetcode.com/contest/weekly-contest-350/problems/painting-the-walls/

说白了就是:Given two integer arrays cost and time of size n. Choose m <= n indices M from $\{0, 1, ..., n-1\}$, s.t. $\sum_{i \in M} \mathrm{time}_i + m >= n$, while minimizing $\sum_{i \in M} \mathrm{cost}_i$.

其中 $\sum_{i \in M} \mathrm{time}_i + m >= n$ 这个约束,第二项是 $m$ 个 paid painter 的贡献,第一项是在这些 paid painter 工作期间,free painter 可以做的贡献。容易想到它可转化为 $\sum_{i \in M} (\mathrm{time}_i + 1) >= n$,那么把 time 的每个元素 + 1,就化为了原版的「有容量下界限制的背包问题」。

hugify6/19/2023, 7:59:42 PM


Preview:

Cancel

Elsewhere

Colliot replied to 阿里巴巴数学竞赛选错赛道了

弱反射原理 mathbb{P}{M_t ge a} = 2mathbb{P}{B_t ge a},其中 M_t = sup_{sin[0,t]}B_s 是布朗运动 B_t 在 [0,t] 内达到的最大值。 它可以写作mathbb{P}{B_t ge a}=dfrac{1}{2}mathbb{P}{M_t ge a},这个在直观上很容易理解,因为 B_t ge a 必然有 M_t ge a,而 M_t 第一次到达 a 之后,后续任何点大于或小于 a 的概率都是 1/2。 强反射原理 给定标准布朗运动 B_t,假设 s 是个停时,那么

begin{equation} B'_t= begin{cases} B_t & text{if } t le s 2B_s-B_t & text{if } t > s end{cases} end{equation}

仍是标准布朗运动。 这实际上就是「第一次到达 a 之后,后续任何点大于或小于 a 的概率都是 1/2」的严格表述。所以后者可以推出前者。

hugify replied to 阿里巴巴数学竞赛选错赛道了

感觉跟 Brownian motion 或者说 Wiener process 的 reflection principle 有关?

hugify replied to 用类型系统描述实数的精髓是什么?

找到了相关文章 Formalising Real Numbers in Homotopy Type Theory,让我来看一看。

hugify replied to 用类型系统描述实数的精髓是什么?

怎么用类型系统表述戴德金分割呢?

ice1000 replied to 用类型系统描述实数的精髓是什么?

我现在懂了,就是戴德金分割

ice1000 replied to 为什么不能对 C++ 的语法进行简化?

不成立。现在的语法也有这样的歧义

ice1000 replied to 净土还活着吗zsbd

虎哥居然还在回复,神奇

Colliot replied to 净土还活着吗zsbd

还活着!!