Isso é parecido com " Algoritmos do livro ". Embora as reduções também sejam algoritmos, achei duvidoso que se pensasse em uma redução na resposta à pergunta sobre algoritmos do livro. Daí uma consulta separada!
Reduções de todos os tipos são bem-vindas.
Começarei com a redução realmente simples da cobertura de vértices para multicut nas estrelas. A redução quase se sugere assim que o problema de origem é identificado (antes do qual eu acharia difícil acreditar que o problema seria difícil para as estrelas). Essa redução envolve a construção de uma estrela com folhas e a associação de um par de terminais a todas as arestas do gráfico, e é "fácil de ver" que ela funciona. Vou atualizar isso com um link para uma referência, quando eu encontrar um.
Aqueles que estão perdendo o contexto do livro podem querer examinar a pergunta sobre algoritmos do livro .
Atualização: Percebo que não estava totalmente claro o que qualifica como uma redução do livro. Eu acho esse problema um pouco complicado, então confesso que me esquivei deliberadamente do problema deslizando uma referência ao outro segmento :)
Então, deixe-me descrever o que eu tinha em mente e suponho que não é preciso dizer - YMMV a esse respeito. Pretendo uma analogia direta com a intenção original de Provas do Livro. Vi reduções que são terrivelmente inteligentes e me deixo boquiaberto ao ver como essa sequência de pensamentos pode ter ocorrido a alguém. Embora essas reduções me deixem com um senso definido de admiração, esses não são os exemplos que pretendo coletar neste contexto.
O que estou procurando são reduções que são descritas sem muita dificuldade e que talvez sejam levemente surpreendentes, pelo motivo de serem fáceis de entender, mas não fáceis de apresentar. Se você estima que a redução em questão exigirá uma palestra para cobrir, provavelmente ela não se encaixa na conta, embora eu tenha certeza de que pode haver exceções em que a ideia de alto nível é elegante e o diabo está nos detalhes (para o registro, não tenho certeza se consigo pensar em algum).
O exemplo que dei foi deliberadamente simples e, espero, um pouco - se não perfeitamente - ilustrativo dessas características. A primeira vez que ouvi falar sobre corte múltiplo foi em uma sala de aula, e nosso instrutor começou dizendo que não é apenas NP-difícil em geral, é NP-difícil mesmo quando restrito a árvores ... {pausa dramática} de altura um . Lembro-me de não poder provar imediatamente, embora pareça óbvio em retrospecto.
Suponho que óbvio, retrospectivamente, descreva de perto o que estou procurando. Não tenho certeza se isso tem algo a ver com a complexidade da descrição - talvez haja situações em que algo aparentemente obscuro possa ser classificado como elegante - fique à vontade para apresentar seus exemplos (exceções?), Mas eu realmente apreciaria uma justificativa. Dado que, depois de algum momento, isso é uma questão de gosto, você certamente deve se sentir à vontade para encontrar o que considero insanamente complexo, perfeitamente bonito. Estou ansioso para ver uma variedade de exemplos!