- 博客(6)
- 收藏
- 关注
原创 直觉理解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关注的人