| NP ¿ÏÀü ¹®Á¦ | ¿©·¯ °¡Áö NP ¿ÏÀü¹®Á¦ | NP-¿ÏÀü¼º°ú º¯È¯¼º |

 

NP ¿ÏÀü ¹®Á¦

¡á ½¬¿î(tractable)¹®Á¦¿Í ¾î·Á¿î(untractable)¹®Á¦

  • ½¬¿î(tractable)¹®Á¦ : k°¡ »ó¼öÀÏ ¶§ O(Nk)ÀÇ ´ÙÇ×½Ä ½Ã°£ ¾Ë°í¸®ÁòÀÌ Á¸ÀçÇÏ´Â ¹®Á¦
  • ¾î·Á¿î(untractable)¹®Á¦ : ±× ¹®Á¦¸¦ ÇØ°áÇÏ´Â µ¥ ´ÙÇ׽Ľð£º¸´Ù ´õ ¸¹Àº ½Ã°£À» ¿ä±¸ÇÏ´Â ¹®Á¦

¡á NP ¿ÏÀü(Non-deterministic Polynomial-time Complete) ¹®Á¦

  • ´ÙÇ×½Ä ½Ã°£ ¾Ë°í¸®ÁòÀÌ ¾ÆÁ÷ ¸¸µé¾îÁöÁöµµ ¾Ê¾Ò°í, ±×·¯ÇÑ ¾Ë°í¸®ÁòÀÌ Á¸ÀçÇÏÁö ¾Ê´Â´Ù°í Áõ¸íµÇÁöµµ ¾ÊÀº ¹®Á¦ÀÌ´Ù. Áö±Ý±îÁö ±¤¹üÀ§ÇÑ ºÎ·ùÀÇ ¹®Á¦°¡ NP-¿ÏÀüÀÎ °ÍÀ¸·Î Áõ¸íµÇ¾úÀ¸¸ç, NP-¿ÏÀü ¹®Á¦ ÁßÀÇ ¾î´À ÇÑ ¹®Á¦¶óµµ ´ÙÇ×½Ä ½Ã°£ ¾Ë°í¸®ÁòÀÌ ¹ß°ßµÇ¸é ´Ù¸¥ ¸ðµç NP-¿ÏÀü ¹®Á¦µµ ´ÙÇ×½Ä ½Ã°£¿¡ Ç®¸± ¼ö ÀÖ´Ù. NP¿ÏÀü ¹®Á¦¿¡ ´ëÇÑ È¿À²ÀûÀÎ ¾Ë°í¸®ÁòÀº ¸î ½Ê³â¿¡ °ÉÃļ­ ¿¬±¸µÇ¾úÀ¸³ª ¾ÆÁ÷µµ È¿À²ÀûÀÎ ¾Ë°í¸®ÁòÀÌ ¹ß°ßµÇÁö ¾ÊÀº Á¡À¸·Î ¹Ì·ç¾î ´ëºÎºÐÀÇ ÇÐÀÚµéÀº NP-¿ÏÀü ¹®Á¦´Â ¾î·Á¿î ¹®Á¦ÀÏ °ÍÀ¸·Î ¹Ï°í ÀÖ´Ù.
  • µû¶ó¼­ Çö¸íÇÑ ¾Ë°í¸®Áò ¼³°èÀÚ¶ó¸é, ÀÏ´Ü NP-¿ÏÀü ¹®Á¦¸¦ ¸¸³ª¸é ±× ¹®Á¦¿¡ ´ëÇÑ Á¤È®ÇÑ Çظ¦ È¿À²ÀûÀ¸·Î ±¸ÇÏ´Â ¾Ë°í¸®Áò ¼³°èÇÏ´Â ³ë·ÂÀ» Æ÷±âÇÏ°í, ´ë½Å ±Ù»çÇظ¦ ±¸ÇÏ´Â È¿À²ÀûÀÎ ¾Ë°í¸®ÁòÀ» ¸¸µå´Â °ÍÀÌ º¸´Ù Çö½ÇÀûÀÌ´Ù.

¡á ÆÇÁ¤(decision)¹®Á¦¿Í ÃÖÀûÈ­(Optimization)¹®Á¦

  • ÆÇÁ¤¹®Á¦ : ¹®Á¦ÀÇ ÇØ°¡ ¿¹/¾Æ´Ï¿À·Î ³ª¿À´Â ÇüÅÂÀÇ ¹®Á¦
  • ÃÖÀûÈ­¹®Á¦ : ÃÖ¼ÒÄ¡³ª ÃÖ´ëÄ¡¸¦ ±¸ÇÏ´Â ÇüÅÂÀÇ ¹®Á¦
  • ¢º ¿ÜÆÇ¿ø ¹®Á¦

    - ÃÖÀûÈ­ ¹®Á¦ : °¡ÁßÄ¡°¡ ÀÖ´Â ¹æÇâ ±×·¡ÇÁ¿¡¼­, ÇÑ Á¤Á¡¿¡¼­ Ãâ¹ßÇÏ¿© ´Ù¸¥ ¸ðµç Á¤Á¡À» Á¤È®È÷ Çѹø¾¿¸¸ ¹æ¹®Çϸ鼭 Ãâ¹ßÁ¡À¸·Î µ¹¾Æ¿À´Â ÀÏÁÖ ¿©Çà °æ·Î Áß¿¡¼­ ÃÑ ¿©Çà°Å¸®°¡ ÃÖ¼Ò°¡ µÇ´Â °æ·Î¸¦ ±¸ÇϽÿÀ.

    - °áÁ¤ ¹®Á¦ : ¾î¶² ¾ß¼ö d°¡ ÁÖ¾îÁö°í, ÃÑ ÀÏÁÖ¿©Çà°Å¸®°¡ d¸¦ ³ÑÁö ¾Ê´Â °æ·Î°¡ ÀÖ´ÂÁö ¾ø´ÂÁö¸¦ °áÁ¤ÇϽÿÀ.

    ¢º 0-1 ¹è³¶Ã¤¿ì±â ¹®Á¦

    - ÃÖÀûÈ­ ¹®Á¦ : ¹è³¶¿¡ ³ÖÀ» ¾ÆÀÌÅÛÀÇ ¹«°Ô¿Í °¡Ä¡¸¦ ¾Ë°í ÀÖÀ» ¶§, ¿ë·®ÀÌ W°¡ µÇ´Â ¹è³¶¿¡ ¾ÆÀÌÅÛÀ» ÃÑ ÀÌÀÍÀÌ ÃÖ´ë°¡ µÇµµ·Ï ä¿ì½Ã¿À.

    - °áÁ¤ ¹®Á¦ : ¿ë·®ÀÌ W°¡ µÇ´Â ¹è³¶¿¡ ¾ÆÀÌÅÛÀ» ÃÑ ÀÌÀÍÀÌ ÃÖ¼ÒÇÑ P°¡ µÇµµ·Ï ä¿ï ¼ö ÀÖ´ÂÁö¸¦ °áÁ¤ÇϽÿÀ.