Ciência da Computação Teórica

Q1 Quando podemos dizer que dois programas (escritos em alguma linguagem de programação como C ++) são diferentes? O primeiro extremo é dizer que dois programas são equivalentes se forem idênticos. O outro extremo é dizer que dois programas são equivalentes se eles computarem a mesma função (ou mostrarem o …

15 pl.programming-languages  semantics  equivalence 

Coloquialmente, a definição do expoente de multiplicação de matrizes é o menor valor para o qual existe um algoritmo conhecido de multiplicação de matrizes . Como não é aceitável como definição matemática formal, acho que a definição técnica é algo como o mínimo em todo tal forma que existe um …

15 ds.algorithms  linear-algebra 

Quais são alguns problemas não triviais em que sabemos que o algoritmo atual que temos é o ideal assintoticamente ideal? (Para máquinas de turing) E como isso é provado?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

Esta questão está intimamente relacionada a outro post: Transições de fase em problemas graves do NP, mas é um pouco diferente. Embora essa pergunta seja sobre a dureza de instâncias específicas de problemas difíceis de NP, trata-se de classificar a dificuldade das mesmas instâncias. Há muita bibliografia sobre o efeito …

15 cc.complexity-theory  np-hardness  sat 

O problema de manutenção de pedidos (ou "manutenção de pedidos em uma lista") é dar suporte às operações: singleton: cria uma lista com um item, retorna um ponteiro para ele insertAfter: dado um ponteiro para um item, insere um novo item depois dele, retornando um ponteiro para o novo item …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Eu preciso armazenar conjuntos de elementos do tipo a. O tipo a é parcialmente ordenado, portanto, a comparação de e pode retornar menor, maior, igual ou incomparável.a1a1a_1a2a2a_2 Um problema com as hashtables é que dois elementos iguais podem ser representados de maneira diferente, e eu não tenho acesso a uma …

15 ds.data-structures  functional-programming  sorting 

Uma categoria possui biprodutos quando os mesmos objetos são os produtos e os coprodutos. Alguém já investigou a teoria da prova de categorias com bioprodutos? Talvez o exemplo mais conhecido seja a categoria de espaços vetoriais, na qual a soma direta e as construções diretas do produto fornecem o mesmo …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

É conhecido pelo teorema da aproximação universal que uma rede neural com até uma única camada oculta e uma função de ativação arbitrária pode aproximar-se de qualquer função contínua. Que outros modelos existem também que são aproximadores de funções universais

15 machine-learning  function  approximation 

Eu uso o termo do título em um sentido muito amplo. Há uma quantidade significativa de trabalho sobre a teoria dos jogos evolucionários, incluindo seus fundamentos matemáticos. Fui recomendado "Jogos Evolucionários e Dinâmica de População", mas ainda não o mergulhei. Há também uma quantidade significativa de trabalho sobre a teoria …

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

Na verdade, tenho duas perguntas: Quem primeiro usou as relações lógicas para relacionar a semântica? Rastreei-os de volta à " Sobre a relação entre a semântica direta e a continuação " de Reynold , mas não posso afirmar que fiz uma pesquisa exaustiva. Eu encontrei referências a relações lógicas datadas …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Você pode apontar como criar a função Ackerman (na verdade, estou interessado em uma versão proposta por Rózsa Péter e Raphael Robinson) por meio de operadores mu-recursivos padrão? Tentei artigos originais de Péter e Robinson, mas o artigo de Péter usa um idioma diferente dos artigos de inglês e Robinson: …

15 computability 

Defuncionalização é uma transformação de programa que converte programas de ordem superior em programas de primeira ordem. A idéia é que, dado um programa, há apenas muitas abstrações lambda finitas, para que você possa substituir cada lambda por um id e cada aplicativo de função com uma chamada para um …

15 pl.programming-languages  compilers 

fundo As funções em são aprendidas pelo PAC em tempo quase-polinomial com um algoritmo clássico que requer O ( 2 l o g ( n ) O ( d ) ) consultas escolhidas aleatoriamente para aprender um circuito de profundidade d [1]. Se não houver um algoritmo de fatoração 2 …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

Estou tentando entender alguns conceitos sobre decomposição modular e gráficos de largura de clique . Em deste artigo ( "On gráficos P4-arrumado"), não é uma prova de como resolver problemas de otimização como camarilha-número ou cromática-número usando decomposição modular. Resolvendo esses problemas compondo (usando soma ou união disjunta) dois gráficos …

15 graph-theory  graph-algorithms  cliquewidth 

Um conjunto de acertos de uma família S= { S1, … , Sn}S={S1,...,Sn}\mathcal{S} = \{S_1, \dots, S_n\} é um subconjunto HHH de modo que para . O problema para encontrar um conjunto mínimo de acertos de uma determinada família é geralmente difícil para NP, pois generaliza o problema de cobertura …

15 cc.complexity-theory  np-hardness  approximation-hardness