Ciência da Computação Teórica

A natureza de divisão e conquista da FFT pode ser generalizada para outras transformações (z Transform, chirp, etc) automaticamente? Existe um algoritmo que inclua uma descrição da transformação (não sei quais informações seriam necessárias) e possa produzir uma função rápida como a FFT?

10 ds.algorithms 

O teorema da zona diz que, se apunhalamos um arranjo de n linhas com outra linha, a complexidade total de sua zona , o conjunto de todas as faces 0, 1 e 2 adjacentes a ela é O (n). A constante real é algo como 6n, pelo menos, como declarado …

10 cg.comp-geom 

Existem várias noções diferentes (provavelmente inequívocas) de universalidade computacional (veja, por exemplo, as últimas páginas de http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) e não há consenso entre especialistas sobre quais noções são mais corretas (veja, por exemplo, http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). Estou tentando dizer algo sobre um modelo específico de computação biomolecular. Eu gostaria de argumentar …

10 universal-computation 

Especificamente, estou pedindo recursos para aprender sobre sistemas de aprendizado de máquina que podem atualizar suas respectivas redes de crenças (ou equivalente) durante a operação. Eu já encontrei alguns, embora não os tenha marcado como favorito. Como você pode imaginar, é um tópico bastante desafiador para pesquisar na internet.

10 reference-request  machine-learning  lg.learning  ai.artificial-intel  online-learning 

Um DFA ou NFA lê uma sequência de entrada com uma única cabeça, movendo-se da esquerda para a direita. Parece natural pensar em máquinas de estado finito que possuem várias cabeças , cada uma das quais se move pela entrada da esquerda para a direita, mas não necessariamente no mesmo …

10 fl.formal-languages  automata-theory  regular-language  nfa 

Sabe-se desde o início dos anos 70 que e não são iguais (porque não é fechado em tempo polinomial -uma redução, em contraste com ). Até onde eu sei, ainda está em aberto se uma classe é um subconjunto da outra ou são incomparáveis, o que significa que e {\ …

10 cc.complexity-theory  complexity-classes  np-complete 

Estou interessado em vários tópicos como Lógica Combinatória, Cálculo Lambda, Programação Funcional há algum tempo e os tenho estudado. No entanto, diferentemente da "Teoria da computação", que se esforça para responder à questão da "computabilidade", isto é, coisas que podem / não podem ser computadas com várias restrições, estou lutando …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP é o conjunto de todos os idiomas decidíveis em tempo polinomial em uma máquina de Turing determinística, e CSLCSLCSL é a classe de linguagens sensíveis ao contexto, conhecida por ser equivalente a , as linguagens decididas por autômatos com limites lineares.NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) Para muitas perguntas abertas, há …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Vamos HALTnHALTnHALT_n denotar a cadeia de comprimento 2n2n2^n correspondente à tabela verdade do problema de parada para entradas de comprimento nnn . Se a sequência das complexidades de Kolmogorov K(HALTn)K(HALTn)K(HALT_n) fosse O(1)O(1)O(1) , uma das sequências de aconselhamento seria usada infinitamente com frequência, e uma TM com essa sequência codificada …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

Suponha que eu tenha um circuito booleano que calcule alguma função f : { 0 , 1 } n → { 0 , 1 } . Suponha que o circuito seja composto de portas AND, OR e NOT com entrada e saída de ventilador no máximo 2.CCCf: { 0 , …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

O problema parametrizado do k-FLIP SAT é definido como: Entrada: uma fórmula 3-CNF com n variáveis ​​e uma atribuição de verdade σ : [ n ] → { 0 , 1 } Parâmetro: k Pergunta: podemos transformar a atribuição σ em uma atribuição satificante σ ′ para φ inverter o …

10 parameterized-complexity  fixed-parameter-tractable 

Digamos que eu trabalho na teoria dos tipos de homotopia e meus únicos objetos de estudo são categorias convencionais. Equivalências aqui são dadas por functors e G : C ⟶ D que fornecem equivalências das categorias C ≃ D . Existem isomorfismos naturais α : n a t ( F …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

Folga complementar (CS) é comumente ensinada quando se fala de dualidade. Estabelece uma boa relação entre as restrições / variáveis ​​primárias e as duplas do ponto de vista matemático. Os dois principais motivos para a aplicação do CS (conforme ensinado em cursos de graduação e livros didáticos): Para verificar a …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

Estou interessado em uma ligeira generalização do DFA. Como sempre, temos definido pelo estado , alfabeto finito , uma ação definida em por e estado inicial ; mas em vez do conjunto de terminais de costume, nós tomamos uma família de subconjuntos de . Um DFA multilíngue é a tuplaQQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta …

10 automata-theory  dfa 

Qual é o resultado do estado da arte sobre a complexidade das consultas de fórmulas 2-DNF apropriadas para o aprendizado do PAC com consultas de amostra e com distribuição uniforme ? Ou algum limite não trivial? Como não estou familiarizado com a teoria da aprendizagem e essa pergunta é motivada …

10 reference-request  lg.learning  boolean-functions