从NP完全性谈起:计算复杂性理论介绍-教学PPT课件教案.pdf

从NP完全性谈起:计算复杂性理论介绍-教学PPT课件教案.pdf

从NP完全性谈起

——计算复杂性理论介绍

报告内容:

•“算法”与“好的算法”

•NP完全性

•如何处理NP完全问题

•新的计算模与希望

例1:可满足性(Satisfiability)问题

•布尔变量集合

–布尔变量和称为文字

•子句集合

–子句是一些文字的析取(逻辑或)

•真值赋值

•给定U和C,是否存在满足C的真值赋值

?

–可满足:C中所有的子句在t下为真

•计算

文档评论(0)

1亿VIP精品文档

相关文档