极客观点
项目管理
HarmonyOS
贪心算法的证明（拟阵）
根据算法导论（引理16.8和16.9)：
--
16.8 令M={S,I)是一个拟阵。如果x是S中一个元素，而且是S的某个独立子集A的一个扩展，则x是ф的一个扩展。
16.9 令M={S,I)是一个拟阵。如果x是S中一个元素，而且它不是ф的一个扩展， 那么它也不是S的任何独立子集A的扩展。
--
可是我们根据拟阵的“遗传特性”，可以知道这样的x是不存在。那么这个引理的意义在哪？
撰写回答
你尚未登录，登录后可以
- 和开发者交流问题的细节
- 关注并接收问题和回答的更新提醒
- 参与内容的编辑和改进，让解决方法与时俱进
推荐问题
字节的 trae AI IDE 不支持类似 vscode 的 ssh remote 远程开发怎么办？
尝试一下字节的 trae AI IDE ([链接])安装后导入 vscode 的配置，好像一起把 vscode 的插件也导入了也能看到 vscode 之前配置的 ssh remote 但是连不上看到「输出」如下⬇️ {代码...}1 回答3.3k 阅读✓ 已解决
本地部署使用 miniCpmV2-6 、chatglm 这些本地 LLM 的时候，如何实现统计 token？
使用智谱的 glm 在线服务的时候，会返回使用的 token：prompt_tokenscompletion_tokenstotal_tokens {代码...} 但是如果我是自己本地部署 chatglm、minicpm、qwen 这些模型，怎么统计 token 呢？示例代码 {代码...} 返回的 res 本身就是字符串了，而不是一个结构化对象这个统计 token 的方式，每个 llm 都一样吗？1 回答2.7k 阅读
是否可以使用分步骤的方式来学习算法？
请问下，学习算法有什么好的思考方式呢？我们知道学习算法是比较难的，做一个事情可以按照步骤来一步一步地做，学习一个算法，是否可以按照步骤的思考方式来学习所有的算法呢？2.5k 阅读
在标签中提供内容的类型是否跟另外建一套表描述不同类型的内容是等价的？
假设有以下几个表：身份表（身份 id，用户 id），现象箱子表（现象箱子 id，身份 id），现象表（现象 id，现象描述），现象箱子-现象关系表（关系 id，现象 id，现象箱子 id）。现象有点类似朋友印象里的标签，只不过一般描述会长一些。现象比如“希望不拖延”、“大五尽责性为极高”。我希望这个系统不止可以描述用户自己，...1 回答500 阅读✓ 已解决
线段树如何实现区间加和区间查询非零数个数？
线段树是否能维护区间加，和区间查询不为零的数的个数？为什么？如果是，那么该如何实现？已经向 百度 AI 和 gpt_4o_free 询问过，得到肯定结果，但我仍然不明白为什么。1 回答1.1k 阅读
反序输出字符串的一道小题目？
各位大佬们，本身接触算法比较少，加上这几年都没有碰过代码了，想问一下这道题的答案是有问题的吗？还是我自己生疏到一种地步了.....(怀疑ing)另外想求一个正解。小萌新感激不尽~1 回答451 阅读✓ 已解决