Магия слов и чисел

Ненависти псто: гуглозавр

2010-01-04T23:03:41Z

Меня удивляют люди, которые искренне полагают, что Google — корпорация добра и технологический лидер. Застрявший в середине 90-х дизайн с тошнотворными голубыми плашками и омерзительным Arial, криворукие библиотечки, какие-то жалкие потуги заменить годами оттачивавшиеся офисные инструменты наколенными поделками, неприкрытое и нахальное любопытство к конфиденциальным данным пользователей, тяжеловесный и совершенно неюзабельный GMail, так и не взлетевшие Wave и Knol, чуркоподобный переводчик — все это уже заставляет говорить как минимум о том, что Гугл это динозавр. Единственный нормальный проект Google, не являющийся тупой выдачей чужой информации — это V8, разработанный Ларсом Баком из датского филиала.

Не менее удивительно и то, что многие люди считают гуглопоисковик лучшим, хотя даже в поиске точной цитаты «все крупные состояния при капитализме нажиты нечестным и даже магическим путем» он оказывается совершенно несостоятельным. Чего уж говорить о морфологиях и синонимах! Так же эпично Google продувает Нигме и WolframAlpha соревнование за непосредственную выдачу ответа на введенный вопрос (т.н. колдунщик или oneliner).

Кажется парадоксальным и распределение ролей корпорации добра и империи зла в знаменитом споре Google vs. Microsoft.

Microsoft выпускает лучшую IDE и лучший компилятор C++, поддерживает исследования в области языков программирования, стандартизует .NET, открывает форматы файлов Office. Google бездарно клонирует Sourceforge, выплевывает невнятный и недоработанный Go и совершенно неудобоваримый C++ style guide, в котором мощнейший язык современности урезан до уровня Java.

Microsoft выводит свой R&D-отдел в лидеры в области computer vision, Google сокращает количество финалистов Code Jam в 20 раз.

Microsoft заботится об удобстве программиста, разрабатывает красивый и удобный интерфейс, выпускает стабильные операционные системы (Vista это тот же Windows ME, проигнорируем ее). Google шпионит за пользователями, рассказывая, что им нечего скрывать, добавляет Chrome в Ubuntu и называет это новой революционной ОС, усугубляет неприемлемость и тормознутость (зачем им понадобился свой браузер, ага) своих интерфейсов.

Microsoft прилагает титанические усилия, чтобы обеспечить безопасность пользователям, и стеснительно сообщает пользователям нелицензионных версий, что их, видимо, обманули. Google отказывается обналичивать чеки AdSense каждому второму, сует рекламу повсюду с назойливостью Mirabilis, полностью игнорирует загаживание интернета попапами и сплогами.

Так что ждем метеорит на разжиревшие гугловские датацентры, который разнесет в щепки устоявшееся мнение, что самая большая компания в интернете — флагман прогресса, а вовсе не неповоротливый бездушный монстр, давно утративший способность делать что-то хорошее и качественное.

С Новым Годом-2010!

2009-12-31T07:51:44Z

Стандартный новогодний отчет: события, фильмы, контесты, альбомы, книги, открытия, новости IT, составившие портрет этого года.

Побывал в Киевском планетарии. 21-му веку нужны новые планетарии, с БШ :)

Пост «Нужны ли миру гуманитарии». Славный троллинг вышел в топ Яндекса и доставил массу вкусной копипасты.

Пост «Большой монарх совершает прорыв», надеюсь, положил начало традиции сочинять что-то доброе и забавное на 1 апреля.

Попробовал на зуб ЗНО и изложил впечатления, резюмировав их во фразе «индекс лояльности».

Поучаствовал в Южной экспедиции и собираюсь повторить подобное мероприятие в 2010-м году.

Эксперименты с шаблонами дошли до реализации тьюринг-полной Brainfuck-машины. Выше только Абрахамс-Гуртовой и звезды :)

Попробовал себя в роли преподавателя. Оцениваю скорее как фэйл, но буду продолжать, и конспект лекций выложу.

Лучшие фильмы 2009-го: День рождения Алисы, Ангелы и демоны, Гарри Поттер и принц-полукровка.
Лучшие контесты года: RuCTF и TCO.

Лучшие альбомы года:

Delain — April Rain

Lunatica — New shores

Epica — Design Your Universe

Eternal Tears of Sorrow — Children of the Dark Waters

Открытия года:
сериал «Теория Большого Взрыва»;
музыкальные коллективы Draconian, Lacrimosa, Markize, Evenfall, Poets of the Fall;
игры World of Warcraft, King's Bounty, Braid;
книги Ник Горькавый «Астровитянка-2», Андрей Александреску «Современное проектирование на C++», Валерий Босс «Интуиция и математика».

Самые интересные вещи года в IT: D 2.0, Iterators must go, несостоявшийся C++09, PHP 5.3, v8cgi, бесплатная лицензия на Unreal Engine.

Всех с Новым Годом! :)

Дети, не учите PHP, часть 3

2009-12-30T09:26:05Z

Вчера моя программа на скорости 10.4 МБ/с завершила индексацию и хэширование моей скромной 828-гигабайтовой библиотечки, выплюнула 106-метровый csv-файл, 916 тысяч записей из которого были еще через пару минут добавлены в БД MySQL. Попутно с помощью MD5 оказалось, что 410 гигабайт у меня и лучшей библиотеки сканов Genesis общие. И немедленно встал вопрос об апдейте веб-оболочки для этого добра: просмотр папок, аннотаций, свойств файла, поиск дубликатов и прочая БШ-функциональность.

Наибольшее неудобство при просмотре таблицы с деревом файлов возникает при необходимости узнать путь к какому-нибудь файлу. Вариантов здесь два: либо использовать несколько последовательных селектов для выборки родителей, либо поместить их все в хранимую процедуру и вызывать ее. «Хранимые процедуры — это круто» — подумал я.

Статья по хранимым процедурам нагуглилась довольно легко, более того, в ней даже была моя задача. Тут следует заметить, что в ХП сформировать на выдачу массив, судя по всему, нельзя, так что решалась она через хак: в цикле создавалась строка с идами записей, разделенными запятой, после чего формировался SQL-запрос, в котором происходила выборка с условием IN (...).

CREATE PROCEDURE `path` (_id INT) BEGIN
SET @items := _id;
while _id > 0 DO
SELECT `id_parent` INTO _id FROM `files_20091228_1111` WHERE `id` = _id;
SET @items := CONCAT(@items, ",", _id);
END while;
SET @sql := CONCAT("select * from `files_20091228_1111` where `id` in (", @items, ") order by field(`id`, ", @items, ")");
prepare stmt FROM @sql;
execute stmt;
END;

Код довольно прост, разве что можно отметить order by field, который сортирует выдачу так, чтобы порядок следования идов и записей был одинаков.

Процедура работает, выдает то, что положено. Попробуем сравнить быстродействие с последовательными селектами.

ВНЕЗАПНО на mysql_fetch_assoc в другом конце кода вылезает ошибка "Commands out of sync; you can't run this command now". Гуглим и обнаруживаем, что это может быть в Си-программах, которые вызывают функции MySQL не в той последовательности. Чувствуем, как в воздухе разливается запах ~~гноя~~ багов — ведь в PHP о верности последовательности вызовов заботится интерпретатор, оборачивающий данные в PHP-массивы.

Продолжаем гуглить, включив ключевые слова «хранимые процедуры» и «PHP». Оказывается, что эта бага происходит оттого, что mysql_query с вызовом хранимой процедуры, если та возвращает таблицу с данными, как у нас, возвращает не один результат, а целых два: первый хранит саму таблицу, а второй индикатор успешности выполнения процедуры. MySQL API оказывается не в силах это осознать, и дальнейшие вызовы по отношению к результатам запросов валятся.

Стоит заметить, что почти все PHP-приложения используют именно MySQL API, а не невнятный MySQLi, в пользу этого свидетельствует хотя бы число гуглохитов: 1580к за mysql_connect против 37к за mysqli_connect. Однако воркараунды (использование mysqli_next_result) приводятся только для MySQLi. Читаем мануал: в PHP MySQL API никакого mysql_next_result нет и в помине.

Завершает феерию баг #39727 в багтрекере PHP, в котором жалуются на эту самую проблему. Багрепортер вопрошает: «а где же mysql_next_result, чтожеделатьтоаааа??». Ответ на это удручает неимоверно — Wont fix, use mysqli.

А вот тут предложили магически передавать в mysql_connect 5-м параметром магическую константу CLIENT_MULTI_STATEMENTS = 65536. Авторы утверждают, что тогда один вызов ХП на коннект работать будет, однако у меня этот совет не заработал.

Итак, пришлось переписать все на богомерзком MySQLi. Запускаем бенчмарк (100 рандомных записей), дабы узнать, наконец, насколько значительное преимущество даст нам вышеупомянутая битва с багами:

хранимые процедуры — 1.707 секунд;
пачка селектов — 0.234 секунд.

Занавес.

Поздравляю всех с моим 23-летием

2009-12-26T22:05:36Z

Сабж.

Попутно к «юбилею» подходит мой файл с заметками: 3991 заметка общим размером 4868213 байт. В нем встречается 102 тысячи разных слов, причем 42 тысячи чаще одного раза. Самое распространенное осмысленное слово — boost (более 1000 упоминаний) :) Причина этого в том, что я скопировал сообщение об ошибке, вызванной одним лишним символом в коде с использованием boost.bimap. Два самых распространенных русских существительных в моих заметках состоят из 5 букв и сообщают, чего я больше всего боюсь и что я больше всего люблю — ожидаю предположений о том, что бы это могло быть, в комментах :)

А еще на момент написания этого поста в моей уютной жэжэшечке 2971 комментарий, то есть она тоже подходит к своему юбилею и, надеюсь, с вашей помощью достигнет его еще в ~~этой пятилетке~~ этом году.

Ненависти псто: топсидеры

2009-12-23T19:38:16Z

А вот интересно, вспоминают ли топсидеры, что при раздаче каждого гигабайта, если на раздаче кроме них есть несчастные люди, у которых круглосуточная активная раздача затруднена провайдером (например, как у меня), они отнимают у этих несчастных людей возможность скачать 1 / 0.30 ~ 3.33 гигабайта?

А ТЫ помнишь векторный анализ?

2009-12-22T20:36:11Z

Сегодня я наткнулся на забавную головоломку.

Согласно формуле в Википедии,

Попробуем это проверить.

Это хорошо известная и простая формула для ротора. Возьмем от нее еще один ротор:

Как видим, получился довольно страшненький вектор, в каждой компоненте которого 4 слагаемых. Теперь посчитаем его по формуле из Википедии:

В каждой компоненте сокращается повторная частная производная и остается... 2 слагаемых!

Внимание, вопрос, уважаемые знатоки. Куда девались еще 2 слагаемых во второй формуле, либо откуда взялись 2 слагаемых в первой? Сразу отмечу, что они ненулевые.

