ios
web3
钉钉
鸿蒙系统
ssm
RDF三元组
微软技术
图像增强处理
图书馆选座系统
Linux命令
bert
快速幂算法
web大学生网页作业成品
线性表
信号量
论文
pcb工艺
Revit二次开发
技术
android版本
逻辑推理
2024/4/13 10:51:09
LeetCode 1010. Pairs of Songs With Total Durations Divisible by 60
原题目：https://leetcode-cn.com/problems/pairs-of-songs-with-total-durations-divisible-by-60/ 思路：
用数组m记录time[i]%60的个数，每次对time[i]做判断，如果time[i]%60 ！ 0，那么久在m里面找60-time[…
LeetCode 1586青蛙跳台阶问题
原题目：https://leetcode-cn.com/problems/qing-wa-tiao-tai-jie-wen-ti-lcof/ 思路：
青蛙跳上该台阶的方法 跳上前一阶的方法（在调一阶就可以了） 跳上前两节的方法（再调两阶就可以了）
注意起始条件和特…
LeetCode 233. Number of Digit One
原题目：https://leetcode-cn.com/problems/number-of-digit-one/ 公式（LeetCode 题解）： 代码：
class Solution {
public:int countDigitOne(int n) {int countr 0;for (long long i 1; i < n; i * 10) {long lon…
LeetCode 152. Maximum Product Subarray
原题目：https://leetcode-cn.com/problems/maximum-product-subarray/ 思路：
同时维护两个变量（最大和最小）因为如果是负数，会导致这两个值进行互换
maxn max(maxn*nums[i], nums[i]);
minn min(minn*nums[i],num…
[Daimayuan] 最喜欢数学了（高数除外）（C++，逻辑推理）
小明的数学很好，所以他认为世界上所有的数学问题都很简单。
但是有一天，他遇到了一个他无法解决的数学问题，所以他请求你帮助他。
小明会给你两个数字 a a a 和 b b b ，然后你应该选择一个正奇数 x x x 和一个正偶数 y y y …
LeetCode 848. Shifting Letters
原题目：https://leetcode-cn.com/problems/shifting-letters/ 思路：
逆序进行，sum记录逆序的和，该值就是S【i】要shift的值。 代码：
class Solution {
public:string shiftingLetters(string S, vector<int>&a…
LeetCode 1025. Divisor Game
原题目：https://leetcode-cn.com/problems/divisor-game/ 思路：
如果a拿到奇数，那么根据奇数的因数只能是奇数，所以b拿到的只能是偶数。这时候只要减一，那么b就会给a一个奇数，从而b保证自己拿到的都是偶数…
LeetCode 13. Roman to Integer
原题目：https://leetcode-cn.com/problems/roman-to-integer/ 思路：
观察字符序列，发现只要是4,9,40,90,400,900。两个字母前面的都比后面的小，并且后面字母代表的数字减去前面字母代表的数字就是数字的值。所以从左向右遍历&…
命题逻辑的基本概念-习题
1.1判断下列句子是否为命题
（1）444 是素数。 是命题，且为假命题。 （2）5\sqrt 55 是无理数 是命题，且为真命题。 （3）xxx 大于 yyy，其中 xxx 和 yyy 是任意的两…
7 一阶逻辑推理（11.23，11.30）
文章目录1 一阶谓词逻辑推理基础1.1 谓词公式的解释1.2 谓词公式的永真性和可满足性1.3 谓词公式的等价性和永真蕴含性1.4 谓词公式的范式1.5 置换与合一1.5.1 置换1.5.2 合一2 自然演绎推理3 归结演绎推理3.1 子句集的化简3.11 消条件3.12 减少否定符号的辖域3.13 量词变元一致…
12枚硬币称重问题(面试)
问题描述：
12枚硬币，其中11枚真币1枚假币，现有一架天平，最少称多少次可以找出这枚假币并且知道假币和真币的相对重量。
答案是三次，称重过程描述如下。
第一步：分组，分三组，1 2 3…
LeetCode 717. 1比特与2比特字符
原题目：https://leetcode-cn.com/problems/1-bit-and-2-bit-characters/ 思路：
只和最后一个元素之前连续1的个数有关，如果是奇数则返回false（最后一个必定是10）。否则是true； 代码：
class So…
6 知识表示与逻辑推理（11.16）
通过知识的有效表示，使人工智能程序能利用这些知识做出决策、制定计划、识别状况、分析事件以及获取结论等。知识表示不仅是人工智能的重要研究内容，而且己经形成了一个独立的子领域（知识工程）。
知识表示是知识的符号化过程。
…
LeetCode 1362. 最接近的因数
原题目：https://leetcode-cn.com/problems/closest-divisors/submissions/ 思路：
根据数学常识，相差最小的因数一定是离平方根最近的。找到第一个break就好了。 代码：
class Solution {
public:vector<int> closestDiviso…
文献阅读：The Reversal Curse: LLMs trained on “A is B” fail to learn “B is A”
文献阅读：The Reversal Curse: LLMs trained on “A is B” fail to learn “B is A” 1. 文章简介2. 实验 & 结果考察 1. finetune实验2. 真实知识问答 3. 结论 & 思考 文献链接：https://arxiv.org/abs/2309.12288
1. 文章简介
这篇文章是前…
