Darling.尹先生-CSDN博客

原创多重背包问题的二进制分解疑问

我发现必须是先0,1再循环si,不然就会出现错误，k=1->k=2变成用k=1去更新k=2，其实就跳过了k=2,直接求k=3。我看有佬提出要通过二进制分解才可以把0,1放在里面，但是我的疑惑点在如果最优是7，但是K=3的时候没有更新，不就到不了7了吗。求解将哪些物品装入背包，可使物品体积总和不超过背包容量，且价值总和最大。第 i 种物品最多有 si 件，每件体积是 vi，价值是 wi。有 N 种物品和一个容量是 V的背包。但是代码实现好像是正确的。

2025-05-24 21:00:28 205

原创 FOIL算法

算法是一种用于从关系数据中学习一阶逻辑规则的经典算法。这些规则通常以谓词逻辑的形式表示，用于揭示数据中的模式。FOIL 的目标是从数据中学习逻辑规则，以一阶谓词形式表示知识。FOIL 假设输入数据包含正例和负例，算法试图生成一组规则，能够准确地覆盖正例，同时排除负例。FOIL 的核心思想是逐步构建规则，每次通过添加一个谓词限制条件来优化规则，使其更加精确地描述正例，同时减少对负例的覆盖。FOIL 是一种经典且高效的归纳逻辑学习算法，擅长在关系数据中发现逻辑规则。，即“X 是 Y 的祖父母”。

2024-11-27 20:42:05 1235

原创知识图谱推理

知识图谱（Knowledge Graph, KG）是用图结构表示知识的模型，包含实体（节点）和关系（边）。知识图谱推理是利用已有知识和规则，在知识图谱中发现隐含信息或推导新事实的过程。推理是知识图谱的重要功能，使其从静态数据结构转变为可解释和动态扩展的知识系统。知识图谱推理是连接静态知识与动态智能的关键技术，通过多种方法（如规则推理、统计推理、深度学习等）在多领域实现了知识补全、问答、推荐等智能任务，但仍面临语义理解、可解释性等挑战。利用人工定义的规则（规则逻辑）和已有的知识，通过逻辑推导生成新知识。

2024-11-27 20:36:00 1321

原创量词深度理解

（Quantifier）是用来对公式中的变量进行约束的符号，用以表达对象的范围或数量。量词的引入允许我们对一组对象（而非单个对象）进行陈述，从而增强了逻辑表达能力。量词是谓词逻辑中不可或缺的组成部分，用于表达变量的范围或数量。量词可以嵌套使用，用于表达更复杂的逻辑关系。这表明我们可以用一种量词的定义来推导另一种量词。”，即断言某个性质或关系对所有可能的。”，即断言某个性质或关系对至少一个。量词会约束变量，使其成为。

2024-11-27 20:23:49 784

原创函数与谓词

函数符号和谓词符号是逻辑学和数学中常用的概念，尤其在一阶逻辑中。这两者的区别主要体现在它们的语义功能和使用场景上。构造 vs 判断：结合公式：总的来说，函数符号偏向于“生成”，而谓词符号偏向于“判断”。在谓词逻辑（尤其是一阶逻辑）中，**项（Term）**是一个重要的概念，用于表示逻辑语言中的个体或对象。项是由变量、常量和函数符号通过特定的规则构造而成的。项是用于表示个体或对象的表达式，具体定义如下：常项（Constant Terms）：变量项（Variable Terms）：复合项（Compound Te

2024-11-27 20:22:46 920

原创 JavaParser项目学习报告

parserPARSER_BEGIN 和 PARSER_END 定义了一个名为 Calculator 的解析器类main 方法用于启动解析器，从标准输入读取表达式并将结果输出到标准输出previousValue 变量用于存储上一次计算的结果，以便可以用 $ 符号引用NUMBER 代表数值，可以是整数、浮点数、只包含小数点的数#DIGITS 定义了一个非终结符，用于匹配数字@Override。

2024-10-19 18:49:10 1105

原创编译技术-第2章-语言与文法基础

字母表Σ\SigmaΣ上的符号串定义1、εε是Σ\SigmaΣ的符号串2、若x∈Σa∈Σ则xa和ax∈Σx\in\Sigma a\in\Sigma,则xa 和 ax\in\Sigmax∈Σa∈Σ则xa和ax∈Σ3、若y∈Σy\in\Sigmay∈Σ，当且仅当1、2成立Σabc，符号为abc，符号串有abcaaab⋅⋅⋅。

2024-09-15 16:36:17 795

原创编译技术-第1章-编译概述

人与计算机之间需要通信，通信就需要载体，程序设计语言就是这样的载体低级语言机器语言：二进制代码组成，计算机可直接执行，没设计出一种类型计算机，就多一种机器语言汇编语言：机器语言符号化高级语言与机器无关的语言，低级语言与机器有关翻译汇编语言 -> 汇编程序/汇编器（Assembler) -> 机器语言高级语言 -> 编译器(Compiler) -> 低级语言。

2024-09-13 14:52:55 1434 1