Что это я юзал? Сервис http://l.wordpress.com/latex.php?latex=x&bg=ffffff&fg=000000&s=1 и самописный скриптик для быстрой генерации img-тэга.
Что это я слушаю? Замечательный melodic progressive metal.
Где я взял такое курево? Там его все равно уже нет :)
Есть ли что-нибудь попроще? В предыдущем посте уже 2 подсказки, пора бы и правильный ответ писать :)

Решено: the_aaa13 первым заметил, что лапласиан указан неверно. Хитрость состоит в том, что лапласиан обычно действует на скалярное поле и возвращает скалярное, а здесь он действует на векторное:

Как видим, здесь появляются по 2 потерянных слагаемых в каждой компоненте во второй формуле.

Призываю телепатов

2009-12-19T20:21:54Z

После длительного перерыва в пост вновь призываются телепаты. Хотя никому не составит труда узнать число 1.718281828459045..., для того, чтобы определить, откуда взялось число 0.6751984379111143419..., непременно понадобится помощь телепата.

Подсказка №1: В этом ЖЖ уже была угадайка, в которой фигурировали два иррациональных числа.

Подсказка №2: Константы Эйлера-Маскерони, Мертенса и Бруна убедительно показывают, что надо выкинуть из ряда, чтобы он начал, наконец, сходиться.

Решено: Почти сразу после написания поста mehas сообщил в аську, что это число можно найти, как последовательность его цифр, в справочнике Слоана под номером A100124. Он решил дать другим помучаться, и мучения эти завершились верным ответом shuffle_c.

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

(константа Эйлера-Маскерони, сумма по натуральным числам)

(константа Мертенса, сумма по простым числам)

(константа Бруна, сумма по простым близнецам)

Выкидываем из ряда для e−1 все составные числа и получаем

SRM 454

2009-12-07T00:30:58Z

Автор сета — Gluk. Контест, к сожалению, был почти целиком технический. Боги Топкодера, судя по всему, разгневались на меня, иначе чем объяснить тот факт, что последние 3 контеста у меня падали 250? Падение продолжается с одним перерывом аж с апреля, так что я уже примеряю зеленую форму лузера (привет, shuffle_c :)).

↓1282

div2 250
Найти наименьшее число в [A;B], которое по сумме цифр ближе всего к C. A,B,C до 1ккк, но B−A до 100к.

Ограничение на длину интервала позволяет нам просто перебрать все его числа.

class MinimalDifference {
public:
int digitsum(int n)
{
int res = 0;
while (n) { res += n % 10; n /= 10; }
return res;
}

int findNumber(int A, int B, int C) {
int res = A, mres = numeric_limits<int>::max();
for (int i = A; i <= B; ++i) {
if (abs(digitsum(i) - digitsum(C)) < mres) {
mres = abs(digitsum(i) - digitsum(C));
res = i;
}
}
return res;
}
};

div2 500
Найти, за какое минимальное число перестановок строк и/или столбцов можно (если можно) сделать в таблице букв n×n заданное слово из n разных символов по горизонтали или вертикали (n до 50).

Очевидно, что выстроить слово можно только тогда, когда в какой-то строке или столбце есть все нужные буквы. Переберем все такие строки и столбцы, посчитав для каждой количество нужных обменов непосредственным моделированием, и найдем минимум.

class WordsGame {
public:
int swaps(string a, string b)
{
int res = 0;
size_t n = a.length();
for (int i = 0; i < n; ++i) if (a[i] != b[i]) {
swap(a[i], a[a.find(b[i])]);
++res;
}
return res;
}

int minimumSwaps(vector <string> grid, string word) {
size_t n = word.length();
int res = numeric_limits<int>::max();
for (int i = 0; i < n; ++i) {
bool has = true; for (int j = 0; j < n; ++j) if (grid[i].find(word[j]) == string::npos) has = false;
if (has) res = min(res, swaps(grid[i], word));
string vword; for (int j = 0; j < n; ++j) vword.push_back(grid[j][i]);
has = true; for (int j = 0; j < n; ++j) if (vword.find(word[j]) == string::npos) has = false;
if (has) res = min(res, swaps(vword, word));
}
return res == numeric_limits<int>::max() ? -1 : res;
}
};

div1 250
Левоассоциативная операция ^^ над двумя числами преобразует их соответствующие цифры в (a_i ^ b_i) % 10. Найти N ^^ (N−1) ^^ ... ^^ 1. N до 1кк.

Ограничение на N позволяет вычислить ответ циклом от N до 1. До сих пор удивляюсь, что заставило меня написать цикл в другую сторону :)

class DoubleXor {
public:
int calculate(int N) {
int p10[] = {1, 10, 100, 1000, 10000, 100000, 1000000, 10000000};
int res = 0;
for (int i = N; i >= 1; --i) {
int nres = 0;
for (int z = 0; z < 8; ++z) {
nres += ((((i / p10[z]) % 10) ^ ((res / p10[z]) % 10)) % 10) * p10[z];
}
res = nres;
}
return res;
}
};

div2 1000 & div1 500
Спичками выложено число N до 10¹⁸−1 (как обычно, цифра до 7 спичек, только к единице снизу добавлена спичка). Сколько разных чисел (включая начальное) можно получить, переместив для получения каждого не более K спичек?

Представим, что у нас есть большая кучка спичек, а все операции сводятся к перемещению спички из числа в кучку и наоборот. Тогда одному ходу по условию будет соответствовать, например, только перемещение спички из кучки в число. Получим ДП [число обработанных цифр][количество оставшихся перемещений][количество спичек в кучке] = количество различных чисел. Тогда ответом будет являться сумма элементов массива, соответствующих всем обработанным цифрам и начальному количеству спичек в кучке (в реализации — 128). Легко посчитать, захардкодив внешний вид цифр, сколько спичек нужно снять, а сколько положить, чтобы из любой цифры получить любую. После этого будем пробовать сменить каждую цифру на любую.

Эту задачу я дебажил почти полчаса, ни на секунду не предположив, что неправильно считаю (логарифмом) количество цифр в N :)

long long dp[20][128][256];

class NumbersAndMatches {
public:
long long differentNumbers(long long N, int K) {
long long p10[19] = {1}; for (int i = 1; i < 19; ++i) p10[i] = p10[i-1] * 10;
memset(dp, 0, sizeof(dp));
dp[0][K][128] = 1;
int D = 0; for (long long n = N; n; ++D) n /= 10;

int digit[][7] = { {1,1,1,0,1,1,1},
{0,0,1,0,0,1,1},
{1,0,1,1,1,0,1},
{1,0,1,1,0,1,1},
{0,1,1,1,0,1,0},
{1,1,0,1,0,1,1},
{1,1,0,1,1,1,1},
{1,0,1,0,0,1,0},
{1,1,1,1,1,1,1},
{1,1,1,1,0,1,1}};

int add[10][10], del[10][10];
memset(add, 0, sizeof(add));
memset(del, 0, sizeof(del));
for (int i = 0; i < 10; ++i) for (int j = 0; j < 10; ++j) for (int k = 0; k < 7; ++k) {
add[i][j] += digit[j][k] > digit[i][k];
del[i][j] += digit[j][k] < digit[i][k];
}

for (int i = 0; i < D; ++i) {
for (int j = 0; j <= K; ++j) {
for (int k = -126; k <= 126; ++k) if (dp[i][j][k + 128]) {
int odigit = (N / p10[D-i-1]) % 10;
for (int ndigit = 0; ndigit < 10; ++ndigit) {
if (add[odigit][ndigit] <= j) {
dp[i+1]
[j - add[odigit][ndigit]]
[k + add[odigit][ndigit] - del[odigit][ndigit] + 128] += dp[i][j][k + 128];
}
}
}
}
}

long long result = 0;
for (int j = 0; j <= K; ++j) result += dp[D][j][128];
return result;
}
};

div1 1000
Таблица заполнена числами таким образом:

1	2	9	10	25
4	3	8	11	24
5	6	7	12	23
16	15	14	13	22
17	18	19	20	21

Для каждого числа X в таблице S(X) равно сумме всех элементов таблицы не ниже и не правее X. Дано число N (до 10ккк), найти сумму S(X) для всех X не ниже и не правее N по модулю 10⁹+7.

В итоговую сумму каждое X входит столько раз, сколько чисел внутри прямоугольника, образованного X и N. Если попытаться сложить эти произведения напрямую, получим TL, т.к. 10ккк это много. Но можно посчитать сумму сразу для какого-то участка таблицы, где числа идут в одном направлении — например, len чисел, начиная с числа from, которое находится на расстоянии dl строк и dc колонок от N, и которые идут в направлении (dirl; dirc). Сумма по номеру числа в последовательности от получившегося полинома 2-й степени легко складывается в закрытую формулу, вычисляемую за O(1), либо в Maple, либо почленно с использованием известных формул для сумм квадратов и первых степеней. После этого следует просуммировать каждый отрезок (их O(sqrt(N))) внутри квадрата, а потом дополнить до прямоугольника. Если внимательно проделать эту механическую работу, не забыв везде понатыкать long long и модуль, можно получить AC. На контесте с этим справились только 3 человека.

const int M = 1000000007;

class MegaSum {
public:
pair<long long, long long> loc(long long N)
{
long long layer = (long long) sqrt((double) (N - 1));
long long d = N - layer * layer;
if (layer % 2 == 1) return d <= layer ? make_pair(d - 1, layer) : make_pair(layer, layer - (d - layer - 1));
else return d <= layer ? make_pair(layer, d - 1) : make_pair(layer - (d - layer - 1), layer);
}

long long sumn2(long long n) { return (2*n*n*n+3*n*n+n) / 6 % M; }
long long sumn(long long n) { return (n*n+n) / 2 % M; }

long long sum(long long from, long long len, long long dl, long long dc, long long dirl, long long dirc)
{
++dl; ++dc;
if (dirl) { swap(dl, dc); swap(dirl, dirc); }
long long res = (long long) dl * ((-dirc * sumn2(len - 1) +
(((-from * dirc + dc) % M) * sumn(len - 1) % M) +
(from % M) * (dc * len % M)) % M) % M;
return res;
}

int calculate(long long N)
{
long long res = 0;
pair<long long, long long> ep = loc(N);
bool wide = ep.first < ep.second;
long long ns = min(ep.first, ep.second) + 1, ms = max(ep.first, ep.second) + 1;
for (long long i = 0; i < ns; ++i) {
res += sum(i*i+1, i+1, ep.first-(i%2?0:i), ep.second-(i%2?i:0), i%2?1:0, i%2?0:1) % M;
res += sum(i*i+i+2, i, ep.first-(i%2?i:i-1), ep.second-(i%2?i-1:i), i%2?0:-1, i%2?-1:0) % M;
res %= M;
}
for (long long i = ns; i < ms; ++i) {
if (wide) res += sum(i%2?i*i+1:(i+1)*(i+1)-ns+1, ns, i%2?ns-1:0, ms-i-1, i%2?1:-1, 0) % M;
else res += sum(i%2?(i+1)*(i+1)-ns+1:i*i+1, ns, ms-i-1, i%2?0:ns-1, 0, i%2?-1:1) % M;
res %= M;
}

return res % M;
}
};

