February 17th, 2009

moose, transparent

мимоходом (политическое)

Венесуэла дала Чавесу разрешение на третий срок (и четвертый, и сколько захочет).

Однозначное сравнение с Россией не вырисовывается. С одной стороны, Чавес получил-таки свой третий срок, а Путин и не пытался (несмотря на многочисленные петиции лизоблюдов). С другой стороны, российские выборы вылились в неприкрытый фарс и сегодняшний дуумвират. С третьей стороны, на первом референдуме по тому же вопросу два года назад венесуэльцы Чавеса прокатили - трудно представить, чтобы Путин мог попросить третий срок на референдуме и не получить. С четвертой стороны...
moose, transparent

о сложности, несколько ссылок

(эта запись может быть интересна людям, интересующимся математикой и информатикой)

1. Забавная пародия на многочисленные доказательства P?=NP (их, конечно, меньше создают, чем доказательств теоремы Ферма, но тоже хватает).

2. На днях прочитал обзорную статью, которую несомненно рекомендую всем математикам (и близлежащим), кто хочет получить представление о современной теории сложности (complexity theory):

Avi Widgerson, P, NP and Mathematics - a computational complexity perspective (PDF)

Очень хорошее изложение как начал, так и сути главных результатов последних 20 лет примерно (скажем, circuit complexity, the PCP theorem, proof systems итд.)

Если я смогу найти для этого время, мне бы хотелось разобраться во многом из того, о чем рассказывается в этой статье: в частности, в Natural Proofs и в док-ве PCP theorem.