基于符号区间的神经网络形式化安全分析 ####摘要 随着深度神经网络（DNNs）在现实安全关键领域（包括自主车辆和避碰系统）的日益广泛应用，对DNNs的安全特性，特别是在不同的攻击能力下，进行形式化的检测变得越来越重要。大多数现有的dnn安全测试技术都试图找到对抗性的例子，而没有提供任何关于不存在这 ...
分类：
其他好文 时间：
2020-07-05 19:00:55
阅读次数：
87
题意 给定一个未知的$0/1$矩阵，对每个$i$求$(1,1)\sim(n,m)$最短路为$i$的概率，在矩阵中不能向左走，路径长度为路径上权值为$1$的格子个数。 \(n\leq6,m\leq100。\) 思路 参考了这篇博客的思路【51nod1683】最短路 概率乘了$2^{n\times m} ...
分类：
其他好文 时间：
2020-07-05 18:58:00
阅读次数：
56
数组 实现一个支持动态扩容的数组 实现一个大小固定的有序数组，支持动态增删改操作 实现两个有序数组合并为一个有序数组 链表 实现单链表、循环链表、双向链表，支持增删操作 实现单链表反转 实现两个有序的链表合并为一个有序链表 实现求链表的中间结点 栈 用数组实现一个顺序栈 用链表实现一个链式栈 编程模 ...
分类：
编程语言 时间：
2020-07-05 13:12:20
阅读次数：
89
给定一个二维的矩阵，包含 'X' 和 'O'（字母 O）。 找到所有被 'X' 围绕的区域，并将这些区域里所有的 'O' 用 'X' 填充。 示例: X X X XX O O XX X O XX O X X运行你的函数后，矩阵变为： X X X XX X X XX X X XX O X X解释: 被 ...
分类：
其他好文 时间：
2020-07-05 10:48:27
阅读次数：
48
解法一（使用O(mn)空间) 可以开一个额外的二维数组，记录每个位置的元素是否已被访问过。 然后我们遍历原来的二维数组，只要没被访问过且元素为0，那么就将该元素所在的行和列的元素值置为0， 并且将这一行的所有元素都设置为已经访问过，以免之后的遍历碰到被置为0的元素也将那一行那一列的元素置为0. 这里 ...
分类：
其他好文 时间：
2020-07-04 23:00:26
阅读次数：
64
这道题是要我们在一个二维数组里搜索某个元素target，找到了返回true,没找到返回false。 这个二维数组性质是，每一行都是升序的，且每一行的最后一个元素小于下一行的第一个元素。 都说升序和查找了，显然应该想到二分。 这题我最开始先按行二分，确定target(如果在数组里）所在的行，再对这一行 ...
分类：
其他好文 时间：
2020-07-04 22:55:42
阅读次数：
68
477. 被围绕的区域 中文English 给一个二维的矩阵，包含 'X' 和 'O', 找到所有被 'X' 围绕的区域，并用 'X' 替换其中所有的 'O'。 样例 样例 1: 输入: X X X X X O O X X X O X X O X X 输出: X X X X X X X X X X ...
分类：
其他好文 时间：
2020-07-04 21:09:19
阅读次数：
54
给定一个 n x n 矩阵，其中每行和每列元素均按升序排序，找到矩阵中第 k 小的元素。请注意，它是排序后的第 k 小元素，而不是第 k 个不同的元素。 示例： matrix = [ [ 1, 5, 9], [10, 11, 13], [12, 13, 15]],k = 8, 返回 13。 解:这个 ...
分类：
其他好文 时间：
2020-07-04 20:33:33
阅读次数：
62
#一.栈 如图： ##①栈顶指针移动 ##②进栈代码： ##③出栈代码： ##④各种条件： ##⑤共享栈： #二.队列 如图： ##①入队出队操作示意图 ##②循环队列示意图 ##③队列各种条件 ##④出入队代码： ##⑤链式出入队 ##⑥双端队列 #三.压缩矩阵 ##①对称矩阵 ##②三角矩阵 # ...
分类：
其他好文 时间：
2020-07-04 17:19:40
阅读次数：
177
最近用到了几个很有用的 matlab 函数 其一，对矩阵进行采样函数 a=dyaddown[a,canshu]，对“canshu”的设置可以改变采样的形式，当“canshu”为“0”时挑选出矩阵中的偶数项，当“canshu”为“1”时挑选出矩阵中的奇数项。 实际上 dyaddown 函数和 [1:2 ...
分类：
其他好文 时间：
2020-07-04 17:00:30
阅读次数：
62
