- 博客(201)
- 资源 (1)
- 收藏
- 关注
原创 巡回售货员问题是NP完全的
巡回售货员问题【巡回售货员问题】有一位巡回售货员,他必须访问n个城市,分别记作v1,v2,v3,...,vnv_1,v_2,v_3,...,v_nv1,v2,v3,...,vn,售货员从他所居住的城市v1v_1v1出发,想找一条旅行路径,访问所有的其他城市最后回到家的顺序。目标是整个旅行路径的距离尽可能的小。对于每一对城市(vi,vjv_i,v_jvi,vj),城市的距离为d(...
2020-02-17 16:48:10 1531
原创 巡回售货员问题
巡回售货员问题【巡回售货员问题】有一位巡回售货员,他必须访问n个城市,分别记作v1,v2,v3,...,vnv_1,v_2,v_3,...,v_nv1,v2,v3,...,vn,售货员从他所居住的城市v1v_1v1出发,想找一条旅行路径,访问所有的其他城市最后回到家的顺序。目标是整个旅行路径的距离尽可能的小。对于每一对城市(vi,vjv_i,v_jvi,vj),城市的距离为d(...
2020-02-17 16:45:38 1419
原创 证明NPC问题的通用策略
证明NPC问题的通用策略给定一个基本的问题X,证明其是NPC的基本策略是:(1)证明X是一个NP问题。(2)选择一个已知的NPC问题Y。(3)证明Y≤pXY \leq_p XY≤pX。...
2020-02-17 16:44:49 570
原创 三元可满足性问题是NPC问题
三元可满足性问题是NPC问题定理7.如果 YYY 是一个 NPNPNP 完全问题, XXX 属于 NPNPNP ,且 Y≤pXY \leq_p XY≤pX,则 XXX 是 NPNPNP 完全的。之前已经证明3-SAT是一个NP问题,可以通过证明电路可满足性 ≤P\leq_P≤P 3-SAT,来证明它是NP完全的。【电路可满足性 ≤P\leq_P≤P 3-SAT】对于一个电路K,对于电...
2020-02-17 16:43:44 690
原创 电路可满足性问题是NPC问题
电路可满足性问题是NPC问题【电路可满足性问题】电路可满足性问题(Circuit satisfiability problem)描述为:给定一个电路,需要确定是否存在对输入的赋值使得输出值为1。如果存在这样的赋值,则称这个电路是可满足的。这个赋值也被称为一个满足的赋值。如图5为电路可满足性问题的一个实例。图5 电路可满足性问题图中的左边,从上到下依次是或门、非门。图中的右边是与门。当1和...
2020-02-17 16:42:41 891 1
原创 电路可满足性问题
【电路可满足性问题】电路可满足性问题(Circuit satisfiability problem)描述为:给定一个电路,需要确定是否存在对输入的赋值使得输出值为1。如果存在这样的赋值,则称这个电路是可满足的。这个赋值也被称为一个满足的赋值。如图5为电路可满足性问题的一个实例。图5 电路可满足性问题图中的左边,从上到下依次是或门、非门。图中的右边是与门。当1和2输入都为1,3输入为0的时候...
2020-02-17 16:40:36 790
原创 P问题与NP问题的关系
P问题与NP问题的关系定理5.P⊆NPP \subseteq NPP⊆NP.即,所有的P问题都是NP问题。当一个问题是P问题时,我们可以在多项式时间内求出问题的解。若要验证一个解(记为t1)是否正确时,只需使用多项式时间求解出这个问题的解(记为t2),然后将t1和t2做比较即可验证答案是否正确。即,可以利用多项式时间验证答案正确与否。因此,P问题也是NP问题。可以看到,三元可满足性问题(3-S...
2020-02-17 16:39:06 557
原创 归约的传递性
归约的传递性归约之间存在传递性。定理4.如果 X≤pY,Y≤pZ,X \leq_p Y, Y \leq_p Z,X≤pY,Y≤pZ,,则 X≤pZX \leq_p ZX≤pZ。通过上述归约,可以得到:3-SAT ≤p\leq_p≤p 独立集 ≤p\leq_p≤p 顶点覆盖 ≤p\leq_p≤p 集合覆盖,.♥,.,.♥,.,.♥,.♥,.,.♥,.,.♥,.,.♥,.,.♥,...
2020-02-17 16:37:06 849
原创 3-SAT归约到独立集问题
3-SAT归约到独立集问题【3-SAT ≤p\leq_p≤p 独立集】要证明3-SAT问题可以归约到独立集,就需要证明,有一个关于独立集的黑盒子,通过解3-SAT实例,能够解3-SAT问题。图4为从3-SAT到独立集归约的一个实例。图4 从3-SAT到独立集的归约对于一个子句来说,只要有一项的值为真,则整个子句的值为真。则,根据子句可以这样构造图:对于每一个子句,创建三个点,将三个...
2020-02-17 16:34:50 1452
原创 SAT和3-SAT
【SAT问题】将布尔可满足性问题(Boolean satisfiability problem)叫做SAT:给定变量集 X=X=X={x1,x2,...,xn{x_1,x_2,...,x_n}x1,x2,...,xn} 上的一组子句 C1,C2,...,CnC_1,C_2,...,C_nC1,C2,...,Cn ,问存在满足的真值赋值吗?例如,设有3个子句:(x1∨x2‾),(x...
2020-02-17 16:33:13 2959
原创 集合覆盖问题
【集合覆盖问题】集合覆盖问题可以描述为:给定 n 个元素的集合U,U 的子集S1,…,SmS_1,…,S_mS1,…,Sm 以及数 k, 问在这些子集中有一组子集,它的并等于整个 U 且至多含有 k 个子集?如图3为一个集合覆盖问题的实例。图3 集合覆盖问题实例在图3中,有3个子集(即数k为3){S3,S4,S5S_3,S_4,S_5S3,S4,S5},它的并等于整个 U。...
2020-02-16 19:41:31 4304 1
原创 顶点覆盖问题
【顶点覆盖问题】图的顶点覆盖也是一个点的集合。图中每一条边都至少有一个顶点在点集合中。如图2,黑色的点集合都是顶点覆盖集合,图的每一条边都至少有一个顶点在点集合中。图2 顶点覆盖集(黑色)♥,.,.♥,.,.♥,.♥,.,.♥,.,.♥,.,.♥,.,.♥,.,.♥,.,.♥,.,.♥♥,.,.♥,.,.♥,.,.♥,.♥,.,.♥,.,.♥,.,.♥,.,.♥,.,.♥,.,.♥,.*,...
2020-02-16 19:39:41 4133
原创 独立集问题
【独立集问题(Independent set)】一个独立集(也称为稳定集)是一个图中一些两两不相邻的顶点所形成的集合。即顶点集合的任意两个点之间没有边。如图1,红色的点集合都是独立集,任意两个红色的顶点没有边。图1 独立集(红色)♥,.,.♥,.,.♥,.♥,.,.♥,.,.♥,.,.♥,.,.♥,.,.♥,.,.♥,.,.♥♥,.,.♥,.,.♥,.,.♥,.♥,.,.♥,.,.♥,.,...
2020-02-16 19:38:51 2417
原创 顶点覆盖到集合覆盖的归约
顶点覆盖到集合覆盖的归约对于顶点覆盖问题,可以看做是“覆盖问题”,目标是用尽可能少的顶点“覆盖”图中所有的边。【集合覆盖问题】集合覆盖问题可以描述为:给定 n 个元素的集合U,U 的子集S1,…,SmS_1,…,S_mS1,…,Sm 以及数 k, 问在这些子集中有一组子集,它的并等于整个 U 且至多含有 k 个子集?如图3为一个集合覆盖问题的实例。图3 集合覆盖问题实例在图3中...
2020-02-16 19:37:25 2033
原创 独立集和顶点覆盖之间的归约
独立集与顶点覆盖之间的归约【独立集问题(Independent set)】一个独立集(也称为稳定集)是一个图中一些两两不相邻的顶点所形成的集合。即顶点集合的任意两个点之间没有边。如图1,红色的点集合都是独立集,任意两个红色的顶点没有边。图1 独立集(红色)【顶点覆盖问题】图的顶点覆盖也是一个点的集合。图中每一条边都至少有一个顶点在点集合中。如图2,黑色的点集合都是顶点覆盖集合,图的每一...
2020-02-16 19:34:11 600
原创 数值问题:子集和问题
文章目录7 数值问题7.1 子集和问题7.2 子集和问题是NP完全的所有内容:NP与计算的难解性7 数值问题7.1 子集和问题【子集和问题】给定自然数w1,w2,...,wnw_1,w_2,...,w_nw1,w2,...,wn和目标值W,问{w1,w2,...,wnw_1,w_2,...,w_nw1,w2,...,wn}有一个子集加起来恰好等于W吗?Ex: { 1, 4...
2020-02-16 19:30:35 291
原创 划分问题:三维匹配问题、图着色问题
文章目录6 划分问题6.1 三维匹配问题6.2 三维匹配问题是NP完全的6.3 图着色问题6.4 三着色问题是NP完全的所有内容:NP与计算的难解性6 划分问题讨论两个划分问题,一个是三维匹配问题,另一个是图着色问题。对于三维匹配问题,要求搜索把对象集合分成子集的方式。对于图着色问题,要求划分图中的结点。6.1 三维匹配问题【三维匹配问题】给定三个不相交的集合X、Y、Z,三个集合的大小...
2020-02-16 19:28:54 1358
原创 排序问题:巡回售货员问题、哈密顿圈问题
文章目录5 排序问题5.1 巡回售货员问题5.2 哈密顿圈问题5.3 哈密顿圈问题是NP完全的5.4 巡回售货员问题是NP完全的5.5 哈密顿路径问题5.6 哈密顿路径问题是NP完全的所有内容:NP与计算的难解性5 排序问题主要介绍哈密顿圈、巡回售货员问题这两个排序问题。5.1 巡回售货员问题【巡回售货员问题】有一位巡回售货员,他必须访问n个城市,分别记作v1,v2,v3,...,vn...
2020-02-16 19:26:45 578
原创 P、NP、NPC问题
文章目录3 P、NP问题3.1 P(polynomial time)问题3.2 NP(nondeterministic polynomial time)问题3.3 P问题与NP问题的关系4 NPC问题(NP完全问题)4.1 NPC(NP-Complete)问题4.2 电路可满足性问题是NPC问题4.3 三元可满足性问题是NPC问题4.4 证明NPC问题的通用策略所有内容:NP与计算的难解性3 ...
2020-02-16 19:22:40 247
原创 可满足性问题 SAT、3SAT
文章目录2 可满足性问题2.1 SAT和3-SAT2.2 3-SAT归约到独立集问题2.3 归约的传递性所有内容:NP与计算的难解性2 可满足性问题2.1 SAT和3-SAT【SAT问题】将布尔可满足性问题(Boolean satisfiability problem)叫做SAT:给定变量集 X=X=X={x1,x2,...,xn{x_1,x_2,...,x_n}x1,x2,......
2020-02-16 19:20:20 3379
原创 多项式时间归约
文章目录1 多项式时间归约1.1 归约的概念1.2 多项式时间归约1.3 独立集与顶点覆盖之间的归约1.4 顶点覆盖到集合覆盖的归约1.5 独立集到集合包装的归约1 多项式时间归约1.1 归约的概念在研究不同问题的难度时,希望表达“问题X至少像问题Y一样的难”,这就是归约。1.2 多项式时间归约在计算模型中,假设问题X可以在多项式时间内求解。如果有一个解决问题X的“黑盒子”,假设通过多项...
2020-02-16 19:15:47 672
原创 NP与计算的难解性
本文同个人微信公众号(KeepYourAims)文章:NP与计算的难解性文章目录1 多项式时间归约1.1 归约的概念1.2 多项式时间归约1.3 独立集与顶点覆盖之间的归约1.4 顶点覆盖到集合覆盖的归约1.5 独立集到集合包装的归约2 可满足性问题2.1 SAT和3-SAT2.2 3-SAT归约到独立集问题2.3 归约的传递性3 P、NP问题3.1 P(polynomial time)问题3....
2020-02-16 19:04:25 503
原创 经典卷积神经网络——InceptionNet
本文内容同个人微信号推送文章:经典卷积神经网络(Classic Convolutional Neural Networks)其它经典的卷积神经网络:Classic Convolutional Neural Networks (经典卷积神经网络)——LeNet-5、AlexNet、VGGNet、InceptionNet、ResNet♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,...
2020-02-03 03:54:06 699
原创 经典卷积神经网络——VGGNet
本文内容同个人微信号推送文章:经典卷积神经网络(Classic Convolutional Neural Networks)其它经典的卷积神经网络:Classic Convolutional Neural Networks (经典卷积神经网络)——LeNet-5、AlexNet、VGGNet、InceptionNet、ResNet♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,...
2020-02-03 03:52:15 523
原创 经典卷积神经网络——AlexNet
本文内容同个人微信号推送文章:经典卷积神经网络(Classic Convolutional Neural Networks)其它经典的卷积神经网络:Classic Convolutional Neural Networks (经典卷积神经网络)——LeNet-5、AlexNet、VGGNet、InceptionNet、ResNet♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,...
2020-02-03 03:49:12 456
原创 经典卷积神经网络——LeNet-5
本文内容同个人微信号推送文章:经典卷积神经网络(Classic Convolutional Neural Networks)其它经典的卷积神经网络:Classic Convolutional Neural Networks (经典卷积神经网络)——LeNet-5、AlexNet、VGGNet、InceptionNet、ResNet♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,...
2020-02-03 03:46:05 1920
原创 Classic Convolutional Neural Networks (经典卷积神经网络)——LeNet-5、AlexNet、VGGNet、InceptionNet、ResNet
本文内容同个人微信号推送文章:经典卷积神经网络(Classic Convolutional Neural Networks)♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥Tabl...
2020-01-15 23:40:58 336
原创 Neural Episodic Control(神经情景控制)
本文内容同个人微信号推送文章:神经情景控制(Neural Episodic Control)♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥Table of Contents原...
2020-01-15 21:55:26 472
原创 多项式时间归约+独立集与顶点覆盖之间的归约
♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥Table of Contents1.定义2.独立集与顶点覆盖之间的归约2.1 独立集问题(Independent set)...
2020-01-13 19:42:23 2731
原创 AttributeError: module 'tensorflow.contrib.layers' has no attribute 'group_norm'
group norm 这个模块是在normalization.py文件里面定义的(https://github.com/tensorflow/tensorflow/blob/r1.8/tensorflow/contrib/layers/python/layers/normalization.py)我的tensorflow版本是1.3.0,没有这个文件,所以报了这个错误。解决方法:pip inst...
2020-01-13 16:10:31 1274
原创 使用slim训练模型的参数介绍
# 对参数进行介绍python train_image_classifier.py \ # 表示在该目录下保存日志和checkpoint --train_dir=satellite/train_dir \ # 制定训练的新的数据集 --dataset_name=satellite \ --dataset_split_name=train \ # 训练数据集保存的位置 ...
2020-01-13 14:59:13 2594
原创 使用内存队列方式读取文件数据
Tensorflow创建文件名队列 tf.train.string_input_producer1 传入一个文件名list, 系统将自动将其转换为一个文件名队列2 num_epochs epoch数3 shuffle 指一个epoch内文件的顺序是否被打乱, 如果为False,则会按照顺序进入文件名队列内存队列不需要自己建立,只需要使用reader对象从文件名队列中读取书即可其他参...
2020-01-13 13:55:50 1862
原创 python 判断文件是否存在
python判断文件是否存在import os# 判断文件夹是否存在,若不存在,则建立文件夹if os.path.exists(data_destdir) is False: os.makedirs(data_destdir)
2020-01-12 00:58:27 398
原创 使用tensorflow训练cifar-10数据集(参考官方文件编写)
♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥1.cifar-10数据集简介该数据集是hinton的学生Alex Krizhevsky和Ilya Sutskever整理的,用于识...
2020-01-12 00:45:15 2146 2
原创 将cifar10数据转换为图片文件
♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥\1.下载cifar10数据集2.获取文件名队列3.从文件队列中读取文件4.启动填充队列线程5.将文件保存为图片#...
2020-01-10 15:55:45 4614
原创 VAE(Variational Autoencoder)变分自编码器
本文内容同个人微信号推送文章:变分自编码器 VAE(Variational Autoencoder)♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥Table of Content...
2020-01-09 14:35:28 3410
原创 卷积层+池化层+全连接层 训练Mnist数据
♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥使用卷积层+池化层+全连接层 训练Mnist数据集# coding:utf-8from tensorflow.examples...
2020-01-08 17:04:33 2746
原创 Mnist数据集训练 (使用softmax_regression)
# coding:utf-8from tensorflow.examples.tutorials.mnist import input_dataimport tensorflow as tf# 下载Mnist数据集mnist_data = input_data.read_data_sets("MNIST_data", one_hot=True)# 输入数据占位x = tf.plac...
2020-01-08 14:43:07 2960
原创 将mnist数据集转换为对应的数字图片
♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥♥,.*,.♥,.*,.♥,.*,.♥,.*♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥,.*,.♥将Mnist数据集转换为对应的数字图片代码:# coding:utf-8from tensorflow.examples....
2020-01-08 12:00:47 2859 1
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人