05 2024 档案

一些NPC问题的证明
摘要：《算法设计与分析》期末复习 团集 把 SAT 在多项式时间内归约到团集 对于一个可满足性实例 f=C1∧C2∧...∧Cm 建立一张图 G(V,E) \[E = \{ (x_i, x_j) | x_i, x_j \text{属于 阅读全文
posted @ 2024-05-31 00:04 sysss 阅读(399) 评论(0) 推荐(0) 编辑
贪心
摘要：《算法设计与分析》期末复习 正确性证明 正确性证明（理论上）可以分两步：最优子结构和贪心选择（贪心策略）的证明 实际上做递归证明的话，可以同时保证两个正确性，因为最优子结构是基于正确的贪心选择生成的 下面证明一下 dijkstra： 指路 线段覆盖 题面 这个题变种很多啊 考虑右端点最靠左（或者说结 阅读全文
posted @ 2024-05-27 11:34 sysss 阅读(7) 评论(0) 推荐(0) 编辑
线性动态规划
摘要：《算法设计与分析》期末复习 最优子结构的证明 这篇以 01 背包为例，证明其具有最优子结构性质 指路 导弹拦截 题面 定义状态 f(i) 为 1 i 区间内的最大导弹拦截数量 有状态转移 f(j)=max{f(i)}+(a[j]<=a[i])直接赤 阅读全文
posted @ 2024-05-26 10:31 sysss 阅读(8) 评论(0) 推荐(0) 编辑
[论文笔记] Conversing with Copilot: Exploring Prompt Engineering for Solving CS1 Problems Using Natural Language
摘要：Abstract: Copilot 及其他辅助编程的人工智能模型被广泛使用，这篇文章探索了 Copilot 在哪些任务上表现不佳，prompt 在过程中的作用等几个问题。 Introduction: Question 1: Copilot 在 CS1 programming problems 上的表 阅读全文
posted @ 2024-05-25 20:51 sysss 阅读(30) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示