Teste à Primalidade. (Método de Monte Carlo) Geração de Números Primos (Grandes)
|
|
- Elisa Canedo Paiva
- 5 Há anos
- Visualizações:
Transcrição
1 Teste à Primalidade (Método de Monte Carlo) Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 1 Geração de Números Primos (Grandes) Como se pode obter um número primo grande? Gerando números grandes e testando se são primos. Se π(n) denotar o número de primos que não excedem n, π(n) lim n + n ln n = 1. Exemplo: π(10 9 ) = e 10 9 ln A probabilidade de um número n escolhido aleatoriamente ser primo pode ser aproximada por 1 ln n. Será necessário testar cerca de ln n 2 n para encontrar um que seja primo. números í m p a r e s próximos de Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 2
2 Aritmética Modular Propriedade 1 (P1) ((a mod k) (b mod k)) mod k = (a b) modk Propriedade 2 (P2) Se a b e a mod k = b mod k, então: (a b) modk =0. Propriedade 3 (P3) Se p é um número primo e (a b) modp = 0, então: a mod p = 0 ou b mod p =0. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 3 Lema de Fermat Se p é um número primo e x é um inteiro positivo tal que x mod p = 0, então 0 x mod p 1 x mod p (p 1) x mod p é uma permutação de 0 1 (p 1). Demonstração Se existissem i e j (0 i<j p 1) tais que ixmod p = jxmod p, por (P2), (j i) x mod p =0 e, por (P3), (j i) modp = 0 ou x mod p =0. Mas (j i) modp = 0, porque 0 < (j i) <p, e x mod p = 0, por hipótese. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 4
3 Teorema de Fermat [1640] Sejam p um número primo e x um inteiro positivo tal que x mod p = 0. Então, x p 1 mod p =1. Demonstração Pelo Lema de Fermat, (1x mod p) ((p 1) x mod p) = (p 1)! [(1 x mod p) ((p 1) x mod p)] mod p = (p 1)! mod p (P1) [(1 x) (p 1) x] modp = (p 1)! mod p (p 1)! x p 1 mod p = (p 1)! mod p (P2) [(p 1)! x p 1 (p 1)!] mod p = 0 (p 1)! (x p 1 1) mod p = 0 (x p 1 1) mod p = 0 (P3) (mod) x p 1 mod p = 1 Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 5 Pseudo-primos Seja p 3 um número inteiro. p é um número pseudo-primo se: p não for primo; e existir uma base x {2,...,p 1 tal que x p 1 mod p =1. Exemplos: 341, 561, 645, 1105 (base 2). p é um número de Carmichael [1912] se: p não for primo; e para qualquer base x {1, 2,...,p 1 tal que m.d.c.(x, p) =1 (c.f. Anexo A), x p 1 mod p =1. Exemplos: 561, 1105, Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 6
4 Potência Modular int modpower( int b, int e, int n ) // β =max(b, e, n). { int base = b; int exp = e; int result = 1; while (exp> 0) { // Cycle invariant: (base exp result) mod n = b e mod n. while (exp%2==0) { base = base base % n; exp = exp / 2; result = result base % n; exp = exp 1; return result; Complexidade: O(log e) oper. aritméticas; O(log 3 β) oper. com bits. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 7 Teste de Fermat // If this method returns true, p is definitely composite; // if it returns false, p can be composite or prime. // Pre-condition: p>2 is an odd integer and 2 x p 1. boolean iswitnessf( int p, int x ) { return modpower(x, p 1, p) = 1; Complexidade: O(log p) oper. aritméticas; O(log 3 p) oper. com bits. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 8
5 Erro do Teste de Fermat Há apenas 22 números pseudo-primos para os quais o teste de Fermat falha com a base 2 em {2,..., Seja p um número com α algarismos. Estima-se que a probabilidade do teste de Fermat falhar com a base 2 não excede: [Pomerance 1981] 10 6, quando α = 50; 10 13, quando α = 100. Há apenas 255 números de Carmichael em {2,..., Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 9 Como Reduzir o Erro Testar a primalidade de números grandes. A probabilidade de um número aleatório ser um pseudo-primo tende para zero, quando o número de algarismos tende para infinito [Pomerance 1981]. Testar com várias bases. Os números de Carmichael são extremamente raros. Complementar o teste de Fermat com o teste proposto por Miller [1976] e refinado por Rabin [1980]. À combinação dos dois testes chama-se teste de Miller-Rabin. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 10
6 Teste de Miller-Rabin Sejam p um número primo e x um inteiro positivo tal que x 2 mod p =1. Então, x mod p =1 ou x mod p = p 1. Demonstração x 2 mod p =1 (mod) (x 2 1) mod p =0 (x 1)(x + 1) mod p =0 (x 1) mod p = 0 ou (x + 1) mod p =0 (P3) (mod) x mod p = 1 ou x mod p = p 1 Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 11 Teste de Miller-Rabin // Pre-condition: p 1=2 k f, where k 1 and f is odd; 2 x p 1. boolean iswitnessmr( int p, int k, int f, int x ) { int result = modpower(x, f, p); // result = x f 20 mod p. for ( int i = 1; i k; i++ ) { int base = result; result = result result % p; // result = x f 2i mod p. if ( result == 1 && base = 1 && base = p 1) return true; return result = 1; // Miller-Rabin test. // Fermat test. Complexidade: O(log p) oper. aritméticas; O(log 3 p) oper. com bits. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 12
7 Decompor n da forma 2 k f, com k 1ef ímpar // Pre-condition: n 2 is an even integer. int[] decompose( int n ) { int f = n; int k = 0; while ( f %2==0) { // Cycle invariant: f 2 k = n. f = f / 2; k = k + 1; return new int[] {k, f; Complexidade: O(log n) oper. aritméticas; O(log 2 n) oper. com bits. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 13 Teste à Primalidade // Pre-condition: p>2 is an odd integer and t>0. boolean isprime( int p, int t ) { int[] dec = decompose(p 1); for ( int i = 0; i<t; i++ ) { int x = randomint(2, p 1); // 2 x p 1. if ( iswitnessmr(p, dec[0], dec[1], x) ) return true; return false; Complexidade: O(t log p) oper. aritméticas; O(t log 3 p) oper. com bits. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 14
8 Erro de isprime A probabilidade do teste de Miller-Rabin falhar é inferior a: 1 4 = 4 1. Se t for o número de bases testadas, a probabilidade do algoritmo isprime falhar é inferior a: 4 t. Exemplo: se a probabilidade de ocorrer um erro de hardware numa máquina que execute 1 milhão de instruções por segundo for 4 40, espera-se que ocorra um erro em cada 30 mil milhões de anos. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 15 Alguns Números Pseudo-primos e de Carmichael Número Fermat Miller- % Testado m.d.c. = 1 m.d.c. = 1 -Rabin Sucesso Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 16
9 Anexo A Para qualquer inteiro positivo n, sejam: a b (mod n) a mod n = b mod n; [a] n = {b Z a b (mod n); Z n = {[0] n, [1] n,...,[n 1] n ; Z + n = {[1] n,...,[n 1] n ; Z n = {[a] n Z n m.d.c.(a, n) =1. Proposições (Z n, + n ) e (Z n, n) são grupos comutativos. Se n for primo, Z n = Z + n. Se n não for primo, Zn <n 1. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 17 Anexo A Justificação da Definição de Número de Carmichael Proposição Se n não for primo e x Z + n \ Z n (ou seja, m.d.c.(x, n) = 1), x n 1 mod n = 1. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 18
Algoritmos probabilísticos
Algoritmos probabilísticos Na execução, algumas decisões usam números aleatórios Tempo de execução depende não só da entrada mas também de números aleatórios gerados Eficiência: pior caso é o mesmo ue
Leia maisPK - Public Key RSA. Segurança RSA
Introdução à Chave Pública PK - Public Key RSA Exponenciação rápida Segurança RSA Compartilhamento de chaves Algoritmo de chave simétrica Necessário compartilhar uma chave secreta previamente Chave que
Leia mais1 TESTE OPÇÃO II - TEORIA DE NÚMEROS COMPUTACIONAL
1 TESTE OPÇÃO II - TEORIA DE NÚMEROS COMPUTACIONAL Licenciatura em Matemática 30 de março de 2012 duração 1h 45m Responda, justificando cuidadosamente, às seguintes questões: 1. Calcule uma estimativa
Leia maisAlgoritmo AKS Primalidade de um Número em Tempo Polinomial
Algoritmo AKS Primalidade de um Número em Tempo Polinomial Bruno da Rocha Braga Ravel / COPPE / UFRJ brunorb@ravel.ufrj.br http://www.ravel.ufrj.br/ 11 de Setembro, 2002 Resumo Os algoritmos para determinação
Leia maisCIC 111 Análise e Projeto de Algoritmos II
CIC 111 Análise e Projeto de Algoritmos II Prof. Roberto Affonso da Costa Junior Universidade Federal de Itajubá AULA 21 Number theory Primes and factors Modular arithmetic Solving equations Other results
Leia maisExistem infinitos números de Carmichael, mas não provaremos isso neste curso.
6 Pseudoprimos 6.1 O Pequeno Teorema de Fermat nos diz que, se n é primo, então temos b n b (mod n) para todo b Z. Portanto, a contrapositiva diz que se temos b n b (mod n) ( ) para algum b Z, então n
Leia maisUniversidade do Minho
Teórica n o 1 2007-02-22 Apresentação do docente e da disciplina. Algumas revisões de teoria de números elementar. O algoritmo de Euclides estendido; demonstração do teorema que fundamenta o algoritmo.
Leia maisTESTES DE PRIMALIDADE
TESTES DE PRIMALIDADE MOTIVACAO Testes de primalidade são ingredientes essenciais em sistemas de segurança computadorizados. Há uma série de sistemas de segurança que contam com a suposição que é difícil
Leia maisCapítulo VIII. Tipo Abstracto de Dados Dicionário. Acesso por Chave
Capítulo VIII Tipo Abstracto de Dados Dicionário Acesso por Chave Margarida Mamede, DI FCT/UNL AED, 2009/10, Capítulo VIII 1 Interface Dicionário (K,V) (1) package datastructures; public interface Dictionary
Leia maisCriptografia e Segurança
Criptografia e Segurança das Comunicações Bases matemáticas: Teoria dos números Prof RG Crespo Criptografia e Segurança das Comunicações Teoria números : 1/40 Introdução A teoria dos números ( number theory
Leia mais1 Potências e raízes em Aritmética Modular. Seja p primo e a um inteiro primo com p; a aplicação
1 Potências e raízes em Aritmética Modular 1.1 Os Teoremas de Fermat e Euler Seja p primo e a um inteiro primo com p; a aplicação Z /p Z /p, x ax definida pela multiplicação por a (ou mais precisamente
Leia mais, com k 1, p 1, p 2,..., p k números primos e α i, β i 0 inteiros, as factorizações de dois números inteiros a, b maiores do que 1.
Como seria de esperar, o Teorema Fundamental da Aritmética tem imensas consequências importantes. Por exemplo, dadas factorizações em potências primas de dois inteiros, é imediato reconhecer se um deles
Leia maisAlgoritmo. Exemplo. Definição. Programação de Computadores Comparando Algoritmos. Alan de Freitas
Algoritmos Programação de Computadores Comparando Algoritmos Um algoritmo é um procedimento de passos para cálculos. Este procedimento é composto de instruções que definem uma função Até o momento, vimos
Leia maisBinomiais e Primos. p p 2 + p 3 + p k. Demonstração. No produto n! = n, apenas os múltiplos de p contribuem com um fator p.
Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 3 Carlos Gustavo Moreira Aula 16 Binomiais e Primos Começamos lembrando a Proposição 1 (Fatores do Fatorial) Seja p um primo Então a maior
Leia maisAritmética. Somas de Quadrados
Aritmética Somas de Quadrados Carlos Humberto Soares Júnior PROFMAT - SBM Objetivo Determinar quais números naturais são soma de dois quadrados. PROFMAT - SBM Aritmética, Somas de Quadrados slide 2/14
Leia maisUma análise comparativa entre os testes de primalidade AKS e Miller-Rabin
Uma análise comparativa entre os testes de primalidade AKS e Miller-Rabin RESUMO Fernando de Farias Universidade Católica de Brasília Curso de Matemática Orientador: José Eduardo Castilho Os algoritmos
Leia maisTeorema de Euclides O conjunto dos números primos é infinito. O número de primos menores ou iguais a um dado x é representado
Teorema de Euclides O conjunto dos números primos é infinito Definição O número de primos menores ou iguais a um dado x é representado por π(x) sendo π designada a função de distribuição, ou de contagem,
Leia maisAula 23. Ivan Sendin. 31 de outubro de FACOM - Universidade Federal de Uberlandia TSeg.
Segurança da Informação Aula 23 FACOM - Universidade Federal de Uberlandia ivansendin@yahoo.com,sendin@ufu.br 31 de outubro de 2018 ou Criptografia de Chave Publica PK e SK PK cifra, publica,... SK decifra,
Leia maisNote-se que pelo Teorema de Euler. a φ(n) 1 (mod n) logo existe k nas condições da definição acima e. Raízes Primitivas. Ordem de um elemento
Ordem de um elemento Definição Sejam a e n inteiros tais que m.d.c.(a, n) = 1. O menor inteiro positivo k tal que tal que a k 1 (mod n) diz-se a ordem de a módulo n e representa-se por ord n (a). Note-se
Leia maisD OLJHLUD UDSRVD PDUURP VDOWRX VREUH R FDFKRUUR FDQVDGR 1
Matemática Discreta October 12, 2018 1 1 Criptografia Criptografia de chave secreta: quando remetente e destinatário concordam um código. Exemplo: Código de Caesar O que está escríto? D OLJHLUD UDSRVD
Leia maisAKS: um algoritmo para identificar números primos
AKS: um algoritmo para identificar números primos IM-UFBA 08 de novembro de 2016 Índice 1 Preliminares 2 3 4 5 Introdução Números primos Comprovar a primalidade de um número natural significa comprovar
Leia maisFundamentos: Algoritmos, Inteiros e Matrizes. Inteiros e. Primos e. Divisor Comum. Inteiros e. Algoritmos. Teoria dos Centro de Informática UFPE
, Fundamentos:, Centro de Informática UFPE , 1 2 3 4 , Sejam a e b inteiros, com a 0. a divide b se existe um inteiro c, tal que b = ac. a divide b a b Por exemplo, a = 3, b = 12 , Sejam a e b inteiros,
Leia maisNúmeros Primos: onde estão? Por que encontrá-los? Ana Cristina Vieira MAT/UFMG. Primos
1 Números Primos: onde estão? Por que encontrá-los? Ana Cristina Vieira MAT/UFMG Primos Definição: Livro VII dos Elementos de Euclides de Alexandria (360 a.c - 295 a.c). Dado qualquer número inteiro n,
Leia maisComplexidade de Algoritmos
Complexidade de Algoritmos Prof. Diego Buchinger diego.buchinger@outlook.com diego.buchinger@udesc.br Prof. Cristiano Damiani Vasconcellos cristiano.vasconcellos@udesc.br Um pouco de Teoria dos Números
Leia maisTabelas de Dispersão. Tabela de Dispersão
Tabelas de Dispersão Sumário Definição. Características. Resolução de colisões: dispersão aberta e dispersão fechada. Teste quadrático. Desempenho de tabelas de dispersão. Interface de tabela de dispersão.
Leia maisAula 15. Ivan Sendin. 11 de outubro de FACOM - Universidade Federal de Uberlandia TSeg.
Tópicos em Segurança da Informação Aula 15 FACOM - Universidade Federal de Uberlandia ivansendin@yahoo.com,sendin@ufu.br 11 de outubro de 2017 Constroem os compostos São infinitos p n n = p.n Infinitos...
Leia maisVariáveis e estruturas de controlo. Introdução à Programação André L. Santos
Variáveis e estruturas de controlo Introdução à Programação André L. Santos Variáveis Uma variável pode ser vista como um espaço em memória onde um valor de determinado tipo (p.e. inteiro) pode ser guardado.
Leia maisCodificação de Informação 2010/2011
Codificação de Informação 2010/2011 Sumário: Criptografia de chave pública Tipos de chave: cifras simétricas Chave comum à operação de cifrar e de decifrar Chave secreta P mensagem em claro, C mensagem
Leia maisNÚMEROS ESPECIAIS. Luciana Santos da Silva Martino. lulismartino.wordpress.com PROFMAT - Colégio Pedro II
Sumário NÚMEROS ESPECIAIS Luciana Santos da Silva Martino lulismartino.wordpress.com lulismartino@gmail.com PROFMAT - Colégio Pedro II 27 de outubro de 2017 Sumário 1 Primos de Fermat, de Mersenne e em
Leia maisAnálise e implementação de algoritmos acerca de números primos para uso em maratonas de programação
Universidade de Brasília - UnB Faculdade UnB Gama - FGA Engenharia Eletrônica Análise e implementação de algoritmos acerca de números primos para uso em maratonas de programação Autor: Felipe Duerno do
Leia maisProf. A. G. Silva. 13 de setembro de Prof. A. G. Silva INE5603 Introdução à POO 13 de setembro de / 21
INE5603 Introdução à POO Prof. A. G. Silva 13 de setembro de 2017 Prof. A. G. Silva INE5603 Introdução à POO 13 de setembro de 2017 1 / 21 Estruturas de repeteção (INTRODUÇÃO) Prof. A. G. Silva INE5603
Leia maisUniversidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação. Teoria dos Números
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Teoria dos Números Tópicos Especiais em Programação Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com
Leia maisAula 7. Aula de hoje. Aula passada
Aula 7 Aula passada Método de Monte Carlo Estimando somatórios Calculando erro Estimando Erro de Integração de Monte Carlo Monte Carlo Ray Tracing Aula de hoje Gerando amostras de v.a. discretas Gerando
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/14 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Leia maisCriptografia com Maple
Criptografia com Maple - Verão/2005 Fábio Borges & Renato Portugal Criptografia com Maple p.1/32 Simétrica versus Assimétrica Simétrica Criptografia com Maple p.2/32 Simétrica versus Assimétrica Simétrica
Leia maisMedida do Tempo de Execução de um Programa. Bruno Hott Algoritmos e Estruturas de Dados I DECSI UFOP
Medida do Tempo de Execução de um Programa Bruno Hott Algoritmos e Estruturas de Dados I DECSI UFOP Medida do Tempo de Execução de um Programa O projeto de algoritmos é fortemente influenciado pelo estudo
Leia maisComplexidade de algoritmos Notação Big-O
Complexidade de algoritmos Notação Big-O Prof. Byron Leite Prof. Tiago Massoni Engenharia da Computação Poli - UPE Motivação O projeto de algoritmos é influenciado pelo estudo de seus comportamentos Problema
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/30 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Leia maisé uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que:
Matemática Discreta 2008/09 Vítor Hugo Fernandes Departamento de Matemática FCT/UNL Axioma (Princípio da Boa Ordenação dos Números Naturais) O conjunto parcialmente (totalmente) ordenado (N, ), em que
Leia mais1 TESTE TEORIA DE NÚMEROS COMPUTACIONAL
1 TESTE TEORIA DE NÚMEROS COMPUTACIONAL Licenciatura em Matemática 17 de abril de 2012 duração 1h 45m Responda, justificando cuidadosamente, às seguintes questões: 1. (a) Sem utilizar o Mathematica, calcule
Leia mais2 n p q, com p, q primos. Sabe-se que: 2 n (n k) (n k) para k qualquer; em particular um inteiro. E, portanto podemos ter: p n k q n k.
A carta de Goldbach a Euler, datada de 7 de Junho de 1742, deu origem à versão moderna de sua conjectura, como atualmente difundida: Todo inteiro par maior que 2 pode ser representado como a soma de 2
Leia maisMATEMÁTICA MÓDULO 8 DIVISIBILIDADE E CONGRUÊNCIA. Professor Matheus Secco
MATEMÁTICA Professor Matheus Secco MÓDULO 8 DIVISIBILIDADE E CONGRUÊNCIA 1. DIVISIBILIDADE Definição: Sejam a, b inteiros com a 0. Diz-se que a divide b (denota-se por a b) se existe c inteiro tal que
Leia maisTeorema 1.1 (Teorema de divisão de Euclides). Dados n Z e d N, existe uma única dupla q Z, r. n = qd + r
Matemática Discreta September 18, 2018 1 1 Divisão de inteiros Teorema 1.1 (Teorema de divisão de Euclides). Dados n Z e d N, existe uma única dupla q Z, r {0,..., d 1} tal que n = qd + r Dizemos que a
Leia maisConteúdo. Adilson Gonçalves Luiz Manoel Figueiredo. 17 de Setembro de Aula 7 Ideais maximais e números primos 3
Álgebra 1 Adilson Gonçalves Luiz Manoel Figueiredo 17 de Setembro de 2004 Conteúdo Aula 7 Ideais maximais e números primos 3 Aula 8 Fatoração única: o Teorema Fundamental da Aritmética 11 Aula 9 Os inteiros
Leia maisSobre números primos
Sobre números primos Profs.: Joaby de Souza Jucá & Thaynara Arielly de Lima Universidade Federal de Goiás 23 de outubro de 2014 1 Introdução 2 Resultados preliminares 3 Sobre distribuição dos números primos
Leia maisMC102 Algoritmos e Programação de Computadores
MC102 Algoritmos e Programação de Computadores Instituto de Computação UNICAMP Primeiro Semestre de 2015 Roteiro 1 Fundamentos de análise de algoritmos 2 Cálculo da função de custo 3 Exercícios Instituto
Leia maisComputação 1 - Python Aula 7 - Teórica: Estrutura de Repetição com teste de parada: while 1/ 23
Computação 1 - Python Aula 7 - Teórica: Estrutura de Repetição com teste de parada: while 1/ 23 Permite que o programador especifique que o programa deve repetir um conjunto de comandos enquanto uma dada
Leia maisMatemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017
Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4
Leia maisLista 2 - PMR2300/3200
Lista 2 - PMR2300/3200 Fabio G. Cozman, Thiago Martins 8 de março de 2015 1. Qual String é impressa pelo programa: p u b l i c c l a s s What { p u b l i c s t a t i c void f ( i n t x ) { x = 2 ; p u
Leia maisLinguagem C++ Estruturas de controle Parte II Estruturas de repetição
Fundamentos de Programação Linguagem C++ Estruturas de controle Parte II Estruturas de repetição Prof. Bruno E. G. Gomes IFRN 1 Estruturas de Controle Permitem o controle da sequência de execução de um
Leia maisdouble x; x = enigmab1(100);
8h Universidade Federal do ABC Avaliação: Prova 02 Disciplina: Processamento da Informação Turmas: A4, A5 (8hs) Professor: Jesús P. Mena-Chalco Data: 05/05/2016 Nome: RA: Instruções para a prova (leia
Leia maisLista 1 - PMR2300. Fabio G. Cozman 3 de abril de 2013
Lista 1 - PMR2300 Fabio G. Cozman 3 de abril de 2013 1. Qual String é impressa pelo programa: p u b l i c c l a s s What { p u b l i c s t a t i c void f ( i n t x ) { x = 2 ; p u b l i c s t a t i c void
Leia maisParalelização Eficiente para o Algoritmo Binário de Exponenciação Modular
Paralelização Eficiente para o Algoritmo Binário de Exponenciação Modular Pedro Carlos da Silva Lara Fábio Borges de Oliveira Renato Portugal Laboratório Nacional de Computação Científica Índice 1 Introdução
Leia maisLógica de Programação I
Gilson de Souza Carvalho gaucho.gilson@hotmail.com 1 Comandos de repetição combinados com comandos de condição A utilização de comandos de repetição combinados com comandos de condição permite resolver
Leia maisÁlgebra I Israel. Bárbara Lopes Amaral. 19 de novembro de Universidade Federal de Minas Gerais. Fatoração de Polinômios. Lagrange.
Álgebra I Israel Lopes Amaral Universidade Federal de Minas Gerais 19 de novembro de 2007 Lagange Lema Fatora polinômios em Z[x], utilizando uma idéia bastante simples. Esse método não é muito eficiente.
Leia maisAlgoritmos de Aproximação Segundo Semestre de 2012
Algoritmos de Aproximação Segundo Semestre de 2012 Aproximação p. 1 Problema de decisão Problema de decisão: conjunto I de instâncias e função f : I {SIM, NÃO} Aproximação p. 2 Problema de decisão Problema
Leia maisAritmética dos Restos. Pequeno Teorema de Fermat. Tópicos Adicionais
Aritmética dos Restos Pequeno Teorema de Fermat Tópicos Adicionais Aritmética dos Restos Pequeno Teorema de Fermat 1 Exercícios Introdutórios Exercício 1. Encontre os restos da divisão de 2 24 por a) 5
Leia maisSoftware de Telecomunicações. Teoria dos números
Software de Telecomunicações Teoria dos números Prof RG Crespo Software de Telecomunicações Teoria números : 1/37 Números primos (1) O conjunto dos inteiros {...,-2,-1,0,1,2,...} é representado por Z.
Leia maisInteiros. Inteiros. Congruência. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006.
Inteiros Inteiros. Congruência. Referência: Capítulo: 4 Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006 1 Números reais A relação binária em R é uma ordem parcial
Leia maisTabelas Hash O Que é uma Tabela Hash? O Que é uma Tabela Hash? O Que é uma Tabela Hash? Inserindo um Novo Registro. O Que é uma Tabela Hash?
Tabelas Hash O Que é uma Tabela Hash? Nesta aula são discutidos modos de armazenar informações em um vetor, e depois procurar por uma informação Tabelas Hash constituem uma abordagem comum para o problema
Leia maisÁrvores. Thiago Martins, Fabio Gagliardi Cozman. PMR2300 / PMR3201 Escola Politécnica da Universidade de São Paulo
PMR2300 / PMR3201 Escola Politécnica da Universidade de São Paulo Árvore: estrutura composta por nós e arestas entre nós. As arestas são direcionadas ( setas ) e: um nó (e apenas um) é a raiz; todo nó
Leia maisIntrodução aos Métodos de Prova
Introdução aos Métodos de Prova Renata de Freitas e Petrucio Viana IME-UFF, Niterói/RJ II Colóquio de Matemática da Região Sul UEL, Londrina/PR 24 a 28 de abril 2012 Sumário Provas servem, principalmente,
Leia maisMATEMÁTICA DISCRETA ARITMÉTICA RACIONAL (6/6) Carlos Luz. EST Setúbal / IPS Maio 2012
MATEMÁTICA DISCRETA ARITMÉTICA RACIONAL (6/6) Carlos Luz EST Setúbal / IPS 21 27 Maio 2012 Carlos Luz (EST Setúbal / IPS) Aritmética Racional (6/6) 21 27 Maio 2012 1 / 15 Congruências Lineares De nição
Leia maisElementos de Análise Assintótica
Elementos de Análise Assintótica Marcelo Keese Albertini Faculdade de Computação Universidade Federal de Uberlândia 23 de Março de 2018 Aula de hoje Nesta aula veremos: Elementos de Análise Assintótica
Leia maisUm novo algoritmo probabilístico para fatoração de inteiros com primos relativamente distantes p.1/15
Um novo algoritmo probabilístico para fatoração de inteiros com primos relativamente distantes VIII SBSeg - Set/08 Fábio Borges - LNCC Um novo algoritmo probabilístico para fatoração de inteiros com primos
Leia maisIntrodução à Teoria dos Números Notas de Aulas 3 Prof Carlos Alberto S Soares
Introdução à Teoria dos Números 2018 - Notas de Aulas 3 Prof Carlos Alberto S Soares 1 Números Primos e o Teorema Fundamental da Aritmética Em notas anteriores já definimos os números primos, isto é, números
Leia maisFolhas de exercícios
Folhas de exercícios Fernando Ferreira Introdução à Teoria dos Números 2017/2018 1. Dado a Z e n N, mostre que (a 1) (a n 1). Sugestão: note que o polinómio X n 1 tem raíz 1. 2. Calcule o cociente e o
Leia maisMAE GABARITO DA LISTA 2-04/10/2016
MAE5709 - GABARITO DA LISTA - 04/0/06 Exercício.7.5. Primeira Parte Seja P uma matriz de transição sobre um espaço de estados finito S. Mostre que uma distribuição π é invariante para P se e somente se
Leia maispior caso nas operações de manipulação é O(N) pior caso surge sistematicamente emusos correntes (ex: elementos previamente ordenados)
Tabelas de Dispersão (Hash( Tables) Sumário Definição. Características. Resolução de colisões: dispersão aberta e dispersão fechada. Teste quadrático. Desempenho de tabelas de dispersão. Interface de tabela
Leia maisax + by 347 = 0 k = text UNIDADE CURRICULAR: Matemática Finita CÓDIGO: DOCENTES: Gilda Ferreira e Ana Nunes
text UNIDADE CURRICULAR: Matemática Finita CÓDIGO: 21082 DOCENTES: Gilda Ferreira e Ana Nunes Resolução e Critérios de Correção 1. Sejam a, b Z tais que mdc(a, b) = 12. Relativamente à equação ax + by
Leia maisNúmeros Primos e Criptografia RSA
Números Primos e Criptografia RSA Jean Carlo Baena Vicente Matemática - UFPR Orientador: Carlos Henrique dos Santos 6 de outubro de 2013 Sumário Criptografia RSA Por que o RSA funciona? Fatoração Primalidade
Leia maisProcessamento da Informação
Processamento da Informação Fabrício Olivetti de França 02 de Fevereiro de 2019 Topics 1. Processamento da Informação 2. Conceitos de Programação 3. Funções e Programas de Computador 1 Processamento da
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Inteiros e divisão Definição: Se a e b são inteiros com a 0, dizemos que a divide
Leia maisUNIDADE 4 Tomada de decisão e funções de controlo
UNIDADE 4 Tomada de decisão e funções de controlo Objetivo e Conteúdos da Unidade 4 Objetivo Estuda as funções de controlo de curso e de execução do programa. Conteúdos Estudo comparativo, operadores Booleanos
Leia maisAlgoritmos e Modelação Computacional. Paulo Mateus MEBiom LMAC 2018
Algoritmos e Modelação Computacional Paulo Mateus MEBiom LMAC 2018 Objetivos Edição e compilação de programas Tipos e expressões Declaração de variáveis Atribuição, composição sequencial, iterativa e alternativa
Leia maisLISTA DE EXERCÍCIOS O que será escrito quando os algoritmos/trechos de algoritmos abaixo forem executados (fazer no papel)?
LISTA DE EXERCÍCIOS 09 1 O número 3025 possui a seguinte característica: 30 + 25 = 55 55² = 3025 Elabore um algoritmo que pesquise e imprima todos os números de quatro algarismos que possuam esta característica.
Leia mais4. Constantes. Constantes pré-definidas
4. Constantes Constantes pré-definidas O PHP possui algumas constantes pré-definidas, indicando a versão do PHP, o Sistema Operacional do servidor, o arquivo em execução, e diversas outras informações.
Leia maisÁrvores B. Prof. Márcio Bueno. / Fonte: Material da Prof a Ana Eliza Lopes Moura
Árvores B Prof. Márcio Bueno ed2tarde@marciobueno.com / ed2noite@marciobueno.com Fonte: Material da Prof a Ana Eliza Lopes Moura Situação Problema Memória Principal Volátil e limitada Aplicações Grandes
Leia maisProgramação Estruturada
Programação Estruturada Recursão Professores Emílio Francesquini e Carla Negri Lintzmayer 2018.Q3 Centro de Matemática, Computação e Cognição Universidade Federal do ABC Recursão Recursão 1 Recursão 2
Leia maisMedida do Tempo de Execução de um Programa. David Menotti Algoritmos e Estruturas de Dados II DInf UFPR
Medida do Tempo de Execução de um Programa David Menotti Algoritmos e Estruturas de Dados II DInf UFPR Medida do Tempo de Execução de um Programa O projeto de algoritmos é fortemente influenciado pelo
Leia maisTransformação de Chave. (Hashing)
UNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA Transformação de Chave (Hashing) e Gomes da Costa yandre@din.uem.br 1 Transformações de Chave, ou Tabela Hash, ou Tabelas de Dispersão; Hashing
Leia maisExplorando o universo dos Números Primos
Universidade Estadual Paulista Júlio de Mesquita Filho Instituto de Geociências e Ciências Exatas Campus de Rio Claro Explorando o universo dos Números Primos Rafael Américo de Oliveira Dissertação apresentada
Leia maisMétodos de Monte Carlo
prcjunior@inf.ufpr.br VRI Visão Robótica e Imagem Universidade Federal do Paraná Introdução são métodos estatísticos baseados em amostragens aleatórias ou pseudoaleatórias Tempo de execução determinístico
Leia maisNós estamos acostumados com operações aritméticas: soma, subtração, multiplicação e divisão.
Bitwise tricks Operações com bits Nós estamos acostumados com operações aritméticas: soma, subtração, multiplicação e divisão. Mas os computadores entendem melhor operações booleanas, que computam diretamente
Leia maisMATEMÁTICA 1 MÓDULO 2. Divisibilidade. Professor Matheus Secco
MATEMÁTICA 1 Professor Matheus Secco MÓDULO 2 Divisibilidade 1. DIVISIBILIDADE 1.1 DEFINIÇÃO: Dizemos que o inteiro a é divisível pelo inteiro b (ou ainda que a é múltiplo de b) se existe um inteiro c
Leia maisUNIVERSIDADE FEDERAL DO CEARÁ CENTRO DE CIÊNCIAS PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT
UNIVERSIDADE FEDERAL DO CEARÁ CENTRO DE CIÊNCIAS PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT RICARDO PEREIRA DE ANDRADE TESTES DE PRIMALIDADE: UMA ANÁLISE MATEMÁTICA
Leia maisModularidade. Objetivos: Introduzir noções básicas de modularidade. Funções e procedimentos
Modularidade Objetivos: Introduzir noções básicas de modularidade Funções e procedimentos Motivação É muito difícil manter um código quando ele tende a ser grande (com muitas linhas) É preciso organizar
Leia maisIntrodução à Teoria dos Números Notas de Aulas 3 Prof Carlos Alberto S Soares
Introdução à Teoria dos Números 2018 - Notas de Aulas 3 Prof Carlos Alberto S Soares 1 Números Primos e o Teorema Fundamental da Aritmética Em notas anteriores já definimos os números primos, isto é, números
Leia maisIntrodução à Análise de Algoritmos
Quanto tempo leva a execução de determinado algoritmo? Quando temos dois algoritmos que fazem a mesma coisa, qual deles leva menos tempo? A análise do algoritmo preocupa-se com as questões acima. É sempre
Leia maisProgramação Estruturada e Orientada a Objetos
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE Programação Estruturada e Orientada a Objetos Docente: Éberton da Silva Marinho e-mail: ebertonsm@gmail.com eberton.marinho@ifrn.edu.br
Leia maisEstruturas de Dados Algoritmos de Ordenação
Estruturas de Dados Prof. Eduardo Alchieri (introdução) Considere uma sequência arbitrária S = {s1, s2, s3,...sn} composta por n 0 elementos retirados do conjunto universo U O objetivo da ordenação é arrumar
Leia maisExpressões Condicionais
Programação Funcional Capítulo 4 Expressões Condicionais José Romildo Malaquias Departamento de Computação Universidade Federal de Ouro Preto 2012.1 1/39 1 Combinando funções 2 Expressão condicional 3
Leia maisAlgoritmos. OBMEP Teoria dos números - Parte I. Algoritmo da divisão:
OBMEP Teoria dos números - Parte I Elaine Pimentel 1 o Semestre - 2006 Algoritmos Algoritmo = processo de cálculo baseado em regras formais Especificação de um algoritmo: entrada + instruções + saída Perguntas:
Leia maisTroca de chaves Diffie-Hellman Grupos finitos Grupos cíclicos
Introdução à Chave Pública Troca de chaves Diffie-Hellman Grupos finitos Grupos cíclicos Troca de Chaves de Diffie-Hellman Parâmetros públicos p, α Alice: 1 Sorteia a = K pra {2, 3,..., p 2} 3 Envia para
Leia mais5 Congruências lineares. Programa. 1 Parte 1 - Conjuntos e Aplicações. 1 Conjuntos. 4 Indução matemática e divisibilidade
Matemática Discreta 2008/09 Jorge André & Vítor Hugo Fernandes Departamento de Matemática FCT/UNL Programa 1 Parte 1 - Conjuntos e Aplicações 1 Conjuntos 2 Relações Binárias 3 Aplicações 4 Indução matemática
Leia maisProcessamento da Informação Estruturas de seleção simples e composta
Processamento da Informação Estruturas de seleção simples e composta Prof. Jesús P. Mena-Chalco CMCC/UFABC Q1/2017 1 Expressões Booleanas 2 Fonte: http://pt.wikipedia.org/wiki/george_boole Expressões Booleanas
Leia maisConjetura de Goldbach - Uma visão Aritmética
Universidade dos Açores Departamento de Matemática Conjetura de Goldbach - Uma visão Aritmética José Emanuel Sousa Ponta Delgada Abril de 2013 Universidade dos Açores Departamento de Matemática Mestrado
Leia mais3.3 Congruências e aritmética modular
40 CHAPTER 3. ELEMENTOS DE ARITMÉTICA DOS INTEIROS 3.3 Congruências e aritmética modular Consideremos primeiro o seguinte exemplo: o que podemos dizer sobre a imagem da função f : Z Z, f(x) =x 2 + x +
Leia maisIntrodução a Computação
O que é um computador? Um computador é uma coleção de componentes que realizam operações lógicas e aritméticas sobre um grande volume de dados. (F. K. Miyazawa) Um computador é composto por: Introdução
Leia mais1 n s = s s s p s. ζ(s) = p
Introdução A chamada série harmónica, n= n = + 2 + 3 + +... desde cedo suscitou interesse entre os 4 matemáticos. Infelizmente esta série diverge, o que se verifica por os termos termo n, apesar de tenderem
Leia mais