不可知论教学法

完美才不是悖论,因为它接受不完美

目录

OvO 巨坑待填...

让这些文字去寻找它们的后续吧

所谓元素选择问题,就是找出一个(无序)序列 xs 中第 n 小的元素。

select :: Ord a => Int -> [a] -> a

堆排序算法可以先找出一组数的最大值,再找次大值,这样一个个地排序;所以可以用于选择问题。它所做的就是在线性序集上应用完全二叉树的拓扑结构,来优化元素“上浮”的路径到最短。

(可是题意balabala)

代码:

\operatorname{heapselecting}\left( n, i, xs \right) = \left\{ \begin{aligned} & \operatorname{heapselecting}\left( n, i-1, \operatorname{heapify}\left( 0, i, \operatorname{tail}\left( xs \right) \right) \right) & i\neq n & \\ & \operatorname{heapify}\left( 0, i, \operatorname{tail}\left( xs \right) \right) & 其余 & \end{aligned}\right. \tag{1}

\begin{aligned} \operatorname{heapselect}\left( n, xs \right) & = \operatorname{head}\left( \operatorname{heapselecting}\left( n, \operatorname{length}\left( xs \right) -1, heap \right) \right) \\ 其中\space heap & = \operatorname{buildheap}\left( \left\lfloor \frac{\operatorname{length}\left( xs \right)}{2} \right\rfloor, xs \right) \end{aligned} \tag{2}

[++++]

[[_________]]

一些例子:

ghci
GHCi, version 8.6.5: http://www.haskell.org/ghc/ :? for help
Prelude> :load heap.hs
[1 of 1] Compiling Main ( heap.hs, interpreted )
Ok, one module loaded.
*Main> heapselect 3 [1,2,3,4,5,6,7,8,9]
3
*Main> heapselect 9 [51,75,45,41,71,28,32,2,91,41]
75
基于堆的选择(左) 和 随机划分选择(右) 两种算法的用时对比。
算法在 Python 3.8.5 上实现。
作业说明的截图,其中复杂度分析有误
应该是 \mathcal{O}\left( n+\left( n-k \right)\log{n} \right)

偶数不能说明

过得很平衡,有些东西是可以不必知道的。有些事可以不想。然而人总会开始不再这么觉得的。照样

「幻想の世界というものは、その幻想のルールに外れるものを排除する性質があります。」

www1.gifu-u.ac.jp/~masaru/culture/tasha.html

部落名字

https://www.wdl.org/zh/

比如 3 个变元的情形,可以:

std::vector<uint8_t> cases = { 0b10101010, 0b11001100, 0b11110000 };
bool done = false;

while (!done) {
  done = true;

  for (int i = 0; i < cases.size(); i++) {
    for (int j = i + 1; j < cases.size(); j++) {
      for (uint8_t pend : {cases[i] | cases[j], cases[i] & cases[j]}) {
        if (find(cases.begin(), cases.end(), pend) == cases.end()) {
          cases.push_back(pend);
          done = false;
        }
      }
    }
  }
}

0 层公式 3 种,1 层 6 种,2 层 8 种,3 层 1 种。

3个变元各种无否定CNF的列举
n 1 2 3 4 5
t 1 4 18 166 7579

再加一点算力: Powered by Fugaku

n 6 7 8
t 6162825+ e12 e20

“what is essential is invisible to the eye”

智慧是人类对自然的爱。我们有时候只剩思念。

百万年级别的成果

两个加数,二元方程组,两层网络,两个隐含变量

略略

做梦论生活论 - culture shock?

总可以想 时刻都有变化 就什么都有了 却暗想 如果能有什么不变的呢

发明家在多变的雨季里,做出了一把伞;就做了这样一件事,认真的时候,静悄悄的就好

artist ? respect

coolwarm

sad

无驻无眠 the holdless restless

(思路和成果)

unioned times - careless tomorrow - tech dreaming
big construct - big loss - big think - abandon life tour - daytime

Rebirth of the universe

Real thing