В заключение упомяну об интересном факте: оказывается, вплоть до 1976 года было неизвестно, существуют ли непрерывно изгибающиеся многогранники без самопересечений. Оказывается, существуют :) Пока не доказано, что минимальным (9 вершин) многогранником с таким свойством является полиэдр Штеффена. Вот он на видео. Я склеил его для проверки — действительно, изгибается :) Самым интересным связанным результатом является теорема Сабитова, доказанная в 1996, из которой следует верность гипотезы «кузнечных мехов» о том, что объем любого изгибающегося многогранника постоянен. Примеры изгибающихся многогранников для пространств с размерностью 5 и выше еще не построены :)

Попутно отмечу, что мало что может сравниться по омерзительности с подключением GMP под виндой, даже если он уже собран. Дьявольские байты вызывают Access violation, не имеют .lib-файлов, нормального C++-враппера и всячески демонстрируют си головного мозга у создателей, какбе призывая образ ржавой секиры ужаса в мысли несчастных программистов.

Ну и запишу-ка я Evenfall в список открытий этого года, а Eternal Tears Of Sorrow c альбомом Children Of The Dark Waters в свой ежегодный топ музыкальных альбомов.

sharpc @ 2009-12-03T19:11:00

2009-12-03T17:11:59Z

Электрогитара мурчит под ласковыми пальцами.

Как решать сложные задачи

2009-11-28T23:12:20Z

Я придумал метод решения экспоненциально сложных задач (пусть N — число возможных ответов), ответ к которым просто проверить, для случая, если верна многомировая интерпретация квантовой механики фон Эверетта и принцип квантового бессмертия.

Нужно просто собрать машину, которая гарантированно убивает сидящего внутри человека, если тот отдает ей неправильный ответ на задачу. Человек квантово случайно генерирует ответ (например, с помощью радиоактивного распада) и отдает его машине. В N−1 вселенных машина убивает его, в одной оставшейся наблюдатель выходит из машины с правильным ответом. Согласно принципу квантового бессмертия, с точки зрения самого подопытного наблюдателя это будет выглядеть, будто он решил задачу с первого раза. Точка зрения внешних наблюдателей в большинстве вселенных будет «вот дурак».

Технически проблема состоит в том, что вероятность отказа машины должна быть меньше 1/N. Но если перед вами когда-нибудь возникнет подобная задача, ответ к которой вам дороже жизни, попробуйте этот метод. P = NP, но только для смельчаков!

SRM 453.5

2009-11-26T04:46:21Z

Это первый на моей памяти SRM с дробным номером: возник он ввиду технических проблем с SRM 453. Увы, я его проспал, и, как оказалось в practice room, напрасно — за 45 минут сдал две задачи, а еще через несколько часов, повтыкав в Петино решение, и 1000 :)

div2 250 (автор — andrewzta)
В векторе строки, в строках слова через пробел. Найти количество разных слов.

Даже не знаю, что бы я делал, если бы в C++ не было istringstream и set :)

class ToolsBox {
public:
int countTools(vector <string> need) {
set<string> tools;
for (size_t i = 0, len = need.size(); i < len; ++i) {
istringstream iss(need[i]);
while (!iss.eof()) { string s; iss >> s; tools.insert(s); }
}
return tools.size();
}
};

div2 500 & div1 250 (автор — connect4)
В лабиринте можно прыгать заданными способами. Найти количество прыжков до самой «дальней» клетки, либо −1, если есть недостижимые клетки.

Просто BFS.

class MazeMaker {
public:
int longestPath(vector <string> maze, int startRow, int startCol, vector <int> moveRow, vector <int> moveCol) {
size_t n = maze.size(), m = maze[0].length();
vector< vector<int> > dp(n, vector<int>(m, -1));
vector< pair<int, int> > wave, nwave;
wave.push_back(make_pair(startRow, startCol));
dp[startRow][startCol] = 0;
bool was;
int turn = 0;
do {
nwave.clear();
was = false;
for (size_t i = 0, len = wave.size(); i < len; ++i) {
for (size_t j = 0, len = moveRow.size(); j < len; ++j) {
int newr = wave[i].first + moveRow[j], newc = wave[i].second + moveCol[j];
if (newr < 0 || newr >= n || newc < 0 || newc >= m) continue;
if (maze[newr][newc] == '.' && dp[newr][newc] == -1) {
dp[newr][newc] = turn + 1;
nwave.push_back(make_pair(newr, newc));
was = true;
}
}
}
wave.swap(nwave);
++turn;
} while (was);

int result = 0;
for (size_t i = 0; i < n; ++i) for (size_t j = 0; j < m; ++j) {
if (maze[i][j] == '.') {
if (dp[i][j] == -1) return -1;
result = max(result, dp[i][j]);
}
}
return result;
}
};

div2 1000 (автор — Vasyl(alphacom))
Найти максимальное произведение элементов подпоследовательности длины k заданной последовательности (до 50 элементов из [−50; 50]) такой, что ее соседние элементы не дальше maxDist друг от друга.

Динамика [длина подпоследовательности][последний элемент подпоследовательности] = максимальное произведение; минимальное произведение; минимальный модуль произведения.
Минимальное произведение может стать максимальным, если попадется отрицательный множитель, поэтому его тоже надо считать. Если же в итоге среди максимальных произведений не окажется ни одного положительного, следует вернуть минимальное по модулю со знаком минус.

class TheProduct {
public:
long long maxProduct(vector <int> numbers, int k, int maxDist) {
size_t n = numbers.size();
vector< vector<long long> >
maxdp(k + 1, vector<long long>(n, numeric_limits<long long>::min())),
mindp(k + 1, vector<long long>(n, numeric_limits<long long>::max())),
minabsdp(k + 1, vector<long long>(n, numeric_limits<long long>::max()));
for (size_t i = 0; i < n; ++i) { mindp[1][i] = maxdp[1][i] = numbers[i]; minabsdp[1][i] = abs(numbers[i]); }
for (int step = 2; step <= k; ++step) {
for (size_t i = step - 2; i < n; ++i) {
for (size_t next = i + 1, end = min(n - 1, i + maxDist); next <= end; ++next) {
maxdp[step][next] = max(maxdp[step][next], max(maxdp[step - 1][i] * numbers[next], mindp[step - 1][i] * numbers[next]));
mindp[step][next] = min(mindp[step][next], min(maxdp[step - 1][i] * numbers[next], mindp[step - 1][i] * numbers[next]));
minabsdp[step][next] = min(minabsdp[step][next], abs(minabsdp[step - 1][i] * numbers[next]));
}
}
}
long long result = *max_element(maxdp[k].begin(), maxdp[k].end());
return result < 0 ? -*min_element(minabsdp[k].begin(), minabsdp[k].end()) : result;
}
};

div1 450 (автор — misof)
Планарные графы (не обязательно связные) стоят V³+E² золотых. Нужно набрать их точно на N золотых (до 50к), закупив минимальное число; разрешается покупать несколько графов одного вида.

Классическая задача на оплату минимальным количеством монет, решается ДП [стоимость] = минимальное количество графов. Чтобы получить цены планарных графов, следует вспомнить формулу Эйлера В + Г − Р = 2 для выпуклых многогранников и планарных графов и сообразить, что в планарном графе максимальное количество ребер когда все грани имеют по 3 ребра. Тогда V + 2E/3 − E = 2, откуда E = 3(V − 2). Если в графе больше ребер, он не планарный. Если столько, то планарные графы существуют (например, треугольник, к которому для каждой добавляемой вершины к каждой вершине треугольной оболочки присоединяют по ребру), хотя существуют и непланарные, например, граф Петерсена.

class PlanarGraphShop {
public:
int bestCount(int N) {
const int M = 50000;
vector<int> dp(M + 1);
for (int v = 1; v * v * v <= N; ++v) {
for (int e = 0; e <= max(v - 1, 3 * v - 6); ++e) {
int cost = v * v * v + e * e;
for (int i = 0; i <= min(cost, N - cost); ++i) {
for (int c = 1; i + cost * c <= N; ++c) {
if (dp[i + cost * c] > dp[i] + c || dp[i + cost * c] == 0) dp[i + cost * c] = dp[i] + c;
}
}
}
}
return dp[N];
}
};

div1 1000 (автор — Vasyl(alphacom))
Счастливое число состоит только из 4 и 7. Почти счастливое делится на счастливое. Найти количество почти счастливых чисел в [a;b] (числа до 10ккк).

Найдем количества не делящихся на счастливые числа чисел в [1;x] с помощью формулы включения-исключения. Отметим, что конъюнкция делимостей на набор чисел равносильна делимости на НОК этого набора. К счастью, нам не придется перебирать все 2²⁰⁴⁶ подмножеств, потому что НОК большинства из них гораздо больше 10ккк. К тому же, из набора можно убрать кратные числа (типа 4747), не привносящие ничего нового, и полученный набор отсортировать по убыванию (этого грязного хака я не понял, буду рад, если кто-нибудь объяснит). Тогда рекурсия, принимающая текущий НОК набора и номер его последнего элемента заходит в TL.

class TheAlmostLuckyNumbers {
public:
static const long long M = 10000000000LL;
vector<long long> lucky;
size_t nlucky;

long long gcd(long long a, long long b)
{
while (a && b) { if (a > b) a %= b; else b %= a; }
return a + b;
}

long long lcm(long long a, long long b)
{
long long d = a / gcd(a, b);
return ((double) M / d > b) ? d * b : numeric_limits<long long>::max();
}

TheAlmostLuckyNumbers()
{
vector<long long> prelucky;
gen(prelucky, 0);
sort(prelucky.begin(), prelucky.end());
for (size_t i = 0, j, len = prelucky.size(); i < len; ++i) {
for (j = 0; j < i; ++j) if (prelucky[i] % prelucky[j] == 0) break;
if (j == i) lucky.push_back(prelucky[i]);
}
sort(lucky.begin(), lucky.end(), greater<long long>());
nlucky = lucky.size();
}

void gen(vector<long long>& res, long long n)
{
res.push_back(n * 10 + 4);
res.push_back(n * 10 + 7);
if (n < M / 100) gen(res, n * 10 + 4);
if (n < M / 100) gen(res, n * 10 + 7);
}

long long inclexcl(long long a, long long clcm = 1, int last = -1)
{
long long result = a / clcm;
for (size_t i = last + 1; i < nlucky; ++i) {
long long nlcm = lcm(clcm, lucky[i]);
if (nlcm <= a) result -= inclexcl(a, nlcm, i);
}
return result;
}

long long count(long long a, long long b) {
return (b - inclexcl(b)) - (a - 1 - inclexcl(a - 1));
}
};

