Ciência da Computação Teórica

Uma cobertura de aresta é um subconjunto de arestas de um gráfico, de modo que todos os vértices do gráfico sejam adjacentes a pelo menos uma aresta da cobertura. Os dois documentos a seguir dizem que a contagem de capas de arestas é #P : Um FPTAS simples para contar …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Quando olhamos para o livro, Homotopy Type Theory - vemos os seguintes tópicos: Homotopy type theory 2.1 Types are higher groupoids 2.2 Functions are functors 2.3 Type families are fibrations 2.4 Homotopies and equivalences 2.5 The higher groupoid structure of type formers 2.6 Cartesian product types 2.7 S-types 2.8 The …

16 type-systems 

Teoremas da hierarquia são ferramentas fundamentais. Um bom número deles foi coletado em uma pergunta anterior (consulte Quais hierarquias e / ou teoremas de hierarquia você conhece? ). Algumas separações de classes de complexidade seguem diretamente dos teoremas da hierarquia. Exemplos de tais separações bem conhecidos: L≠PSPACEeu≠PSPUMACEL\neq PSPACE , P≠EXPP≠EXPP\neq …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

Os autômatos finitos inequívocos (UFA) são tipos especiais de autômatos finitos não determinísticos (NFA). Um NFA é chamado inequívoco se cada palavra tiver no máximo um caminho de aceitação.w ∈ Σ∗W∈Σ∗w\in \Sigma^* Isto significa .D FA ⊂ UFA ⊂ NFUMADFUMA⊂vocêFUMA⊂NFUMADFA\subset UFA\subset NFA Resultados conhecidos de autômatos relacionados: A minimização de …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

No artigo Um Algoritmo Eficiente para Isomorfismo de Gráfico de Corneil e Gotlieb, 1970, foi declarada uma conjectura sobre a qual o algoritmo declarado se baseava na resolução de IG em tempo polinomial. Nomeadamente: que os gráficos representativos exibem a partição de automorfismo do gráfico fornecido Obviamente, essa conjectura não …

16 graph-isomorphism  automorphism 

Há muito pouca informação que eu possa encontrar sobre o problema NP-completo de resolver a equação diofantina linear em números inteiros não negativos. Ou seja, existe uma solução em não negativo para a equação , onde todas as constantes são positivas? A única menção digna de nota desse problema que …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

Gowers recentemente delineou um problema, que ele chama de "determinação discreta de Borel", cuja solução está relacionada à comprovação dos limites mais baixos do circuito. Você pode fornecer um resumo da abordagem adaptada a um público de teóricos da complexidade? O que seria necessário para essa abordagem provar alguma coisa …

16 cc.complexity-theory  p-vs-np 

Qualquer planar , respectivamente, outerplanar gráfico satisfaz , respectivamente, , para cada subgráfico de . Além disso, gráficos planares (externos) podem ser reconhecidos em tempo polinomial.| E ' | ≤ 3 | V ' | - 6 | E ' | ≤ 2 | V ' | - 3 G …

16 reference-request  graph-theory  graph-algorithms 

Me ofereceram para ensinar um novo programa de ensino médio do TCS, que exige a construção de um currículo. Eu gostaria muito de ouvir opiniões e sugestões sobre isso. Primeiro, alguém conhece as escolas secundárias onde um programa TCS foi ensinado com sucesso (ou sem sucesso)? A idéia é de …

16 teaching 

Essa pergunta provavelmente está na linha de fronteira entre o tópico e o tópico, mas eu já vi perguntas semelhantes aqui, portanto, eu vou perguntar. Estou implementando um solucionador Unique kkk -SAT, cuja entrada é uma fórmula kkk -CNF com no máximo 111 atribuição satisfatória. Para testar seu comportamento prático, …

16 sat 

Pergunto-me, existem documentos ou pesquisas que tratem de autômatos visivelmente pushdown, mas permitindo que palavras, em vez de letras únicas, sejam empurradas para a pilha. Como alternativa, uma construção que permitisse que os símbolos fossem inseridos nas transições poderia atingir o mesmo objetivo.ϵϵ\epsilon Obviamente, essas variações podem ser formadas, mas …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

Foi publicado um novo trabalho reivindicando o algoritmo quase-polinomial do Logaritmo Discreto. http://arxiv.org/abs/1306.4244 Se correto, significa que não temos mais uma separação exponencial na complexidade de um algoritmo clássico e sua versão quântica para o problema do logaritmo discreto? Isso tem alguma implicação para a teoria da complexidade quântica?

16 cc.complexity-theory 

Sabe-se que se pode calcular exatamente o determinante de um matriz em determinstic de log 2 ( n ) espaço. Quais seriam as implicações de complexidade de aproximar o determinante de uma matriz real, da norma, no máximo, 1 ( ‖ A ‖ ≤ 1 ) em randomizado logarítmica espaço,-se …

16 determinant  cc.complexity-theory 

Qual é o melhor resultado determinístico para manter o fechamento transitivo dinâmico em um gráfico direcionado com apenas inserção de arestas? Li alguns artigos sobre o problema do fechamento transitivo dinâmico com inserção e exclusão de bordas. No entanto, existem algoritmos melhores para isso com apenas inserção de arestas?

16 ds.algorithms  graph-theory  graph-algorithms  dynamic-algorithms 

Vamos supor que . N P I é a classe de problemas em N P que não são nem P nem em N P -Hard. Você pode encontrar uma lista de problemas conjecturados como N P I aqui .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPEu\mathsf{NPI} Teorema de Ladner nos diz que se , então …

16 cc.complexity-theory  np-hardness  np-intermediate