- 博客(20)
- 收藏
- 关注
RSS订阅原创 ULTRA环境配置
因为中间要用nvcc编译。打算用docker，结果发现没权限。然后问佳楠的无root安装cuda，最后把环境变量通过窗口export一次性引入那个文件夹就行了，不用动系统的东西，文件夹我就放在自己目录下面的。一开始cuda搞不好，只下载cudatookkit貌似不行，因为这种好像是runtime版本，不会有cuda的文件夹。
2024-03-31 11:46:48
144
原创 neuralkg配环境
然后出现AttributeError: module ‘distutils’ has no attribute ‘version’，这个是典型的版本问题，之前反复安装不同版本pytorch导致的，我就把虚拟环境全部删了，装了一个新的，就好了。下载不会下载对应的CUDATookit，然后我使用conda install cudatoolkit=11.1下载了cuda（问了chatGPT pip下载不了，只能用conda下载），该错误解决。
2023-07-03 17:16:30
17
1原创 计算理论笔记--7
对任何时间可构造函数，存在语言A，在时间O(t(n))内可判定，但不能在时间o(t(n)/logt(n))内判定。存在某个图灵机在O(f(n))空间内运行，在输入 时，总能停机，停机时f(n)的二进制出现在带子上。存在某个图灵机在O(t(n))时间内运行，在输入 时，总能停机，停机时t(n)的二进制出现在带子上。对任何空间可构造函数，存在语言A，在空间O(f(n))内可判定，但不能在空间o(f(n))内判定。NP问题：算起来不确定快不快的问题，但是我们可以快速验证这个问题的解。
2022-10-27 10:03:20
360
原创 计算理论笔记--6
② c o N P中 任何计算问题 , 都可以在 多项式时间内规约 到该计算问题中;如果 语言 L 在 c o N P中 , 那么 该语言的补集在 N P 中;NPSPACE是在非确定型图灵机上，在多项式空间内可判定的语言类。PSPACE是在确定型图灵机上，在多项式空间内可判定的语言类。PSPACE完全满足PSPACE难和PSPACE。判定全量词化布尔公式问题是PSPACE完全的。确定型机器可以用非常少的空间模拟非确定型机器。广义地理游戏是PSPACE完全的。公式博弈是PSPACE完全的。
2022-10-25 23:14:27
987
原创 计算理论笔记--5
将 已知的 N P完全的 计算问题 B , 与 要验证的 C 问题 , 进行规约 , 就知道 C问题是否是 N P 完全的;将计算问题与 N P 中最难问题 B 进行比较 , 是很难的 , 如果已经知道某个计算问题是 N P 完全的 , 就不。N P 难 问题 , 包含了 N P 完全问题 , 不包含 P 问题 和 N P 中的其它问题。图同构问题 , 就属于 其它问题 , 既不属于 P 问题 , 又不属于 N P 完全问题;③ 其它问题 , 既不属于 P 问题 , 又不属于 N P 完全问题;
2022-10-24 23:07:46
140
原创 计算理论学习笔记--4
w,c> 含义 : 给定一个 输入 w , w 是输入字符串 , c 是输入 w 被接受的情况下的输入 , 即正确的输入;② 是 N P最难问题 : 在 N P 中的任何计算问题 A, 都可以在 多项式时间规约 到 B , 也就是说在 N P 中的。确定的结果就是 接受状态 , 或。计算理论 研究的对象是计算 , 不是计算模型 , 研究计算的过程中 , 希望 忽略计算模型之间的差异 ,3 . N P 类中 , 既不属于 P , 又不属于 N P C 的问题也是存在的 , 如 : ★。
2022-10-23 22:32:17
181
原创 计算理论笔记--3
一个有穷自动机是否接受一个串，一个有穷自动机的语言是否为空以及两个有穷自动机是否等价等问题，都是可判定问题。与上下文无关语言相关的可判定性问题：检查某个CFG是否派生一个特定的串是可判定问题；检查某个CFG的语言是否为空是可判定语言。每个上下文无关语言都是可判定的。语言类的关系：正则 < 上下文无关的 < 可判定的 < 图灵可识别的；检查一个图灵机是否接受一个给定的串问题是不可判定的；测定一个上下文无关文法是否派生所有可能的串是不可判定的； 是不可判定的。实数集是不可数的。有不可数个语言
2022-10-22 10:07:34
405
原创 计算理论学习笔记--2
X可以被Y的算法解决，则Xis no more difficult than Y, X可以归约到Y，记X≤Y。A是不可判定问题->B不可判定 A不递归->B不递归 B可判定->A可判定 B是递归的->A是递归的。若X多项式时间归约到Y，Y多项式时间可解，则X多项式时间可解；图灵可识别语言和图灵可判定语言的区别：若 S 是图灵可识别语言，则只需存在一台图灵机M，当。DFA的接受问题 是一个可判定语言， 是一个可判定语言， 是一个可判定语言。X多项式时间归约到Y，Y多项式时间归约到Z，则X多项式时间归约到Z.
2022-10-20 22:58:50
980
原创 有关ReLU是不是线性函数
relu是非线性激活函数题主的疑问在于，为什么relu这种“看似线性”（分段线性）的激活函数所形成的网络，居然能够增加非线性的表达能力。1、首先什么是线性的网络，如果把线性网络看成一个大的矩阵M。那么输入样本A和B，则会经过同样的线性变换MA，MB（这里A和B经历的线性变换矩阵M是一样的）。2、的确对于单一的样本A，经过由relu激活函数所构成神经网络，其过程确实可以等价是经过了一个线性变换M1，但是对于样本B，在经过同样的网络时，由于每个神经元是否激活（0或者Wx+b）与样本A经过时情形不同了（不同
2021-12-13 10:22:48
808
原创 Bias和Varianc
首先明确一点，Bias和Variance是针对Generalization（一般化，泛化）来说的。在机器学习中，我们用训练数据集去训练（学习）一个model（模型），通常的做法是定义一个Loss function（误差函数），通过将这个Loss（或者叫error）的最小化过程，来提高模型的性能（performance）。然而我们学习一个模型的目的是为了解决实际的问题（或者说是训练数据集这个领域（field）中的一般化问题），单纯地将训练数据集的loss最小化，并不能保证在解决更一般的问题时模型仍然是最优，甚
2021-12-07 00:07:24
143
原创 web和Android环境配置
gradle注意看是要all还是bin，之后在那个乱码目录下面把bin.zip放进去，不用解压的web说jdk不对，把build.gradle里面sourceCompatibility = '1.8’改成自己对应的版本，我这里把11改成1.8了
2021-04-11 10:00:38
65
原创 那些年在编程题中踩过的坑（牛客）
作者：NotDeep链接：https://www.nowcoder.com/discuss/8632来源：牛客网循环输入输出处理常见问题1、为什么需要循环输入输出：通常来说OJ对于每道题里面有.in和.out文件，分别表示测试数据的输入和输出。如果某些编程题的所有数据都只做在一个.in和一个.out中，这样就会变成多组测试了，所以需要提交的代码中循环处理。2、处理方法：其实这个问题可以避免，就是编程题后台每个样例做一组对应的.in和.out文件，这样就变成单组测试，代码就不需要循环处理，但是平时练
2020-10-08 11:51:13
170
原创 Linux中转
#include<stdio.h>#include<stdlib.h>#include<unistd.h>#include<pthread.h>#include<semaphore.h>#define N 2#define M 10int in=0;int out=0;int buff[M]={0};sem_t empty_sem;sem_t full_sem;pthread_mutex_t mutex;int produ
2020-06-06 16:03:05
331
原创 keil cpu包安装问题(嵌入式环境配置问题)
安装的时候不要中途退出来若pack installer安装失败，去keil官网下载相关芯片的pack包，安装后直接双击会自动安装在keil的目录下；若安装后进入keil说environment有问题，可能是下载的包的版本太高，下一个低版本的pack包就行了...
2020-02-28 22:09:12
991
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人