Lição
A teoria — Laboratório de Modelagem por Partes
Uma função definida por troços não é uma regra com uma excepção; são duas regras completas mais a indicação de qual se aplica onde. Aqui uma regra linear governa tudo abaixo de um ponto de quebra c e uma segunda governa tudo a partir de c. A pergunta interessante nunca é o que faz cada troço — são apenas rectas — mas o que acontece na costura.
O que significa cada símbolo
c- o ponto de quebra: a entrada em que a regra muda.
f(c⁻)- para onde o troço da esquerda se dirige quando
xse aproxima decpor baixo. É um limite, não um valor: emca regra da esquerda já não se aplica. f(c⁺)- o valor que o troço da direita realmente toma em
c, que é também o valor da função aí. jumpf(c⁺) − f(c⁻). Zero exactamente quando os dois troços se encontram.
De onde vem a fórmula
- Escreva a definição com a condição ao lado:
f(x) = m₁x + b₁parax < c, ef(x) = m₂x + b₂parax ≥ c. Repare a que troço pertence o próprio ponto de quebra — aqui ao da direita, e é por isso que o gráfico mostra um círculo vazado no ramo esquerdo e um cheio no direito. - Em
ca função tem um valor dado pela regra da direita,m₂c + b₂. A regra da esquerda não tem valor aí, mas tem destino: quandoxsobe em direcção ac,m₁x + b₁aproxima-se dem₁c + b₁. É o limite à esquerda. - Continuidade num ponto significa que os limites de ambos os lados e o valor coincidem. Aqui o limite à direita e o valor são a mesma coisa, portanto dois dos três são automáticos e toda a condição se reduz a uma equação:
m₁c + b₁ = m₂c + b₂. - Uma equação, e qualquer coeficiente pode ser deslocado para a satisfazer:
b₂ = (m₁ − m₂)c + b₁. A continuidade está, portanto, sempre disponível e nunca é gratuita — é preciso gastar um parâmetro nela. Quando não se gasta, o que sobra é exactamente aquilo a que a leitura chama salto:(m₂c + b₂) − (m₁c + b₁).
Como ler o que vê
O segmento azul é a regra da esquerda e o laranja a da direita, cada um traçado até onde a sua própria condição permite. No ponto de quebra o ramo azul termina num círculo vazado — um destino que nunca ocupa — e o laranja começa com um ponto cheio, que é o valor verdadeiro de f(c). Quando os dois coincidem, os círculos sobrepõem-se e a linha do salto lê 0. O ponto azul-esverdeado é f(x₀) para o que puser na caixa de avaliação, e as três últimas linhas traduzem a imagem em números: se os troços se encontram, quanto muda o declive na passagem, e se o degrau descendente cria um intervalo de entradas que custam mais do que o próprio ponto de quebra.
- Pressupõe
- Ambos os troços são rectas, há exactamente um ponto de quebra, e ele está num sítio conhecido. A convenção semiaberta importa e é uma escolha: a regra da direita possui
x = c, logof(c)ém₂c + b₂. Inverta a convenção e o valor no único pontocmuda, mas o salto não. - Falha quando
- O problema a sério aparece quando
cnão é conhecido mas estimado. Um ponto de quebra estimado a partir dos mesmos dados que ajustam as rectas é um parâmetro escolhido para minimizar o erro, pelo que os erros-padrão habituais da regressão ficam pequenos demais e o ajuste parece melhor do que é — é para isso que existem os métodos de regressão segmentada. E um modelo de dois troços nada diz sobre um terceiro regime: prolongar qualquer das rectas para além do intervalo observado pressupõe uma regra que nunca foi testada.
Problema resolvido na íntegra
-
Um ponto de mudança de tarifa em 5 e o intervalo onde comprar mais custa menos 6 passos
Uma tarifa cobra 2x + 3 abaixo de um ponto de transição em 5 e 0,8x + 8 acima dele. Determine o valor em 7 — depois determine o intervalo em que comprar mais custa menos.
-
Duas retas e uma regra para saber qual se aplica. O único cuidado necessário diz respeito à fronteira: exatamente em x = 5, o segundo ramo é o que está em vigor.
-
Aproxime-se do ponto de transição por ambos os lados. O limite à esquerda e o valor real discordam, e a dimensão da discrepância é o salto.
-
Os declives também discordam, e de forma independente. Uma função pode ser contínua com um ponto anguloso, ou dar um salto sem ponto anguloso; esta faz ambas as coisas.
-
Agora a questão interessante. Averigue onde o primeiro ramo já subiu acima do valor em que o segundo ramo começa.
-
Essa desigualdade verifica-se de 4,5 até ao ponto de transição, e em todo esse intervalo a compra mais barata é a de maior quantidade.
-
Vale a pena escrever a condição que eliminaria o intervalo, pois é essa que um tarifário bem concebido satisfaz.
Resposta
13,6, e entre 4,5 e 5 deve comprar-se sempre 5. O segundo ramo começa em 12 enquanto o primeiro ramo ainda está a subir para além dele, pelo que qualquer pessoa nesse intervalo paga mais por menos. O intervalo não é um artefacto de arredondamento — é 10% de todo o primeiro escalão, e é exatamente o que se obtém com uma tarifa descontínua. Os tarifários reais evitam-no fazendo com que os ramos se encontrem: a continuidade exige b₂ − b₁ = (m₁ − m₂)c, o que aqui exigiria que 5 fosse igual a 6. Os escalões marginais de imposto são construídos dessa forma de propósito, razão pela qual a crença popular de que um aumento de salário pode reduzir o rendimento líquido é falsa para o imposto sobre o rendimento e verdadeira para quase todos os descontos de quantidade alguma vez impressos.
-
Referências (2)
- The theory section ends on what happens when the breakpoint is estimated rather than known. This is the method that handles it: V. M. R. Muggeo, "Estimating regression models with unknown break-points." Statistics in Medicine 22(19), 3055–3071, 2003.
- Insight block 3 — the piecewise-linear kink at the centre of modern networks: X. Glorot, A. Bordes and Y. Bengio, "Deep Sparse Rectifier Neural Networks." Proceedings of the 14th International Conference on Artificial Intelligence and Statistics (AISTATS), PMLR 15, 315–323, 2011.