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

Sabemos que podemos representar qualquer gráfico plano por um conjunto de círculos no plano, conhecido como gráfico de moedas . Cada círculo representa um vértice e há uma aresta entre dois vértices se e somente se os círculos "beijarem" em seus limites. Suponha que, em vez disso, permitamos que os …

16 graph-theory  co.combinatorics  graph-algorithms  graph-drawing 

É bem conhecido que K5K5K_5 e K3,3K3,3K_{3,3} são proibidos menores para grafos planares. Existem centenas de menores proibidos para gráficos incorporados em um toro. O número de menores proibidos para gráficos incorporáveis ​​na superfície do gênero g é uma função exponencial de g . Minha pergunta é a seguinte: Existe …

16 graph-theory  co.combinatorics  graph-minor  algebraic-topology 

Recebemos uma família de m subconjuntos de {1, ..., n}. É possível encontrar um limite inferior não trivial à complexidade de decidir se F é uma família Sperner? O limite inferior trivial é O ( n m ) e eu suspeito fortemente que ele não seja rígido.FF\mathcal{F}mmmFF\mathcal{F}O ( n m …

16 ds.algorithms  co.combinatorics 

Gráficos livres de X são aqueles que não contêm gráfico de X como um subgrafo induzido. Um buraco é um ciclo com pelo menos 4 vértices. Um buraco ímpar é um buraco com um número ímpar de vértices. Um anti - furo é o complemento de um buraco. Os gráficos …

16 reference-request  graph-theory  co.combinatorics  graph-classes 

Este é um acompanhamento para esta pergunta em math.stackexchange. Digamos que um conjunto não vazio S ℤ ℤ seja auto-sustentável se, para todo a ∈ S, existirem elementos distintos b, c ∈ S tais que a = b + c. Para números inteiros positivos n , exemplos simples incluem o …

16 ds.algorithms  co.combinatorics 

Ao tentar criar meu próprio algoritmo de classificação, estou procurando o benchmark ideal com o qual posso compará-lo. Para uma ordem não classificada dos elementos A e uma ordem classificada B , qual é uma maneira eficiente de calcular o número ideal de transposições para ir de A a B …

15 ds.algorithms  co.combinatorics  sorting 

Deixe [n][n][n] denotar o conjunto {1,...,n}{1,...,n}\{1,...,n\} e C (n, k) denotam o conjunto de todas as combinações de kkk de elementos de [n][n][n] sem repetição. Seja p=p1p2...pkp=p1p2...pkp= p_1p_2...p_k ser um -tuple em . Dizemos que uma permutação do conjunto evita se não houver k-tupla de números inteirosC ( n , …

15 reference-request  co.combinatorics  permutations 

Esta é uma pergunta subsequente a esta sobre gráficos infinitos. As respostas e os comentários a essa pergunta listam objetos e situações que são modelados naturalmente por gráficos infinitos. Mas também existem numerosos teoremas sobre gráficos infinitos (ver capítulo 8 no livro de Diestel), dos quais, por exemplo, o lema …

15 graph-theory  co.combinatorics  lo.logic 

Os gráficos planares são livres de . Tais gráficos podem ser decomposta em componentes conectado-tri, que são conhecidos por ser ou plana ou K 5 componentes.K3,3K3,3K_{3,3}K5K5K_5 Existe uma decomposição "agradável" de gráficos do gênero um? Em seu trabalho seminal sobre menores de gráfico, Roberston e Seymour mostraram que todos os …

15 graph-theory  co.combinatorics  planar-graphs  graph-minor 

Um gráfico conectado pode ser decomposto em seus componentes biconetados. Essa árvore do ponto de corte do bloco é única. Da mesma forma, os gráficos biconetados podem ser decompostos em componentes triconetados. A árvore SPQR correspondente descreve todos os cortes de 2 vértices no gráfico e é determinada exclusivamente a …

15 graph-theory  co.combinatorics 

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 item …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Problema relacionado: O Teorema de Veblen afirma que "Um gráfico admite uma decomposição de ciclo se e somente se for par". Os ciclos são separados por arestas, mas não necessariamente separados por nós. Em outras palavras, "O conjunto de arestas de um gráfico pode ser dividido em ciclos se e …

15 cc.complexity-theory  graph-theory  co.combinatorics 

Como no esta questão, me interessa a vs / problema para tropical e circuitos. Essa questão se reduz à exibição de limites superiores para a dimensão VC de polinômios sobre as semirrependentes tropicais (consulte o Teorema 2 abaixo). B P P BPP\mathbf{BPP}P P\mathbf{P}p o l ypoly\mathrm{poly} ( máx . + …

14 co.combinatorics  circuit-complexity  algebraic-complexity  arithmetic-circuits  vc-dimension 

Estou lendo o apêndice sobre os limites inferiores do ACC para NEXP no livro Complexidade computacional de Arora e Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Um dos principais lemas é uma transformação de circuitos ACC0ACC0ACC^{0} em polinômios multilineares sobre os números inteiros com grau polilogarítmico e coeficientes quasipolinomiais ou equivalentemente , a classe …

14 cc.complexity-theory  co.combinatorics  complexity-classes  circuit-complexity  boolean-functions 

Considere o espaço dimensional e deixe ser uma restrição linear no formato , em que , e .{ 0 , 1 } n c a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + a n - 1 x n - …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization