æ°ç¬ã¯é常㫠SAT ã«å¤æããããåé¡ã§ããå ¨é¨åèæç® *1 ã«è¼ã£ã¦ããå 容ã§ããããªãã¹ããããããã説æãã¦ã¿ã¾ããã¡ãã£ã¨é·ãã§ãã SAT ã¨ã¯ ã¾ã SAT ãããç°¡åã«èª¬æãã¾ãããã§ã« SAT ãç¥ã£ã¦ãã人ã¯ããã¯èªã¿é£ã°ãã¦ãã ããã å½é¡è«çå¼ã®å½¢ã®ä¸ã¤ã«ä¹æ³æ¨æºå½¢ã®ã¨ããã®ãããã¾ããå¤æ°ãå¤æ°ã®å¦å® (ãªãã©ã«ã¨è¨ãã¾ã) ã or ã ãã§ã¤ãªãã å¼ (ç¯ã¨è¨ãã¾ã) ã and ã ãã§ã¤ãªãã è«çå¼ã®ãã¨ãè¨ãã¾ããã¤ã¾ã以ä¸ã¿ãããªå½¢ã§ãã ( a1 or !a2 or ... or an) and ( b1 or !b2 or ... or !bn) and ... and (!z1 or z2 or ... or !zn)SAT ã¯ãa1 ã zn ãªã©ã®å¤æ°ã«ãã¾ã true ã false ãä»£å ¥ãã¦ãä¸ã®å¼å ¨ä½ã true ã«ã§ããããã¨ããåé¡
{{#tags}}- {{label}}
{{/tags}}