Дописывая этот пост, я стал свидетелем презанятнейшего явления — вспышки «Иридиума». Это ярчайшее звездоподобное явление (до −9.5^m), даже ярче сверхновой 1054 года (−6^m), которое, увы, длится недолго, всего несколько секунд. Его суть состоит в том, что один из 66 спутников космической связи «Иридиум» ВНЕЗАПНО отражает солнечный свет своей антенной, и тот попадает наблюдателю прямо в глаз.

Выглядело это примерно так: в серо-голубом предрассветном небе, в котором уже не было видно ни одной звезды, вдруг появилась удивительно яркая, быстро движущаяся звездочка (−7^m), и за 3-4 секунды погасла. К счастью, сегодня было две вспышки подряд, разделенные интервалом 9 минут, потому что я чуть не пропустил первую, ошибившись с северным направлением градусов на 15. Товарищ shuffle_c предложил замечательное использование явлению: дарить звезды любимым девушкам, вооружившись расписанием вспышек для вашей местности :)

А еще швейцарский коллектив Lunatica в этом году пополнил замечательный список из групп Delain, Edenbridge, After Forever, Эпидемия, Theatre of Tragedy, Rhapsody of Fire и Ayreon, последние альбомы которых сильно превосходят предыдущее творчество. На их нетленке New Shores замечательна каждая композиция. Голландцы Epica тоже весьма порадовали альбомом Design Your Universe, но он, увы, не стал прыжком вперед.

У нее тоже есть имя!

2009-11-23T14:00:22Z

Среди четырех ярчайших звезд с отрицательной видимой звездной величиной фигурируют Сириус, Канопус и Арктур. А вот четвертую, несмотря на то, что ее тройная система находится ближе к Солнцу, чем любая другая звезда, называют всегда по букве — α Центавра. Но у нее тоже есть имя — Толиман!

Тайна чабреца

2009-11-19T13:11:07Z

Существует старинное поверье, согласно которому человек, посадивший чабрец у себя в саду, непременно встретит эльфов – привлеченные пряным свежим ароматом душистой травы, они поспешат в дом, готовые исполнить любое заветное желание…

Оказывается, достаточно просто посадить чабрец!

sharpc @ 2009-11-07T20:01:00

2009-11-07T18:01:46Z

С праздником!

Хелловорлд на C++

2009-10-18T11:04:44Z

Кажется, я переплюнул Master Programmer из древнего бояна :) Подготовленный читатель без труда сообразит, реализация чего на няшных шаблончиках^{обожание!} приведена под катом.

#include <iostream>
#include <vector>
#include <string>

using namespace std;

// L - compile-time список символов
template<char Head = 0, typename TTail = void> struct L {
struct head { static const char value = Head; };
struct tail { typedef TTail type; };
// Элемент списка
template<int N> struct item { static const char value = TTail::item<N-1>::value; };
template<> struct item<0> { static const char value = Head; };
// Длина списка
struct length { static const int value = 1 + TTail::length::value; };
// Префикс
template<int N> struct prefix { typedef typename L<Head, typename TTail::prefix<N-1>::type> type; };
template<> struct prefix<0> { typedef L<> type; };
// Суффикс
template<int N> struct suffix { typedef typename TTail::suffix<N-1>::type type; };
template<> struct suffix<0> { typedef L<Head, TTail> type; };
// Размещение в заданной позиции заданного символа
template<int Pos, char N> struct place { typedef L<Head, typename TTail::place<Pos-1, N>::type> type; };
template<char N> struct place<0, N> { typedef L<N, TTail> type; };
};
// Пустой список
template<> struct L<0, void> {
struct length { static const int value = 0; };
template<int N> struct prefix { typedef L<> type; };
template<int N> struct suffix { typedef L<> type; };
};

// Reverse - обращение списка
template< typename TList, typename TCurrent = L<> > struct Reverse {
typedef typename Reverse< typename TList::tail::type, L<TList::head::value, TCurrent> >::type type;
};
template<typename TCurrent> struct Reverse< L<>, TCurrent > { typedef TCurrent type; };

// TapeHelper расширяет Tape влево или вправо в зависимости от того, какой индекс на ленте потребовался
template<template<typename, int, int> class TTape, typename TTapeList, int TapeZeroPtr, int TapePtr, bool ExtendLeft, bool ExtendRight> struct TapeHelper { };
template<template<typename, int, int> class TTape, typename TTapeList, int TapeZeroPtr, int TapePtr> struct TapeHelper<TTape, TTapeList, TapeZeroPtr, TapePtr, false, false> {
typedef TTape<TTapeList, TapeZeroPtr, TapePtr> type;
};
template<template<typename, int, int> class TTape, typename TTapeList, int TapeZeroPtr, int TapePtr> struct TapeHelper<TTape, TTapeList, TapeZeroPtr, TapePtr, true, false> {
typedef typename TapeHelper<TTape, L<0, TTapeList>, TapeZeroPtr + 1, TapePtr, TapeZeroPtr + 1 + TapePtr < 0, false>::type type;
};
template<template<typename, int, int> class TTape, typename TTapeList, int TapeZeroPtr, int TapePtr> struct TapeHelper<TTape, TTapeList, TapeZeroPtr, TapePtr, false, true> {
typedef typename TapeHelper<TTape, typename Reverse< L<0, typename Reverse<TTapeList>::type> >::type, TapeZeroPtr, TapePtr, false, TapeZeroPtr + TapePtr >= TTapeList::length::value + 1>::type type;
};

// Tape содержит ленту, указатель на нулевой элемент и указатель на текущий элемент
template< typename TTapeList = L< 0, L<> >, int TapeZeroPtr = 0, int TapePtr = 0 > struct Tape {
struct current { static const char value = TTapeList::item<TapeZeroPtr + TapePtr>::value; };
// Сдвиг указателя на текущий элемент влево или вправо
template<int S> struct shift {
typedef typename TapeHelper<::Tape, TTapeList, TapeZeroPtr, TapePtr + S,
TapeZeroPtr + TapePtr + S < 0, TapeZeroPtr + TapePtr + S >= TTapeList::length::value
>::type type;
};
// Размещение в текущей позиции нужного символа
template<char N> struct place {
typedef Tape< typename TTapeList::place<TapeZeroPtr + TapePtr, N>::type, TapeZeroPtr, TapePtr > type;
};
};

// If возвращает целое значение True или False в зависимости от условия Condition
template<bool Condition, int True, int False> struct If { };
template<int True, int False> struct If<true, True, False> { static const int value = True; };
template<int True, int False> struct If<false, True, False> { static const int value = False; };

// FindNestedExit ищет сдвиг, по которому расположена закрывающая скобка соответствующего уровня вложенности
template<typename TList, char Entrance = '[', char Exit = ']', int Depth = 0> struct FindNestedExit {
static const int value = 1 +
FindNestedExit<
TList::tail::type, Entrance, Exit,
If<TList::head::value == Entrance, Depth + 1, If<TList::head::value == Exit, Depth - 1, Depth>::value>::value
>::value;
};
template<typename TListTail, char Entrance, char Exit> struct FindNestedExit<L<Exit, TListTail>, Entrance, Exit, 1> {
static const int value = 0;
};

// BFnext сообщает позицию следующего символа кода в зависимости от текущего и ленты
template<char CodeCur, char TapeCur, typename TCode, int CodePtr> struct BFnext { static const int value = CodePtr + 1; };
template<typename TCode, int CodePtr> struct BFnext<'[', 0, TCode, CodePtr> {
static const int value = CodePtr + FindNestedExit<TCode::suffix<CodePtr>::type>::value + 1;
};
template<char TapeCur, typename TCode, int CodePtr> struct BFnext<']', TapeCur, TCode, CodePtr> {
static const int value = CodePtr - FindNestedExit< Reverse<TCode::prefix<CodePtr + 1>::type>::type, ']', '[' >::value;
};

// BFperform_no_(i|o|io|tape) указывает на то, что не производится изменения входа/выхода/ленты
template<typename TInput> struct BFperformer_no_i { struct input { typedef TInput type; }; };
template<typename TOutput> struct BFperformer_no_o { struct output { typedef TOutput type; }; };
template<typename TInput, typename TOutput> struct BFperformer_no_io : BFperformer_no_i<TInput>, BFperformer_no_o<TOutput> { };
template<typename TTape> struct BFperformer_no_tape { struct tape { typedef TTape type; }; };

// BFperformer осуществляет действие над лентой, входом и выходом в зависимости от текущего символа кода
template<char CodeCur, typename TTape, typename TInput, typename TOutput> struct BFperformer : BFperformer_no_io<TInput, TOutput>, BFperformer_no_tape<TTape> { };
template<typename TTape, typename TInput, typename TOutput> struct BFperformer<'+', TTape, TInput, TOutput> : BFperformer_no_io<TInput, TOutput> {
struct tape { typedef typename TTape::place<TTape::current::value + 1>::type type; };
};
template<typename TTape, typename TInput, typename TOutput> struct BFperformer<'-', TTape, TInput, TOutput> : BFperformer_no_io<TInput, TOutput> {
struct tape { typedef typename TTape::place<TTape::current::value - 1>::type type; };
};
template<typename TTape, typename TInput, typename TOutput> struct BFperformer<'<', TTape, TInput, TOutput> : BFperformer_no_io<TInput, TOutput> {
struct tape { typedef typename TTape::shift<-1>::type type; };
};
template<typename TTape, typename TInput, typename TOutput> struct BFperformer<'>', TTape, TInput, TOutput> : BFperformer_no_io<TInput, TOutput> {
struct tape { typedef typename TTape::shift<1>::type type; };
};
template<typename TTape, typename TInput, typename TOutput> struct BFperformer<',', TTape, TInput, TOutput> : BFperformer_no_o<TOutput> {
struct tape { typedef typename TTape::place<TInput::head::value>::type type; };
struct input { typedef typename TInput::tail::type type; };
};
template<typename TTape, typename TInput, typename TOutput> struct BFperformer<'.', TTape, TInput, TOutput> : BFperformer_no_i<TInput>, BFperformer_no_tape<TTape> {
struct output { typedef typename Reverse< L<TTape::current::value, typename Reverse<TOutput>::type> >::type type; };
};

// BFrunner преобразовывает тип-состояние (код-указатель на код-лента-вход-выход) пока указатель на код не выйдет за его пределы
template<typename TCode, int CodePtr, typename TTape, typename TInput, typename TOutput = L<>, bool Stop = false> struct BFrunner {
class output {
typedef BFperformer<TCode::item<CodePtr>::value, TTape, TInput, TOutput> performer_t;
static const int nextCode = BFnext<TCode::item<CodePtr>::value, TTape::current::value, TCode, CodePtr>::value;
public:
typedef typename BFrunner<
TCode,
nextCode,
typename performer_t::tape::type,
typename performer_t::input::type,
typename performer_t::output::type,
nextCode >= TCode::length::value
>::output::type type;
};
};
template<typename TCode, int CodePtr, typename TTape, typename TInput, typename TOutput> struct BFrunner<TCode, CodePtr, TTape, TInput, TOutput, true> {
struct output { typedef TOutput type; };
};

