Как решать задачу, пожалуйста?

Михаил Ливач, любое утверждение про "любых 4 студентов", даже заведомо ложное само по себе, будет оставаться истинным, пока нет ни одной четверки. Вы, похоже, до сих пор не прониклись всесильностью "пустой истины".

Как решать задачу, пожалуйста?

Михаил Ливач, от случая 4 студентов я отказался в прошлом комментарии (см. после "- -"), ещё раз перечитав условие.

Как решать задачу, пожалуйста?

Wataru,

Просто составители не подумали про это

да, вполне возможно

Как решать задачу, пожалуйста?

Михаил Ливач,

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

Vacuous truth всегда приводит к таким результатам, не только здесь. Вы либо согласны с этой концепцией, либо нет, но не выборочно.

Если однозначно говорить об истинности или ложности какого-то утверждения невозможно, то в рамках математики такой разговор бессмысленен

смотря что доказываем. Если квантор существования, то достаточно указать пример, а если квантор всеобщности, то достаточно отсутствия контрпримера.
Авторское условие задачи содержит только кванторы всеобщности, не вижу проблем применить здесь Vacuous truth.

--
в условии сказано, что каждый интеграл был решен, то есть вариант "4 студента, 1 (нерешенный) интеграл" тут не подходил, но "3 студента, 0 интегралов" всё ещё соответствует всем требованиям из условия.

Как решать задачу, пожалуйста?

Михаил Ливач, вы смотрели по ссылке, которую я привел вчера?

Как решать задачу, пожалуйста?

Wataru, спасибо, что зачли мой вариант ) Как по-вашему, расклад с тремя студентами и нулем интегралов соответствует всем условиям? У меня в комментах была дискуссия на эту тему.

Как решать задачу, пожалуйста?

SunTechnik,

Если интеграл один, и его хоть кто-то решил

на всякий: у меня ответ "один интеграл" предусмотрен только для кейса, когда студентов всего четверо, причем этот интеграл никем не решен.

Как решать задачу, пожалуйста?

SunTechnik,

Если 5-ка пустое множеств ( студентов меньше 5) и все интегралы решены, то они будут решены и для 4-ки студентов, что пртиворечит условию.

если студентов четверо, то нужен только один интеграл (он будет не решен всеми), тогда для единственной четверки условие выполняется, а для "всех пятерок" (коих 0 штук) оно выполняется автоматически в соответствии с Vacuous_truth.

если менее 4 студентов, то у нас 0 пятерок и четверок, и теперь оба условия выполняются всегда. Хотя при этом так же выполняются и условия "каждая четверка решила всё" и "каждая пятерка решила не всё", но они не противоречат условиям задачи.

так что если нужен только "самый-самый" минимум (если мы вправе выбрать число студентов), то мой ответ - 0 интегралов, при менее чем 4 студентах, и задача никак не относится к комбинаторике, а только лишь к логике.

Как решать задачу, пожалуйста?

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

https://en.wikipedia.org/wiki/Vacuous_truth

Как решать задачу, пожалуйста?

Михаил Ливач, можно меньше 5 студентов, см. третий комментарий к моему ответу

Как решать задачу, пожалуйста?

Чуть поясню к своему комментарию про N<5. Требуется, чтобы "любая пятерка студентов решила всё", и "любая четверка решила не всё". Это можно переосмыслить соответственно так: "не найдется такой пятерки, которая решила не все", и "не найдется такой четверки, которая решила всё". Таким условиям, очевидно, соответствует 1 интеграл для N==4 и 0 интегралов для N < 4

Как решать задачу, пожалуйста?

Максим Короткевич, если студентов меньше 5, то не совсем понятно, как разуметь условие, как говорить о четверках и пятерках. Если их всего 4, то вроде бы достаточно одного интеграла (все не решили ни одного, каникулы же).
Если менее 4, то формально и 0 интегралов подойдет, у нас нет даже четверок, то есть не найдется такой четверки, которая решила всё.

Как заставить элемент определять свою высоту по содержимому?

historydev, все чилды, в том числе статус, должны вертикально выравниваться по центру 50-пиксельной линии (align-items: center). Но если в чилде оказалось много текста и его высота больше 50, то он уже выравнивается не по центру, а по верхнему краю (это делает safe).

Если я убираю height: 50px; или заменяю его на min-height, то parent растягивается по высоте самого высокого чилда, но элементы в нем уже не центрируются, как нужно.

Как убрать null так, чтобы получить в initial type исходное поле с удалённым null?

historydev, в плейграунде норм. показывает.

хз что там у тебя, но попробуй ещё так, совсем без тайп-утилей:

type NonNull<T> = {[K in keyof T]: T[K] extends infer V ? V extends null ? never : V : never};

Как типизировать созданные геттеры?

WbICHA, аналогично.. Я на тайп-челленджах сто лет ничего не решал. Пробовал добавить там парочку своих паззлов, но судя по всему владельцы t-ch тоже на него забили и не публикуют новое. Художественный тайпскрипт - всё

Как типизировать созданные геттеры?

WbICHA, вся стандартная библиотека именно так и типизирована, я оттуда взял идею и даже нейминг. Посмотри, например, interface Array {...}, interface ArrayConstructor {...} и declare var Array: ArrayConstructor; в файле lib.es5.d.ts

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

Как решается такое задание?

fleshik, попробуй подставить на место звёздочки разные цифры от 1 до 9 (ноль не подходит, сумма же не нулевая). Для всех цифр, кроме 5, сумма будет оканчиваться на другую цифру

Как решить задачку из контеста?

Daemon23RUS, сейчас проверил, зачли. Только в [[i1, j1], [i2, j2]] надо ко всем числам единицы добавить, задачу паскальщик составлял )

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

fileContent.split('\n').map((value) => value.split(' ').map(Number))

и этого хватило

Как заставить css-variables перевычисляться?

Да, понял, спасибо. Я надеялся, что есть механизм, похожий на геттеры в js, чтобы --bg вычислялся в момент применения

Как работает ленивость в регулярных выражениях?

Михаил Ливач, да, согласен, там ленивый поиск отработает.

только с небольшими поправками, чтобы в адрес не попадал разделитель (//) и чтобы адрес мог быть в конце строки. Ссылка - https://regex101.com/r/qoXU4A/1 , там я ещё убрал флаг "m" и добавл "s", на случай переносов строки