悦月直播免费版app下载 - 悦月直播app大全下载最新版本免费安装软件

關(guān)于在線性條件下NP≠P的證明

  • 打印
  • 收藏
收藏成功


打開文本圖片集

摘要：本文證明了邏輯公式中所含有的輯門的總個數(shù)是否可轉(zhuǎn)化為多項式的等價于邏輯公式中所含有的自由變元總次數(shù)是否可轉(zhuǎn)化為多項式的。從而利用邏輯公式中所含有的自由變元總次數(shù)，來判斷P類與NP類問題。針對NP中的類皇后問題Simqueen（n），證明了Simqueen（n）的在線性條件下非單調(diào)電路復(fù)雜度是不可能為多項式的，從而說明Simqueen（n）在線性條件下不是一個P類問題。（剩余1357字）

目錄
monitor