DraonAbyss

分类

C++(3) CodeForces(23) LeetCode(3) 函数语言程序设计(40) 安全编程(1) 密码学基础(17) 无线网络安全(5) 笔记(16) 算法设计与分析(22) 编译原理与技术(16) 网络安全数学基础(3) 计算机逻辑基础(8) 题解(37)

/ 注册

TA的专栏 167篇文章 11人订阅

【题解】SQL 入门

36篇文章 18251人学习

【学习】函数语言程序设计

39篇文章 1641人学习

【学习】密码学基础

16篇文章 1083人学习

【学习】算法设计与分析

22篇文章 1924人学习

【学习】无线网络安全

6篇文章 2960人学习

计算机逻辑基础

4篇文章 1462人学习

【学习】网络安全数学

7篇文章 882人学习

12篇文章 551人学习

2篇文章 542人学习

23篇文章 1665人学习

全部文章（共194篇）

【简单】14. 最长公共前缀来自专栏

vector.size if (!strs.size()) {} int count = strs.size(); if (!prefix.size()) {} if (!strs.size()) {} int length = strs[0].size(); int count = strs.s...

2022-03-12

0 551

【简单】206. 反转链表来自专栏

struct ListNode【singly-linked list】 /** * Definition for singly-linked list. * struct ListNode { * int val; * ListNode *next; * ListN...

2022-03-12

0 421

【困难】25. K 个一组翻转链表来自专栏

struct ListNode【singly-linked list】 /** * Definition for singly-linked list. * struct ListNode { * int val; * ListNode *next; * ListN...

2022-03-12

0 412

【中等】146. LRU 缓存来自专栏

struct DLinkedNode struct DLinkedNode { int key, value; DLinkedNode* prev; DLinkedNode* next; DLinkedNode(): key(0), value(0), prev(nu...

2022-03-12

0 494

【简单】21. 合并两个有序链表来自专栏

https://leetcode-cn.com/problems/merge-two-sorted-lists/ struct ListNode【singly-linked list】 /** * Definition for singly-linked list. * struct ListN...

2022-03-12

1 410

第三章-子集构造法

Operations on NFA states 伪代码 put ε-closure({s0}) as an unmarked state into the set of DFA (DStates) //ε-闭包（{s0}）是通过ε-跃迁从s0可以访问的所有状态的集合。 while (there ...

2022-03-12

0 606

使用Miller-Rabin素性检验随机生成一个120比特的素数

使用Miller-Rabin素性检验随机生成一个120比特的素数 120比特数 Miller-Rabin素性检验实现Miller-Rabin素性检验的 C++ 程序 C++ Program to Implement Miller Rabin Primality Test /* * C++ P...

Miller-Rabin素性检验

2022-03-03

0 668

LOGIC.逻辑.逻辑联结词来自专栏

LOGIC LOGIC IN COQ Set Warnings "-notation-overridden,-parsing,-deprecated-hint-without-locality". From LF Require Export Tactics. 我们已经看到了许多事实主张（命题）的...

2021-12-20

0 1587

INDPROP.归纳定义命题.附加练习来自专栏

Additional Exercises 附加练习 Exercise: 3 stars, standard, especially useful (nostutter_defn)

2021-12-20

0 424

INDPROP.归纳定义命题.案例研究：改进反思来自专栏

Case Study: Improving Reflection 我们在逻辑一章中看到，我们经常需要将布尔计算与Prop中的语句相关联。但是，在那里执行这种转换可能会导致冗长的验证脚本。考虑下面定理的证明：

2021-12-20

0 424