现在的位置: 首页 > 综合 > 正文

【NPC】6、3SAT规约到三维匹配

2013年02月20日 ⁄ 综合 ⁄ 共 24字 ⁄ 字号 评论关闭

 

一、问题描述

 

 

二、证明

 

 

 

 

 

 

 

 

 

 

 

抱歉!评论已关闭.