// BF - оболочка над интерпретатором Brainfuck
template<typename TCode> struct BF {
template<typename TInput> struct parse {
typedef typename BFrunner<TCode, 0, Tape<>, TInput>::output::type type;
};
};

// visualise отображает тип-список символов как строку
template<typename TOutput> string visualise() { return string(1, TOutput::head::value) + visualise<TOutput::tail::type>(); }
template<> string visualise< L<> >() { return ""; }

int main()
{
typedef
L<'+', L<'+', L<'+', L<'+', L<'+', L<'+', L<'+', L<'+', L<'+', L<'+',
L<'[', L<'>', L<'+', L<'+', L<'+', L<'+', L<'+', L<'+', L<'+', L<'>',
L<'+', L<'+', L<'+', L<'+', L<'+', L<'+', L<'+', L<'+', L<'+', L<'+',
L<'>', L<'+', L<'+', L<'+', L<'>', L<'+', L<'<', L<'<', L<'<', L<'<',
L<'-', L<']', L<'>', L<'+', L<'+', L<'.', L<'>', L<'+', L<'.', L<'+',
L<'+', L<'+', L<'+', L<'+', L<'+', L<'+', L<'.', L<'.', L<'+', L<'+',
L<'+', L<'.', L<> > > > > > > > > > > > > > > > > > > > > > > > > > >
> > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > >
> hello_t;
cout << visualise<BF<hello_t>::parse<input_t>::type>() << endl << endl;
}

На тот случай, если кто-то захочет поиграться, но писать списки символов ручками будет лень, поделюсь скриптом:

<textarea cols="80" rows="10" id="text">+++++[>+++++<-]>[>+++>++++<<-]>---.>+.+++++++..+++.</textarea><br />
<textarea cols="80" rows="10" id="out"></textarea><br />
<button onclick="document.getElementById('out').value = transform(document.getElementById('text').value);">Transform!</button>

<script>
function transform(text) {
var res = '';
for (var i = 0; i < text.length; ++i) res += "L<'" + text.charAt(i) + "', ";
res += 'L<>';
for (var i = 0; i < text.length; ++i) res += ' >';
return res;
}
</script>

Fight the C3200!

2009-10-16T13:33:31Z

Исправив ошибку в этом коде:

template<template<int> class TB, int X> struct A { typedef typename TB<X ^ 1> type; };
template<int X> struct B { typedef typename A<B, X>::type type; };

и отметив, что я потратил на нее примерно час, вы легко посчитаете мою производительность в КБ/сек :)

Решено: верный ответ по аське дал _denplusplus_. Ошибка возникает из-за того, что B в типе A<B, X>::type внутри области видимости struct B означает B<X> (14.6.1.2). A получает первым аргументом шаблона не шаблон, а его специализацию, и закручинивается. Для решения этой проблемы достаточно выйти из области видимости struct B, например, написав ::B.

template<template<int> class TB, int X> struct A { typedef typename TB<X ^ 1> type; };
template<int X> struct B { typedef typename A<::B, X>::type type; };

Не делайте этого дома

2009-10-16T10:20:13Z

А что будет, если взять провод с вилками с обоих концов и вставить его в две розетки одновременно?

Число хэшей с прообразами

2009-09-20T14:17:56Z

MD5-хэшей 2¹²⁸ штук. Сколько из них имеет прообразы?

Телепатические ответы

2009-09-17T08:49:01Z

Прошло почти 5 месяцев со дня публикации последней задачки на телепатию, думаю, стоит опубликовать ответы.

Кто желает в последний раз попробовать свои ментальные силы, смотрите этот пост, остальные — добро пожаловать под кат.

1. Вновь телепатия. Что изображено на картинке?

Ближе всех к ответу была common_racoon. На картинке разными цветами обозначены области на целочисленной комплексной плоскости, представимые разным количеством цифр (от 1 до 16) в двоичной системе счисления с основанием i−1.

2. Геометрический тервер. В единичный квадрат равномерно случайно накидали N точек. Построили по ним триангуляцию Делоне. Накидали еще N точек равномерно случайно. Треугольники, в которые попала хотя бы одна из точек, закрасили. Найти матожидание (а лучше распределение) закрашенной площади при N → ∞.

Эту задачу я не решил, ограничившись рассмотрением случая треугольной и квадратной сетки. Несложно посчитать, что в обоих случаях искомая площадь стремится к e^−0.5. Полагаю, что это верно для любого случая, и предоставляю возможность это доказать заинтересованному читателю.

3. Энтомология. Красим таблицу Менделеева. Последовательность элементов таблицы Менделеева задается в текстовом файле, скрипт оттуда все считывает, нумерует, выдает в таблицу и раскрашивает, как положено. Раскрашивать удобнее всего стилями. Для начала пригодится стиль для ячейки с элементом elem, стиль с именем самого элемента, например Hf и стили, согласно которым ячейки будут помечаться цветом — s, p, d, f, согласно электронной конфигурации элемента. Класс элемента вычисляется такой функцией:

function spdf($n)
{
$inert = array(0, 2, 10, 18, 36, 54, 86, 118, 164);
$i = 0; $full = $i;

while ($inert[$i] <= $n) $full = $i++;

$pi = $inert[$full]; $ni = $inert[$full + 1];

if($n == $pi) return "p";
if($n - $pi < 3) return "s";
if($ni - $n < 6) return "p";
if($ni - $n < 16) return "d";

return "f";
}

Но вот беда: в итоговой таблице все-все элементы выводятся верно (своими цветами, на своих местах), кроме фтора. (На самом деле еще гелий по ошибке был записан в p-элементы).

Ближе всех к ответу были 15v и maximkat. Проблема была в том, что стили CSS регистронезависимые, и названия элементов S (сера), P (фосфор) и F (фтор) пересекались с названиями классов s, p и f. Но это не все, потому что неверно отображался только фтор. Второй шаг к ответу заключался в том, что стили применяются и перекрывают друг другу в порядке описания, если не указан атрибут !important. S, P и F — p-элементы, но только у фтора стиль его названия перекрыл стиль его электронного класса.

4. ...И тормознул крутейший массив. В языке PHP одним из самых широко используемых типов данных является массив. Массив в PHP ассоциативный, позволяет сопоставлять строковому или целочисленному ключу произвольное значение. Я сгенерировал два ассоциативных массива одного размера, с одинаковыми значениями: все ключи в них — строковые, с длиной строки 6 символов. Однако тысячекратная сумма элементов первого массива вычисляется 1.148 секунд, а второго 26.928 секунд.

Ближе всех были e_maxx_wasm и palindromer. Ассоциативный массив в PHP это открытая хэш-таблица с хэш-функцией hash(i) = hash(i-1) * 33 + str[i]. Подобрать коллизии к ней несложно, что я и сделал.

5. Телепатия против 24 байт. 4A 89 9E 4E 18 A7 82 C0 2B 78 17 AD B5 EA CB 79 FB 54 9E B7 9A 77 EF BE
В них сокрыто известное любителям криптографии сообщение. Для получения сообщения над этими 24 байтами нужно произвести ровно одно действие.

Теплее всех были предположения mehas и secondary_tea. Для получения сообщения надо эти 24 байта base64-закодировать. Получится SomeThingsAreBetterLeftUnread+++ — намек на скрытое сообщение распределенно забрутфорсенного проекта RC5-64.

6. Мы ищем телепатов. Что изображено на картинке?

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

Единственное отдаленно теплое предположение высказал 15v. Стихотворная подсказка легко гуглится, ключ в ней:
Смотрю я на небо в роздых,
и видится мне в простоте,
что разные люди, как звезды.
на разной горят высоте.
И каждый по-своему светит,
свершая неблизкий свой путь.
В миры одинокие эти
так хочется мне заглянуть...
Каждая звезда это мой френд (на момент написания поста): зеленые — взаимные, синие — зафрендившие меня, красные — зафренженные мной. Координаты — количество зафрендивших / количество зафренженных. Пересечением двух линий отмечен я.

Scratch и диаграммы Насси-Шнейдермана

2009-09-09T05:26:49Z

В игрушечном языке программирования Scratch используются мои любимые диаграммы Насси-Шнейдермана (смерть блок-схемам!).

Нашел я упоминание о нем в очень светлоджедайской статье на Хабре «Classmate/OLPC лагерь». Автор статьи задается вопросом «Будут ли отличаться от своих сверстников дети, которым показали, что работать и создавать — это приятно и интересно?». В качестве ответа на него приведу аббревиатуру МАН и посетую на количество участников.

А вот при чем здесь этот фрукт и аббревиатура БШ, поймут немногие :)

Как сделать рынок лучше

2009-09-08T06:33:19Z

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

Между тем, существует очень простое и элегантное решение, повсеместное внедрение которого почти полностью решит проблему банкротства и рисков бизнеса. Это страхование наемными работниками прибыли нанимателя.

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

На первый взгляд такой метод кажется неожиданным и даже может вызвать реакцию «платить за устройство на работу? никогда!». Но следует заметить, что такая система невыгодна только для лентяев, которые не приносят бизнесу никакой прибыли, ставя под удар всю отрасль и самих себя: добросовестные сотрудники, качественно выполняющие свою работу, с лихвой компенсируют свой залог всего за несколько месяцев труда, без задержек получая зарплату, и без ужаса остаться без копейки в случае увольнения.

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

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

Пока что эта инициатива выглядит непривычно, но я уверен, что всего через несколько лет именно она станет основой выхода из кризиса!

Бесконечные списки в C++

2009-09-07T05:55:49Z

Почему-то утверждается, что ФЯП могут работать с бесконечными списками, а C++ не в силах. Пришла пора достойно ответить злопыхателям!

#include <iostream>
#include <vector>

using namespace std;

#define sci static const int
#define scb static const bool

template<int N> struct next { sci value = N + 1; };
template<int Start, template<int Arg> class Fn> struct seq {
typedef seq<Start, Fn> type;
sci value = Start;
};

template<typename TSeq> struct head {
sci value = TSeq::type::value;
};
template<typename TSeq> struct tail {
typedef typename tail<typename TSeq::type>::type type;
};
template<int Start, template<int Arg> class Fn> struct tail< seq<Start, Fn> > {
typedef seq<Fn<Start>::value, Fn> type;
};

template<bool finish, typename TSeq, template<int Arg> class Fn> struct find_helper { };
template<typename TSeq, template<int Arg> class Fn> struct find_helper<true, TSeq, Fn> {
sci value = head<TSeq>::value;
};
template<typename TSeq, template<int Arg> class Fn> struct find_helper<false, TSeq, Fn> {
sci value = find_helper< Fn<head< tail<TSeq> >::value>::value, tail<TSeq>, Fn >::value;
};

