Ciência da Computação Teórica

Ao lidar com as categorias teóricas de domínio (como CPO e CPO), frequentemente desejo um dicionário para o idioma da teoria de categorias na teoria de domínios.ωω\omega Ou seja, dado um conceito, digamos seta mônica, eu poderia procurar no dicionário e ver quais são as caracterizações conhecidas dele nas diferentes …

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

Harvey Friedman mostrou que há um resultado puro de ponto fixo que não pode ser provado no ZFC (a teoria dos conjuntos de Zermelo-Frankel usual com o Axiom of Choice). Muitas lógicas modernas são construídas sobre operadores de ponto fixo, então eu me perguntava: existem consequências conhecidas do teorema do …

10 computability  lo.logic 

A resolução é um esquema para provar a insatisfação dos CNFs. Uma prova na resolução é uma dedução lógica da cláusula vazia para as cláusulas iniciais do CNF. Em particular qualquer cláusula inicial pode ser inferida, e a partir de dois cláusulas A ∨ xA∨xA \lor x e B ∨ …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

Primeiro de tudo, ainda não tenho certeza se a história está bem adaptada para essa pergunta, por isso não ficarei ofendida se a multidão achar que não é o caso ... No marketing de mecanismos de pesquisa, vários problemas são interessantes. O desenho de mecanismos de leilão justos (e lucrativos) …

10 reference-request  lg.learning  gt.game-theory 

Estou tentando elaborar uma taxonomia de algoritmos para transformar expressões regulares em autômatos, a fim de executar alguns testes empíricos de suas propriedades de complexidade em domínios específicos. Estou ciente de vários nomes 'maiores', por exemplo, Thompson "Algoritmo de pesquisa de expressão regular", Thompson, 1968 Glushkov "Um novo algoritmo quadrático …

10 automata-theory  fl.formal-languages  regular-expressions 

Pergunta : A previsão (conforme definida abaixo) de seqüências computáveis ​​é tão difícil quanto o problema de parada? Elaboração : "Predizer" significa prever com sucesso, o que significa cometer apenas erros finitos na tarefa de tentar prever o n-ésimo bit da sequência com acesso aos n-1 bits anteriores (iniciando no …

10 computability 

Alguém conhece um conjunto de problemas que variam uniformemente e abrangem uma das hierarquias "interessantes" de complexidade e computabilidade? Por interessante, quero dizer, por exemplo, a Hierarquia Polinomial, a Hierarquia Aritmética ou a Hierarquia Analítica. Ou talvez (N) P, (N) EXP, 2 (N) EXP,……\ldots Mais concretamente: você pode fornecer um …

10 cc.complexity-theory  computability 

Eu tenho o seguinte LP: /* Função objetiva */ min: 1 w + 2 x + 0,5 y + z; / * Limites variáveis ​​* / w + x <= T1; w + y = U1; x + z = U2; T1 = 50; U1 = 70; U2 = 25; …

10 linear-programming 

Na Universal Blind Quantum Computation, os autores descrevem um protocolo baseado em medições que permite a um usuário quase clássico realizar cálculos arbitrários em um servidor quântico sem revelar quase nada sobre o conteúdo da computação. Na descrição do protocolo, os autores mencionam "conjuntos de dependências" associados a cada qubit, …

10 quantum-computing  cr.crypto-security 

Seja uma permutação. Observe que enquanto atua em um domínio infinito, sua descrição pode ser finita. Por descrição , quero dizer um programa que descreve a funcionalidade do \ pi . (Como na complexidade de Kolmogorov.) Veja as explicações abaixo.π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Por exemplo, a função NOT é …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Eu tenho uma pergunta de viabilidade que pode ser estruturada da seguinte maneira. Recebi um ponto em um espaço vetorial dimensional e quero encontrar o ponto mais próximo a que satisfaça um conjunto de " restrições" do formuláriod q p ℓ 0pppdddqqqpppℓ0 0ℓ0\ell_0 Dado um conjunto , no máximo um …

10 ds.algorithms  approximation-algorithms  linear-programming 

Uma transação clássica simplificada do banco de dados pode ser vista como: lendo itens M executando algum cálculo com base nessas leituras escrevendo alguns resultados de N com base nesses cálculos, que podem incluir os elementos lidos originalmente. Ao executar essas transações (simultaneamente), as propriedades ACID precisam ser mantidas. Exatamente …

10 ds.algorithms  dc.distributed-comp 

Hiroimono é um quebra-cabeça completo de popular . Estou interessado na complexidade computacional de um quebra-cabeça relacionado.NPNPNP O problema é: Entrada : Dado um conjunto de pontos em em um x grade quadrada e inteiron knnnnnnkkk Pergunta : Existe um polígono retilíneo (seus lados paralelos ao eixo ou ) tal …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Estou interessado em exemplos de construções na teoria da complexidade que são melhores do que construções aleatórias. O único exemplo dessa construção que eu sei é no campo dos códigos de correção de erros. Os códigos de geometria algébrica são melhores em alguns parâmetros do que os códigos aleatórios. Pode-se …

10 reference-request  big-list  derandomization  pr.probability 

Existe alguma ferramenta na qual se possa descobrir se duas pessoas foram coautoras ou não? Como a ferramenta em que se pode descobrir o número de Erdos de alguém.

10 soft-question