tar11-handout

tar11-handout - 11 Õ ÒÐ ebÜÞÞ eia eÝ igdÞ Ü eÞ...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 11 Õ ÒÐ ebÜÞÞ eia eÝ igdÞ Ü eÞ iÔeh Ð iÒd Ð eÐÕ Ò iÔeh Ð iÒd Ð bÖÒ L ′ ≤ p L L ′ ∈ NP ÐkÐÑ`dÝÛ NP ` id L :dÝ Û NP d ØÝ :Ñ iiÛÞÒÑ`dÒ ÐÝ NP ` id L :dÒÐÝ NP d ØÝ L ∈ NP dÝÛ NP ` id L P = NP f` L ∈ P Ñ` L dÝÛ NP d ØÝ ÐkÐ :d ÔÖh P = NP Ò "Ò` L ∈ P L dÒ ÐÝ NP d ØÝ ÐkÐ P ad Ôi`dÒ ÐÝ NP h ÜØa edÝÛ NP d ØÝ Ðk f` P negationslash = NP Ñ` :d ÔÛÕÒ dÝÛ NP L 2 Ñ bf` L 1 ≤ p L 2 edÝÛ NP ` id L 1 Ñ` :d ÔÖh iÔeh Ð iÒddÐ bÖÒdÞ iiÖa Û eiaÞÒ eÚÐkjÜÜa eÖdh eÝ ØÐ bÖÒ` ed iÔ eh Ð iÒd Ð bÖÒ G ×Ü bÜ eaÖ :dÜbd Þ g`Ñ ÖØÛ eiaÞÝÛ ÐkjÜÜa eÖdÜÐ ie` Ð bÖÒÒ Ð iad Ð Þ g`Ñ ÖØ iÔeh Ð iÒddÐ bÖÒdÞ iÖa G ×Ü b :h ÐÛ iÔ eh Ð iÒd Ð bÖÒÝ i G aÑ`d :h ÐØ Ñ iÔ eekÒ` ÐÑ iØÜ bÐ eÑ iÔ eekÒÑ iØÜ bÐ :Þ e`Õ Ü befd iÖaÐ :Þ eÒ i`ÞÒdÞ eØÝ d DHC = { G | ÓeekÒ iÔ eh Ð iÒd Ð bÖÒ eaÝ iÝ ÓeekÒ×Ü b G } HC = { G | ÓeekÒ` Ð iÔ...
View Full Document

This note was uploaded on 03/12/2011 for the course CS 236343 taught by Professor Bensasson during the Winter '11 term at Technion.

Page1 / 4

tar11-handout - 11 Õ ÒÐ ebÜÞÞ eia eÝ igdÞ Ü eÞ...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online