Ciência da Computação Teórica

Ao ler o blog de Dick Lipton, deparei-me com o seguinte fato no final de seu post no Bourne Factor : Se, para cada , existe uma relação da forma ( 2 n ) ! = M - 1 Σ k = 0 um K b c k k onde …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

Dado um gráfico não direcionado de vértices , qual é o tempo de execução mais conhecido para encontrar um subgráfico que é uma biclique ? Existem algoritmos parametrizados mais rápidos que o algoritmo de tempo \ binom {n} {k} \ mbox {poly} (n) de "adivinhar" um lado da biclique e …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

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 

Você pode modelar transmissões confiáveis ​​no cálculo pi? Se sim: como? Caso contrário: existem álgebras de processo semelhantes onde você pode? O que eu tentei: Se o remetente quiser enviar uma mensagem y para todos os P 1 a P n , você poderá escrever ! ( ¯ x y …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

Eu queria saber se os problemas para os quais existem algoritmos de tempo sublinear (no tamanho da entrada) podem ser caracterizados como possuindo propriedades específicas. Isso inclui tempo sublinear (por exemplo, teste de propriedades, uma noção alternativa de aproximação para problemas de decisão), espaço sublinear (por exemplo, algoritmos de esboço …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Eu estou interessado neste problema: Dado um grafo não direcionado , Existe uma partição de em gráficos e de tal forma que e são isomorphic?G G 1 ( E 1 , V 1 ) G 2 ( E 2 , V 2 ) G 1 G 2G ( E, V)G(E,V)G(E, …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

Por um resultado clássico de Kuroda, a classe de complexidade NSPACE [ ]nnn (também conhecida como NLIN-SPACE) é precisamente a classe CSL de linguagens sensíveis ao contexto . O problema de satisfação SAT está no NSPACE [ ], uma vez que um palpite de tamanho linear para uma solução pode …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Uma frase de permutação é uma extensão das definições gramaticais livres de contexto (E) BNF: uma frase de permutação contém produções (ou equivalentes, não terminais) a . Na posição da frase de permutação, gostaríamos de ver cada uma dessas produções exatamente uma vez, mas não estamos interessados ​​em ordenar essas …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

Não trabalho em teoria, mas meu trabalho exige a leitura (e a compreensão) de trabalhos de teoria de vez em quando. Depois de entender um (conjunto de) resultados, discuto esses resultados com pessoas com quem trabalho, a maioria das quais também não trabalha em teoria. Durante uma dessas discussões, surgiu …

16 ds.algorithms  graph-algorithms 

Como é sabido, uma decomposição em árvore de um gráfico consiste em uma árvore com uma bolsa associada para cada vértice , que satisfaz as seguintes condições:T T v ⊆ V ( G ) v ∈ V ( T )GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) Cada vértice de ocorre em algum …

16 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Estou tentando descobrir como o Path Graph acordo com o algoritmo de Eppstein, neste artigo funciona e como posso reconstruir os caminhos mais curtos de para com a construção de pilha correspondente .P(G)P(G)P(G)kkkssstttH(G)H(G)H(G) Tão longe: out(v)out(v)out(v) contém todas as arestas que saem de um vértice em um gráfico de que …

16 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

Qual é o número mínimo de portas binárias necessárias para calcular AND e OR de bits de entrada simultaneamente? O limite superior trivial é 2 n - 2 . Eu acredito que isso é ótimo, mas como provar isso? A técnica de eliminação de gate padrão não funciona aqui, pois, …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

É 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 

Estou procurando um problema que pertence a nos gráficos gerais, mas está em nos gráficos de largura de árvore delimitada. Na verdade, acho que esses problemas são mais difíceis do que usar a programação dinâmica normal em limites gráficos de largura de banda para resolvê-los.ΣP2Σ2P\mathsf{\Sigma^P_2}PP\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth 

Dado que a maioria das universidades americanas aceita apenas solicitações em apenas um campo, estou tentando descobrir quais são as vantagens / desvantagens de aplicar a um programa de teoria de CS versus um programa de matemática aplicada, dado que o interesse está em algum lugar dos dois departamentos. Para …

16 soft-question  advice-request  career