Perguntas com a marcação «graph-theory»

15
Manter a ordem numa lista em

O problema de manutenção de pedidos (ou "manutenção de pedidos em uma lista") é dar suporte às operações: singleton: cria uma lista com um item, retorna um ponteiro para ele insertAfter: dado um ponteiro para um item, insere um novo item depois dele, retornando um ponteiro para o novo...

14
Atingindo ciclos ímpares

Existe algo conhecido sobre o seguinte problema? Faz algum sentido? Como isso é chamado? É trivialmente equivalente a algum outro problema? Qual é a complexidade do tempo? Dado um gráfico não direcionado (geral / plano / grau delimitado / etc.) G = (V, E), encontre um subconjunto máximo de arestas...

14
A eta-equivalência para funções é compatível com a operação seq de Haskell?

Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a -> b -> b seq ⊥ b = ⊥ seq...