Ciência da Computação Teórica

As tentativas permitem o armazenamento eficiente de listas de elementos. Os prefixos são compartilhados e, portanto, economizam espaço. Estou procurando uma maneira semelhante de armazenar árvores com eficiência. Eu gostaria de poder verificar a associação e adicionar elementos, sabendo se uma determinada árvore é uma subárvore de algumas árvores armazenadas …

10 ds.data-structures  tree  model-checking 

Embora sejam conhecidas separações exponenciais entre a complexidade da consulta quântica com erro limitado ( ) e a complexidade determinística da consulta ( ) ou a complexidade aleatória da consulta com erro limitado ( ), elas se aplicam apenas a determinadas funções parciais. Se as funções parciais tiverem estruturas especiais …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Um programa span é uma maneira algébrica-linear de especificar uma função booleana apresentada aqui . Recentemente, esse modelo foi usado para mostrar que o método adversário negativo fornece uma caracterização rígida (pelo menos até ) da complexidade da consulta quântica.registron / logregistronlog⁡n/log⁡log⁡n\log n/ \log \log n A medida de complexidade …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Considere o problema de conjunto dominante em gráficos gerais e seja o número de vértices em um gráfico. Um algoritmo de aproximação ganancioso fornece uma garantia de aproximação do fator , ou seja, é possível encontrar em tempo polinomial uma solução tal que , em que é o tamanho de …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness 

Para responder "que problemas podem ser resolvidos pela computação", desenvolvemos a teoria da computabilidade. Para os problemas computáveis, existe uma teoria para responder à pergunta "o programa é o mais simples?"? Não acho que a complexidade computacional responda à pergunta. Eu acho que considera quanto tempo precisamos (embora medidos abstratamente). …

10 big-picture  kolmogorov-complexity 

A publicação está relacionada a: /mathpro/59631/lovasz-theta-function-and-independence-number-of-product-of-simple-odd-cycles A que distância o Lovasz está vinculado à capacidade de erro zero dos gráficos regulares? Existem exemplos em que se sabe que o limite de Lovasz não é igual à capacidade de erro zero de um gráfico regular? (Isso foi respondido abaixo por Oleksandr …

10 graph-theory  it.information-theory 

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

10 graph-theory  co.combinatorics  spectral-graph-theory 

f, gf,gf,gf( N ) logf( n ) = o ( g( N ) )f(n)log⁡f(n)=o(g(n))f(n) \log f(n) = o(g(n))f , g f ( n + 1 ) = o ( g ( n ) )D TEuME( f( N ) ) ⊊ D TEuME( g( N ) )DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f, gf,gf,gf( …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

Eu estava brincando com a pergunta muito interessante e ainda aberta " Alfabeto da máquina de Turing de fita única " (de Emanuele Viola) e surgiu com o seguinte idioma: L = { x ∈ { 0 , 1 }n st | x | = n = 2m e c …

10 cc.complexity-theory  turing-machines  time-complexity 

Estou interessado nos exemplos explícitos de gráficos para os quais a aplicação do algoritmo de Goemans e Williamson para aproximar o máximo de cortes resulta em 0,878 ... fator de aproximação. O algoritmo para criar tais instâncias seria perfeito, exemplos e referências explícitos são satisfatórios.

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

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 )kkkZkZkZ_k …

10 graph-theory  co.combinatorics  application-of-theory 

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 hipergrafos trifásicos do que …

10 graph-theory  co.combinatorics  hypergraphs 

Seja uma linguagem livre de contexto. Definir p p c ( G ) ser o encerramento pré e pós-fixa de L , por outras palavras, p p c ( G ) contém todos G 's prefixos e sufixos, e, portanto, G si. Minha pergunta: se L é livre de contexto …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

A soma de Minkowski de dois conjuntos de vetores é dada porA , B ∈ RdUMA,B∈RdA, B \in R^d A ⊕ B = { a + b ∣ a ∈ A , b ∈ B }UMA⊕B={uma+b∣uma∈UMA,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in …

10 cg.comp-geom 

O MCTS / UCT é um método de pesquisa em árvore de jogo que usa um algoritmo de bandido para selecionar nós promissores a serem explorados. Os jogos são concluídos aleatoriamente e os nós que levam a mais vitórias são explorados com mais intensidade. O algoritmo bandido mantém um equilíbrio …

10 optimization  ai.artificial-intel  board-games