Entendo que a integridade de Turing requer memória ilimitada e tempo ilimitado. No entanto, há uma quantidade finita de átomos nesse serviço, tornando a memória limitada. Por exemplo, mesmo que seja irracional, não há como armazenar mais do que um certo número de dígitos, mesmo que todos os...
Dado um gráfico acíclico direcionado, , é possível oferecer suporte eficiente às seguintes operações?G(V,E)G(V,E)G(V,E) L um bisConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b) : determina se existe um caminho em do nó para o nóGGGaaabbb a b Glink(G,a,b)link(G,a,b)link(G,a,b) : Adiciona uma...
E se alguma coisa for conhecida sobre a complexidade parametrizada da computação do número de interseção de um gráfico (o menor número de cliques necessário para cobrir todas as suas arestas)? Há muito que se sabe que o NP está completo, e obviamente é o FPT porque possui um núcleo: se você pode...
Minha idéia de uma carreira de sonho é uma carreira em pesquisa industrial, onde se consegue lidar com problemas desafiadores e também de uso prático. Para isso, é ruim fazer um doutorado em TCS (estou interessado em tópicos como algoritmos distribuídos / paralelos, algoritmos on-line)? Tenho a...
como mostrar que relação existe entre "conjectura de jogos únicos" e "teorema do PCP"? como explicar "conjectura de jogos únicos" é a forma mais forte de "teorema do
Na teoria dos autômatos (autômatos finitos, autômatos de empilhamento, ...) e na complexidade, existe a noção de "ambiguidade". Um autômato é ambíguo se houver uma palavra com pelo menos duas execuções de aceitação distintas. Uma máquina é ambígua se, para cada palavra aceita pela máquina, houver...
Estou procurando um exemplo fácil de dois sistemas de transição equivalentes a LTL, mas não equivalentes a traços. Li a prova de que a Equivalência de traços é mais refinada do que a Equivalência de LTL no livro "Princípios de verificação de modelos" (Baier / Katoen), mas não tenho certeza se...
Hipercomputação refere-se a modelos de computação que não são possíveis de simular usando máquinas de Turing. (Os hipercomputadores não são necessariamente realizáveis fisicamente!) Alguns hipercomputadores têm acesso a um recurso que permite resolver o problema de parada das máquinas de Turing...
É sabido que, se você jogar n bolas em n compartimentos, é altamente provável que a bandeja mais carregada tenha . Em geral, pode-se perguntar sobre bolas em caixas. Um artigo da RANDOM 1998 de Raab e Steger explora isso com alguns detalhes, mostrando que à medida que aumenta, a probabilidade de ir...
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...
Eu tenho duas partições de [1…n][1…n][1 \ldots n] e estou procurando a distância de edição entre elas. Com isso, desejo encontrar o número mínimo de transições únicas de um nó em um grupo diferente necessário para passar da partição A para a partição B. Por exemplo, a distância de {0 1} {2 3}...
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...
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...
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...
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 |...
Teaser Como o problema é longo, aqui está um caso especial que captura sua essência. Problema: Seja A um algoritmo detrminístico para o 3-SAT. É o problema de simular completamente o algoritmo A (em todas as instâncias do problema). Espaço P difícil? (Mais precisamente, existem razões para...
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 classificá-las usando qualquer...
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)...
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,
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 . Cada switch pode ser percorrido com as seguintes...