Soluções — Seleção de Modelo, Validação Cruzada e Bootstrap
Aula 4 — Fundamentos Estatísticos do Aprendizado Supervisionado
Dica(Resposta) Teste 1 — O Viés do Erro de Treino
- ✔ Verdadeiro — Uma folha por ponto memoriza o treino perfeitamente, não importa a complexidade real do problema — memorização não exige que a fronteira real seja simples.
- ✗ Falso — Empatar em acurácia de teste não é “ser pior” — é empatar. A pergunta relevante não é sobre qual é pior, mas sobre por que, MESMO empatando, ainda se prefere a mais rasa (parcimônia, estabilidade) — o enunciado inverte a premissa.
- ✔ Verdadeiro — É o mesmo fenômeno de overfitting (memorizar o treino sem generalizar) transferido para regressão polinomial — um exemplo clássico da literatura de aprendizado de máquina, reforçando que a mecânica não é exclusiva de árvores.
- ✗ Falso — Viés otimista do erro de treino não inverte a relação entre as duas quantidades — um modelo que ajusta mal até o próprio treino (erro de treino alto, underfitting) não é automaticamente melhor generalizador; a relação entre as duas taxas de erro é mais sutil do que uma simples inversão.
Dica(Resposta) Teste 2 — Train/Validation/Test
- ✔ Verdadeiro — Espiar o teste repetidamente para ajustar decisões é, em essência, incorporá-lo ao processo de ajuste — no limite de infinitas consultas, o teste deixa de ser “não visto” e a estimativa herda o mesmo otimismo do erro de treino.
- ✗ Falso — Consultar a validação repetidamente TEM custo — o hiperparâmetro escolhido pode se ajustar ao ruído específico daquela validação (uma forma mais branda do mesmo problema do teste), motivo pelo qual um conjunto de teste final, nunca usado nessa escolha, continua sendo necessário.
- ✔ Verdadeiro — É um fenômeno real e bem documentado em competições como o Kaggle: o leaderboard público funciona exatamente como uma validação espiada repetidamente, e o leaderboard privado revela o custo estatístico dessa espiada.
- ✗ Falso — É uma falsa paralela: o conjunto de validação serve para escolher HIPERPARÂMETROS (ou tomar decisões de modelo), não para “ajustar os dados” — essa segunda função nem corresponde a nenhum papel padrão de validação.
Dica(Resposta) Teste 3 — O Procedimento k-fold
- ✔ Verdadeiro — É a própria definição de LOOCV: com \(k=N\) folds, cada fold necessariamente contém \(N/k=1\) ponto.
- ✔ Verdadeiro — Se o modelo já viu os pontos do fold “de validação” durante o ajuste, avaliá-lo ali é medir erro de treino disfarçado, não uma simulação de dado novo — o ponto central de k-fold é justamente excluir cada fold do ajuste do modelo que o avalia.
- ✔ Verdadeiro — Misturar hospitais nos folds permite que o modelo “veja” características de todos os hospitais durante o treino, mesmo que não veja aqueles pacientes específicos — uma forma de vazamento em nível de grupo, distinta mas relacionada à seleção de atributos discutida no bloco de Vazamento de Dados.
- ✗ Falso — Por mais parecidos que sejam os conjuntos de treino entre folds, cada modelo é AVALIADO em pontos que não usou para se ajustar — a diferença crucial em relação ao erro de treino, que avalia exatamente nos mesmos pontos usados no ajuste.
Dica(Resposta) Teste 4 — Estratificação
- ✔ Verdadeiro — Com uma classe muito rara, uma partição puramente aleatória tem chance real de, por azar, deixar algum fold pequeno sem nenhum representante dela — exatamente o cenário em que a estratificação (que força a proporção em cada fold) é mais valiosa.
- ✗ Falso — Mesmo com a população global balanceada, uma partição aleatória comum ainda pode gerar, por acaso, um fold pequeno com proporção diferente de \(50\%/50\%\);
StratifiedKFoldforça a proporção em CADA fold individualmente, o que não é garantido automaticamente só porque o total é balanceado. - ✔ Verdadeiro — Quanto mais desbalanceadas as classes (e mais classes existirem), maior o risco de uma partição aleatória deixar alguma classe minoritária mal representada nalgum fold — a estratificação escala em importância com o grau de desbalanceamento.
- ✗ Falso — Estratificação é uma técnica de REDUÇÃO DE VARIÂNCIA entre folds (torna as partições mais parecidas com a população, fold a fold), não uma fonte de viés no valor esperado — mudar quais pontos caem em cada fold não é o mesmo que mudar a expectativa da estimativa resultante.
Dica(Resposta) Teste 5 — LOOCV vs. k-fold Pequeno
- ✔ Verdadeiro — Com \(k=N\), cada fold de validação tem 1 ponto, deixando \(N-1\) para o treino — a maior fração de dados de treino que qualquer escolha de \(k\) permite dentro do esquema de k-fold.
- ✗ Falso — LOOCV é determinístico — ele usa TODAS as \(N\) divisões possíveis de “deixar um de fora”, não uma amostra aleatória de divisões, então repetir o cálculo sempre reproduz o mesmo valor. É exatamente o oposto do que acontece com 5-fold/10-fold, cuja partição é sorteada.
- ✔ Verdadeiro — Com amostras pequenas, cada ponto de treino vale proporcionalmente mais; LOOCV maximiza os dados de treino por fold, uma vantagem que fica mais valiosa quanto menor for \(N\) — o oposto do regime de \(N\) grande, em que o custo computacional de LOOCV se torna a preocupação dominante.
- ✗ Falso — Baixo viés não é a mesma coisa que baixa variância — o próprio ESL destaca que o LOOCV paga esse baixo viés com alta variância. Num experimento real com essa árvore (LOOCV em \(89{,}4\%\), abaixo da média repetida de 5-fold e 10-fold, em torno de \(92\)–\(93\%\)), “menos enviesado” não significou “melhor estimativa” de forma automática.
Dica(Resposta) Teste 6 — Custo Computacional e Variância de k
- ✔ Verdadeiro — Mesmo um ajuste individual barato, multiplicado por milhões de repetições (uma por ponto), se torna computacionalmente inviável — o custo de LOOCV escala linearmente com \(N\), tornando \(k\) pequeno a escolha prática dominante em escala.
- ✔ Verdadeiro — A explicação padrão (ESL) para a alta variância do LOOCV é especificamente a alta SIMILARIDADE entre os \(N\) conjuntos de treino; se essa similaridade não existisse, essa explicação causal específica não se aplicaria (ainda que outras causas de variância pudessem existir).
- ✔ Verdadeiro — Uma nova semente é só mais um sorteio da mesma distribuição de partições possíveis já caracterizada pelo desvio-padrão entre repetições medido no experimento; espera-se que o novo valor caia dentro dessa faixa de variação típica.
- ✗ Falso — Custo computacional e qualidade estatística são eixos diferentes — de fato, um achado experimental típico mostra o oposto do que a intuição “mais caro, portanto melhor” sugeriria: o LOOCV (mais caro) pode ter o valor mais distante da média repetida de 5/10-fold num dataset específico.
Dica(Resposta) Teste 7 — Aplicação: Poda por Validação Cruzada
- ✔ Verdadeiro — Com \(\lambda=0\), o critério de custo-complexidade \(C(T)=\sum_\tau Q_\tau(T)+\lambda|T|\) se reduz a só \(\sum_\tau Q_\tau(T)\), que é sempre minimizado (ou empatado) pela árvore mais completa possível — o oposto do \(\lambda\) escolhido por CV no experimento descrito no bloco, que produziu uma árvore de só 4 folhas.
- ✔ Verdadeiro — O argumento para preferir a árvore simples se apoia no fato de que a simplicidade “não custou nada” (empate de acurácia); se a simplicidade tivesse custado acurácia real, o argumento ficaria mais fraco — teria que ser justificado por outros critérios (interpretabilidade, custo computacional), não mais “de graça”.
- ✔ Verdadeiro — Interpretabilidade e auditabilidade são vantagens práticas reais de modelos mais simples, independentes de qualquer ganho de acurácia — um cenário regulatório concreto em que “empatar em acurácia, preferir o mais simples” tem valor tangível, não só didático.
- ✗ Falso — Os CANDIDATOS a \(\lambda\) vêm de forma determinística dos dados, mas a ESCOLHA de qual candidato é “o melhor” com base numa única divisão treino/validação depende de qual divisão específica saiu no sorteio — CV com múltiplos folds reduz essa dependência ao mediar sobre várias divisões, uma vantagem que a inspeção de um único gráfico não tem.
Dica(Resposta) Teste 8 — A Regra de 1 Desvio-Padrão
- ✔ Verdadeiro — A faixa de tolerância da regra de 1-SE tem largura proporcional ao próprio erro-padrão; se esse erro-padrão vai a zero, a faixa colapsa para um único ponto — o modelo de máxima média — eliminando a diferença entre as duas regras.
- ✗ Falso — Um resultado coincidente em UM experimento específico não prova uma propriedade GERAL da regra — seria uma generalização apressada a partir de uma única observação. (E, de fato, no experimento descrito no bloco anterior, a coincidência nem ocorreu: a árvore 1-SE teve acurácia de teste pior, \(90{,}1\%\) contra \(91{,}8\%\).)
- ✔ Verdadeiro — É exatamente o tipo de cenário que a Questão Discursiva 3 pede para considerar: quando restrições práticas de deploy tornam a simplicidade valiosa por si só, vale mais a pena pagar um pouco de acurácia por ela do que num contexto sem essa restrição.
- ✗ Falso — A regra 1-SE INCORPORA a incerteza numa decisão (qual modelo escolher entre os “empatados dentro do ruído”), mas não faz a incerteza da estimativa de CV desaparecer — a própria estimativa de CV continua tendo o mesmo erro-padrão de antes.
Dica(Resposta) Teste 9 — O Bootstrap
- ✔ Verdadeiro — \(B\) controla quantas réplicas de tamanho \(N\) são geradas — mais \(B\) dá uma aproximação Monte Carlo mais precisa da distribuição amostral do estimador, mas cada réplica individual continua do mesmo tamanho da amostra original; \(B\) e \(N\) são parâmetros independentes.
- ✔ Verdadeiro — Reamostrar \(N\) pontos de uma população de \(N\) SEM reposição só pode devolver uma permutação de todos os pontos originais — nenhum ponto é omitido, nenhum se repete, então não há variação real entre “réplicas” para medir. É a reposição que permite que pontos se repitam ou fiquem de fora, criando a variabilidade que o método explora.
- ✔ Verdadeiro — É uma das grandes vantagens do Bootstrap: ele se aplica a qualquer estatística, não só à média ou à acurácia — não depende de uma fórmula fechada para o erro-padrão, já que a incerteza é estimada empiricamente pela reamostragem.
- ✗ Falso — CV estima o risco esperado de generalização; Bootstrap, na formulação clássica, estima a variabilidade amostral de uma estatística — perguntas relacionadas, mas diferentes, como o próprio ESL registra explicitamente.
Dica(Resposta) Teste 10 — Duas Aplicações do Bootstrap
- ✔ Verdadeiro — Mais dados de teste reduzem o ruído amostral na medição da acurácia; o próprio intervalo observado (\([87{,}7\%,95{,}9\%]\)) é atribuído ao tamanho modesto do conjunto de teste (\(171\) pacientes) — um teste maior estreitaria essa faixa.
- ✗ Falso — Sem reajustar, o modelo nunca muda — não há como medir a instabilidade do PROCEDIMENTO DE AJUSTE se o ajuste nunca é repetido. Essa variante mediria outra coisa (talvez nada de muito informativo), não a instabilidade do ajuste que a segunda aplicação mede.
- ✔ Verdadeiro — A primeira pergunta corresponde a reamostrar o TESTE (incerteza de medição); a segunda, a reamostrar o TREINO e reajustar (instabilidade do procedimento) — exatamente o mapeamento das duas aplicações descritas para duas perguntas de negócio reais e distintas.
- ✗ Falso — Mesma técnica, perguntas diferentes — não há razão para esperar o mesmo intervalo quando se está medindo incerteza de medição num caso e instabilidade de ajuste no outro.
Dica(Resposta) Teste 11 — Vazamento de Dados (Data Leakage)
- ✔ Verdadeiro — Com mais atributos candidatos totalmente irrelevantes, a chance de encontrar, por puro acaso, alguns com correlação amostral alta com o rótulo aumenta — mais “tiros na loteria” para o vazamento explorar, piorando o otimismo da estimativa.
- ✔ Verdadeiro — É exatamente o resultado numérico do “jeito certo” descrito no bloco: selecionar dentro de cada fold recupera uma estimativa honesta (\({\sim}48\%\)), muito mais próxima dos \(50\%\) reais do que o \({\sim}1{,}5\%\) enviesado do jeito errado.
- ✔ Verdadeiro — Ajustar qualquer transformação (PCA, normalização, seleção) usando dados que depois aparecerão na validação de algum fold vaza informação da validação para o treino — o mecanismo é o mesmo, independente de a transformação específica ser seleção de atributos ou redução de dimensionalidade.
- ✗ Falso — Vazamento pode ocorrer sem nunca usar rótulos — normalizar ou reduzir dimensionalidade com estatísticas calculadas na amostra inteira (incluindo a validação) também vaza informação, mesmo sem tocar em nenhum rótulo, como discutido na Questão Discursiva 2.
Dica(Resposta) Teste 12 — Reportando Resultados de Validação Cruzada
- ✔ Verdadeiro — Se não há variabilidade real entre os folds, não há informação relevante escondida ao omitir o desvio-padrão — a crítica a “reportar só a média” perde força exatamente na medida em que a variabilidade real se aproxima de zero.
- ✔ Verdadeiro — A correção estatística de reportar incerteza não depende da autoridade de nenhum livro específico — é uma propriedade da própria estimativa (ela TEM variabilidade amostral, quer alguém reporte isso ou não); a citação do ESL é evidência/reforço, não a fonte da correção.
- ✔ Verdadeiro — Sem uma medida de variabilidade (desvio-padrão, intervalo de confiança), um ponto percentual de diferença pode estar completamente dentro do ruído esperado de amostragem — exatamente o motivo pelo qual a prática de reportar só médias é problemática também na publicação científica.
- ✗ Falso — É exatamente o oposto: quanto maior a variabilidade entre folds, MENOS estável e confiável é a estimativa — um desvio-padrão alto é um sinal de alerta sobre a precisão do número reportado, não uma virtude.