优化问题的一些思考
1. 碰撞方程的充分必要性证明必要性证明 (若 $X_i = X_j$，则 $x \equiv (a_i-a_j)\cdot(b_j-b_i)^{-1} \pmod n$)设离散对数问题为：给定 $g$ 和 $h = g^x$，求 $x$。在Pollard's rho中，我们维护三元组 $X_i = (x_i, a_i, b_i)$，其中：$$x_i = g^{a_i} h^{b_i}$$若 $X...
cmyfoucs 发布的文章
Research Report: Handbook for Large Language Model Evaluation Benchmarks-v2025F1
Executive SummaryLarge Language Model （LLM） evaluation benchmarks serve as critical infrastructure for the responsible development, deployment, and regulation of artificial intelligence systems. This ...
大模型评估基准手册研究报告
大模型评估基准手册是指导大模型性能评估的专业工具，其重要性随着大模型在各行业的应用日益广泛而显著提升。构建科学、全面、客观的大模型评估体系，不仅能帮助研究者和开发者准确把握模型能力边界，还能为模型优化提供方向性指导，同时为行业应用选型提供可靠依据。本报告基于最新研究进展，系统梳理了大模型评估的关键维度、指标、方法及工具，旨在为大模型研发、测试和应用提供标准化评估框架。一、大模型评估的关键维度与指标...
离散数学中的最优化思考
主题：离散数学框架下的最优化理论，包括组合最优化、图论最优化、线性与整数规划的离散表述及其数学推导。1. 离散最优化的定义与基本结构1.1 基本定义离散最优化问题（Discrete Optimization Problem, DOP）可形式化为：$$ \begin{aligned} \text{minimize } & f(x) \\ \text{subject to } & x ...
JDK笔记【LST】
1.jdk与openjdk的区别OpenJDK 和 JDK（通常指 Oracle JDK）是 Java 开发中两个密切相关但有重要区别的实现。以下是它们的核心区别：一、定义与来源项目OpenJDKOracle JDK性质开源参考实现（Reference Implementation）商业发行版（由 Oracle 提供）许可证GPLv2 + Classpath Exception（完全免费、开源）自...