- 博客(6)
- 收藏
- 关注
RSS订阅原创 直觉理解Model checking for programming languages using VeriSoft：state-less search algorithm
定义一和定义二是状态机本身需要满足的条件。这两个定义可以确保在并发系统中，执行特定转换的状态的结果是确定的，唯一的，并且不受其他转换的影响。这有助于确保系统的稳定性和bug的可复现性。Intuition：在多并发环境下，如果一个错误会发生，那么只要执行算法2足够多次，这个错误就一定会发生。等错误发生了以后我们定位错误发生的位置就好了。
2024-07-12 17:15:03
356
原创 如何快速计算特定日期对应的星期 Tomohiko Sakamoto 算法解析
Tomohiko Sakamoto 算法对Disparate Gaussian公式进行了简化，他选择用一个不含有y的形式（用c来表示y）来等价计算，从而实现少算一个量的目的。把每一项offset除以7，刚好与t数组相同。我们可以推断出，t数组的意义就在计算这个month offsets。这个优雅的实现是Tomohiko Sakamoto 算法。要弄懂这一点，首先我们要了解Disparate Gaussian公式，即。1.为什么year在month小于3的情况下要减一？2.t数组的意义何在？
2024-07-07 14:12:39
307
原创 SettingWithCopyWarning: A value is trying to be set on a copy of a slice from a DataFrame.
写时复制策略被设定为pandas3.0的默认策略。也就是说当多个调用者（callers）请求相同资源（如内存或磁盘上的数据存储）时，他们会共享相同的指针指向同一资源。等到对象被修改时才进行复制创造副本，然后发起修改的进程指针指向这个副本。如果单看df["foo"]，很难分辨返回的是视图还是拷贝。而如果返回的是视图，这个写入会直接在原df上执行，导致其他指向原df的指针读到了被修改后的数据，这违反了CoW原则。
2024-07-03 20:23:58
202
原创 ♿️几分钟了解扫描线算法❓♿️
而与之相对应的另一种情况，马里奥前进到这个位置的时候，前面没有阻碍，他选择继续前进（此时curMaxHeight==preMaxHeight，因此只发生绿色方块的左边界被加入优先队列）我心中有一种形象化的说法，就是马里奥从大楼的左边一直走到右边，测量他每时每刻的高度与地面的插值，来判断这个点是不是关键点。当马里奥到达绿色方块边缘的时候，前面没有路了，同理，他跳下来落到地上，此时高度变为0，我们获得最后一个答案。在我看来，扫描线算法关注的是入边和出边的差值 对这个题来说即楼的高度和地面的差。
2024-05-26 19:42:05
311
原创 leetcode_101 记忆化搜索学习笔记
（ss读取的时候是一个数字一个符号成对读入，如果不加入加号最后一个数字会读不进去，使得结果错误）显然是要自下而上的 而如何把这四个字落到纸上呢。为什么三层循环要如此构建，参数初始化原理。本文仅做学习用途，如涉及侵权请联系删除。
2024-05-19 17:55:02
1446
1
原创 Exists语句未起到筛选功能
instructor.salary，因此exists括号内为假，对于salary=40000这一行来说，salary>60000为假，因此括号内始终为假，40000不会被加进结果中。所以假如把where语句改成单单salary>60000，则数据库中只要存在大于60000的行，那么instructor每一列对应的都会是真值，都会返回，举salary=40000的列为例子，他也会把salary=75000这一行放入下面的where语句，所以40000也会返回。下面附上instructor表格中全部数据。
2024-05-16 11:25:37
564
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人