Золотой билет. P, NP и границы возможного. Лэнс Фортноу

Чтение книги онлайн.

СКАЧАТЬ эффективных алгоритмов. Понимая, что для такого, в сущности, интуитивного понятия, как эффективность, подобрать полноценное формальное определение очень сложно, Эдмондс все-таки предлагает некий критерий. Он называет алгоритм эффективным, если тот находит решение за «алгебраическое» время, т. е. время, «алгебраически» зависящее от размера входных данных. Для 100 человек это может быть, к примеру, 100⁴, 100² или 100¹². В дальнейшем класс задач, для которых существуют такие алгоритмы, получил обозначение «P» – от слова «полиномиальный», заменившего эдмондсовское понятие «алгебраический». Таким образом, класс P представляет собой все многообразие задач, которые можно решить относительно быстро. Ну что ж – в споре «P против NP» мы выслушали мнение первой стороны.

      Конец ознакомительного фрагмента.

      Текст предоставлен ООО «ЛитРес».

      Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.

      Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.

      Примечания

      1

      Перевод: М. Барон, Е. Барон.

      2

      Мое число Эрдёша равно двум, поскольку у меня имеются совместные публикации с тремя его соавторами. В единицу оно уже вряд ли когда-нибудь превратится: Пал Эрдёш умер в 1996 году. Актерский опыт у меня отсутствует (талант, впрочем, тоже), так что мое число Бэйкона не определено.

