Seja f(n)f(n)f(n) o pior caso de tempo de execução de um problema na entrada de tamanho nnn . Vamos tornar o problema um pouco estranho, fixando f(n)=n2f(n)=n2f(n) = n^2 para n=2kn=2kn=2k mas f(n)=nf(n)=nf(n) = n para n=2k+1n=2k+1n=2k+1 . Então, qual é o limite inferior do problema? A maneira...
Parece sabido que, para encontrar uma resposta para uma consulta em um banco de dados relacional , é preciso tempo e não é possível se livrar do expoente.QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Como pode ser muito grande, nos perguntamos por que os bancos de dados funcionam na prática.DDD É apenas...
Estou interessado em modelos de gráficos aleatórios que são semelhantes aos gráficos de redes de computadores reais. Não tenho certeza se o modelo comum e bem estudado ( n vértices, cada aresta possível é selecionada com probabilidade p ) é bom para estudar redes de computadores reais (não é?).G (...
A computação reversível é um modelo computacional que permite apenas operações termodinamicamente reversíveis. De acordo com o princípio de Landauer, que afirma que apagar um pouco de informação libera joules de calor, isso exclui as funções de transição que não são individuais (por exemplo, os...
Em seu artigo (p. 503), Garey e Johnson comentam: ... pode haver um problema de NP-completo que não é nem NP-completo no sentido forte nem solucionável por um algoritmo de tempo pseudo-polinomial ... Alguém conhece alguns problemas de candidatos com as propriedades mencionadas acima? Penso...
Existem referências que fornecem detalhes sobre os limites inferiores do circuito para problemas difíceis específicos que surgem na criptografia, como fatoração inteira, problema de logaritmo discreto prime / composto e sua variante sobre o grupo de pontos de curvas elípticas (e suas variedades...
Quais são os melhores recursos para encontrar anúncios de vagas para professores na teoria de CS? Existe um site ou lista de discussão em particular que seja bastante abrangente? Atualmente, tenho a impressão de que é preciso usar uma variedade de recursos para obter uma lista abrangente e mundial...
Considere RnRn\mathbb{R}^n equipado com os vetores de produto de ponto padrão e vetores: . Queremos construir uma estrutura de dados que permita consultas no seguinte formato: dado output . É possível ir além do tempo trivial de consulta de O (nm) ? Por exemplo, se n = 2 , é imediato obter O (\ log...
A questão é simples e direta: para um fixo nnn, quantos idiomas (diferentes) são aceitos por um DFA de tamanho nnn (isto é, nnn estados)? Vou declarar formalmente isso: Defina um DFA como (Q,Σ,δ,q0,F)(Q,Σ,δ,q0,F)(Q,\Sigma,\delta,q_0,F) , onde tudo é como de costume e
Prever o mercado de ações é difícil! O TCS pode tornar esse sentimento mais formal? Recentemente, comecei a pensar um pouco sobre finanças e queria saber como o conhecimento do TCS poderia ajudar. Os fundos de hedge e as empresas de investimento parecem usar negociação algorítmica, aprendizado...
Antecedentes: Chao Xu postou a seguinte pergunta há algum tempo: " Existe algum algoritmo de classificação de comparação conhecido que não se reduz a redes de classificação, de modo que cada elemento seja comparado vezes?O(logn)O(logn)O(\log n) ". Parece que estamos um pouco presos ao problema;...
Atualmente, estou interessado em obter (ou construir) e estudar fórmulas de 3-CNF insatisfatórias e de tamanho mínimo. Ou seja, eles devem consistir no menor número possível de cláusulas (m = 8) e no menor número possível de variáveis distintas (n = 4 ou mais), de modo que a remoção de pelo menos...
Computar a constante Cheeger de um gráfico , também conhecida como constante isoperimétrica (porque é essencialmente uma relação área / volume mínima), é conhecida por ser NP-completa. Geralmente é aproximado. Estou interessado em saber se os algoritmos polinomiais exatos são conhecidos para...
Seja um gráfico não direcionado não ponderado com vértices e arestas. É possível pré-processar e produzir uma estrutura de dados do tamanho para que possa responder a consultas da forma "distância entre e " no tempo O (n)?GGGnnnmmmGGGm⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n)uuuvvv O...
Estou interessado na complexidade de resolver equações lineares módulo k , para k arbitrário (e com um interesse especial em potências primárias), especificamente: Problema. Para um dado sistema de mmm equações lineares em nnn módulo desconhecido kkk , existem soluções? No resumo de seu artigo...
Suponha que tenhamos um gráfico ponderado não direcionado (com pesos não negativos). Vamos supor que todos os caminhos mais curtos em sejam únicos. Suponha que temos esses caminhos (sequências de arestas não ponderadas), mas não conhecemos o próprio G. Podemos produzir qualquer G que daria esses...
Recentemente, eu estava tendo uma discussão sobre as Máquinas de Turing quando me perguntaram: "A Máquina de Turing é derivada de autômatos, ou é o contrário"? Eu não sabia a resposta, é claro, mas estou curioso para descobrir. A máquina de Turing é basicamente uma versão um pouco mais sofisticada...
Você recebe um gráfico com n vértices. Pode ser bipartido, se você quiser. Existem m conjuntos de arestas E 1 , … , E m ⊆ E (digamos disjuntos). Estou interessado no problema de encontrar um subconjunto S ⊆ V , o menor possível (ou até menor), de modo que o gráfico induzido G S tenha pelo menos uma...
Considere o seguinte modelo: uma sequência de n bits r = r 1 ... r n é escolhida uniformemente aleatoriamente. Em seguida, cada índice i∈ {1, ..., n} é colocado em um conjunto A com probabilidade independente 1/2. Finalmente, um adversário é permitido, para cada i∈A separadamente, para r aleta i se...
Existe um exemplo de uma classe de gráficos para a qual o problema de coloração de vértice está em P, mas o conjunto independente de problema é NP