Ciência da Computação Teórica

Parece haver muitos algoritmos aleatórios para teste de identidade polinomial, verificando se um determinado polinômio é zero ou não. Existem resultados de algoritmos que fazem algum tipo de estimativa de polinômios sobre um conjunto específico de pontos? Por exemplo, isso pode ser aproximar para qual fração desses pontos o polinômio …

10 ds.algorithms  approximation-algorithms  randomized-algorithms  derandomization  polynomials 

Seja um conjunto de pontos em . Para qualquer , um -spanner é um grafo não direcionado ponderada sob a medida Euclidiana, de tal modo que para quaisquer dois pontos , , a distância mais curta em , , é no máximo vezes a distância euclidiana entre e ,(observe que …

10 cg.comp-geom 

Os tipos de propriedade e a lógica de separação parecem ter objetivos semelhantes, controle sobre propriedade e alias. Talvez eu deva acrescentar: a capacidade de escrever especificações modulares. O que se sabe sobre o relacionamento entre os tipos de propriedade e a lógica de separação?

10 pl.programming-languages  type-systems  object-oriented  program-logic 

Recentemente, tenho lido um número decente de artigos do CoLT. Embora eu não lute com os trabalhos individuais (pelo menos não mais do que normalmente luto com outros trabalhos teóricos), não sinto que tenha uma boa compreensão ampla do campo como um todo. Existe um texto padrão, pesquisas ou notas …

10 reference-request  machine-learning  lg.learning  survey  books 

Seja qualquer problema completo de EXP. Em seguida, P A = N P A .UMAUMAAPUMA= NPUMAPUMA=NPUMAP^A = NP^A Deixe ser algum oráculo que leva em contas as consultas que M (a TM em P) vai fazer, e podemos obter P B ≠ N P B .BBBMMMPB≠ NPBPB≠NPBP^B \neq NP^B Pergunta: …

10 cc.complexity-theory  oracles  relativization 

Existe alguma construção conhecida de um erro linear para corrigir o código (com parâmetros razoáveis), de modo que, quando dado um vetor booleano v \ em \ {0,1 \} ^ n , ele também retorna um vetor booleano whp? (embora esteja acima de \ mathbb {F} _q )ECC:Fnq→FmqECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n \to \mathbb{F}_q^mv∈{0,1}nv∈{0,1}nv\in …

10 co.combinatorics  linear-algebra  coding-theory 

Seja . Preciso gerar gráficos simples de circunferência modo que o conjunto de todas as -cycles forme uma cobertura de borda dupla de (ou seja, toda aresta é compartilhada por exatamente duas -cycles), e de modo que a interseção de duas -cycles é um vértice, uma aresta ou vazio. Os …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

Alguns anos atrás, encontrei a seguinte regra de esquerda para a igualdade no cálculo sequencial: s ≐ t ⇝ θθ ( Γ ) ⊢ θ ( C)Γ , s ≐ t ⊢ Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Aqui, s …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

As representações mais simples para gráficos usam matrizes / listas de adjacência, o que significa que cada nó e aresta é representado explicitamente. A importância de representações implícitas para gráficos que apresentam fortes regularidades é reconhecida há muito tempo. Por exemplo, Galperin e Wigderson (1983), Papadimitriou e Yannakakis ( Uma …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

Decidindo o gráfico O homomorfismo é geralmente NP-Completo. Existem resultados que estudam esse problema quando os gráficos subjacentes têm estrutura algébrica (como decidir homomorfismos dos gráficos de cosset de Cayley ou Cayley para outros gráficos com alguma estrutura definida também)? Além disso, resultados de complexidade também estão interessados ​​em técnicas …

10 cc.complexity-theory  graph-theory  co.combinatorics 

É sabido que a máquina analítica de Charles Babbage tinha uma arquitetura muito semelhante à moderna arquitetura Von Neumann. Além disso, é notável que as tabelas para representar um programa da máquina analítica de Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) e o trabalho de von Neumann (como http://library.ias.edu /files/pdfs/ecp/planningcodingof0103inst.pdf ) são bastante …

10 ho.history-overview 

A Wikipedia escreve: O FPT contém os problemas tratáveis ​​do parâmetro fixo, que são aqueles que podem ser resolvidos no tempo para alguma função computável . Normalmente, essa função é considerada exponencial única, como mas a definição admite funções que crescem ainda mais rapidamente. Isso é essencial para grande parte …

10 cc.complexity-theory  fixed-parameter-tractable 

Eu sei que para um gráfico bipartido não ponderado, posso encontrar a cobertura mínima de vértices, encontrando primeiro a correspondência máxima e transformando-a em uma cobertura de vértice usando o Teorema de König. Existe uma modificação que se possa usar se os nós forem ponderados?

10 ds.algorithms  graph-theory 

Sabe-se que o cálculo de uma máquina de Turing não determinística (NTM) é representável como uma árvore de configurações, enraizada na configuração inicial. Qualquer transição no programa é representada por um link pai-filho nesta árvore. Árvores semelhantes também podem ser construídas para visualizar os cálculos de máquinas quânticas e probabilísticas. …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

Em comemoração ao aniversário de Alan Turing, o Google publicou um doodle mostrando uma máquina. Que tipo de máquina é o doodle? Ele pode expressar um idioma completo de Turing? Existem diferenças óbvias na máquina de turing clássica: uma fita finita, restrições de como o estado pode ser conectado, ... …

10 cc.complexity-theory  turing-machines