Ciência da Computação Teórica

(também solicitado aqui , sem respostas) Um expansor de quantidade é uma distribuição sobre o grupo unitário com a propriedade que: a) , b) , onde \ mu_H é a medida de Haar. Se, em vez de distribuições por unidades unitárias, consideramos distribuições por matrizes de permutação, não é difícil …

17 quantum-computing  spectral-graph-theory 

Um labirinto fractal é um labirinto que contém cópias de si mesmo. Por exemplo, o seguinte de Mark JP Wolf deste artigo : Comece no MINUS e siga para o PLUS. Ao inserir uma cópia menor do labirinto, certifique-se de registrar o nome da letra dessa cópia, pois você terá …

17 computability  fractals 

Estou procurando um algoritmo para mesclar duas árvores de pesquisa binária de tamanho e alcance arbitrários. A maneira óbvia de implementar isso seria encontrar subárvores inteiras cujo intervalo pode caber em um nó externo arbitrário na outra árvore. No entanto, o pior caso de tempo de execução para esse tipo …

17 ds.algorithms  ds.data-structures  tree 

Contexto: relações entre lógica e autômatos O Teorema de Büchi afirma que a lógica monádica de segunda ordem sobre seqüências de caracteres (MSO) captura a classe de linguagens regulares. A prova realmente mostra que o MSO existencial ( ou EMSO ) sobre cadeias de caracteres é suficiente para capturar idiomas …

17 reference-request  lo.logic  regular-language  finite-model-theory 

Digamos que um grafo é -connected se a remoção de qualquer vértices e qualquer arestas de folhas sempre um grafo conexo. Por exemplo, um gráfico conectado a , de acordo com a definição padrão, é conectado , de acordo com a nova definição. Existe um algoritmo de tempo polinomial para …

17 ds.algorithms  graph-theory  graph-algorithms 

Vamos supor que construímos um computador quântico universal. Exceto por questões relacionadas à segurança (criptografia, privacidade, ...) quais problemas atuais do mundo real podem se beneficiar com o uso? Estou interessado em ambos: problemas atualmente insolúveis para uma entrada prática, problemas que estão sendo resolvidos no momento, mas uma aceleração …

17 quantum-computing  application-of-theory 

Esta pergunta é semelhante a uma das minhas perguntas anteriores. Sabe-se que é um menor proibido para gráficos de largura de árvore no máximo t .Kt+2Kt+2K_{t+2}ttt Existe uma família infinita de gráficos, bem parametrizada e bem construída (que não sejam gráficos completos e gráficos de grade) que são menores mínimos …

17 graph-theory  co.combinatorics  treewidth  graph-minor 

Dado , quantos NDFs com variáveis ​​e cláusulas são tautologia? (ou quantos CNFs são insatisfatórios?)k n m km,n,km,n,km, n, kkkknnnmmmkkk

17 co.combinatorics  lo.logic  sat 

SSS é um conjunto de pontos em um plano. Um ponto aleatório é dado no mesmo plano. A tarefa é classificar todos pela distância euclidiana entre e .x ∉ Sx∉Sx \notin Sy∈ Sy∈Sy \in Sxxxyyy Uma abordagem sem cérebro é calcular as distâncias entre e para todos os e depois …

17 cg.comp-geom  sorting 

Uma rede de comutadores (o nome é inventado) é criada com três tipos de nós: um nó Iniciar um nó final um ou mais nós do Switch O nó do comutador possui 3 saídas: Esquerda, Cima, Direita; possui dois estados L e R e um estado alvo TL ou TR …

17 ds.algorithms  reference-request  graph-algorithms  np 

Recentemente, participei de uma conferência apoiada pela ACM. Durante o banquete, os organizadores da conferência nos falaram sobre o futuro e o passado da conferência. Eles nos disseram que durante a edição de 2010 da conferência houve uma perda de 5000 $. Eles nos mostraram o orçamento da conferência anterior, …

17 soft-question  conferences 

O método adversário negativo ( ) é um SDP que caracteriza a complexidade da consulta quântica. É uma generalização do método adversário amplamente utilizado ( ) e supera as duas barreiras que impediram o método adversário:A D V±UMADV±ADV^\pmA D VUMADVADV A barreira do teste de propriedades: se todas as instâncias …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

Quais são os métodos mais conhecidos para convolução cíclica de comprimento em um campo pequeno, ou seja, quando ? Estou particularmente interessado em campos de tamanho constante, ou até . As declarações e referências gerais de eficiência assintótica são muito apreciadas.nnn| F | ≪n|F|≪n|\mathbb{F}| \ll nF = F2F=F2\mathbb{F} = \mathbb{F}_2 …

17 ds.algorithms  reference-request 

Recentemente, li uma prova que pretendia mostrar que um problema era fortemente NP-difícil, simplesmente reduzindo-o (em tempo polinomial) de um problema fortemente NP-difícil. Isso não fazia sentido para mim. Eu pensaria que você teria que mostrar que todos os números usados ​​na redução e as instâncias do problema para o …

17 cc.complexity-theory  np-hardness  reductions 

Foi-me dito que existem bons algoritmos de tempo polinomial para aproximar o número de caminhos simples em um gráfico direcionado, desde o vértice inicial dado até o vértice final dado tsssttt . Alguém sabe de uma boa referência sobre este assunto? Antecedentes: contar o número exato de caminhos em um …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity