Формулировки (в порядке легкого хвастовства)

[scholar_vit]

Сегодня gr_s похвалил мою формулировку. Чуть раньше о другой формулировке одобрительно отозвался leonid_b. Что интересно, у меня с обоими большие расхождения, но мои формулировки обоим нравятся.

Подумав, я понял, что это главная из нескольких вещей, которые я умею делать хорошо: взять носящуюся в воздухе идею и четко её сформулировать. Как писал анонимный рецензент об одной моей статье "with his characteristic lucidity...".

Вот ещё пример. Я был вчера на семинаре по квантовым компьютерам. Докладчик долго объяснял одну из проблем в этой области: измерение состояния разрушает состояние, поэтому нельзя делать, например, последовательные обращения к базам данных. Но это я так коротко излагаю -- он говорил долго и запутанно. Наконец я не выдержал и сказал (на этом семинаре все сидят кружком, и разрешается прерывать докладчика): "Ваша проблема в том, что каждый раз, посмотрев чей-то телефон, приходится сжигать телефонный справочник".

Наверное, именно поэтому я так люблю преподавание. Там умение хорошо формулировать очень на виду.

Update (с подачи lugovskaya):

Их либе ясность. Я. Их либе точность.

Comments

[ded-maxim.livejournal.com]

А что, докладчик никогда не слышал о quantum non-demolition measurements?

К слову: я был однажды на докладе Гровера (которого известный квантовый алгоритм поиска), и ему задали вполне разумный и сравнительно элементарный вопрос из области дифференциальной геометрии множества всех чистых состояний квантовой системы, на который он не только не смог ответить вразумительно, но еще создал у всех такое впечатление, что он не в полной мере владеет концептуальным аппаратом квантовой механики.

[scholar-vit.livejournal.com]

Докладчик слышал. Но для его целей это не подходило. Там есть тонкие вещи, почему так -- но пересказывать не буду, боюсь ошибиться. В работах вокруг алгоритма Гровера это подробно обсасывается.

[ded-maxim.livejournal.com]

Да, я помню, я видел нечто подобное в работах связанных с алгоритмом Гровера. Но практически все эти работы основаны на предположении, что оператор обращения к базе данных не зависит от времени (в частности, это предполагается в доказательстве оптимальности алгоритма Гровера).

[scholar-vit.livejournal.com]

Кстати, на самом деле вся работа докладчика была посвящена конструкции ещё одного non-demolition experiment. Довольно хитроумного: он создавал приблизительную копию системы и мерял её, а потом повторял это действо много раз, элиминируя ошибку.

У меня создалось впечатление, однако, что это не решает проблемы: если фиксировать требуемую точность, количество необходимых копий растет вместе с размером системы, и общее время решения приближается к классическому пределу. Но я тут не специалист.

[ded-maxim.livejournal.com]

Именно так. Число требуемых копий, при заданной наперед точности копирования, зависит от размера системы. Есть довольно строгие результаты, касающиеся ограничений точности копирования (абсолютно точное копирование, как известно, невозможно -- это элементарное следствие теории унитарных расширений необратимых квантовых эволюций), вот например:

http://arxiv.org/abs/quant-ph/9807010.

[scholar-vit.livejournal.com]

Ну да, ну да. У меня есть ощущение, что есть фундаментальная теорема о том, что то, чего хотят птенцы гнезда Гровера: много поисков по одной и той же БД за время меньше классического, -- просто невозможно.

[ygam.livejournal.com]

Тебя (мы на ты, да?) никогда не заклинивало при общении?

Мне вчера позвонил начальник одной из групп заказчиков, и я ему что-то долго объяснял про MarketplaceDataServer... после чего разговор зашел на другую тему, и до меня вдруг дошло, что то, что я ему говорил, относится к MarketplaceServices, и я поправился. А если бы не дошло?