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

Так друзья есть, знакомые и т.д. Не исключено, что много нового о них и себе узнаете.

ну еще бы, подтянулись все слоны

Задания снова есть. Это пока решаются небольшие задачи, но через пару дней планируем запустить масштабный эксперимент - примерно на 3-4 недели, там недостатка в заданиях не будет. Deadline увеличен с 2 суток до 3.

Nauchnik
А каковО состояние ваших исходных кодов? Они закрыты или открыты для общественного ознакомления?

Вроде бы теперь исправил кодировку везде, в том числе в описании команд и личных сообщениях.

Со временем учтем Ваше пожелание. Число одновременно выполняемых на ядре WU будет увеличено в будущем (надеюсь, что в течении месяца), когда будет готова новая улучшенная версия серверного приложения. Пока что будет увеличен "вес" каждого WU. Так, примерно через 2 дня будет запущен следующий эксперимент (на этот раз масштабный), в нем будет примерно 131072 WUs, на каждый из которых нужно будет около 2 часов, а не 1 час, как сейчас.

Используемый SAT решатель базируется на minisat, который распространяется по лицензии MIT, что позволяет использовать их код почти без ограничений. Мы внесли в оригинальный решатель некоторые изменения, позволяющие быстрее решать наши задачи. Без этих изменений некоторые задачи не решались вообще. Так делают многие, используя minisat как базу, накручивая на него свои алгоритмы. В нашей статье описанию этих модификаций посвящен один из разделов. В настоящий момент у нас в лаборатории разрабатывается собственный решатель, который позволит учитывать особенности наших задач еще более результативно. Если мы добьемся ускорения по сравнению с модифицированным minisat (мы очень на это надеемся), то в проекте будет использоваться уже полностью наш решатель. Насчет открытости кода нашего решателя вопрос будет решаться, когда решатель будет сделан . Еще стоит отметить, что большая работа была сделана для эффективного сведения задач в SAT, для этого мы используем разработанный в нашей лаборатории комплекс TransAlg.

то есть вы хотите сказать, что в Коллатце и в Милке ОЗУ не используется? хм, так например у меня у ГПУ на борту по 1 гигу ОЗУ + на борту у системника по 4 гига - этого не хватит для заданий проекта Проект SAT@home ???

хм, я понял, товарищ Nauchnik, а и правда что я Вам мозг делаю, нету ГПУ у вас, значит пока оно вам не надо )

Спасибо за ответы, вопросов больше не имею.

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

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

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