Existem teoria algorítmica dos grafos / teoria dos números / combinatória / teoria da informação / teoria dos jogos. Existe análise matemática algorítmica? Segundo o wiki, a análise matemática inclui as teorias de diferenciação, integração, medida, limites, séries infinitas e funções...
Existe um resultado conhecido na classe de complexidade 1-em-3-SAT com número restrito de ocorrências variáveis? Eu propus a seguinte redução parcimoniosa com Peter Nightingale, mas quero citar algo, se isso for conhecido. Aqui está o truque que criamos. Isso mostra que 1-em-3-SAT limitado a 3...
Uma das conseqüências mais práticas da correspondência "Curry-Howard-Lambek" é que a sintaxe de muitas lambda-calucli / lógicas pode ser usada para executar construções em uma categoria suficientemente estruturada. Por exemplo, a Geometria Diferencial Sintética possui modelos nos topos que contêm...
Um antichain em um DAG é um subconjunto Um ⊆ V de vértices que são emparelhados inacessível, ou seja, não há nenhum v ≠ v ' ∈ Um tal que v é acessível a partir de v ' em E . Do teorema de Dilworth na teoria de ordem parcial, sabe-se que se o DAG não possui antichain de tamanho k ∈ N , ele pode ser...
Seja uma linguagem ef : function ⋆ × Σ ⋆ → Σ ⋆ uma função em dois parâmetros com a propriedade que para todos x e y , f retorna um elemento de L se e somente se x e y forem elementos de L :euLLf: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon
A lógica monádica de primeira ordem, também conhecida como classe monádica do problema de decisão, é onde todos os predicados usam um argumento. Foi demonstrado ser decidível por Ackermann e está NEXPTIME-complete . No entanto, problemas como SAT e SMT têm algoritmos rápidos para resolvê-los,...
I tem um conjunto de binário vectores S = { s 1 , ... , s n } ⊆ { 0 , 1 } k ∖ { 1 k } e um vector alvo t = 1 k , que é o vector de todos-onas.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\}t=1kt=1kt = 1^k Conjectura: Se pode ser...
Estou interessado no problema clássico INCLUSÃO LÍNGUA REGULAR. Dada uma expressão regular , denotamos por L ( E ) a linguagem regular a ela associada. (As expressões regulares estão em um alfabeto fixo Σ , com a união de operações, estrela Kleene e concatenação.)EEEL(E)L(E)L(E)ΣΣ\Sigma Entrada:...
Eu li sobre a substituição hereditária do Cálculo Lambda Simples e do The Logical Framework com termos e tipos distintos. Gostaria de saber, existem exemplos de substituição hereditária em um sistema tipicamente dependente com uma hierarquia de universo? ou seja, onde etc.Tr u e : Se t0 0: Se t1:...
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...
Quais documentos sobre o tratamento de erros em sistemas distribuídos você
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) e...
Esta questão segue o mesmo discurso inspirador dos alunos do último ano do ensino médio . Meu Ph.D. orientador me pediu para dar uma palestra inspiradora para o novo M.Sc. alunos. O assunto são fundamentos da criptografia , que é melhor ilustrada pelo livro de Goldreich . A conversa vai demorar...
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...
Um programa span é uma maneira algébrica-linear de especificar uma função booleana apresentada aqui . Recentemente, esse modelo foi usado para mostrar que o método adversário negativo fornece uma caracterização rígida (pelo menos até ) da complexidade da consulta quântica.registron /...
Embora sejam conhecidas separações exponenciais entre a complexidade da consulta quântica com erro limitado ( ) e a complexidade determinística da consulta ( ) ou a complexidade aleatória da consulta com erro limitado ( ), elas se aplicam apenas a determinadas funções parciais. Se as funções...
Houve uma quantidade considerável de trabalho em problemas computacionais para pedidos parciais (por exemplo, reconhecimento, número de salto, reconhecimento de gráfico de comparabilidade, etc ...). Estou curioso sobre o trabalho específico para as treliças. Eu procurei e não encontrei muito...
Estou curioso para saber se alguém poderia recomendar algum material suplementar para obter uma compreensão mais profunda do artigo: " Alguns Resultados e Problemas em Desigualdades Quânticas do Tipo Sino - Tsirelson ". Especificamente, algo que pode elaborar um pouco mais sobre a interpretação...
Aqui está uma pergunta da "faixa B", se é que alguma vez houve. Resumo: a primeira coisa que penso quando tento dar uma semântica a programas não determinísticos resulta em uma semântica em que não posso provar coisas sobre loops que terminam apenas de forma não determinística. Certamente alguém...
Minha pergunta é sobre a equivalência da segurança de várias funções unidirecionais candidatas que podem ser construídas com base na dureza da fatoração. Assumindo o problema de FACTORING: [Dado para números primos aleatórios P , Q < 2 n , encontre P , Q. ]N= PQN=PQN = PQP, Q <...