Матач, спустись с сияющих вершин знания в клоаку страждущих. Объясни мне, как научиться находить доказательства теорем.
Видимо, они могут быть разные; тогда как научиться выводить самое удачное (или хоть одно, лол)?
Причём какие-то теоремы кажутся мне слишком сложными для доказательства, а какие-то -- наоборот. Например, принцип Дирихле. Ну разве ж это, блядь, не очевидно, что если голубей больше, чем ящиков, и мы суём первых во вторые, то как минимум в одном ящике будет как минимум два пернатых пидораса? Как понять, что нечто не очевидно нихуя, а надо как-то доказать?
Заранее спасибо, дорогой двач. Верю, ты вскроешь эту тему.
Секите задачку, пацанчики. Есть у нас сколько-то фигурок. Известно, сколько из них какого цвета (N цветов) и сколько какой формы (M форм). Как бы так найти минимальное количество сочетаний цвет-форма, на которые их все можно поделить?
Я тут подумал и вроде это сводится N+M линейных уравнений на NM переменных, решением которого является подпространство размерности NM-N-M или типа того, и нам из этого подпространства надо такую точку, чтоб все координаты были целыми, и чтоб ещё на пересечении с плоскостями вида xi=0. Может это известная проблема и даже название есть?
>Как бы так найти минимальное количество сочетаний цвет-форма, на которые их все можно поделить?
так у тебя там не должно быть минимума. введи на множестве своих фигурок разноцветных отношение эквивалентности "фигурки эквивалентны, если у них одинаковая форма и цвет". очевидно, что это отн. эквивалентности и оно однозначно твоё множество разобьет на набор непересекающихся подмножеств. и ты хоть хуй соси, если хочешь рассказать человеку обо всем своём ассортименте фигурок, должен будешь перечислить все "имена" наборов.
>>35199 первое известно, второе надо предложить, но так, чтоб кол-в групп было минимально.
>>35201 Нене, если сказано что 3 красных и 3 синих, 3 квадрата и 3 треугольника, могут быть 3 красных треугольника и 3 синих квадрата, а могут быть 3 красных квадрата и 3 синих треугольника.
На самом деле, как оказалась, эта задача в духе subset sum, нп-полная, как решать понятно.