Форвардирую для информации ---------- Forwarded message --------- От: Arkady Klimov <arkady.kli...@gmail.com> Date: пн, 28 дек. 2020 г. в 21:05 Subject: Re: «Problems’ Day» Wed 30.12.2020 9:00 in Zoom - New Year's Eve meeting of the CS&SE Interlaboratory Seminar Novosibirsk + Innopolis + ... To: <shilov...@mail.ru>
Hello, Nikolai. I wish to contribute the Problems' Day with a problem I encountered (within my current work) not in 2020, but in the last three years (i.e. in 2018). If it is ok, the problem is the following. *Abstract.* Alice is going to send Bob through Carl a box with p coins, where 1 ⩽ p ⩽ P. However, Bob will not know their exact number p in advance, but only its lower and upper bounds 1 and P. Alice can mark each coin with one of K colors: 1 , 2, ..., K. We need to propose a way (which Bob will know about) to choose the number of coins of each color for each number of transferred coins p from 1 thru P so that Bob can understand that Carl did not steal anything. For example, if K⩾P, then Alice can mark all coins with the color p. It is necessary for a given number of colors K to determine the maximum P, depending on K, at which this is possible. Or, given P, determine the smallest sufficient number of colors K. It turns out that P(K) is described by a well-known (among SE-CS specialists) function. More precisely, for such a P(K) it is possible, and I am sure that it cannot be increased, although this has not yet been rigorously proven (and this is the problem).. *Аннотация* Алиса собирается послать Бобу через Карла коробку с p монетами, где 1 ⩽ p ⩽ P. Но Бобу не будет заранее известно их точное число p, но только его нижняя и верхняя грани 1 и P. Алиса каждую монету может пометит одной из K красок: 1,2,...,К. Требуется предложить способ (о котором Боб будет знать) выбрать число монет каждого цвета для каждого числа передаваемых монет p от 1 до P так, чтобы Боб смог понять, что Карл ничего не украл. Например, если К⩾Р, то Алиса может все монеты пометить цветом номер р. Нужно при данном числе красок К определить максимальное P, зависящее от K, при котором такое возможно. Или при данном P определить наименьшее достаточное число красок K. Оказывается, P(K) описывается хорошо известной (среди SE-CS-специалистов) функцией. Точнее, для такого P(K) это возможно, и я уверен, что увеличить его нельзя, хотя строго это еще не доказано (и в этом проблема). Arkady Klimov Если будет принято, то было бы неплохо, если бы слушатели получили данную аннотацию заранее и могли чуток подумать сами - тогда будет лучше восприниматься результат. вс, 27 дек. 2020 г. в 06:19, Andrei Klimov <and...@klimov.net>: > Доброе утро! > > Форвардирую объявление организатора семинаров CS&SE Николая Шилова о > мероприятии в среду 30 декабря в 9:00 мск по Zoom'у. > До завтра (понедельника 28.12.20) приглашаются желающие подать заявку на > 10-минутный доклад о волнующих ее/его проблемах CS&SE. > > Андрей Климов > > > ---------- Forwarded message --------- > From: Shilov Nikolay <shilov...@mail.ru> > Date: Fri, Dec 25, 2020 at 10:22 AM > Subject: «Problems’ Day» - New Year's Eve meeting of the CS&SE > Interlaboratory Seminar Novosibirsk + Innopolis + ...: Wednesday December > 30, 2020 at 9:00 am (Moscow time) > > Dear All, > > Next *Wednesday December 30, 2020, from 9:00 to 11:00+* (Moscow time > zone) we will have *7th session* of our Inter-Lab seminar on CS&SE. - *Please > feel free to forward this invitation* to colleagues who may be interested. > > *Topic*: Problems’ Day > *Short description*: Volunteers are invited to present in 10 minutes the > most challenging/fascinating/interesting/exciting > problem/result/research/topics > in SE/CS/CE/IT/Math/Sci that they encountered/learnt/read/heard/studied > in 2020. Each short presentation will be followed by a short Q/A > & discussion. Language of presentations, Q/A & discussion sessions — *English > *(preferable for slides) and *Russian* (preferable for discussion). > > *If you would like to contribute* — please send me back (*just as reply*) > a short message with a title and a short (3 sentences at most) annotation > by *Monday December 28* and be ready to present your stuff on *Wednesday > December 30* in 10 minutes using 3-6 slides (at most). > > *Venue*: > > (*) Innopolis University room 304 > OR (*) Zoom ( > https://us02web.zoom.us/j/85087216747?pwd=VXB0cVNtQVNTT2xTZFFWRnd4TWcwQT09, > conf. id 850 8721 6747, password: 063350). > Nikolay V. Shilov > > =============================== > Regarding materials of the previous (6th) meeting (on Wednesday December > 16): video of the talk *The four PEGS of requirements engineering *by > *Bertrand > Meyer* is available at > https://drive.google.com/file/d/1AsWlL45xLDj4wLVOEbeCcFmXySeDMsU-/view?usp=sharing > . > > *Abstarct*: Bad software requirements can jeopardize projects., but > requirements as commonly practiced remain a weak link in software > engineering. What passes for requirements in industry usually consists of a > few use cases or user stories, which fail to capture many essential aspects > of systems. There is a considerable literature on requirements, including > some excellent textbooks, but their lessons are rarely heeded; many > projects, in particular, fail to take into account the Jackson-Zave > distinction between system and environment. The standard IEEE plan for > requirements dates back to 1998 and does not meet the demands of today’s > ambitious developments. I will present ongoing work intended to help > industry produce more useful requirements. It includes precise definitions > of requirements concepts and a standard plan for requirements > specifications. The plan contains four books covering the four “PEGS” of > requirements engineering: Project, Environment, Goals and System. The talk > does not attempt to introduce radical new concepts but rather builds on > existing knowledge to define a solid basis for requirements engineering and > provide projects with precise and helpful guidelines. > > -- > Вы получили это сообщение, поскольку подписаны на группу "Метавычисления и > специализация программ". > Чтобы отменить подписку на эту группу и больше не получать от нее > сообщения, отправьте письмо на электронный адрес > metacomputation-ru+unsubscr...@googlegroups.com. > Чтобы посмотреть обсуждение на веб-странице, перейдите по ссылке > https://groups.google.com/d/msgid/metacomputation-ru/CAM7HiMnecFTHhG7zKAKm1kT0ihig5XMVrhLWGkVxOMtjab9xqg%40mail.gmail.com > <https://groups.google.com/d/msgid/metacomputation-ru/CAM7HiMnecFTHhG7zKAKm1kT0ihig5XMVrhLWGkVxOMtjab9xqg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . >
