lxr2010-CSDN博客

原创 [基础软件理论与实践] 第五节作业实现 lxr2010

作业信息课程信息：https://bbs.csdn.net/topics/608593392 作业内容描述： Complete the type inference ( two substitution functions ) Complete the implementation for let-polymorphism Think about how to handle recursive functions

2023-02-22 23:13:34 76

原创 [基础软件理论与实践] 第四节作业实现 lxr2010

作业信息 * 课程信息：https://bbs.csdn.net/topics/608593392 * 第四节作业提交帖：https://bbs.csdn.net/topics/609455877 作业内容描述： 1. 完成汇编器(assembler)中的`encode`函数。 2. 使用C/C++/Rust实现支持课程中使用的指令的虚拟机。 3. 完整实现编译器(compiler) 4. 实现一个支持递归函数的解释器(interpreter)

2023-01-12 09:13:51 77

原创 [基础软件理论与实践] 第三节作业实现 lxr2010

* 课程信息：https://bbs.csdn.net/topics/608593392 * 第二节作业提交帖：https://bbs.csdn.net/topics/608988916 1. Complete the de Bruijn index based interpreter in natural semantics 2. Apply the de Bruijn index for extended lambda calculus (+ Let)

2022-11-21 11:31:33 116

原创 [基础软件理论与实践] 第二节作业实现 lxr2010

* 课程信息：https://bbs.csdn.net/topics/608593392 * 第二节作业提交帖：https://bbs.csdn.net/topics/ 作业内容描述： 1. 完成Codewars Kata Church Numbers 2. 完成Codewars Kata Church numbers: find the predecessor and subtract

2022-11-03 16:28:21 115

原创 [基础软件理论与实践] 第一节作业实现

基础软件理论与实践第一节作业

2022-10-25 18:21:09 194 1

转载 PAT 1085 Perfect Sequence (25) python 非二分法

虽然是自己打的python版代码，但是关键步骤还是参考了这位大佬的博客，就算作转载吧。使用Python写二分代码仍然超时。下面贴上python 3 AC代码。 n,p = [ int(x) for x in input().split() ] d = [ int(x) for x in input().split() ] d.sort(); j = 0; maxn = 0; fo...

2019-08-16 09:00:41 130

原创 1018 Public Bike Management (30 分) Python DFS

这个问题比较坑的一点就是注意调整沿途车的数量只在去程做，回程不做。也就是说，只有前往问题车站的路上才可以调整车辆。使用DFS在做的时候，对每一个站点 i 会维护两个参数require和extra，表示在当前站点去程带去的车辆数和回程带回的车辆数。由于上面所述的那一点，每一站计算完成require和extra后，下一站只能由多出来的extra辆车去填补该站缺少的车，不能用该站多余的车填补前面几站...

2019-08-15 22:21:13 143

原创 PAT 1044 Shopping in Mars (25) python 尺取法

尺取法相关介绍参见https://blog.csdn.net/lxt_lucia/article/details/81091597。本题可以抽象为给定一个正整数序列D，求其最短连续子序列，使其和大于等于M。和连续子序列有关的问题一般都可以先进行预处理，得到D的前缀和序列S（S第一个元素为0）。位置 i 到 j 的区间和可以通过S[j] - S[i-1]得到。由于本题要求推导出满足条件且...

2019-08-12 18:56:03 292