算法课笔记系列（八）——NP问题及其计算复杂性 - 博客频道 - CSDN.NET
小胖子的博客
分类：算法
本周的内容是NP问题，NP的全称是Non-deterministic Polynomial，即多项式复杂程度的非确定性问题。百度上对NP的解释是，P/NP问题是在理论信息学中计算复杂度理论里至今没有解决的问题。通俗的说，是将不可知的问题转化为已知的问题，进而计算器复杂度。
首先介绍多项式时间的规约，即Polynomial-Time Reductions，通过解决另一个不同问题的假设的子程序，使用不包含子程序在内的多项式时间来解决一个问题的方法。主观上，一个多项式时间规约证明了第一个问题不比第二个问题难，因为只要对于第二个问题有有效的解决办法，那么对于第一个问题就一定也存在解决方法。
根据计算的复杂度，我们可以将问题分为两类，一种是可以在多项式时间内解决的，另一种是不能在多项式时间内被解决的。下面的表格给出了一些算法。
& & & & & & & & & & & & & & & & & & & & & & & &&
一些问题被证明需要指数时间：
1.给定一台图灵机，它能否在最多k步的时候停止？
2.给定一个nxn的棋盘，黑棋能够保证赢吗？
一个不乐观的消息是几十年来大量的基础问题都忽略了分类。这一节的内容是表明这些基本问题是计算等价的，似乎是一个非常难问题的不同表现。
假设我们可以在多项式时间内解决X问题，那么我们在多项式时间内能解决其他什么问题吗?这里引入Reduction的定义。
Reduction：问题X可以多项式规约为问题Y，如果问题X的任意实例可以使用下面的条件被解决：
A） 多项式数量的标准计算步骤加上，
B） 可以解决问题Y的oracle多项式数目次的调用，这里，oracle是特殊硬件提供的可以在单步中解决Y的实例的计算模型。
这里，X是已知的可以在多项式时间内解决的问题，Y是不可知复杂度的问题。中间的符号表示，有方法将X转换为Y，有点类似于小于等于符号的含义是表明X的复杂度小于等于Y的复杂度，一般情况下，符号中p的上面会有一个m，表示可以是many to one reduction,也就是可以是多对一的映射。如果X有polynomial-time解，那么该解是下界；如果Y有polynomial-time解，那么该解是上界。
因此多项式时间的规约的目的是根据问题的相对困难度来对问题分类的。如果有，y可以在多项式时间内被解决，那么X一定也能在多项式时间内被解决；如果，X不能够在多项式时间内被解决，那么y也不能在多项式时间内被解决。
我们也可以建立等价性，这里的等价是指的reduction的成本。如果和，那么我们可以表示为。
下面有三个基本的规约策略，通过简单等价规约、从特殊案例到一般案例的规约和通过子程序的编码来规约。
一、简单等价规约
首先定义独立集（IndependentSet, 我们在Matroid中已经学习过），给定一个图G=(V, E)和一个整数k，存在一个顶点的子集，，对于每一条边至多其中一个端点在S中。
& & & & & & & & & &
对于上图，存在一个大小大于等于6的独立集，但是不存在大小大于等于7的独立集。
下面定义一个顶点覆盖集，给定一个图G=(V, E)和一个整数k，存在一个顶点的子集，，对于每一条边至少其中一个端点在S中。
& & & & & & & & & &
对于上图，存在一个大小小于等于4的顶点覆盖集，但是不存在一个大小小于等于3的顶点覆盖集。
对于顶点覆盖集合和独立集，有
其实从上面两个图，我们就可以看出，两个集合互补。S是一个独立集当且仅当V-S是一个顶点覆盖集。
& & & & & & & & & &
从上面等价条件来，我们可以从和来证明。
令S为任意的独立集，考虑一条任意的边(u, v), 因为S为独立集
因此，V-S包含(u, v).
令V-S为任意的顶点覆盖集，考虑两个顶点u∈S和v∈S，因为V-S是一个顶点覆盖集，观察到(u, v)?S，因此，不存在S中的两个顶点连接同一条边。因此，S是一个独立集。
二、从特殊案例到一般案例的规约
定义集合覆盖：
集合覆盖（Set Cover）：给定一个元素的集合U，一个U的子集的集合S1,S2,…Sm,和一个整数k，存在一个集合含有小于等于k个这样的集合的并等于U。
上面的例子中，S2和S6即为满足的集合。
顶点覆盖集合(Vertex cover)可以规约为集合覆盖（Set Cover），即
给定一个顶点覆盖集合的实例G=(V,E),k,我们建立了一个集合覆盖实例，其大小等于顶点覆盖实例的大小。
创建过程：
创建集合覆盖实例：
集合覆盖的大小小于等于k当且仅当顶点覆盖的大小小于等于k。
三、通过子程序的编码来规约。
literal：一个布尔变量或者它的否定：
clause子句：literal的析取：
合取范式（Conjunction Normal Form， CNF）：子句clause的联合的一个命题公式
SAT：给出一个CNF公式它是否满足真命题的赋值
3-SAT：每一个子句包含恰好3个literals的SAT
上面的例子是一个SAT，但不是一个3-SAT。第3个clause再加一个literal就为3-SAT。
3-SAT可以规约到独立集，即
给定一个3-SAT的实例我们建立一个独立集的实例（G，K），有一个大小为k的独立集当且仅当是可以满足的。
创建过程：
G对于每一个子句包含3个顶点，对每一个literal有1个顶点；一个三角形中一个子句中连接3个literals；每一个literal连接到自身的否定。
& & & & & &&&
3可满足性可以规约到独立集。
G包含一个大小为的独立集，当且仅当是可满足的。
令S为大小为k的独立集，那么S在每一个三角形中包含恰好一个顶点，将这些literal全部设置为true，，其余的变量也保持一致，那么真命题赋值是一致的且所有的子句都满足
给定一个满足的命题， 从每一个三角形中选择一个为真的literal。那么这就是一个大小为k的独立集。
总结一下以上三种基本的规约方法：
& & & & & &&
决策问题：是否存在一个大小小于等于k的顶点覆盖?
搜索问题：找到有着最小基数的顶点覆盖
自规约性：搜索问题决策问题，将会应用到这一章节的所有问题中，并且
证明我们对于决策问题的聚焦。
我们想要找到具有最小基数的顶点覆盖
（二进制）搜索找到最小顶点覆盖的基数k*
找到一个顶点v使得G-{v}有一个大小小于等于k*-1的顶点覆盖（在任何的最小顶点覆盖中的任意顶点都有这个性质）
将v包含到这个顶点覆盖中
递归找到一个最小的顶点覆盖G-{v}
下面开始探讨重点的NP问题
首先是决策问题。
X是字符串的一个集合，有一个实例字符串s，那么设计一个算法A解决问题X：使得A(s)=yes当且仅当s∈X
如果算法A是对于每一个字符串s运行在一个多项式时间内的，那么A(s)将会在最多第p(|s|)步终止，其中p(·)是某一个多项式。
对一个有着多项式运行时间的算法的决策问题
& & & & & &
认证算法的意图：
Certifier（证明者）是从管理的角度来看待事情的，并不能自己决定是否有s∈X，然而，他可以检验一个提出的证明这个s∈X。
定义：算法C(s,t)是一个问题X的证明者，如果对于每一个字符串s有s∈X当且仅当存在一个字符串t使得C(s,t) = yes.
NP是指存在一个多项式Certifier的决策问题，这是相对于P而言的定义。
给出一个整数s，s是一个合数（质数的对立）吗？
Certificate ：s的一个非质因子t，存在这样的一个凭证存在当且仅当s是一个合数。
Certifier:
& & & & & &&
如一个实例：
s = 437699
Certificate: t = 541 或者809
结论是：合数是一个NP问题
SAT：给出一个CNF公式是否存在一个满足条件的命题？
Certificate：对于n个布尔变量的真值的赋值
Certifier：检查中的每一个子句，是够含有至少一个真的literal
Certificate：
结论：SAT是一个NP问题
哈密顿环（Hamiltonian Cycle）
哈密顿环是：给定一个无向图G=(V, E), 存在一个简单环C能够访问每一个结点
Certificate：n个结点的排列
Certifier：检验排列中V中包含的每一个结点是否恰好出现一次，并且在排列中每一对相邻的结点之间是否存在一条边。
结论：哈密顿环是一个NP问题
那么P是否等于NP呢？
所有的完全多项式非确定性问题，都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案，都可以在多项式时间内计算，人们于是就猜想，是否这类问题，存在一个确定性算法，可以在多项式时间内，直接算出或是搜寻出正确的答案呢？这就是著名的NP=P？的猜想。
& & & & & & & & & & & & & & & & & & & & & & & & & & & & & & &&
如果yes：那么有效的算法对3-Color，TSP， FACTOR， SAT…
如果No：没有有效的算法对3-Color，TSP， FACTOR， SAT…
一致的舆论为p≠NP
最后讨论的是NP完全问题。
问题X多项式规约（polynomial reduces, Cook提出的）到问题Y，如果问题X的任意实例可以使用下面的来解决：
A． 多项式数目的标准计算步骤，加上
B． 可以解决问题Y的oracle的多项式数目的调用
多项式转换(polynomialtransforms, Karp提出的)是指问题X多项式转换为问题Y如果给定一个任意的输入x给X，我们可以生成一个输出y使得x是X的一个yes实例当且仅当y是Y的一个yes实例。
多项式转换是一个对于Y而言只有一个oracle调用的多项式规约，就在对X的算法的最后。几乎所有之前的规约都是这种形式。
那么这两个对于NP而言是相同的吗？
NP完全问题是最难的问题。它的定义是：NP中的一个问题Y有这样的一个性质：对于NP中的任意问题X，有通俗上定义为，如果任何一个NP问题都能通过一个多项式时间算法转换为某个NP问题，那么这个NP问题就称为NP完全问题（Non-deterministic Polynomial complete
problem）。NP完全问题也叫做NPC问题。
完全多项式非确定性问题可以用穷举法得到答案，一个个检验下去，最终便能得到结果。但是这样算法的复杂程度，是指数关系，因此计算的时间随问题的复杂程度成指数的增长，很快便变得不可计算了。
定理：假设y是一个NP完全问题，那么y可以在多项式时间内解决当且仅当P=NP
←如果P=NP，那么因为y是一个NP问题，因此可以在多项式时间内被解决
→假定y可以在多项式时间内被解决，令X为任意一个NP问题。因为，我们可以在多项式时间内解决X，可以得出，又因为已知，因此有P=NP。
下面描述一个电路可满足性问题，在理论计算机科学中，电路可满足性问题（CIRCUIT-SAT）是决定一个给定的布尔电路是否有一个可以使得输出为true的输入的赋值的决策性问题。
给出一个由AND，OR和NOT门的联合电路，是否存在一个方法设置电路的输入使得其输出为1？
& & & & & & & & & &
我们可以验证，CIRCUIT-SAT是一个NP完全问题。
证明：任何一个将固定数目的n位作为输入并且产生一个yes/no的输出的算法都可以被这样的一个电路来表示。并且，如果该算法花费多项式时间，那么电路也是多项式大小。（固定为n位是非常重要的，反应了算法和电路之间的基本区别）
考虑一个NP问题X，它有一个多项式时间certifier C(s, t).为了决策s是否在X中，我们需要知道是否存在一个长度为p(|s|)的凭证t使得C(s, t)=yes。
我们将C(s, t)看做是一个|s|+p(|s|)位的算法（输入为s，凭证为t），将其转化为一个多项式时间的电路K。前|s|位是用s硬编码的，剩下的p(|s|)位是t的位，那么电路K是可满足的当且仅当C(s,t)=yes。
& & & & & & &&
上面的电路就创建了一个电路K，它的输入这样被设置使得K输出为真当且仅当图G有一个大小为2的独立集。
那么如何建立一个NP完全问题呢？
一旦我们建立了第一个NP完全问题，那么其他的也就是一个道理了。
建立问题y的完全NP问题的步骤：
1） 表明Y是一个NP问题
2） 选择一个完全NP问题X
可以证明3-SAT是一个NP完全问题。
下面这个图显示了NP完全问题以及可以多项式规约到另一个问题。
& & & & & & &&
NP完全问题的6个种类和典型例子：
a)&&包装问题：SET-PACKING，INDEPENDENT SET
b)&&覆盖问题：SET-COVER， VERTEX-COVER
c)&&约束满足问题：SAT， 3-SAT
d)&&序列问题：HAMILTONIAN-CYCLE， TSP
e)&&分区问题：3D-MATCHING, 3-COLOR
f)&&数值问题：SUBSET-SUM， KNAPSACK
大部分的NP问题要么是P要么就是完全NP问题。
NP的对称：我们只需要有对于yes实例的简单证明即可。
1.& SATvs. TAUTOLOGY
可以证明对于一个给定的赋值，一个CNF公式是可以满足的，那么如何证明一个公式不可满足呢？
2.& HAM-CYCLEvs. NO-HAM-CYCLE
给定一个哈密顿环可以证明一个图是哈密顿，那么如何证明一个图不是哈密顿呢？
&&&&&&& co-NP是NP决策问题的补集。
& & & & &&&&&
那么，NP=co-NP呢？
一致的舆论是不等于的。
如果有NP≠co-NP，那么P≠NP。但可以得出，，
质数问题是一个NP∩co-NP的问题
（Pratt定理）一个奇数是一个质数当且仅当存在一个整数1&t&s,使得对于所有s-1的所有素除子p有
& & & & & & & & & & & & & & & & &
&&& FACTORIZE：给定一个整数x，找出它的素因子
&&& FACTOR：给定两个整数x和y，找出x是否有一个小于y的非质因子。
&&& 定理：
&&& FACTOR是一个NP∩co-NP的问题。
排名：千里之外
（11）（1）（1）（1）（1）（0）（2）【求教】关于黑王的宝具使用后的NP回复量。_fategrandorder吧_百度贴吧
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&签到排名：今日本吧第个签到，本吧因你更精彩，明天继续来努力！
本吧签到人数：0可签7级以上的吧50个
本月漏签0次！成为超级会员，赠送8张补签卡连续签到：天&&累计签到：天超级会员单次开通12个月以上，赠送连续签到卡3张
关注：59,767贴子：
【求教】关于黑王的宝具使用后的NP回复量。
现在自己在使用宝具等级3/5的黑王，看倍率表示1级NP回复10%, 2级回复15%，3级回复20%。但是我使用3级宝具200%之后NP回复量只有15%,求大大解答下感谢(´・ω・‘)
光妖大约2200，浴缸1760...
什么魔瑟啊，女武神啊，...
这还是都已经爆了很长...
那里的意思是200%回15、300%回20
贴吧热议榜
使用签名档&&
保存至快速回贴您的当前位置： >
Fate Grand Order快速获取NP的从者浅谈
来源：作者：无限地狱·Zero
Fate Grand Order快速获取NP的从者浅谈，首先蓝卡数量越多，越容易对指令卡产生NP加成，也越容易组成3蓝combo，大体上积攒NP的能力也就越强，这一条是没有改变的。其次，在配卡的蓝卡数量相同时，蓝卡hit数越低，单hitNP效率越高，其结果会直接提升绿卡的NP效率。
尤其是在绿卡强化为至少2hit之后，原本段数少单hitNP效率高的从者靠绿卡能获得的NP便相当于翻了一倍。像总司一样【蓝卡hit数低、绿卡hit数高】的从者，在配卡相同的从者中是积攒NP能力最强的，也因此出现了在首蓝加成下绿卡的NP获取甚至高于蓝卡的情况。而像魅影、R姐、黑胡子、酋长、玉藻猫之类蓝卡hit数较高，绿卡hit数却与其他人相同的从者，在同样配卡的从者之中NP获取处于劣势。
但是单hitNP效率过高，就有可能触及宝具基础NP获取的门槛，目前触及这一门槛的从者，均为蓝卡多段单体攻击宝具或绿卡多段群体攻击宝具，并且其蓝卡hit数较少，因而单hitNP效率较高。对于有这一类宝具的从者，反而蓝卡hit数多一些会更为安全。&>&&>&&>&正文
fgo命运冠位指定np获取机制详解 从者如何获得np
来源：fgowiki
作者：fgowiki
编辑：久战成狂
大小：98.80 MB
类型：角色扮演
扫一扫直接下载
　　NP获取是宝具输出型队伍战术的重要组成部分，卡牌的NP获取符合NP获取公式。NP的获取分为己方攻击的主动NP获取与受到敌方攻击的被动NP获取。
主动NP获得量公式
　　每Hit主动NP获得量×攻击Hit数×[卡牌NP倍率×位置加成×(1+卡牌Buff)+首位加成]×(1+NP
Buff)×暴击补正×Overkill补正×敌补正
被动NP获得量公式
　　每Hit被动NP获得量×敌方攻击Hit数×(1+NP Buff)×Overkill补正 ×敌补正
公式各项注解
　　主动NP获得量公式为指令卡、宝具通用公式，但宝具不受暴击补正、卡位补正和首卡奖励加成。Arts
Chain奖励是组成Chain的从者每人增加20NP，不在公式中，因此也不受任何加成，其他直接获得NP的技能或概念礼装效果同理。
　　1、每Hit主动NP获得量(N/A):从者的隐藏属性，主动攻击时的基础NP获得量。大体由各个从者自身的职阶、配卡蓝卡数量、蓝卡Hit数、Status参数中的魔力Rank、宝具基础NP获得量等属性共同决定。
　　2、每Hit被动NP获得量(N/D)：从者的隐藏属性，被攻击时的基础NP获得量。由各个从者自身的职阶决定。
　　3、攻击Hit数：指令卡或宝具卡牌的攻击段数。
　　4、敌方攻击Hit数：敌人行动(实质也为指令卡)的攻击段数。
　　5、卡牌NP倍率：根据卡色分别为Buster卡[0]、Arts卡[3.0]、Quick卡[1.0]、EX攻击[1.0]。
　　6、位置加成：根据指令卡位置分别为第一位[1.0]、第二位[1.5]、第三位[2.0]和第四位(即EX攻击)[1.0]。
　　7、卡牌Buff：此项是“卡牌性能Buff-卡牌性能DeBuff”的简写。影响此项的因素有从者保有技能【狐嫁女】、怪物技能【蹂躏准备】、从者职阶技能【阵地作成】、相关概念礼装、相关宝具特效等等。
　　8、首位加成：首卡为Arts卡[1.0]，首卡非Arts卡[0]。此外因为宝具实质上仍是指令卡，所以Arts卡宝具也提供首位加成，只是宝具自身NP获得量不受Arts卡首位加成。
　　9、NP Buff：加成NP获取量的Buff。例如从者保有技能【黄金律】、【天狗的兵法】、相关概念礼装等等。
　　10、暴击补正：暴击时计算此项。为定值[2.0]。
　　11、Overkill补正：Overkill时计算此项。只要指令卡中有至少1Hit在敌方HP为0的情况下击出，便达成Overkill，战斗界面中会显示Overkill字样。为定值[1.5]。
　　12、敌补正：根据敌人的不同而变化，即使是相同敌人在不同副本中的敌补正也可能不同，目前发现的NP敌补正数值最大为1.32，最低为0.8。
相关攻略：
开发：TYPE-MOON
类型：角色扮演
新游排行榜
动作角色扮演
游民星空联运游戏金时np真的好快，oc500%测试_fategrandorder吧_百度贴吧
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&签到排名：今日本吧第个签到，本吧因你更精彩，明天继续来努力！
本吧签到人数：0可签7级以上的吧50个
本月漏签0次！成为超级会员，赠送8张补签卡连续签到：天&&累计签到：天超级会员单次开通12个月以上，赠送连续签到卡3张
关注：59,767贴子：
金时np真的好快，oc500%测试
40级黑杯金时攻击力1w2左右 不算技能5回合打了210np10/10/6师匠给了个7级魔放双孔加攻减防 8级战斗服加攻宝具500oc目标当然是黑森林奇美拉最后喜闻乐见上了100w专撞魔神柱图没截好没截到500oc
只有最后一节的第二道有...
就是医院里面测试用的胶...
自认为是木耳的我
总之这次测试是在麻烦，...
由于楼主店已经半价出售...
BASIC居然一点也没卡，...
闻中心&新闻正文 12月19...
简单做个测试吧！看看你...
开门红，给了一张金
http://www.klippel-lis...
怎么没有测测那个庆庆满...
三绿暴击一套下来能同时打满星星和np....
爸爸转业了还是爸爸啊
贴吧热议榜
使用签名档&&
保存至快速回贴}