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

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...

GI e Knot Problem são problemas para decidir a equivalência estrutural de objetos matemáticos. Existem resultados estabelecendo conexões entre eles? Boas conexões do problema do nó à física estatística foram exploradas através de polinômios do nó ; existem resultados semelhantes para ?G...

O problema do caminho mais longo é NP-hard. A prova (típica?) Baseia-se na redução do problema do caminho hamiltoniano (que é NP-completo). Observe que aqui o caminho é considerado simples (nó). Ou seja, nenhum vértice pode ocorrer mais de uma vez no caminho. Obviamente, também é simples de borda...

Gostaria de saber como encontrar a circunferência de um gráfico esparso e não direcionado. Por esparso, quero dizer . Por ótimo, quero dizer a menor complexidade de tempo.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Pensei em alguma modificação no algoritmo de Tarjan para gráficos não direcionados, mas não...

Os gráficos de Paley P q são aqueles cujo conjunto de vértices é dado pelo campo finito GF (q), para potências primárias q≡1 (mod 4), e onde dois vértices são adjacentes se e somente se diferem por 2 para alguns a ∈ GF (q). No caso em que q é primo, o campo finito GF (q) é apenas o conjunto de...

Nos é dado um gráfico acíclico direcionado com um número associado a cada vértice ( ) e um número alvo .g : V → N T ∈ NG = ( V, E)G=(V,E)G=(V,E)g: V→ Ng:V→Ng:V\to \mathbb{N}T∈ NT∈NT\in \mathbb{N} O problema de soma de subconjuntos do DAG (pode existir com um nome diferente, uma referência será...

Considere o seguinte problema. Entrada: Um gráfico não direcionado . Saída: Um gráfico menor de com a maior densidade de arestas entre todos os menores de , ou seja, com a maior proporção.G=(V,E)G=(V,E)G=(V,E)HHHGGGGGG|E(H)|/|V(H)||E(H)|/|V(H)||E(H)|/|V(H)| Este problema foi estudado? É...

Como o título diz, qual é a definição correta de -tree? Existem vários artigos que falam sobre árvores- e árvores- parciais como definições alternativas para gráficos com largura de árvore limitada, e eu já vi muitas definições aparentemente incorretas. Por exemplo, pelo menos um local define...

Suponha que exista um gráfico . Quero testar se V pode ser particionado em dois conjuntos separados V 1 e V 2, de modo que os subgráficos induzidos por V 1 e V 2 sejam gráficos de intervalo unitário.G = ( V, E)G=(V,E)G=(V,E)VVVV1V1V_1V2V2V_2V1V1V_1V2V2V_2 Eu sei sobre o NP-completude de determinar...

Suponha que temos um conjunto S de gráficos (gráficos finitos, mas um número infinito deles) e um grupo P de permutações que atua em S. Instância: Uma permutação p em P. Pergunta: Existe um gráfico g em S que admite o automorfismo p? Esse problema é NP-completo para alguns conjuntos...

Para quais gráficos não direcionados estão todas as árvores de pesquisa em profundidade (para todos os possíveis vértices iniciais e para todas as opções de quais vizinhos pesquisar primeiro) caminhos direcionados? Ou seja, toda árvore DFS deve ter apenas uma folha e todos os outros vértices devem...

Seja uma classe de gráficos com largura de clique limitada. Em cada gráfico em G, algumas arestas são contraídas (por exemplo, aleatoriamente). Agora a largura da camarilha ainda é limitada?GGGGGG Caso (em geral) não seja mais limitado, eu estaria muito interessado em um

Eu tentei o seguinte relaxamento de LP do conjunto independente máximo max∑ixEumax∑ixEu\max \sum_i x_i st xi+xj≤ 1 ∀ ( i , j ) ∈ E st xEu+xj≤1 ∀(Eu,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xEu≥ 0xEu≥0 0x_i\ge 0 Eu recebo 1 / 21/21/2 para cada variável para cada gráfico cúbico não...

Estou interessado em entender a estrutura da classe dos gráficos modo que não exista subgráfico induzido por vértices em quatro vértices, o que é uma correspondência perfeita. Dado de forma diferente para quaisquer quatro vértices a , b , c , d em G se a b e c d são arestas, o gráfico deve ter pelo...

Antecedentes Esta questão é motivada por um jogo de tabuleiro chamado 'Drácula'. Neste jogo, há um vampiro e quatro caçadores, o objetivo dos caçadores é capturar o vampiro. O jogo acontece na Europa. O jogo é o seguinte: 1. O jogador caçador coloca todos os caçadores nas cidades. Mais de um...

Chong, Han e Lam mostraram que a conectividade st não direcionada pode ser resolvida no EREW PRAM em time com processadores .O ( log n )O(registron)O({\log}n)O ( m + n )O(m+n)O(m+n) Qual é o algoritmo paralelo mais conhecido para conectividade st em gráficos planares direcionados? Indique o tempo...

Neste artigo de Kempe-Kleinberg-Tardos, os autores propõem algoritmos gananciosos baseados em funções submodulares para determinar os nós mais influentes em um gráfico, com aplicações em redes sociais.kkk Basicamente, o algoritmo é o seguinte: S= e m p t y s e t S=empty setS = {\rm...

Estou interessado na complexidade do problema do conjunto dominante (DSP) em algumas classes gráficas específicas que são subclasses de gráficos cordais . Um gráfico é um gráfico de caminho não direcionado se for o gráfico de interseção de vértices de uma família de caminhos em alguma árvore não...

Dado um gráfico planar, uma lata incorporá-lo em tempo linear passando livre em um grade. Estou interessado em saber se algum algoritmo eficiente é conhecido por incorporar em linha reta um gráfico planar cruzando livremente em uma grade n c × n c , para alguns c pequenos , de modo que o ângulo...

No problema de extensibilidade, recebemos parte da solução e queremos decidir se podemos estendê-la para uma solução completa. Alguns problemas de extensibilidade são solucionáveis ​​com eficiência, enquanto outros problemas de extensibilidade transformam um problema fácil em um difícil. Por...