Ciência da Computação Teórica

Quão difícil é encontrar a solução mais esparsa para um sistema de equações lineares? Mais formalmente, considere o seguinte problema de decisão: Instância: Um sistema de equações lineares com coeficientes inteiros e um número .ccc Pergunta: Existe uma solução para o sistema com pelo menos variáveis ​​atribuídas a zero?ccc Também …

13 np-hardness  linear-algebra  linear-programming  matrices  sparse-matrix 

De acordo com este artigo , que discute uma extensão não determinística da Hipótese do Tempo Exponencial Forte (SETH), "[...] Williams recentemente demonstrou hipóteses relacionadas sobre a complexidade de Merlin-Arthur do k-TAUT são falsas". No entanto, esse documento cita apenas uma comunicação pessoal. Como é provada a versão MA do …

13 sat  proofs  nondeterminism 

Quando se quer provar que um é N P -completo, em seguida, a abordagem normalizada é expor um tempo polinomial calculável redução muitos-um de uma conhecida N P problema -completo para L . Nesse contexto, não precisamos de um limite apertado no tempo de execução da redução. Basta ter qualquer …

13 cc.complexity-theory  reductions  np-complete 

Estou interessado em entender a estrutura da classe dos gráficos modo que não exista subgráfico induzido por vértices em quatro vértices, o que é uma correspondência perfeita. Dado de forma diferente para quaisquer quatro vértices a , b , c , d em G se a b e c d …

13 graph-theory 

P / poly é a classe de problemas de decisão solucionáveis ​​por uma família de circuitos booleanos de tamanho polinomial. Como alternativa, ela pode ser definida como uma máquina de Turing de tempo polinomial que recebe uma sequência de conselhos que é polinomial de tamanho em n e que é …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

Considere o problema em que nos é dado como entrada um gráfico acíclico direcionado , uma função de rotulação de para um conjunto com uma ordem total (por exemplo, os números inteiros) e onde nos perguntam para calcular o tipo topológico lexicograficamente menor de em termos de . Mais precisamente, …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Existe algo conhecido sobre o segundo menor - t- cut em uma rede de fluxo? Ou, de maneira mais geral, sobre esse problema:sssttt Entrada: Uma rede e um número k , todos em binário. Saída: Um k é o menor corte s - t .NNNkkkkkksssttt Um é o menor corte …

13 cc.complexity-theory  optimization  max-flow-min-cut  flow-problems 

Como estou interessado em analisadores (principalmente em gramáticas de expressão do analisador), estou me perguntando se há algum trabalho que forneça um tratamento categórico para a análise. Qualquer referência sobre aplicações da teoria de categorias à análise é altamente apreciada. melhor,

13 reference-request  functional-programming  ct.category-theory  parsing 

Eu tenho lido um pouco sobre o método da soma dos quadrados (SOS) da pesquisa de Barak & Steurer e das notas de aula de Barak . Nos dois casos, eles varrem questões de precisão numérica para baixo do tapete. Do meu entendimento (reconhecidamente limitado) do método, o seguinte deve …

13 optimization  sum-of-squares 

Estive lendo sobre ITU (Intuitionistic Type Theory) e faz sentido. Mas o que estou lutando para entender é "por que" foi criado em primeiro lugar? A lógica intuicionista (IL) e o -calculus (STLC) de tipo simples e a teoria dos tipos em geral são anteriores à própria existência do próprio …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

Estou lendo a apresentação formal da teoria dos tipos de Martin-Löfs (apêndice do livro HoTT ). Os autores introduzem um hierarquia de universos, então e também W -Tipos , bem como números naturais N (indutivamente através de 0 e s u c c ). Eventualmente, eles adicionam tipos indutivos mais …

13 type-theory 

Enquanto escrevia um pequeno post sobre a complexidade dos videogames Nibbler e Snake ; Descobri que ambos podem ser modelados como problemas de reconfiguração em gráficos planares; e parece improvável que esses problemas não tenham sido bem estudados na área de planejamento de movimento (imagine, por exemplo, uma cadeia de …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

Dado um grupo de permutações em [ n ] = { 1 , ⋯ , n } , e dois vectores de u , v ∈ Γ n onde Γ é um alfabeto finito que não é muito relevante aqui, a questão é se existe algum ¸ ∈ G tal …

13 cc.complexity-theory  graph-isomorphism  permutations 

Estou lendo o artigo "Fast Paxos" de Leslie Lamport e fico preso às provas de correção dos clássicos Paxos e Fast Paxos. Por consistência, o valor escolhido pelo coordenador na fase 2 a na rodada i deve satisfazervvv2a2a2aiii Para qualquer rodada j < i , nenhum valor diferente de v …

13 ds.algorithms  dc.distributed-comp  proofs 

No problema de extensibilidade, recebemos parte da solução e queremos decidir se podemos estendê-la para uma solução completa. Alguns problemas de extensibilidade são solucionáveis ​​com eficiência, enquanto outros problemas de extensibilidade transformam um problema fácil em um difícil. Por exemplo, Konig-Hall teorema afirma que todos os grafos bipartidos cúbicos são …

13 cc.complexity-theory  reference-request  graph-theory  np-hardness