template<typename TSeq, template<int Arg> class Fn> struct find {
sci value = find_helper< Fn<head<TSeq>::value>::value, TSeq, Fn >::value;
};

template<int N> struct div13 {
scb value = N % 13 == 0;
};

template<int N> struct nthprime {
sci value = find< seq<1 + nthprime<N-1>::value, next>, nthprime<N-1>::checkprime >::value;
template<int M> struct checkprime {
scb value = M % value && nthprime<N-1>::checkprime<M>::value;
};
};
template<> struct nthprime<1> {
sci value = 2;
template<int M> struct checkprime {
scb value = M % 2;
};
};

template<int N> struct FillPrimes : public FillPrimes<N-1> {
FillPrimes(vector<int>& primes) : FillPrimes<N-1>(primes) { primes.push_back(nthprime<N>::value); }
};
template<> struct FillPrimes<0> { FillPrimes(vector<int>& primes) { } };
template<int N> struct GenPrimes : public FillPrimes<N> {
GenPrimes(vector<int>& primes) : FillPrimes<N>(primes) { }
};

int main()
{
cout << find< seq<42, next>, div13 >::value << endl;

cout << head< tail< seq<42, next> > >::value << " " <<
head< tail< tail< tail< tail < tail< tail< seq<42, next> > > > > > > >::value <<
endl;

cout << nthprime<100>::value << endl;

vector<int> primes;
GenPrimes<100> gen(primes);
copy(primes.begin(), primes.end(), ostream_iterator<int>(cout, " "));
}

Кратко опишу, что здесь происходит.

next это просто статическая функция N => N+1.
seq это шаблон-генератор бесконечной последовательности int, который принимает в качестве аргументов начальное значение и функцию, с помощью которой можно получить следующий элемент последовательности. Например, seq<42, next> это бесконечная последовательность 42, 43, ...

head и tail — всем известные функции для получения начала (int) и хвоста (бесконечная последовательность) последовательности.

find ищет в бесконечной последовательности первое число, удовлетворяющее статической функции типа int -> bool. Несложно увидеть, взглянув на шаблон find_helper, почему компилятор не производит бесконечного раскрытия бесконечной последовательности.

В качестве примера использования этого извращения предлагается:
1) поиск первого числа в последовательности 42, ..., которое делится нацело на 13 (div13).
2) поиск головы хвоста 42, ... и головы 6 раз взятого хвоста от этой же последовательности.
3) немного более сложный пример: вычисление 100-го простого числа (nthprime). В последовательности nthprime<N-1>+1, ... ищется первое число, для которого проверка на простоту (взятием остатка от деления на все меньшие простые числа) дает true. Сложность такого алгоритма по количеству инстанцированных компилятором шаблонов примерно O(N²lnN) (стоит упомянуть здесь теорему Россера).
4) увы, видимо, в C++ нет способа статически сгенерировать шаблонами массив, вектор или строку, поэтому заполнять вектор с первой сотней простых чисел приходится в рантайме — в конструкторах FillPrimes. Конструкторы вызываются от самого старшего родителя (FillPrimes<0>), поэтому push_back'и вызываются в нужном порядке.

VC++ 2008 отжирает при компилировании этого примера около 580 метров, так что запаситесь терпением :)

Южная экспедиция

2009-09-04T23:23:02Z

или Четвертая митуй-пати
или 3 дня, 6 ботанов и 103 километра по ~~прямой, как летают назгулы~~ Южному Берегу Крыма

Shuffle, 07.08.2009 22:47:20: А ты как-нибудь поедешь еще в Питер?
Sharp, 22:47:28: Вполне возможно
Sharp, 22:47:46: Но лучше вы к нам :)

Неотвратимое приближение осени и неутоленная жажда приключений привела к тому, что интервал между идеей и началом встречи сократился с почти двух лет (встреча в Ленинграде в феврале 2008 года) до одной недели. Кворум митуй-пати подразумевает наличие хотя бы трех митуйчан, посему в аську был брошен клич, и через некоторое время в экспедиции участвовали уже 6 человек:

Шарп Грозный aka sharpc (Керчь)
Шафл Рассудительный aka shuffle_c (Ленинград)
Февер Непреклонный aka udpn (Волжский, Волгоградская область)
Томотом Бесшумный aka tomotom (Керчь)
Брэнд Зоркий aka darkbrand@live.com (Приазовский, Запорожская область)
Дин Стремительный (Севастополь)

Учитывая соотношение опрошенных/согласившихся (8/6), стало ясно, что на Южном берегу Крыма определенно намазано медом. Кроме этого, Томотома Бесшумного, по его словам, очень соблазнила перспектива посмотреть сезон 2.5 Теории Большого взрыва в прямом эфире :) В результате я (талантливо!) играл роль Шелдона, Shuffle стал Леонардом, Fever Воловицем, а сам Tom забрал себе роль Кутрапали.

Изначально план экспедиции (как сейчас модно называть любую легкую прогулку — «этнографической экспедиции») являл собой концептуальный синтез последних веяний в области антинаучной фантастики и изобретательных суицидальных грез: например, путь от Артека до Фороса предлагалось проделать целиком пешком, а ночевать планировалось на Никитской и Ай-Петринской яйлах в палатке, предварительно взойдя туда под вечер. К счастью для участников, у автора всегда есть с кем проконсультироваться касательно пешего туризма, отчего палатки были исключены, а пешие переходы сильно урезаны в пользу колесного и канатного транспорта :) В дальнейшем отступлений от разработанного плана почти не было.

Перед экспедицией автор люто заботился о наличии в составе группы хотя бы одного нормального фотоаппарата, так всех достав, что ~~говно~~зеркалки взяли аж три ~~говно~~фотографа, и только автор, кагдурак, поперся со своей мыльницей, которая за все время экспедиции так и не увидела белый свет. Несколько позже, правда, оказалось, что каждая из этих зеркалок живет в своем собственном времени, и сортировка их продукции после массового переименования по EXIF.DateOriginal выдает последовательность, по которой восстановить ход действий — совсем не легкая задача.

День 1

15-го августа, утром, мы встретились на Симферопольском ж/д вокзале, откуда постоянно отходят маршрутки, в том числе и в Гурзуф, начало нашей экспедиции. К этому времени прибывшие раньше Shuffle и Brand уже успели отщелкать пол-Симферополя, полюбоваться Салгиром и мостом замков. При посадке в транспорт автор изъял у Shuffle его девайс и принялся запечатлевать объективную реальность, вызванную отсутствием компьютера (на самом деле компьютер присутствовал, даже 2, но в рюкзаках). Ниже: фотография группы by Deen и фотография трассы, на которой можно заметить хребет Крымских гор и единственный в мире междугородний троллейбусный маршрут Симферополь-Ялта.

Первая вещь, оказавшаяся неожиданной для жителей равнинных городов, сразу бросившаяся в глаза, как только мы спешились в Гурзуфе, это то, что на ЮБК ровное место только одно — море. Все улочки, тропинки, дороги и трассы это сплошной серпантин, холмы и впадины, склоны и обрывы. При чем для экономии драгоценной земли строения стоят почти вплотную, что порождает очень узкие и очень кривые удивительные улицы, оценить красоту которых, увы, мешают набившиеся, словно кильки в консервной банке, полуголые отдыхающие (медом для них намазано, что ли?).

Мы спустились к набережной и пошли вдоль пляжа. Вопреки ожиданиям, в море было, где вынырнуть, но, наверно, в большей степени из-за того, что полоса пляжа была узковата, чтобы вместить всех, кто ныряет, на суше. При этом некоторые граждане не теряют времени на ныряния, а настойчиво стремятся то ли поменять расу, то ли заработать меланому. С набережной, если, наконец, пройти мимо многочисленных ларьков с сувенирами, открывается замечательный вид на гору Аюдаг и скалы Адалары, панораму которых (а после и наши физиономии на их фоне) не забыл запечатлеть Brand.

В Гурзуфе прямо на улице растут пальмы (самые настоящие!). Shuffle их видел, похоже, только на валлпаперах, иначе чем объяснить тот факт, что ему пришлось напоминать их сфотографировать? :)

Пройдя всю набережную мы вознамерились подняться к трассе и остановке по довольно короткому маршруту (на карте так и вовсе пара сантиметров было — сущий пустяк!). Но восхождение как-то затянулось (да и шло не по городской местности, а больше мимо дач всякого ворья) и примерно через полтора часа полудохлый Sharp уговорил полудохлого Shuffle достать свой eeePC и опробовать в действии купленный специально для экспедиции GPS-донгл. Взгляните на эти веселые лица на фотографии: что же может быть радостнее, чем обнаружить, что мы прошли дальше по набережной и поднимаемся к трассе по втрое более длинной дороге?

Между тем незадолго до трассы удалось обнаружить замечательную обзорную площадку с отличным видом на Гурзуф (как пишут плохие журналисты, утопающий в зелени), заснять несколько панорам и насмотреться в тридцатикратный бинокль, который автор все же не зря тащил. Подъем был впечатляющ, и фраза «вверх, как у Гурзуфа» в контексте «вот сейчас» еще некоторое время пользовалась популярностью :)

Поймав маршрутку, мы доехали до Никитского ботанического сада. Стоит заметить, что от остановки и колонн с надписью вниз еще порядочно топать, но это неудобство отчасти компенсируется тем, что вниз — не вверх, и видами, которые при этом открываются.

В самом Никитском саду весьма любопытно: большое количество всяких красочных растений и долгожданная тень от деревьев. Примерно в начале спуска по саду стоит дворец с бассейном и памятник Ленину, Стевену (основателю сада) и прочим хорошим людям. В бамбуковой роще царит почти полная темнота, изредка озаряемая фотовспышками, направленными на высших приматов, которые вдруг решили вспомнить свое нелегкое прошлое дриопитека (на фотографии изображен прореженный бамбуковый лесной массив).

Помимо растительности, были замечены пруды с живностью, в частности, весьма живописными черными и оранжевыми рыбками и здоровенным раком. Недалеко от финиша маршрута по Никитскому саду растет неопознанное шестью ботаниками экспедиции дерево, обхват которого столь велик, что шесть ботаников экспедиции едва ли смогут его обхватить. Мы не смогли не воспользоваться случаем и не обсудить перспективы пуска БАК на полную светимость :)

Прогуливавшаяся женщина с внуком, судя по всему, однозначный фанат Никитского сада, рассказала нам, что это дерево — патриарх сада: она ходила сюда еще со своим дедом, затем с матерью, потом с сыном, а теперь вот со внуком, а дерево все такое же, пережило минимум 4 поколения. От «теперь вот» запахло неиллюзорным черным юмором, но совсем комичной ситуация стала, когда она попрощалась с нами и позвала внука: «Пойдем, Никита».

