Content

1. Background, history
2. Doing, Situation, Problem, Achievement
3. Next Plan

year 2023

Weekly 230925-231001

1. Wednesday 0927
   1. Afternoon: compile and test MultiPIM on icarus0, suffered from python2.7 and lose package dependency. But still encounter
      pin failed problem

需要进一步的研究学习

暂无

遇到的问题

暂无

开题缘由、总结、反思、吐槽~~

周报是一周的总结和思考，

参考文献

上面回答部分来自ChatGPT-3.5，没有进行正确性的交叉校验。

无

It’s a fucking crazy thing when you reuse a Bluetooth device, because forget how to make pair.

logitech K780

My keyboard encounter Poor contact of keyboard keys, esepeacially the ctrl

change Win/Mac/IOS configurations

iOS fn + i

Mac OS X fn + o

Windows fn + p

LEOPOLO FC980M

Bluetooth pair

Read more: official ref and ref_photo

It seems that just

1. Open the battery cover
2. insert AAA battery and Set the power switch to the ON position.

you can Turn on the Bluetooth.

Answer from TAOBAO

连接蓝牙方法：（我们键盘没有送蓝牙适配器）需要您电脑有蓝牙功能，

1. 第一步背后大开关打到on，
2. 第二步用取卡针捅一下大开关下面的孔、进入配对环节，
3. 第三步打开电脑蓝牙搜蓝牙键盘的型号按提示连接就行。参考

Windows weird option 输入 FC980MBT 的PIN，也可以选择关闭，尤其是鼠标也需要输入时：

1. type 00000 using original keyboard，click confirm.
2. type 00000 using new keyboard, enter.

需要进一步的研究学习

暂无

遇到的问题

暂无

开题缘由、总结、反思、吐槽~~

参考文献

上面回答部分来自ChatGPT-3.5，没有进行正确性的交叉校验。

无

<sup>2</sup>

1. What’sNext 副业。量化金融，落地快：1.每一次策略的修改都直接影响下一次能不能赚钱；性能优化也是。

2. Bigger 量化金融，负责资金统一管理。adapator，股票，证券，期货，外汇

   1. 自动交易工具：数据接口，交易接口

重要说明：

这里存放着未被整理、分类，和仔细对比讨论过的 ideas。

have merged 2 topdown site

并行排序算法

to learn

PSRS算法

并行正则采样排序算法

复杂度分析

简单地讨论一下 PSRS 算法的复杂度。

• 在第一部分的快速排序中，时间复杂度为O(klogk)，k=n/p
• 然后，各处理器选择 p-1 个代表元素，代价为O(p)
• 再由 Proc#0 对所有送来的代表元素进行排序，然后选出主元，这里若使用快速排序，代价为O(p^2 logp^2)
  • 而若使用归并排序，则所需代价为O(p^2)
• 每个处理器接收到主元后，再对有序数组进行划分，代价为O(k+p)
• 最后，各个处理器全局交换，并行归并排序，
  • 每个处理器是串行的多路归并问题，时间复杂度为O(k*logp)

考虑到实际应用中，需要排序的数据长度 n 一定远远多于现有的处理器 p，此时可以视 p 为一个小常数，那么 PSRS 排序算法的时间复杂度，就可以简化为 O(klogk+k*logp)~O(klogk)

从消息复杂度的角度看，

• 播送主元的复杂度为 O(p^2+p)
• 分区合并（全局交换）部分的消息复杂度与具体算法实现相关，但其最大值不会超过 O(n)

需要进一步的研究学习

暂无

遇到的问题

暂无

开题缘由、总结、反思、吐槽~~

参考文献

上面回答部分来自ChatGPT-3.5，没有进行正确性的交叉校验。

https://dingfen.github.io/mpi&openmp/2021/01/23/psrs_sort.html

数学的黑洞

启发来源^1

理发师悖论，与罗素悖论

与排除自指的数学体系类型论

希尔伯特纲领

• 形式语言 公理，来建立数学。
  • 公理：约定俗成的命题，两点成一线 。算术的皮亚诺公理。
  • 形式语言：所有的句子变成符号: 存在任意量词 + 与或非 + 命题
• 完备性Completeness ，一致性Consistency ，可判断性 Decidability

哥德尔不完备定理

(即使排除了自指，还是不完备的)

数理逻辑 Mathematical logic

数理逻辑的奥秘在于，它试图将人类主观的推理思维过程客观化，并建立起主观推理与客观证明之间的联系。通过对形式语言的公理化来达到自然语言的公理化目标。

形式逻辑系统 与 一阶逻辑

• 形式逻辑系统 （Formal logical systems）是数理逻辑表示的方法。
• 一阶逻辑（英语：First-order logic），又称谓词逻辑（predicate logic）、量化逻辑（quantificational logic）、一阶谓词演算（first-order predicate calculus）[^2]
• 一阶逻辑在非逻辑对象上使用量化的变量，并且允许使用包含变量的句子，这样就可以有“存在x，使得x是苏格拉底并且x是人”形式的表达式，而不是像“苏格拉底是人”这样的命题，其中“存在”是一个量词，而x是一个变量。
• 意义：这将它与命题逻辑区分开来，命题逻辑不使用量词或关系; 在这个意义上，命题逻辑是一阶逻辑的基础。

逻辑推理

• 存在一个数 = 存在最小的

基本概念

1. 逆否命题：命题 “如果 P，则 Q”，其逆否命题是 “如果 非Q，则 非P”。逆否命题等价于原命题，当且仅当原命题的结构为蕴含式（implication）形式，即 “如果 P，则 Q”的If-Then 结构
2. 存在量词与任意量词之间的转化：
   $$(\exist x \sim Hx) \iff (\sim \forall x Hx)$$
   $$(\sim \exist x Hx) \iff ( \forall x \sim Hx)$$

代数结构

在抽象代数里，代数结构（algebraic structure）是指装备了一个及以上的运算（最一般地，可以允许有无穷多个运算）的非空集合。一般研究的代数结构有群、环、域、格、模、域代数和向量空间等等。在数学中，更具体地说，在抽象代数中，代数结构是一个集合(称为载体集或底层集合)，它在它上定义了一个或多个满足公理的有限运算。

需要进一步的研究学习

暂无

遇到的问题

暂无

开题缘由、总结、反思、吐槽~~

秋招，百度的高铁柱面试官说，定义问题是很关键的一件事。能不能形式化的定义。（我已经很久没有注意这件事了，确实很重要。

参考文献

[^2]: wiki First-order logic