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

во сне задача была очевидной.

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