É claro que qualquer problema que seja decidível no espaço de log determinístico ( ) é executado no máximo no tempo polinomial ( ). Existe uma grande variedade de classes de complexidade entre e . Exemplos incluem , , , , , . Acredita-se que .P L P N L L o g C F G N C I S A C i A C I S C i G ≠...
Uma pergunta muito específica, eu sei, e duvido que seja respondida por qualquer um que ainda não esteja familiarizado com as regras da Magia. Postagens cruzadas para Draw3Cards . Aqui estão as regras abrangentes para o jogo Magic: the Gathering . Veja esta pergunta para obter uma lista de todos os...
Há uma literatura rica e pelo menos um livro muito bom que define a dureza conhecida dos resultados da aproximação para problemas difíceis de NP no contexto de erro multiplicativo (por exemplo, 2 aproximações para cobertura de vértices é ideal, considerando UGC). Isso também inclui classes de...
Um gráfico H é um núcleo se qualquer homomorfismo de H para si é uma bijeção. Um subgrafo H de G é um núcleo de G se H é um núcleo e existe um homomorfismo de G para H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Dado um gráfico G, qual é o algoritmo exato mais conhecido para encontrar...
Contar o número de combinações perfeitas em um gráfico bipartido é imediatamente reduzido para calcular o permanente. Como encontrar uma correspondência perfeita em um gráfico não bipartido está no NP, existe alguma redução de gráficos não bipartidos para o permanente, mas isso pode envolver uma...
Dado um enorme banco de dados de palavras permitidas (classificadas em ordem alfabética) e uma palavra, encontre a palavra no banco de dados mais próxima da palavra especificada em termos de distância de Levenshtein. A abordagem ingênua é, é claro, simplesmente calcular a distância de levenshtein...
A conjectura de reconstrução diz que os gráficos (com pelo menos três vértices) são determinados exclusivamente por seus subgrafos deletados. Essa conjectura tem cinco décadas. Pesquisando literatura relevante, descobri que as seguintes classes de gráficos são conhecidas por serem...
Problema no casamento estável: http://en.wikipedia.org/wiki/Stable_marriage_problem Estou ciente de que, para uma instância de um SMP, muitos outros casamentos estáveis são possíveis além daquele retornado pelo algoritmo Gale-Shapley. No entanto, se recebermos apenas , o número de homens /...
Tipos e linguagens de programação se concentra um pouco na subtipagem, mas até onde eu sei, a subtipagem não parece ser fundamental. A subtipagem oferece mais do que os tipos dependentes? Trabalhar com tipos dependentes deve ser mais trabalhoso, para que eu possa entender por que os subtipos podem...
Eu quero fazer um primeiro solucionador de SAT. Conheço a competição do SAT e a conferência do SAT, e há tantos artigos sobre esse assunto. Eu sou um iniciante, um iniciante oprimido. Por onde devo começar? Eventualmente, eu quero empurrar o estado da arte. Quero alguns conselhos de especialistas...
Dados nnn subconjuntos S1,…,SnS1,…,SnS_1,\ldots,S_n de {1,…,d}{1,…,d}\{1,\ldots,d\} . Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j A solução trivial para esse problema passa por todos os pares de conjuntos e verifica a inclusão de um par no tempo , portanto, o tempo de execução geral é . Esse...
Para qualquer idioma sobre , defina Em palavras, é composto por todos os para o qual existe uma de igual comprimento tal que .LLLΣ∗Σ∗\Sigma^*L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L_{1/2} = \{x \in \Sigma^* : xy\in L, y\in\Sigma^{|x|} \}.L1/2L1/2L_{1/2}xxxyyyxy∈Lxy∈Lxy\in L Um exercício...
Em "Requisito para computação quântica" , Bartlett e Sanders resumem alguns dos resultados conhecidos para computação quântica variável contínua na tabela a seguir: MINHA pergunta é tripla: Nove anos depois, a última célula pode ser preenchida? Se uma coluna for adicionada com o título...
Está bem estabelecido que existe um limite de ruído para a computação quântica, de modo que abaixo desse limite, a computação pode ser codificada de forma a produzir o resultado correto com probabilidade limitada (com no máximo sobrecarga computacional polinomial). Esse limite depende da...
Isso está relacionado à pergunta O tamanho da associação de testemunhas para cada idioma NP já é conhecido? Alguns problemas naturais de N PNP\mathsf{NP} (completos) têm testemunhas de comprimento linear: uma tarefa satisfatória para SA TSATSAT , uma sequência de vértices para , etc.HA MPA...
Edit: Eu primeiro formulei minha restrição (2), agora ela está corrigida. Eu também adicionei mais informações e exemplos. Com alguns colegas, estudando outra questão algorítmica, conseguimos reduzir nosso problema ao seguinte problema interessante, mas não conseguimos resolver a questão de sua...
EDIT (v2): Adicionada uma seção no final sobre o que eu sei sobre o problema. EDIT (v3): adicionada discussão sobre o grau do limiar no final. Questão Esta pergunta é principalmente uma solicitação de referência. Eu não sei muito sobre o problema. Quero saber se já houve trabalho anterior sobre...
Que implicações uma prova da conjectura abc teria para os
Estou procurando um livro sobre estruturas de dados avançadas que vão além do que é abordado em livros-texto padrão como Cormen, Leiserson, Rivest e "Introduction to Algorithms" de Stein. Um livro que pode ser usado para ministrar um curso de pós-graduação em estruturas avançadas de dados, como...
Existem muitas aplicações de análises reais em ciência da computação teórica, cobrindo testes de propriedades, complexidade da comunicação, aprendizado do PAC e muitos outros campos de pesquisa. No entanto, não consigo pensar em nenhum resultado no TCS que dependa de análises complexas (fora da...