- 博客(8)
- 收藏
- 关注
RSS订阅原创 [基础软件理论与实践] 第五节作业实现 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
50
原创 [基础软件理论与实践] 第四节作业实现 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
60
原创 [基础软件理论与实践] 第三节作业实现 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
85
原创 [基础软件理论与实践] 第二节作业实现 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
89
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
117
原创 1018 Public Bike Management (30 分) Python DFS
这个问题比较坑的一点就是注意调整沿途车的数量只在去程做，回程不做。也就是说，只有前往问题车站的路上才可以调整车辆。 使用DFS在做的时候，对每一个站点 i 会维护两个参数require和extra，表示在当前站点去程带去的车辆数和回程带回的车辆数。由于上面所述的那一点，每一站计算完成require和extra后，下一站只能由多出来的extra辆车去填补该站缺少的车，不能用该站多余的车填补前面几站...
2019-08-15 22:21:13
128
原创 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
251
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人