Perguntas com a marcação «co.combinatorics»

Estou lendo pesquisas de Trevisan e Lovett sobre aplicações de aditivos combinatórios no TCS. A maioria desses aplicativos se enquadra na complexidade computacional , por exemplo, limites mais baixos. Gostaria de saber se a combinatória aditiva também encontrou aplicações no design de algoritmos . A motivação para minha pergunta é …

12 ds.algorithms  reference-request  co.combinatorics 

Esta questão é motivada por este post. Você consegue identificar a soma de duas permutações no tempo polinomial? , e meu interesse em propriedades computacionais de permutações. Uma sequência de diferenças de uma permutação dos números é formada pela descoberta da diferença entre cada dois números adjacentes na permutação . …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Atualmente, estou fazendo uma pesquisa em Linguagem Formal envolvendo classes de idiomas acima do Regular, mas abaixo do Contexto Livre. Estou olhando para coisas como máquinas multicounter com limite de reversão, máquinas de balcão de pilha única, CFLs determinísticas, etc. Gostaria de saber se alguém conhece um bom livro ou …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Estou procurando um pequeno gráfico GGG cujo número cromático vetorial é menor que o número cromático, χv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) . ( GGG tem vector número cromática qqq se houver uma atribuição x:V→Rdx:V→Rdx\colon V \rightarrow \mathbf R^d , em que intuitivamente os vectores associados com vértices vizinhos estão distantes O requisito é. ⟨x(v),x(w)⟩≤−1/(q−1)⟨x(v),x(w)⟩≤−1/(q−1)\langle …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

O famoso artigo de 1983 de H. Lenstra Programação inteira com um número fixo de variáveis afirma que programas inteiros com um número fixo de variáveis ​​são solucionáveis ​​no polinômio no tempo no comprimento dos dados. Eu interpreto isso da seguinte maneira. A programação inteira, em geral, ainda é NP-completa, …

12 co.combinatorics  linear-programming  integer-programming 

Aqui: http://www.planarity.org/Klein_elementary_graph_theory.pdf (em captações de capítulos) é dada uma definição de incorporação combinatória de um gráfico planar. (com definição de faces e assim por diante) Embora possa ser facilmente usado para qualquer gráfico, eles definem o gráfico planar como o gráfico, para o qual a fórmula de Euler mantém (assumindo …

12 graph-theory  co.combinatorics  planar-graphs 

O livro A = B de Petkovsek, Wilf e Zeilberger descreve algoritmos para calcular diferentes somas de binômios. AFAIK, esses algoritmos ainda estão sendo aprimorados por diferentes autores. Você sabe onde podemos encontrar as implementações mais atualizadas desses algoritmos? E você sabe se existem implementações em alguns softwares gratuitos, como …

12 ds.algorithms  co.combinatorics  implementation 

Se é um gráfico com o máximo de grau 3 e é um menor de H , então L é um menor topológica de H .GGGHHHGGGHHH A Wikipedia cita este resultado da "Teoria dos Gráficos" de Diestel. Ele está listado como Prop 1.7.4 na versão mais recente do livro. O …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Fiz essa pergunta há algumas semanas no mathoverflow , mas não obtive resposta. Aqui, por grade 3D de comprimento lateral , refiro-me ao gráfico com e , ou seja, os nós são colocados em coordenadas inteiras tridimensionais entre 1 e , e um nó é conectado ao at mais 6 …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Deixe e denote por o conjunto de todos os gráficos que podem ser incorporados em uma superfície do gênero modo que todos os vértices estejam situados na face externa . Por exemplo, é o conjunto de gráficos externos. A largura da árvore dos gráficos em ser delimitada por alguma função …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Novamente, um problema de particionamento de borda cuja complexidade me interessa, motivada por uma pergunta anterior minha . Entrada: um gráfico cúbicoG = ( V, E)G=(V,E)G=(V,E) Pergunta: existe uma partição de em , de modo que o subgráfico induzido por cada seja uma garra (ou seja, , freqüentemente chamada de …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Os problemas de coloração de gráficos já são difíceis o suficiente para a maioria das pessoas . Mesmo assim, terei que ser difícil e perguntar um problema sobre a coloração hipergráfica. Questão. Quais algoritmos eficientes existem para encontrar uma coloração de borda aproximadamente ideal para hipergráficos k uniformes? Detalhes --- …

12 co.combinatorics  hypergraphs  graph-colouring 

Seja qualquer estrutura finita. Faz a sua primeira teoria ordem T : = T H ( A ) têm classificação quantificador limitada, no sentido de que há um q ∈ N de tal modo que para todos φ ∈ T com q r ( φ ) &gt; q existe uma …

11 co.combinatorics  lo.logic  relational-structures 

Dado um conjunto de hiperplanos determinado pelos vetores normais , seus tipos de células (ou vetores de sinais) são todos vetores t ∈ { + , - } m para os quais existe um vetor v ∈ R d de modo que ⟨ v , h i ⟩ ≠ 0 …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

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 me lembro, …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics