Terminei o dia 11, para o qual meu código estava muito limpo. Problema legal de busca gráfica. Mas ainda estou sem saber o Dia 10 parte 2. Esse é um caso e tanto. Tentei alguns ângulos de ataque, todos com complexidade de tempo muito baixa. Acho que sei qual caminho tentar a seguir (ninguém estraga para mim!), mas realmente tive que quebrar a cabeça para isso. Vou ver se consigo resolver isso nos próximos dias. Mas estou quase na linha de chegada!

@SocksNFlops NP-completo no número de restrições, mas o número de restrições é na verdade bem pequeno. Só os inteiros que ficam grandes. Transformar em um problema de grafo, tenho quase certeza, é o erro principal, porque o grafo é enorme.

@SocksNFlops Meu Deus, dia 12... 🤮