Ciência da Computação Teórica

Em sua resposta a essa pergunta , Stephane Gimenez me indicou um algoritmo de normalização em tempo polinomial para provas em lógica linear. A prova no artigo de Girard usa redes de prova, que são um aspecto da lógica linear de que eu realmente não sei muito. Agora, eu tentei …

24 lo.logic  soft-question  pl.programming-languages  linear-logic 

Há uma reputação de que, na ciência da computação, não temos livros populares de ciência. Claro que isso não é verdade! (No mesmo espírito da lista de que os livros devem Todo mundo Read? , Que documentos devem todos ler? , O que vídeos deve relógio todos? E inspirado a …

24 big-list  books 

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 …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

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 THHAMPATHHAMPATH Considere a classe de …

24 cc.complexity-theory  complexity-classes  np 

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 computação quântica, onde números complexos são …

24 soft-question  big-picture 

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 no livro de Sipser pede para mostrar que é regular sempre que é. Vi …

24 fl.formal-languages  automata-theory 

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 codificação usada e da natureza exata …

24 quantum-computing  reference-request  fault-tolerance 

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 "Universal for BQP", como seria o …

24 quantum-computing 

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 complexidade. O problema é o seguinte. Instância: Um número …

24 cc.complexity-theory  ds.algorithms  reference-request 

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

24 ds.algorithms  reference-request  lo.logic  sat 

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 reconstrutíveis: árvores gráficos desconectados, gráficos cujo complemento está desconectado gráficos regulares …

24 reference-request  graph-theory  co.combinatorics  treewidth 

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

24 lo.logic  pl.programming-languages  type-theory 

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 problema pode ser resolvido mais rapidamente? Existe um …

24 ds.algorithms  reference-request 

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 / mulheres, fazemos a seguinte pergunta - Podemos construir uma lista de preferências …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

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 explosão polinomial desagradável usando a …

24 graph-theory  counting-complexity  reductions  permanent