Eu fiz essa pergunta no Stack Overflow há um tempo atrás: Problema: a venda de Bob . Alguém sugeriu postar a pergunta aqui também. Alguém já fez uma pergunta relacionada a esse problema aqui - subfloresta de peso mínimo de determinada cardinalidade - mas, pelo que entendi, não me ajuda com o meu...
Eu estou procurando artigos e artigos sobre lógicas estruturais subestruturais - não sobre a semântica de modalidades lógicas lineares, mas sobre lógicas subestruturais aumentadas com operadores modais padrão, por exemplo, K estrutural (algo como MALL com operador de caixa, necessidade e regras...
O teorema do ponto fixo de Banach diz que, se tivermos um espaço métrico completo não vazio AUMAA , qualquer função uniformemente contrativa possui um ponto fixo único . No entanto, a prova desse teorema requer o axioma da escolha - precisamos escolher um elemento arbitrário para iniciar a iteração...
Quais são os bons papéis / livros para entender melhor o poder da Decomposição Modular e suas propriedades? Estou particularmente interessado em aspectos algorítmicos da Decomposição Modular. Ouvi dizer que é possível encontrar uma decomposição modular de um gráfico em tempo linear. Existe um...
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 de...
A altura da estrela (generalizada) de um idioma é o agrupamento mínimo de estrelas Kleene necessárias para representar o idioma por uma expressão regular estendida. Lembre-se de que uma expressão regular estendida sobre um alfabeto finito UMAUMAA satisfaz o seguinte: (1) e um são estendidos...
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...
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...
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 n o ( 1 ) , então isso é ótimo [2]....
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...
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...
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...
É 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
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 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...
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...
Problema relacionado: O Teorema de Veblen afirma que "Um gráfico admite uma decomposição de ciclo se e somente se for par". Os ciclos são separados por arestas, mas não necessariamente separados por nós. Em outras palavras, "O conjunto de arestas de um gráfico pode ser dividido em ciclos se e...
A classe de complexidade BQP corresponde a sub-rotinas quânticas de tempo polinomial, recebendo entradas clássicas e emitindo uma saída clássica probabilística. O aconselhamento quântico modifica isso para incluir cópias de alguns estados pré-determinados de aconselhamento quântico, mas com...
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...
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...