‫ﺗﻤﺮﯾﻦ ﺳﺮﯼ ﻫﺸﺘﻢ‬ ‫ﻃﺮﺍﺣ ﻭ ﺗﺤﻠﯿﻞ ﺍﻟ ﻮﺭﯾﺘﻢﻫﺎ‬

‫ﻣﻬﻠﺖ ﭘﯿﺸﻨﻬﺎﺩﯼ‪ ۱۸ :‬ﺩﯼ ‪۱۴۰۱‬‬ ‫ﻧﯿﻤﺴﺎﻝ ﺍﻭﻝ ﺳﺎﻝ ﺗﺤﺼﯿﻠ ‪۱۴۰۱−۱۴۰۲‬‬

‫ﺍﻟ ﻮﺭﯾﺘﻢ ﭼﻨﺪﺟﻤﻠەﺍﯼ ﻗﻄﻌ ﺑﺮﺍﯼ ﻣﺴﺌﻠﮥ ‪ 2SAT‬ﺍﺭﺍﺋﻪ ﺩﻫﯿﺪ‪.‬‬ ‫‪ .۱‬ﯾ‬

‫ﺍﻟ ﻮﺭﯾﺘﻢ ﭼﻨﺪﺟﻤﻠەﺍﯼ ﻏﯿﺮﻗﻄﻌ ﺍﺭﺍﺋﻪ ﺩﻫﯿﺪ‪.‬‬ ‫ﺍﺯ ﻣﺴﺎﺋﻞ ﺯﯾﺮ‪ ،‬ﯾ‬ ‫‪ .۲‬ﺑﺮﺍﯼ ﻫﺮ ﯾ‬
‫ﺁﺭﺍﯾﮥ ‪n‬ﺗﺎﯾﯽ ﺍﺯ ﺍﻋﺪﺍﺩ‪.‬‬ ‫)ﺁ( ﺍﻧﺘﺨﺎﺏ ‪ k‬ﮐﻮﭼ ﺘﺮﯾﻦ ﻋﻨﺼﺮ ﺩﺭ ﯾ‬
‫)ﺏ( ﻣﺴﺌﻠﮥ ﺩﻭﺭ ﻫﻤﯿﻠﺘﻮﻧ ‪.‬‬
‫)ﺝ( ﻣﺴﺌﻠﮥ ﮐﻮﻟەﭘﺸﺘ ‪.۱‬‬

‫‪ .۳‬ﺯﻧﺠﯿﺮﮤ ﺗﻘﻠﯿﻞﻫﺎﯼ ‪ ۲‬ﺯﯾﺮ ﺭﺍ ﺩﺭ ﻧﻈﺮ ﺑ ﯿﺮﯾﺪ‪:‬‬

‫‪3SAT ⪯p k − Clique ⪯p k − V ertexCover ⪯p SubsetSum‬‬

‫ﻧﻤﻮﻧﻪ ﺍﺯ ﻣﺴﺌﻠﮥ ‪ 3SAT‬ﺭﺍ ﺑﻪ ﺻﻮﺭﺕ ﺯﯾﺮ ﺩﺭ ﻧﻈﺮ ﺑ ﯿﺮﯾﺪ‪:‬‬ ‫ﻫﻤﭽﻨﯿﻦ ﯾ‬

‫) ‪ϕ = (x۲ ∨ x۳ ∨ x۴ ) ∧ (x۱ ∨ x۲ ∨ x۴ ) ∧ (x۲ ∨ x۳ ∨ x۵ ) ∧ (x۱ ∨ x۳ ∨ x۵‬‬

‫ﺗﺎﺑﻊ ‪ ϕ‬ﻭ ﺯﻧﺠﯿﺮﮤ ﺗﻘﻠﯿﻞﻫﺎﯼ ﺩﺍﺩﻩ ﺷﺪﻩ‪ ،‬ﻧﻤﻮﻧەﻫﺎﯾﯽ ﺑﺮﺍﯼ ﻣﺴﺎﺋﻞ ﺫﮐﺮ ﺷﺪﻩ ﺑﺴﺎﺯﯾﺪ‪.‬‬ ‫ﺑەﮐﻤ‬

‫‪1‬‬
‫‪0/1-knapsack‬‬
‫‪2‬‬
‫‪Reduction‬‬

‫ﺻﻔﺤﻪ ‪ ۱‬ﺍﺯ ‪۱‬‬ ‫ﭘﺎﯾﺎﻥ‪.‬‬