iVBORw0KGgoAAAANSUhEUgAAAiEAAAC+CAMAAADUZi8KAAAAWlBMVEX+/v7a2tp7e3uwr6/19fVDQULs7Ozj4+NZWFjGxcVramvQ0NCXl5eKiYonJCW7u7uko6RCQECfnp+/vr4pJieenZ1bWVo+PDzS0tJXVVaIiIiampqzs7NlZGQGR68EAAASY0lEQVR4Xu2dh3brMI6GBfYuzWxv7/+aa3bKimPHRW74zrlXpsUkjvSHAEEKmFbAATm9DoiAykvcGxkO8Ol1QGgYIdOTWULEnjiLoEJ4iPjpRxBUiA4ZMQ0wOZ2ld30EqJBzfojY68KT6IWEEObUWgghjMa2h9Ts/JMccLETxFfpnKQqhGAeYKJQIdMAKXiaZcHSdQ/cienhiHAgfiLV9GJCRsdmh5A61LjY6ajrI0GFhI6OAjG1xeUuH8azcACyQiLEp58u1gqBcGA5dIr61a0rz198Z1AhtABrhajyJ8q95zv4j+Vupx/pkkKKLiVPaqhv0SkSlavKsMMmUpQhHvpB0VOlRSHTJFw8lma8San5YGy62+nA2SiHZWV4aHdqYZqzIkhVld7jg6JCypVW8TylydjscOHb4MGLhSPVYiSTMigkoVJv330U21yZe9tDVAgpxNuS22YIXEmgVO2gkKRCCgDJ7TyrkDlFX/Ow07umN2CcPhsS+ni4PYbNsXf4lC+crvjCs55qvRPM8VCZHsscRsQ5hbDkcsR/o5jYSiEidGj7LS47hs1xuvobvN0XnlMIIYTnv2PBU9vtYd5NGFnybdfVueBdIeNHHwzS0nyZbQiuA+KbxpDTyrh+DCltppKZWaJQRPlj3GHRzpCIiorIt13Vz+I3ChEhU5za7t2aqSM1JSqsIcsMbPoLONttrBVC8x2p3R7vpwbW//JtnsIaa008wkYhk2uLOKWrtv7nkBlsdaII1TBdBiqks7IyQaepAp/B7eCH1EhGf01Cx01bhYhmZHrXX8IhDOaF8LDCeGrF9CdQIR3O1nb88Yt2ehwdRLzts2pec1fI6LlwVt/3pjgwv8KAOhLWEHeF2UGFKCfaho1Afbr2O9ImKECpZad9WzcoR1KqxXQJ0tIsqA6/zuwgQvc79BSFnELm6bEdFPJXQNO9zA6yv0JIWTu6WiHdPXHkU2c7qBAONymkI7rZGWc7cnphEE0pFdMpZkLIIoauWzHdyewAmh3kjNnh0exMCHI029kG2aycBhAE9CbIRhxFLxbZBNnMxuxsgicImh2izgRPEATm5VzMHkEEnA+eIIj8IXjizgRPEAyeXOjFIhg8+cmLRdCL5ffxYhH0YhH0YtXtXiyCXiyCiAu8WAQB/UgvFkEvFsFYLJuuBkEvFsFY7PkdBQjGYs8/joGgF3t+XyyCXizui0XOP3x+zUPFCO6L3S7tIOjF4tNdyDUPFfvrvFgEl3YQ9GJ3WtpBcIMSgks7CCKuX9pBcGlnGkAYAOUh0Okh4NKOJoQsr5vOrAPTT4hWoMDipJg+ZFJM4zd6W4XoUDmpckx5csukWACkgoIA8i0VYsslcLOYNuDSzg37HfsA3fHwigpRpCJ/ro+n9IPEgZNiy8MR9PUUsv1MlhJCqKxDiGGwELLY6d7gpBhCYSsRZmnKk34pcqaUWraHQkCFjJHZh7Kkte8LTorTpVYzzIeDA01aUXXmQmZhzZXtCqL1rpnq4UoSElwX3ZGhJPhaf+FAcx/gIoUQmoDqdzS4jB2Uae1zCkUEXLpS3AtDsXxPaa3bMafyZRXyi0Lm2gF6f90VIsMvCmHqUoV0uK0V7oycIMmzdDAw6fi+m+4JToppDiF0hbDUtRQ81qBzZdMiHUOIGhRSdUTqTbMQe3HWFJKlCpIcqEXKdFXIEi5XSEeXuS2rApS5g6h6ZdNN4Erxv/2L2JS5qwppY3quiizK+2ZIw09XCiF1kNFJGUUTtiqEjhPU9av4na9SCGdJWqQVmJknUtts8w3DNSDsSCFiVIhKl3tp43X6ghMKmZsZagWKgFIKRSEy/KIQpsrJyz1VSHLX5Y1+qrfTCHe7QpCpoevcBYZjcJso1Y8KiTbGd1eArmdIJL7pTypkCUGZyxXSPVS6UYjr7XsrBMcQFiJzUUh1OO1lCvEhEDitkDmahFMKkbFFrlOIa+UOTRvKXGrzH78hzFSmzvmsVWSR0xpE1HqTjE0rlhJkS55pCdGabDUcVFgZwOVKIfFLxLFCBACIpBDFo/ROKcTEj3OhQupn0SrJuTs9IrYhHVQL7ojpBMKbsLD8RYpNExtmeIg7de2YCcfwIgQzReBAHWymQSEJWn3SpfZ37d104oRCIpxdrpARkSdOjk3CFGmQoU0uqh6vRJ6HLSgNuSgVAxRenSj3xJawhog6j5zLHVeTgHg0xwoxLfIBpb+Ml10WhXDxm0LsdJVCdFvKVcUC1kk3L/I+CwOdpl1Fby5wIqdvhbU6x6dhsyuF1Anxs6iDTjc7tghiPlaI7LExn8MdoQkm9zutED9doxBjp4jmPYIWkaq0lZwuRlJPYJpECxp6ar9LHLKMqByu2B/CfKgsRRCGHSlkGeLrjIREj9AGM/2iEC4uVoimlb6ZW8zEBONnVtpM+9jWbPo7Mw/Bs8lWUTNg0xcAPgTCpkl7feUOIu15qssMZQfazFq8Ix9ochYPR136J1noqbybF17jCzFtX9le6vD5CNkqgOfxSH2B1VHJf7gcAQDy6xfIHatLVVHIxNHpE5FUZI9RwXQFiCZpgXquVkd+1p5xUNm2s1lON4GUufOcffKPgdxtjwQCWqeJf1aKMIG46Y1h2kfX0d17pyliHTFimpZqdeb3fJBa1OmnYNMjQJjJ8TpX43JCvGNY/ZEgIPrq96R5PLwBooTVidpnwRKR1NGpWx3mCYXXDqs/RcoI8yptrTfV6lgQrxpWD8+RMMJYtTo6r0yR6YWQPazOpieCCJuszFKUYrny9lXC6mZ6GRC2EL6wfGO4OLTp07LQybmG1e30ciCQNyEwVa2O3FsfaTvgC4fVEQmsWh2bdmgZvXtYfXp5EDYvxB4OvFgdIMv8UKtTfVIfgn8j64KASRuURHvA9VG7LETU4vyOYXVE1Kg3F3m7tX5YWP19xYEwmKkYrA7lZGH3ESBVBKbJmo8IqyPSGz5Pk61WR1IrMKy+AakxWMtvSODIWsYDOX0iaHbqCKCmSZDAyd+sjnQ8jh2MfnRYHZGUeFmsjo9DgqdweVidTN8CstQnkYrVEb/oRMxpU/6XhdURIZLV6f6J+tl4SJP3GwgK0/eBCE2X8mxy8jK8cfM2rK6mbwdZSHriyVerYzVM1umkEAyrI+toB81uyr+WsLoUUwNBQEOKeiT4f/JA6DSCIGI2BGb37//xDydJsTpsoRqHEmQbVhcqBG5Lwlv29SYHaWH1rgMGrL45J/+Ef6nVQXpYPSdvWQM0TWiq1ZGeUDl9GsjtYXVBeHrmgVer8xVVvBGhS1idw3QZc+4szBdkeER6WN3+qWSZqFZHRsUY/3lWB7k9rC4WwufDoVodQT/T7GhyoL/y05dglxJWNzDdxpzTUsqWV1hOn0SvaiJ5S6P7+Qh+z7C6hGnIKxxVJz9QIYx/0xY794AUY2xeoj8iazZ7TZb5j8N5R08bLEmLAEDIsr9CatZ5/Q1hdQfTpBWPh4egTVoA1DVXFQN56a3o0J+TX1Gw+bvvrxC/EgjolJa5I+wfUophEpiWV1iVMjHydoX0eumGPUEhy/ipZh4SRNaCSUtui+NfhLyVOnqlsF1gQPMWxqwU5jmh529FtzJb5EII8foZfkhSp9tImYusEF7b7G0VIhznSzyQ3evRW68UDHmFLQXxq0vYsfQAvIKnOgpEpIady+QNkjQW61ofmmu/mxdRyNvsVs8x2P7QDWNnFEL5WIZjWzs5dGAPhUDVbVGCHsqTQO04FK2Ao2sergD5RSEuVLjsCmH8KQqpYcFWHS2e6AoxrVCfPamQcBXICYVUqwTgyw0oJ31YKYRSqvZQiF45FcxST1ToCll6ncQdFIIKaXZxri9kVYgdxozSneyhkDyiLWvz1xVCd1cIWhmZG/0BsNRm6kkKqQGz9oanYLtCXC+o2j9RV8gWO+R68SVotC9Cld/HijcLbxcgjLihdjJ5hkLGVZm6YjF3hah0zat21TmF9KCRH3K92GeF1d9fIb0Wavz3JIVMui4n1L12fKzNWe929aBq3b3zQSPK1rleYvuRME1c+kncwfTuCoFK8UNUCEtWRL0BOyokuyKkZCl1jq+KcRqq4oHm7sFdpJAOeNVyvfiS6+XBYXXG3neZfTVkTzJPLkNCsaYIHS/mjgoprsjSAiS8l СКАЧАТЬ