В Ялту мы приехали уже вечером. К несчастью, обещанных многочисленных бабушек, которые сдают квартиры, на автовокзале не оказалось, но проблема решилась благодаря палатке, мужик из которой устроил нас в пансионат «Парковый». Получилось несколько дороже, чем мы ожидали, и сильно дальше от центра, зато здание оказалось электрифицированным, с 5-метровыми орнаментированными потолками и неплохим видом на ночную Ялту, что, конечно, существенно лучше палатки. И ботаны приступили вершить свои черные дела. Во-первых, следовало обменяться электронными библиотеками, которых Fever привез 430 гигабайт, а Shuffle 80. Во-вторых, следовало реализовать одну чудесную идею, которая в разное время называлась то pQuery (procedural query), то fQuery (functional query).

В jQuery, служившем прототипом, преобразования, осуществляемые над DOM-элементами из одного запроса, можно осуществлять цепочкой. Перед нами встала грандиозная задача записывать цепочкой произвольный dataflow. Для этого (создания произвольного связного орграфа с вершинами-функциями и ребрами-данными) было решено в цепочку добавить вызовы функций connect и back (позже: link с bool-параметром), которые перемещали в вершину, отстоящую по текущему пройденному пути на N вершин назад, и проводили или нет туда ориентированное ребро. Легко доказать, что таким образом можно построить произвольный орграф. Для примера вот как в такой форме записывается diamond graph: A.B1.C.link(2, false).B2.link(2, true). Весь вечер ушел на то, чтобы написать каркас для динамического pQuery, так что на статический уже не хватило сил :)

День 2

С утра мы отправились к Ливадийскому дворцу, попутно обсуждая, что нужно простому парню вроде автора, чтобы построить огромных восьмиметровых суператомных роботов, чтобы уничтожить все живое на Земле: оказалось, что Deen и Fever хорошо разбираются в электронике и микроконтроллерах. Изначально планировалось посетить еще и Массандровский дворец, но по необъяснимой причине группа стихийно ринулась на Солнечную тропу. К счастью, небо услышало наши молитвы, и весь день было довольно облачно, поэтому восхождение у Гурзуфа не повторилось.

Следует сделать лирическое отступление и упомянуть, что по ЮБК ходит сказочное количество кошек, что, безусловно, свидетельствует в пользу светлоджедайной ауры этого места, но очень отвлекало наших фотографов. Выяснилось к тому же, что кошки обожают позировать, правда, осталось сокрытым мраком, ожидали ли они за работу моделью кусок колбасы. Поскольку я оставил свои запасы в пансионате (а у Fever'а в рюкзаке было одно бухло и курево!), ни одно грациозное создание, увы, поощрено не было. Фотки дворца, грациозного создания на фоне возможной причины их изобилия и начала Солнечной тропы прилагаются.

Переходя асфальтированную дорогу, мы не заметили продолжения тропы и наивно посчитали таковой дорогу. Дорога таковой не являлась и через несколько километров без поворотов и даже тропок привела нас к частному пансионату, где нас безжалостно завернули назад. Сумасшедший ботан на фотографии какбе намекает: путь закрыт, и мертвые хранят его!

Вернувшись в Ливадию, мы спустились на галечный пляж на двух лифтах. По пути мы встретили двух возвращавшихся с пляжа молодых людей, по виду настоящих братков, которые очень душевно и с прочувствованной настоящей любовью к своей профессии напевали бессмертный хит репера Сявы: «Чо, чо! Оп-па, ни$$я!», что нас несказанно возрадовало. В конце спуска жаждавший искупаться Shuffle получил такую возможность. Я же устроился неподалеку и принялся коварно ждать, наблюдая за чайками и многочисленными вертолетами, рассекающими небо в поисках добычи. Менее чем через полчаса Tom и Shuffle сообщили автору о его мудрости: вода, как и предвидел Шелдон, была холодная до ужаса.

Затем мы отправились на набережную Ялты, заглянув по дороге в какое-то кафе, где как следует обсудили РЖД, где работает Shuffle, и степень турбулентности потоков воздуха в пепельницах обнаруженной там конфигурации. Следует заметить, что набережная Ялты заселена прохожими еще гуще, чем узкие улочки Гурзуфа. При этом, что печалит душу автора, гастроном на этой набережной, где можно пополнить запасы ~~тормозной~~ питьевой жидкости, всего один, зато совершенно бесполезных ювелирных салонов — хоть отбавляй. В кафе мы, конечно, не наелись, но, к счастью, Deen знал нычку с пиццей. Между делом мы померились тем, чем обычно меряются, и оказалось, что у Deen'а длиннее — он работает в Sun :).

Ближе к берегу и ближе к вечеру людей стало немного меньше, зато фонтанов с разноцветной подсветкой, теплоходов и огней набережной стало больше, что надлежащим образом зафиксировано.

Мы вдоволь посидели недалеко от парка на набережной и пообсуждали беспощадное исключение концептов из C++0x, Iterators must go и прочие занимательные вещи. А Shuffle загорелся идеей реализовать оператор [], как в C#, то есть с запятыми и БШ, чем они с Fever'ом и занимались весь вечер, делая компилятор счастливым. На фотографии видны два можжевеловых шара, которые я и Fever приобрели в личное пользование, дабы не забыть о том, что мы были на ЮБК, пока не появится этот пост.

День 3

Утром мы поехали к автовокзалу в поисках транспорта, который бы отвез нас в Мисхор, к нижней точке канатной дороги: планировалось подняться и спуститься на ней. Вместо этого нам предложили за те же деньги заехать на Ай-Петри по знаменитому Ай-Петринскому шоссе, и это предложение вызвало в наших сердцах энтузиазм. По дороге мы имели возможность лицезреть Учан-Су, который в дождливое время года превращается в самый красивый и самый высокий в Украине водопад, а во время нашей экспедиции представлял собой жалкий высохший ручеек. Говорят, он где-то здесь, на этом фото.

Ай-Петринское шоссе примечательно тем, что имеет просто невероятное количество поворотов, и через несколько километров по нему начинается нешуточный приступ морской болезни. На фотографии изображен самый длинный прямой участок этого шоссе и красивый вид вниз на Ялту, который какбе намекает, сколько минут лететь, если не вписаться в поворот. Групповая фотография в районе Серебряной беседки также прилагается.

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

Вид с Ай-Петринской яйлы открывается поистине замечательный: отвесные скальные стены, и далеко внизу, в добром десятке километров, окутанная голубой дымкой, Ялта. Скалы кажутся покрытыми мхом, но на самом деле это огромные деревья: превосходный вид для бинокля. Сама яйла напоминает привычную керченскому глазу лесостепь, неожиданными оказались только разбросанные повсюду мины, которыми изобильно осыпают землю просто таки повсюду водящиеся здесь животные. Мы не будем их показывать :)

Неподалеку от точки нашего обзора находится пещера Трехглазка вертикального типа, названная так из-за ведущих туда трех колодцев, через один из которых проложена пешеходная, но очень крутая лестница. На входе стоит впечатляющая очередь, и увековеченный Ильфом и Петровым Пятигорский провал был упомянут просто неприличное количество раз. Внутри пещеры очень холодно: снег, попадающий туда через колодцы, не тает до конца целый год, а под ногами находится ледяное озеро, на котором несколько человек даже навернулись, сойдя с резиновых тропинок. Конус снега под «глазом» почти целиком покрыт монетами отдыхающих, так что какой-нибудь предприимчивый гражданин с магнитом может без труда отбить стоимость входа в пещеру. В небольшом огороженном ущелье позже на фотографиях помимо многочисленных монет была обнаружена серого цвета человеческая рука, торчащая из-под камней. Ужас обуял наши сердца, когда мы представили себе хладный придавленный труп, но папа автора объяснил, что ниже пещеры есть дырка, через которую можно попробовать заработать, вытаскивая монеты, чем, видимо, и занимался обладатель запечатленной конечности.

Знаменитые зубцы Ай-Петри охраняют многочисленные люди не славянской наружности, которые непременно желают, чтобы прохожий скушал что-нибудь из их довольно аппетитно выглядящих готовящихся тут же на месте ништяков. Однако автор владеет, наряду с нужным левелом артистичности, замечательным двойным заклинанием против подобной настойчивости: покорное «сколько?» в комбе с молниеносным «ого!».

На площадке перед зданием канатной дороги совершенно кошмарное количество людей: в очереди пришлось ждать почти 3 часа. Стоящие в очереди граждане постоянно подвергаются психическим атакам водителей, которые обещают быстро и с комфортом отвезти вниз. Fever сообщил о том, какую участь он планирует стоящим впереди нас, и участь эта была черна, как его душа. В ответ на такое автор сообщил ему, что это не по-коммунистически и не по-светлоджедайному, а значит, сии мысли недостойны нас. По-коммунистически, вещал автор, построить рядом еще одну канатную дорогу (с БШ, ага), снизив таким образом нагрузку на и без того изношенную линию, едва ли рассчитанную на эксплуатацию при капитализме. Экскурсоводу впередистоящей группы простая сермяжная правда неиллюзорно резала глаза, и она принялась спорить, однако свести спор к непременным сталинским палачам как-то не получилось, и дискуссия утихла.

Спуск после трехчасовой очереди нас немного разочаровал, потому что трос прогибается весьма сильно, и движение идет сравнительно невысоко над землей, что особенно печально на второй половине пути, где дорога еле поднимается над верхушками деревьев. Но даже несмотря на это, черный юмор в кабинке преобладал :) Виды сверху и снизу прилагаются.

После спуска мы немного отдохнули в беседке неподалеку и отправились в Алупку. К сожалению, время начинало немного поджимать, и подробно осмотреть Воронцовский дворец нам не удалось.

Но даже несмотря на спешку, на маршрутку до Симферополя мы все равно опоздали, и уезжать пришлось из Ялты. На этой фотографии Крым будто бы говорит нам: возвращайтесь, вы еще не посмотрели Массандру, Карадаг, Большой каньон Крыма, крымские пещеры, Бахчисарай и Севастополь! А мы, потирая мозоли, будто бы отвечаем: может, через год...

Форматы времени

2009-08-08T03:54:54Z

Количество компьютерных форматов представления времени поражает всяческое воображение. Видимо ввиду древности возникновения задачи хранить момент времени, область полна архаики. Вкратце перечислю некоторые из решений (рассматриваем наиболее популярную 32-битную архитектуру):

Unix time (POSIX-время, time_t) в 4 байтах хранит время в секундах, прошедшее с 1 января 1970 года, следовательно, может представлять время до 19 января 2038 года.

Unix time 64 — то же, что и предыдущее, только 64-битное. 8 байт, от 1 января 1970 года примерно 292 миллиарда лет.

Юлианские дни (JD) используется для указания дня в астрономии (для указания конкретного момента в дне используют дробную часть). Если ограничить его представление 4 байтами, он представит даты от полудня 1 января 4713 до н. э. примерно 12 миллионов лет. Именно эта дата была выбрана ввиду начала сразу нескольких неинтересных циклов и потому, что до нас не дошли упоминания о более ранних астрономических наблюдениях.

