Eu gostaria de escrever provas matemáticas usando algum assistente de prova. Tudo será escrito usando lógica de primeira ordem (com igualdade) e dedução natural. O pano de fundo é a teoria dos conjuntos (ZF). Por exemplo, como eu poderia escrever a seguinte prova? Axiom:∀ x ∀ y( x = y↔ ∀ z( z∈ x ↔...
Estou procurando uma boa referência para os caminhos mais curtos de gargalo. Especificamente, dados os vértices s e t em um gráfico não direcionado com pesos das arestas, você deseja o caminho mais curto de s a t, em que o comprimento de um caminho é a aresta máxima nesse caminho. Isso pode ser...
x1,…,xnx1,…,xnx_1, \ldots, x_nR2R2\mathbb{R}^2∥xi−xj∥2‖xi−xj‖2\|x_i - x_j\|^22323\frac 2 32323\frac 2 3 O pior exemplo que consigo encontrar é 3 pontos em um triângulo equilátero, que atinge o 2323\frac 2 3 . Observe que uma divisão aleatória produziria 1212\frac 1 2 , mas parece intuitivamente...
Considere o seguinte problema, Dado um conjunto de números positivos { a 1 , … , a n } em que k ≥ 3 é uma constante, queremos particionar o conjunto em m subconjuntos de tamanho k, para que o produto da soma de cada subconjunto é maximizado.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n...
Existe uma pesquisa (em papel, capítulo de livro, tutorial, links, ...) da semântica de vários recursos da linguagem de programação? Eu estava inicialmente impressionado com os recursos de D aqui http://www.digitalmars.com/d/2.0/comparison.html Gostaria de ver o que eu poderia obter daqui, apesar...
Existem várias noções concorrentes de um "gráfico esparso". Por exemplo, um gráfico incorporado na superfície pode ser considerado esparso. Ou um gráfico com densidade de arestas delimitadas. Ou um gráfico com alta circunferência. Um gráfico com grande expansão. Um gráfico com largura de árvore...
No algoritmo de criptografia minúscula : Diferentes múltiplos de uma constante mágica são usados para evitar ataques simples com base na simetria das rodadas. A constante mágica, 2654435769 ou 9E3779B9 16 é escolhida como , onde ϕ é a razão áurea.232/ϕ232/ϕ2^{32}/ \phi Que propriedades...
Eu já li exemplos de fórmulas em CTL, mas não em LTL e vice-versa, mas estou tendo problemas para entender melhor as fórmulas de LTL e , na verdade , qual é a
Estou procurando lógicas modais, axiomatizadas por um conjunto finito de axiomas de profundidade de aninhamento modal um e cujo problema de satisfação / derivabilidade dificilmente estará no PSPACE. Sem a restrição na profundidade de aninhamento modal, isso não é um problema, consulte, por exemplo,...
Podemos pensar na complexidade de Kolmogorov de uma string como o comprimento do programa mais curto P e inserir y de modo que x = P ( y ) . Normalmente, esses programas são extraídos de um conjunto completo de Turing (como P pode ser a descrição de uma máquina de Turing ou pode ser um programa em...
Dada uma sequência de números, ela pode ser classificada com comparações e swaps / movimentos? Qualquer ponteiro para publicações sobre esse assunto ou contra-argumentos mostrando um limite inferior ajudaria.O ( n ln n ) O ( n ) Ω ( n ln n )nnnO ( n lnn )O(nlnn)O(n \ln n)O ( n )O(n)O(n)Ω ( n lnn...
Se é um gráfico com o máximo de grau 3 e é um menor de H , então L é um menor topológica de H .GGGHHHGGGHHH A Wikipedia cita este resultado da "Teoria dos Gráficos" de Diestel. Ele está listado como Prop 1.7.4 na versão mais recente do livro. O livro carece de prova ou citação. O paradeiro é...
Seja uma fórmula 2CNF um número inteiro não negativo. Está provado neste artigo que o problema de decidir se é possível excluir no máximo cláusulas para tornar satisfatório é um parâmetro fixo tratável, onde é o parâmetro. Minha pergunta é se há algum trabalho que generalize esse resultado para...
AC0AC0AC^0 é a classe de circuitos de tamanho polinomial de profundidade constante com portas NOT e portas AND e OR sem ventoinha, em que entradas e portas também possuem saída fanout ilimitada. Agora considere uma nova classe, chame-a de que é como mas para quais entradas e portões têm fanout no...
Versão rápida Existem modelos de decoerência para a caminhada quântica na linha de tal forma que nós pode sintonizar a caminhada para se espalhou como para qualquer 1 / 2 ≤ k ≤ 1 ?Θ(tk)Θ(tk)\Theta(t^k)1/2≤k≤11/2≤k≤11/2 \leq k \leq 1 Motivação Os passeios aleatórios clássicos são úteis no...
Estou procurando uma referência (não uma prova, o que posso fazer) à seguinte extensão de Chernoff. Deixe- X1,..,XnX1,..,XnX_1,..,X_n são variáveis aleatórias booleanas, não necessariamente independentes . Em vez disso, é garantido que
Sabemos que se , todo o PH entra em colapso. E se a hierarquia polinomial entrar em colapso parcial? (Ou como entender que o PH poderia entrar em colapso acima de um certo ponto e não abaixo?)P= NPP=NPP=NP Em palavras, quais seriam as consequências de e ?P ≠ N PNP= c o NPNP=coNPNP=coNPP≠...
Normalmente, a entropia de Shannon é usada para provar os resultados da codificação de canal. Mesmo para os resultados da separação do canal de origem, é usada a entropia de Shannon. Dada a equivalência entre as noções de informação de Shannon (global) e Kolmogorov (local), houve um estudo para...
No capítulo 10 do HAC (10.4.2) , vemos o conhecido protocolo de identificação Feige-Fiat-Shamir com base em uma prova de zero conhecimento, usando a dificuldade (presumida) de extrair raízes quadradas do módulo de raízes quadradas de um composto que é difícil de fatorar. Darei o esquema com minhas...
SAT exclusivo é o problema bem conhecido: dada a fórmula CNF , é verdade que tem exatamente um modelo?FFFFFFF Estou interessado no problema «Exatamente -SAT»: dada uma fórmula CNF e um número inteiro , é verdade que tem exatamente modelos?F m > 1 F mmmmFFFm > 1m>1m>1FFFmmm Ambos os...