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...
Dado um conjunto de hiperplanos determinado pelos vetores normais , seus tipos de células (ou vetores de sinais) são todos vetores t ∈ { + , - } m para os quais existe um vetor v ∈ R d de modo que ⟨ v , h i ⟩ ≠ 0 e t i = sinal ( ⟨ v , h i ⟩ )h1,…,hm∈Rdh1,…,hm∈Rdh_1,\dots,h_m \in \mathbf...
Eu queria saber qual é a lista dos problemas computacionais naturais atuais para os quais não há vantagem de complexidade conhecida no uso de um computador quântico. Para começar, acho que o cálculo da distância de edição é aquele para o qual o algoritmo quântico mais rápido conhecido parece ser...
A teoria dos tipos de Martin-Löf é basicamente o cálculo predicativo de construções indutivas sem impredicative ?PropProp\mathtt{Prop} Se eles estão intimamente relacionados, mas com mais diferenças do que apenas , quais são essas
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...
Em resumo, a questão é: até que ponto, a capacidade computacional para tarefas difíceis realmente ajuda você a resolver tarefas fáceis. (Pode haver várias maneiras de tornar essa pergunta interessante e não trivial, e aqui está uma dessas tentativas.) Questão 1: Considere um circuito para...
Dado um DAG (dirigido gráfico acíclico) , com fontes e pias . Encontre um DAG , com as fontes e os dissipadores , com número mínimo de arestas, de modo que:S T D ′ S TDDDSSSTTTD′D′D'SSSTTT Para todos os pares existe um caminho de para em se e somente se houver um caminho de para em .u v D u v D...
Dado modo que os coeficientes de sejam delimitados por , aguarde?p , q B p ≡ qp(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q O lema de Schwartz-Zippel se aplica aqui, pois é válido para campos...
Recentemente, me deparei com um artigo de Coudron e Yuen sobre expansão aleatória usando dispositivos quânticos. O principal resultado do trabalho é que é possível gerar aleatoriedade "infinita" a partir de um número constante de fontes (ou seja, o número de bits aleatórios gerados depende apenas...
Estou experimentando sistemas de tipo puro no cubo lambda de Barendregt, especificamente com o mais poderoso, o Cálculo de Construções. Este sistema tem tipos *e BOX. Apenas para constar, abaixo, estou usando a sintaxe concreta da Morteferramenta https://github.com/Gabriel439/Haskell-Morte-Library,...
Em uma fórmula CNF de leitura duas vezes oposta, cada variável aparece duas vezes, uma vez positiva e uma vez negativa. Estou interessado na problema, que consiste em calcular a paridade do número de satisfazer as atribuições de um oposto fórmula CNF leitura duas
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...
Entrada: um conjunto de pontos em e um número inteiro .R 3 k ≤ nnnnR3R3\mathbb{R}^3k≤nk≤nk \le n Saída: a menor caixa delimitadora alinhada ao eixo de volume que contém pelo menos desses pontos.nkkknnn Gostaria de saber se algum algoritmo é conhecido por esse problema. O melhor que pude pensar...
No passado, os periódicos eram a principal forma de divulgação e verificação de descobertas científicas / matemáticas. Em algumas áreas, eles ainda são. No entanto, na ciência da computação (teórica) esse papel é quase inteiramente desempenhado por conferências e disseminação aberta na Web (por...
Deixe ser um gráfico acíclico dirigido , e deixar λ ser uma função rotulagem mapeamento de cada vértice v ∈ V para uma etiqueta λ ( v ) em algum alfabeto finito L . Escrevendo n : = | V | , um tipo topológico de G é uma bijeção σ de { 1 , … , n } a V (ou seja, uma ordenação deG=(V,E)G=(V,E)G = (V,...
É NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? Ou, de maneira mais geral, NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}
Estou interessado nas propriedades combinatórias das redes sociais como gráficos. As pessoas analisaram coisas como a distribuição dos graus, o coeficiente de agrupamento e a compressibilidade desses gráficos. Uma pergunta básica é: esses gráficos geralmente são bons gráficos de expansão? Algué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
Eu li livros, artigos e artigos publicados sobre computação quântica. Descobri que todos os materiais que vi são, em vez de descrever a porta quântica da física básica à abstração, tentando evitar falar sobre os detalhes de implementação dos portões quânticos . Em primeiro lugar, me questionei:...