Сегодня, 4 мая, лекции тоже не будет - я в отъезде, провести онлайн нет возможности. 11 мая сделаем последнюю лекцию - думаю, доразберёмся с MIP=NEXP. Про рациональные доказательства можно сделать дополнительную лекцию 18-го, если будет запрос. В к/р этой темы не будет, но в домашку одну задачу включу.