Модифицированные юлианские дни (MJD) используются для сокращения записи юлианских дней вычитанием 2400000.5, точкой отсчета становится ночь 17 ноября 1858 года.

BIOS-time измеряет время в тиках с частотой примерно 18.2 Гц с полуночи, занимает 4 байта.

struct tm используется для представления человеко-читаемой даты в стандартной библиотеке C.

struct tm {
int tm_sec;
int tm_min;
int tm_hour;
int tm_mday;
int tm_mon;
int tm_year;
int tm_wday;
int tm_yday;
int tm_isdst;
};

Таким образом, эта структура размером 36 байт может представить дату от 1 января 1900 (и еще 4 миллиарда лет) с точностью до 1 секунды.

Радуют разнообразием форматы времени, используемые в Windows.

GetTickCount возвращает 4-байтовое число, равное количеству миллисекунд, прошедших с момента включения компьютера, представляя интервал до 49.7 суток. GetTickCount64 это ее 64-битный аналог, который позволяет представлять интервалы до 580 миллионов лет.

FILETIME это такой виндовый unix-time, только с БШ. БШ обеспечивается за счет 64-битности, позволяя указывать дату в 100-наносекундных интервалах, начиная с 1 января 1601 года на протяжении 58 тысяч лет.

SYSTEMTIME — БШ-tm от Microsoft.

struct SYSTEMTIME {
WORD wYear;
WORD wMonth;
WORD wDayOfWeek;
WORD wDay;
WORD wHour;
WORD wMinute;
WORD wSecond;
WORD wMilliseconds;
};

Экономит на размере полей, поэтому занимает 16 байт, и представляет с секундной точностью время от 1601 года почему-то до 30827.

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

CIM_DATETIME — в формате yyyymmddHHMMSS.mmmmmmsUUU в 25 байтах представляющий с точностью 1 миллисекунда время от 0-го до 9999-го года.

Такое разнообразие страшно раздражает, и я задался вопросом, а нельзя ли как-нибудь решить эту проблему раз и навсегда?

Отметим, что дискретизация самого точного представления (FILETIME), равная 100 наносекунд, совершенно недостаточна для представления длительности, скажем, фемтосекундных лазерных импульсов, которыми давно и успешно исследуют механизмы химических реакций, а диапазона самого «древнего» (JD) и самого «широкого» (tm) недостаточно для датировки древних горных пород или превращения Солнца в красного гиганта.

Согласно принципу квантовой неопределенности и теории относительности, измерить время точнее планковского времени, равного примерно 5.39x10⁻⁴⁴ секунд, принципиально невозможно. Кроме того, время существования нашей Вселенной не превышает 13.85 миллиардов лет. Радостно делим одно на другое, берем двоичный логарифм и получаем, что хватит 203 бит. Округляем до 256 бит (32 байта, tm — и тот больше) и обнаруживаем, что любое обозримое событие и любой наблюдаемый интервал вполне может быть представлен таким числом.

Даешь 32-байтные таймстампы!!!

Ужас библиотекаря

2009-08-05T18:49:15Z

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

Однако практика мудрей, чем спор абстрактных идей. Расскажу о том ужасе, который кое-где приходится разгребать в моей небольшой полутерабайтовой библиотечке, в настоящее время переживающей одно из самых крупных своих слияний.

Нечего и говорить, что библиотека содержит потрясающее разнообразие форматов файлов. Помимо вполне логичных .txt, .pdf, .djvu/.djv, .doc, .chm, .ps, .rtf, .ppt, .tex, .odt попадаются ожидаемые .rar, .zip, .gz, .7z, .ha, .bz2, .tgz, неприятные .gif, .htm/.html/.phtml/.shtml/.mht/.mhtml, .jpg/.jpeg, .tif/.tiff, .bmp, .png, .js, .css, подозрительные .exe, .bat, .com, разнообразные .h, .cpp, .c, .class, .pas, .asm, .dsp, .java, .vcproj, .py, .dfm, .dpr, .pdb, .dsw, неизбежные .dir, .wd3, .diz, .me, .rus, .nfo, .lst, .readme... всего 1145 расширений :) Причем часто расширения не соответствуют типу документа, например в .php лежит скачанный с кривыми заголовками jpeg; встречаются и гибриды: например, .txt и .pdf с некстати выданным HTML-заголовком. При этом pdf часто еще и бьется из-за скачивания такого монстрика в текстовом формате вместо бинарного.

Многие литературные единицы приходят разбитыми на страницы, что напрягает даже в случае, если это сканы конспектов (тут любовью пользуются jpeg и tiff), и напрягает несказанно, если это постранично разбитый pdf, потому что такой «документ» не промотаешь в Irfan View. Но и борьба с постраничной разбивкой порой ведется совсем уж беспощадно, от чего появляются стометровые pdf и doc с аккуратно засунутыми туда картинками (хорошо еще, если в нужном порядке). Несколько более простым, но по-прежнему жестоким способом является архивирование страниц в solid-архивы (от чего достать отдельную страницу без полной распаковки становится невозможным), которые (сюрприз!) все равно разбиваются на куски :) Отдельные экономящие винт товарищи перед загонкой страниц в архив упаковывают каждую аккуратно в .tar.gz. Радость была бы неполной, если бы дополнительно не упаковывался скомпилированный с вшитым интерпретатором самописный скрипт на Perl для удобного просмотра этих страниц.

Общеизвестно, что Windows, в отличии от Unix, не любит некоторых символов в имени файла. Это порождает две, казалось бы, противоположные проблемы, которые (парадокс!) часто встречаются вместе.

Первая заключается в том, что в стремлении к переносимости (или после самих переносов) имя файла становится написано lowercase-транслитом, символы препинания вырождаются в знаки подчеркивания, длина имени файла урезается до 8 букв, а расширение до 3. Понять, как назывался файл, не открывая его, становится невозможно. Встречавшиеся на пути книжки старые компьютеры тоже вносят свою лепту в упрощение чтения названия, и Содержание.doc становится SODERJ~1.DOC. Но не так страшен транслит, как его малюют, и поседевшие при встрече с файлом, названным графическим транслитом (pyKoBoDcTBo JIaMepa.txt тому пример), это охотно подтвердят.

С другой стороны, порой мерами предосторожности пренебрегают, и появляются файлы, которые содержат имена из квадратиков или UTF-8. Бывает, имя файла оказывается безвозвратно утеряно, и только телепатия 7-го левела способна помочь понять, что ___ _____ __ ______ это «про аналы от васьки» (Литература по аналитической химии, скачанная у Василия).

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

Но гораздо чаще названия просто неинформативны. Любой книголюб знает, что по ISBN-коду книги можно получить практически всю библиографическую информацию о книге (а в заметках у автора лежит примерно 30 ссылок сервисов (помимо гугла), которые обещают это сделать). А вот по названию Klyovaya_knigka_kachay!!!.djvu или неорга.djv довольно сложно догадаться, что внутре у ней учебник Ахметова.

Отдельной истории заслуживают многочисленные сохранения веб-страниц. С одной стороны, они часто действительно содержат нужную информацию. Но с другой, разнообразие оформления, используемых скриптов и потерянных файлов порождает жуткую свалку, усугубляющуюся гиперссылочной природой HTML и путями. Отсутствие внятного стандарта на математические формулы в веб-текстах (одно время в качестве него продвигался MathML, но он справедливо не заслужил популярности ввиду своей жуткой безблагодатности) привело к тому, что в основном для их отображения используются картинки (этот блог не исключение — я использую картинки с сервиса l.wordpress.com, принимающий LaTeX-код, который я для удобства незрячих, отключивших картинки и роботов пишу заодно и в alt-атрибуте). К глубокому сожалению, моя аккуратность не так широко распространена, и поэтому в основном в формулах на веб-страницах используются гифы со сквозной нумерацией, скопированные из редактора формул Word. И хорошо, если еще гифы! По этой причине в моей библиотечке gif — самый распространенный формат, почти в 5 раз опережающий по этому показателю .djvu.

Заслуживает внимания и разнобой в форматах архивов. Здесь, как и в случае с именованием файлов, тоже встречаются две крайности: кто-то ничтоже сумняшеся упаковывает файлы в .7z, а кто-то в стремлении к чему-то светлому (кроссплатформенности?!) создает самораспаковывающиеся архивы (exe), которые непременно на какой-нибудь машине подхватывают вирус. При чем часто, когда удается вывести антивирус из глубоких рассуждений, он лечит эти архивы, и заодно их портит :) В светлом стремлении к тому, чтобы пользователь легко нашел нужную ему информацию, в каждую папку архива обязательно помещается что-то из списка descript.ion, thumbs.db, file_id.diz, file.nfo, read.me и даже read_this_or_i_will_kill_you.txt и т.п., содержащее бесценные комментарии к контенту в стиле «Посетите наш порносайт!». К слову, несмотря на отчаянную борьбу автора с медиа-файлами (медиатека через дорогу! аудиокниг здесь не будет никогда!), однажды в какой-то глубоко зарытой папке читатели обнаружили порнуху :)

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

В благородном стремлении обеспечить потенциального читателя средством для просмотра предоставляемых материалов держатели библиотек вкладывают в самые потайные уголки своих библиотек самые разнообразные читалки форматов от djvu и pdf до fb2 и wrl самых разнообразных версий. Однажды автор выпилил уровня эдак с 10-го вложенности установленный Apache с PHP3, с их сырцами и документацией.

Об уровнях вложенности разговор отдельный. Библиотеки копируются друг у друга многократно, каждый раз обзаводясь новым уровнем и названием. Хорошо еще, если название как-то отражает суть контента, например, п.п. ВТУФО 231, но все же чаще встречаются сакральные temp, 1, ы, _ и asdasd. Стоит упомянуть, что максимальная длина простого (не UNC) пути в Windows равна MAX_PATH = 260, что неминуемо приведет к проблемам с копированием/перемещением файлов, если какой-то шутник поместил файл по пути Альдольная конденсация и циклоприсоединение\Альдольная конденсация и циклоприсоединение\Альдольная конденсация и циклоприсоединение\Альдольная конденсация и циклоприсоединение\Альдольная конденсация и циклоприсоединение\Альдольная конденсация и циклоприсоединение.djvu.

Часто для того, чтобы приобщиться к знаниям, надо продраться через кошмарную иерархию каталогов, найти невнятно названный разбитый на куски архив, собрать его, распаковать, выгрузить файлы в одну папку, найти индексный html, найти в нем ссылку на нужный документ, оттранслировать путь на локальную иерархию, найти непоследовательные одностраничные затаргзиппенные pdf, раскиданные по папкам, собрать и распаковать их, обнаружить там сканы рукописного конспекта с отвратительным почерком, разобрать почерк и вкурить в систему обозначений его носителя, после чего понять, что конспект писал идиот, плюнуть, грохнуть и пойти плакаться на форумы, нет ли у кого-нибудь методички по необходимой штуке, о которой в гугле целых два упоминания, оба из которых — плач таких же, как вы, горемык :)

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