Esta pergunta está relacionada a uma pergunta recente de Janoma . fundo Na programação restrição, um normal global de restrição ao longo de um domínio é um par (S, M) com s um tuplo de variáveis (o escopo) e M um DFA sobre o domínio D . Uma atribuição \ theta a s satisfaz c se M aceitar a...
Nos é dado um matróide. Nosso objetivo é encontrar um conjunto de elementos de tamanho mínimo que possua uma interseção não vazia com todas as bases do matróide. O problema já foi estudado? Está em P? Por exemplo, em um matróide de spanning tree, o conjunto de batidas mínimo deve ser um corte...
Estou tentando cobrir um polígono côncavo simples com um mínimo de retângulos. Meus retângulos podem ter qualquer comprimento, mas têm larguras máximas e o polígono nunca terá um ângulo agudo. Pensei em tentar decompor meu polígono côncavo em triângulos que produzem um conjunto de retângulos...
A coloração de uma grade m × nkkkm×nm×nm \times n é uma função . Um retângulo quebrado em C é uma tupla ( i , i ' , j , j ' ) que satisfaz C ( i , j ) = C ( i ' , j ) = C (C:[m]×[n]→[k]C:[m]×[n]→[k]C:[m] \times [n] \to [k]CCC(i,i′,j,j′)(i,i′,j,j′)(i,i',j,j') - ou seja, exatamente três cantos do...
Cruzado do MO . Seja CCC uma classe de gráfico definida por um número finito de subgráficos induzidos proibidos, todos cíclicos (contêm pelo menos um ciclo). Existem problemas de gráfico NP-rígido que podem ser resolvidos em tempo polinomial para CCC diferente da capa Clique e Clique? Se bem...
Eu sou interessante no sistema de girassol e suas aplicações na ciência da computação. Dado um universo e uma coleção de define é chamado de um sistema de k-girassol se para todos . E é chamado como o núcleo e é chamado de pétalas. k A i A i ∩ A j = Y i ≠ j Y A i - YvocêUUkkkUMAEuAiA_iUMAEu∩ Aj=...
Seja uma permutação. Observe que enquanto atua em um domínio infinito, sua descrição pode ser finita. Por descrição , quero dizer um programa que descreve a funcionalidade do \ pi . (Como na complexidade de Kolmogorov.) Veja as explicações abaixo.π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^*...
A norma de corte de uma matriz real é o máximo entre todos os da quantidade.||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n]∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right| Defina a...
Estamos trabalhando em computadores distribuídos e descobrimos um problema de complexidade que reduz a um caminho mínimo que cobre o problema. Atualmente, não sabemos como resolvê-lo. O problema é o seguinte: Vamos ser algum número inteiro, e deixá- Z k ser um gráfico contendo k ( k + 1...
Existem muitos exemplos em combinatória e ciência da computação em que podemos analisar um problema teórico dos grafos, mas para o análogo do hipergrafo do problema, nossas ferramentas estão faltando. Por que você acha que os problemas geralmente se tornam muito mais difíceis em relação aos...
Deixe ser um gráfico conectado com nodos e bordas . Deixe denotar o peso (número inteiro) de gráfico , com o peso total no gráfico. O peso médio por nó é então . Seja denota o desvio do nó da média. Nós chamamoso desequilíbrio do nó .GGGG=(V,E)G=(V,E)G = (V,E)V=1…nV=1…nV = 1 \dots...
Sabemos que o log da classificação de uma matriz 0-1 é o limite inferior da complexidade da comunicação determinística, e o log da classificação aproximada é o limite inferior da complexidade da comunicação aleatória. A maior lacuna entre a complexidade determinística da comunicação e a...
Estou procurando o texto completo do resultado da camarilha de Moon and Moser de 1965, On Cliques in Graphs (existem gráficos com um número máximo de cliques exponenciais em ). O paywall da minha universidade não tem acesso ao diário específico. (De fato, a visualização fornece as primeiras frases...
Durante o meu trabalho, eu vim com o seguinte problema: Estou tentando encontrar uma matriz , para qualquer , com as seguintes propriedades:n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 O determinante de é par.MMM Para qualquer subconjunto não vazio com, A submatriz tem determinante...
Definições Seja e sejam d , r e g inteiros positivos (com g > 2 r + 1 ).ε > 0ϵ>0\epsilon > 0dddrrrgggg> 2 r + 1g>2r+1g > 2r+1 Seja um gráfico finito simples, d- regular, sem direção e finito, com perímetro pelo menos g .G = ( V, E)G=(V,E)G = (V,E)dddggg Deixe ser uma ordem total...
Considere um gráfico cúbico aleatório conectado devértices, extraídos de reg (como definido aqui , ou seja, é par e quaisquer dois gráficos têm a mesma probabilidade).n = | V | G ( n , 3 ) 3 nG = ( V, E)G=(V,E)G=(V,E)n = | V|n=|V|n =|V|G ( n , 3G(n,3G(n, 3)))3 n3n3n Claro que existem possíveis...
No artigo Sobre dois problemas da teoria da informação , Erdõs e Rényi estabelecem limites menores no número mínimo de pesagens que se deve fazer para determinar o número de moedas falsas em um conjunto de moedas.nnn Mais formalmente: As moedas falsas têm um peso menor que as moedas certas; os...
Decidindo o gráfico O homomorfismo é geralmente NP-Completo. Existem resultados que estudam esse problema quando os gráficos subjacentes têm estrutura algébrica (como decidir homomorfismos dos gráficos de cosset de Cayley ou Cayley para outros gráficos com alguma estrutura definida também)? Além...
Existe alguma construção conhecida de um erro linear para corrigir o código (com parâmetros razoáveis), de modo que, quando dado um vetor booleano v \ em \ {0,1 \} ^ n , ele também retorna um vetor booleano whp? (embora esteja acima de \ mathbb {F} _q
Seja . Preciso gerar gráficos simples de circunferência modo que o conjunto de todas as -cycles forme uma cobertura de borda dupla de (ou seja, toda aresta é compartilhada por exatamente duas -cycles), e de modo que a interseção de duas -cycles é um vértice, uma aresta ou vazio. Os gráficos gerados...