From 1a416730ec6a7845a119b350695f83ce17703558 Mon Sep 17 00:00:00 2001 From: 24OI-bot <15963390+24OI-bot@users.noreply.github.com> Date: Mon, 26 Aug 2019 13:26:17 -0400 Subject: [PATCH] style: format markdown files with remark-lint --- docs/misc/cc-basic.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/misc/cc-basic.md b/docs/misc/cc-basic.md index 12f96e5f..ff8b3db5 100644 --- a/docs/misc/cc-basic.md +++ b/docs/misc/cc-basic.md @@ -53,7 +53,7 @@ coNP 类问题与 NP 类问题相反:NP 类问题是可以快速判断答案 - 3-SAT 问题:图着色问题、分团覆盖问题、三维匹配问题、背包问题、最大割、划分问题等 -显而易见的是,P 类问题一定既是 NP 问题,也是 coNP 问题(可以直接计算结果来与答案比较),但 P=NP? 是一个 **尚未解决** 的问题 。 +显而易见的是,P 类问题一定既是 NP 问题,也是 coNP 问题(可以直接计算结果来与答案比较),但 P=NP? 是一个 **尚未解决** 的问题。 ## Karp 归约、Cook-Levin 定理 -- 2.11.0