CT-234. Estruturas de Dados, Análise de Algoritmos e Complexidade Estrutural. Carlos Alberto Alonso Sanches
|
|
- Nicholas Castel-Branco Chagas
- 7 Há anos
- Visualizações:
Transcrição
1 CT-234 Estruturs de Ddos, Análise de Algoritmos e Complexidde Estruturl Crlos Alberto Alonso Snches
2 CT-234 7) Busc de pdrões Knuth-Morris-Prtt, Boyer-Moore, Krp-Rbin
3 Pdrões e lfbetos Pdrões (ptterns ou strings) são sequêncis de crcteres. Exemplos: documentos, progrms, págins web, sequêncis de DNA, imgens digitlizds, etc. Um lfbeto Σ é um conjunto de possíveis crcteres pr um fmíli de pdrões. Exemplos: ASCII, Unicode, {A, C, G, T}, {0, 1}. Ddos os pdrões T e P, de tmnhos n e m, o problem d busc de pdrões (pttern mtching), tmbém chmdo de correspondênci de cdeis, consiste em encontrr subsequêncis de T iguis P. Sem perd de generlidde, vmos supor n > m.
4 Prefixos e sufixos Considerremos um pdrão P de tmnho m como um vetor P[0..m-1] de crcteres. Os prefixos de P são s subsequêncis P i = P[0..i], onde 0 i < m. Os sufixos de P são s subsequêncis S i = P[i..m-1], onde 0 i < m. Sej ε o crctere vzio. Por definição, P -1 = S m = ε. Se w é um pdrão, então εw = wε = w.
5 Solução por forç brut Há dois problems: encontrr tods s ocorrêncis de P em T ou pens primeir dels. Vmos bordr com detlhe pens esse último problem. O lgoritmo de busc de pdrões trvés d forç brut compr P com T pr cd possível deslocmento: té que primeir ocorrênci do pdrão P sej encontrd em T; ou té que todos os possíveis deslocmentos sejm testdos. No pior cso, (prticmente) todos os crcteres de P serão comprdos com todos os crcteres de T. Portnto, este lgoritmo gst tempo O(n.m).
6 Algoritmo forç brut BruteForceMtch() { for (i=0; i<=n-m; i++) { j = 0; while (j<m && T[i+j]==P[j]) j++; if (j == m) return i; // P encontrdo em T[i] } return -1; // P não foi encontrdo } Tempo: O((n-m).m) = O(n.m)
7 Busc trvés de utômto Um método mis eficiente é montr um máquin de estdos, chmd utômto finito. Ideis: A leitur de cd crctere de T provoc um mudnç no estdo desse utômto. Há um único estdo finl, que somente é tingido pós leitur de um subsequênci igul P. O utômto pode ser representdo por um mtriz AF de dus dimensões: considerndo que estej no estdo s e que o próximo crctere é x, AF[s,x] será o próximo estdo. A principl dificuldde não é o uso desse utômto, ms su construção.
8 Exemplo Σ = {, b, c} P = bbc b 0 1 b 2 3 b 4 5 c 6 7 b As trnsições não representds são retornos pr o estdo 0 T = bbbcb Estdo b c Busc de P em T: i T[i] - b b b c b Estdo
9 Algoritmo Busc de P em T trvés de um utômto: AFMtch() { s = 0; // 0 é o estdo inicil for (i=0; i<n; i++) { s = AF[s,T[i]]; if (s == m) // último estdo foi tingido return i-m; // posição de P em T } return -1; // P não foi encontrdo } Tempo: O(n)
10 Construção do utômto Qundo o estdo m é tingido, os últimos m crcteres lidos correspondem P. O que crcteriz o estdo s, 0 s m, é que o prefixo P s-1 cbou de ser reconhecido. Fses d construção do utômto: ) Inicilmente, tod mtriz do utômto é zerd. b) As trnsições pr estdos miores correspondem à sequênci definid pelos crcteres de P. c) Ns trnsições pr estdos menores, desej-se voltr pr o mior prefixo que ind sej válido. Se o utômto está no estdo s (ou sej, P s-1 foi reconhecido) e, pós ler o crctere T[i], deve voltr um estdo nterior, então é preciso encontrr o mior estdo k < s tl que P k-1 sej sufixo de P s-1 T[i]. Isso pode ser feito trvés de um busc exustiv em P. P k-1 P k-1 T P i s P s-1
11 Algoritmo AFConstruct() { for (s=0; s<=m; s++) for x Σ AF[s,x] = 0; // mtriz AF é zerd for (s=0; s<m; s++) AF[s,P[s]] = s+1; // trnsições pr estdos miores for (s=0; s<=m; s++) for x Σ { k = min{s+2, m+1}; // primeiro estdo ser testdo repet k--; // testes em ordem decrescente until (P k-1 sej sufixo de P s-1 x); // tempo Θ(m) AF[s,x] = k; } } Tempo: O(m 3. Σ ) Pode ser melhordo pr Θ(m. Σ )
12 Knuth-Morris-Prtt ( ) Idei: considerndo o lgoritmo forç brut, qundo ocorre um diferenç entre T[i] e P[j], não seri possível fzer um deslocmento mior de P pr direit, evitndo comprções redundntes? Exemplo: T P b b x i b b j P b b Ests comprções não precism ser refeits Deslocmento mior: recomeçr qui
13 Função de flh Pré-processmento em P: determin se seus prefixos precem como subsequêncis dele mesmo. A função de flh F(k) será definid como o tmnho do mior prefixo de P[0..k] que é sufixo de P[1..k]. Informlmente, é o tmnho do mior começo de P k que tmbém prece no seu fim, sem considerr ele mesmo. Exemplo: k P[k] b b F(k) b b x i b b j Se P[j] T[i], então j receberá o vlor F(j-1). T P P b b F(j-1)
14 Algoritmo KMP KMPMtch() { FilureFunction(); // Veremos que gst tempo Θ(m) i = 0; j = 0; while (i < n) if (T[i] == P[j]) if (j == m-1) return i-j; else { i++; j++; } else if (j!= 0) j = F[j-1]; else i++; return -1; } j é incrementdo n vezes no máximo Como é um decremento, será executdo té n vezes Tempo do lço while: O(n)
15 Exemplo b c b c c b c b b b b c b 7 b c b j P[j] b c b F(j) b c b 13 b c b b c b
16 Exemplo: cálculo d função de flh j P[j] b b b b b F[j] b b b b b b b b b b b b b b b b b b b b b Uso recursivo de F
17 Cálculo d função de flh Subsequêncis de P são procurds dentro dele mesmo: FilureFunction() { F[0] = 0; j = 0; // índice que percorre os prefixos i = 1; // índice que percorre os sufixos while (i < m) if (P[i] == P[j]) // já combinrm j+1 crcteres F[i++] = ++j; else if (j == 0) F[i++] = 0; else j = F[j-1]; // uso recursivo de F } j é incrementdo m-1 vezes no máximo Como é um decremento, será executdo té m-1 vezes Tempo: Θ(m)
18 Boyer-Moore (1976) Ideis do lgoritmo de Boyer-Moore: Bsei-se n lt probbilidde de encontrr diferençs em lfbetos grndes. Por isso, P é comprdo com T de trás pr frente. Qundo se encontr um diferenç em T[i], o pdrão P drá um slto à frente, considerndo-se s comprções já relizds. T x P i b = T[i] P[j] j Será preciso verigur 3 csos diferentes.
19 Cso 1 P não contém x T P d c x i b j T x P d c b i novo j novo Deslocr P pr direit, linhndo P[0] com T[i+1]
20 Cso 2 A últim ocorrênci de x em P está lgum índice menor do que j. T P x c x i b j T P x x c b i novo j novo Deslocr P pr direit, té que últim ocorrênci de x fique linhd com T[i].
21 Cso 3 A últim ocorrênci de x em P está em lgum índice mior do que j. T P x i b j x x T P x b x i novo x j novo Deslocr P pens um posição pr direit.
22 Exemplo p t t e r n m t c h i n g l g o r i t h m r i t h m r i t h m r i t h m r i t h m r i t h m r i t h m r i t h m
23 Outro exemplo b c b d c b c b b b 1 b c b b c b 5 b c b 6 b c b 7 b c b b c b
24 Função de últim ocorrênci Atrvés de um pré-processmento, o lgoritmo de Boyer-Moore clcul um função L: Σ I, onde L(x) é definid como: o mior índice i tl que P[i] = x; -1, cso este índice não exist. Exemplo: Σ = {, b, c, d} P b c b x L(x) 4 b 5 c 3 d -1
25 Algoritmo BM BoyerMooreMtch() { for (k=0; k< Σ ; k++) L[k] = -1; for (k=0; k<m; k++) L[P[k]] = k; i = m-1; j = m-1; repet if (T[i] == P[j]) if (j == 0) return i; else { i--; j--; } else { x = L[T[i]]; i += m - min{j, 1+x}; j = m-1; } until (i > n-1); return -1; } Cso 1: i += m; pois x = -1 Cso 2 Cso 3
26 Análise de tempo Exemplo de pior cso: b b b b Tempo: Θ(n.m + Σ ) Os piores csos costumm ocorrer qundo o lfbeto é pequeno (DNA, imgens digitis, etc.), ms são pouco comuns em documentos. No entnto, qundo o lfbeto é grnde, o melhor cso é Ω(n/m)...
27 Krp-Rbin (1980) Se Σ = {0, 1} e m 8, busc de P em T poderi ser relizd trvés de comprções entre bytes, que é muito rápid. Se Σ = {0, 1, 2,..., 9}, P seri um número de m dígitos. Poderímos então plicr ess mesm idei, comprndo números inteiros? Se P eventulmente não couber em um vriável inteir, poderímos clculr lgum função de dispersão (hshing) pr cd subsequênci de T com tmnho m e comprá-l com o correspondente vlor dest função pr P: Se forem iguis, um lgoritmo de forç brut verificri se o pdrão foi mesmo encontrdo. Se forem diferentes, o lgoritmo continurá busc, clculndo mesm função pr próxim sequênci de m dígitos em T.
28 Vlor em P Σ = {0, 1, 2,..., 9} p: vlor do número representdo pelos m dígitos de P Atrvés d Fórmul de Horner, p pode ser clculdo em tempo Θ(m): p = (...(P[0].10 + P[1]) P[m-3]).10 + P[m-2]).10 + P[m-1] Bst um comndo for com multiplicções e dições. Exemplo: P = 1569, m = 4 p = (( )10 + 6) multiplicções e 3 dições
29 Vlores em T t s : vlor do número representdo pel subsequênci T[s..s+m-1], 0 s < n-m. T[s] t s+1 Exemplo: T = 64152, m = 4, s = 0, t s = 6415, T[s+m] = 2 t s+1 = 10( ) + 2 = 4152 t s T[s+m] t s+1 pode ser clculdo prtir de t s em tempo Θ(1): t s+1 = 10(t s 10 m-1 T[s]) + T[s+m] A subtrção de 10 m-1 T[s] remove o dígito de mis lt ordem T[s+m] será o novo dígito de mis bix ordem
30 Complexidde dos cálculos p e t 0 podem ser clculdos em tempo Θ(m). t s+1 pode ser clculdo prtir de t s em tempo Θ(1). t 1,..., t n-m podem ser clculdos tempo Θ(n-m). Portnto, tods s ocorrêncis de P em T podem ser encontrds em tempo Θ(n). No entnto, pr que s comprções entre p e cd t s sejm feits em tempo constnte, esses números devem estr limitdos o vlor máximo de um inteiro suportdo pelo sistem (depende d quntidde de bytes utilizdos). Como vimos, esse eventul problem pode ser resolvido com o uso de um função de dispersão (hshing).
31 Um solução Função de dispersão : todos os vlores (p, t 0, t 1,..., t n-m ) serão clculdos em módulo q, onde q é um número primo. Definindo d = Σ, q costum ser escolhido de tl modo que o vlor d.q poss ser rmzendo em um número inteiro. Os cálculos pssm ser: t s+1 = (d(t s T[s].h) + T[s+m]) mod q, onde h = d m-1 mod q. Evidentemente, t s p mod q não signific necessrimente que P = T[s..s+m]. Heurístic: Se t s p mod q, verificr por forç brut se P = T[s..s+m]. Cso contrário, continur busc.
32 Exemplo t s+1 = (d(t s T[s].h) + T[s+m]) mod q, onde h = d m-1 mod q. Sejm: d=10, T= 31526, n=5, P= 26, m=2, q=11. p = 26 mod 11 = 4 h = 10 1 mod 11 = 10 t 0 = 31 mod 11 = 9 t 1 = (10(9-3.10) + 5) mod 11 = -205 mod 11 = 4 Conferindo: t 1 = 15 mod 11 = 4 t 1 p mod 11, ms T[1..2] = 15 e P = 26 : P não foi encontrdo... t 2 = (10(4-1.10) + 2) mod 11 = -58 mod 11 = 8 Conferindo: t 2 = 52 mod 11 = 8 t 3 = (10(8-5.10) + 6) mod 11 = -414 mod 11 = 4 t 3 p mod 11, e P relmente é encontrdo em T
33 Algoritmo KR KrpRbinMtch() { d = Σ ; q = um primo mior que m; h = d m-1 mod q; p = 0; t 0 = 0; for (i=0; i<m; i++) { // cálculo de p e de t 0 p = (d.p + P[i]) mod q; t 0 = (d.t 0 + T[i]) mod q; } } for (s=0; s<=n-m; s++) { // cálculo de t 1,..., t n-m if (p == t s ) // fzer comprção forç brut if (P[1..m] == T[s..s+m]) return s; if (s < n-m) t s+1 = (d.(t s T[s].h)+T[s+m]) mod q; } return -1;
34 Comentários Os cálculos de p e t 0 gstm tempo Θ(m). Os cálculos de t 1,..., t n-m, mis eventul comprção por forç brut, gstm tempo O((n-m).m). Portnto, o tempo totl do lgoritmo de Rbin-Krp é O(n.m). N prátic, este lgoritmo tem bom desempenho. Importnte: ele é válido pr qulquer lfbeto! Bst interpretr cd crctere como um dígito...
35 Comprções Algoritmos Pré-processmento Tempo de busc Forç brut - O(n.m), Ω(n) Autômto finito Θ(m. Σ ) Θ(n) KMP Θ(m) Θ(n) Boyer-Moore Θ(m + Σ ) O(n.m), Ω(n/m) Krp-Rbin - O(n.m), Ω(n) A tbel cim present s complexiddes de tempo n busc de tods s ocorrêncis do pdrão. Teoricmente, KMP é o melhor. N prátic, Boyer-Moore é o mis usdo. Além disso, possui lgums vrições n litertur.
Algoritmos de Busca de Palavras em Texto
Revisdo 08Nov12 A busc de pdrões dentro de um conjunto de informções tem um grnde plicção em computção. São muits s vrições deste problem, desde procurr determinds plvrs ou sentençs em um texto té procurr
Leia maisMaterial envolvendo estudo de matrizes e determinantes
E. E. E. M. ÁREA DE CONHECIMENTO DE MATEMÁTICA E SUAS TECNOLOGIAS PROFESSORA ALEXANDRA MARIA º TRIMESTRE/ SÉRIE º ANO NOME: Nº TURMA: Mteril envolvendo estudo de mtrizes e determinntes INSTRUÇÕES:. Este
Leia maisAnálise Léxica. Construção de Compiladores. Capítulo 2. José Romildo Malaquias Departamento de Computação Universidade Federal de Ouro Preto
Construção de Compildores Cpítulo 2 Análise Léxic José Romildo Mlquis Deprtmento de Computção Universidde Federl de Ouro Preto 2014.1 1/23 1 Análise Léxic 2/23 Tópicos 1 Análise Léxic 3/23 Análise léxic
Leia maisIncertezas e Propagação de Incertezas. Biologia Marinha
Incertezs e Propgção de Incertezs Cursos: Disciplin: Docente: Biologi Biologi Mrinh Físic Crl Silv Nos cálculos deve: Ser coerente ns uniddes (converter tudo pr S.I. e tender às potêncis de 10). Fzer um
Leia maisMATRIZES, DETERMINANTES E SISTEMAS LINEARES PROF. JORGE WILSON
MATRIZES, DETERMINANTES E SISTEMAS LINEARES PROF. JORGE WILSON PROFJWPS@GMAIL.COM MATRIZES Definição e Notção... 11 21 m1 12... 22 m2............ 1n.. 2n. mn Chmmos de Mtriz todo conjunto de vlores, dispostos
Leia maisUniversidade Federal do Rio Grande FURG. Instituto de Matemática, Estatística e Física IMEF Edital 15 - CAPES MATRIZES
Universidde Federl do Rio Grnde FURG Instituto de Mtemátic, Esttístic e Físic IMEF Editl - CAPES MATRIZES Prof. Antônio Murício Medeiros Alves Profª Denise Mri Vrell Mrtinez Mtemátic Básic pr Ciêncis Sociis
Leia maisCasamento de Strings e Tries
Csmento de Strings e Tries Após estudr este cpítulo, você deverá ser cpz de: hh Definir os seguintes conceitos no contexto de csmento de strings: Pdrão Texto Jnel de texto Alfeto Sustring Bord Slto FB
Leia maisfundamental do cálculo. Entretanto, determinadas aplicações do Cálculo nos levam a formulações de integrais em que:
Cpítulo 8 Integris Imprópris 8. Introdução A eistênci d integrl definid f() d, onde f é contínu no intervlo fechdo [, b], é grntid pelo teorem fundmentl do cálculo. Entretnto, determinds plicções do Cálculo
Leia maisx 0 0,5 0,999 1,001 1,5 2 f(x) 3 4 4,998 5,
- Limite. - Conceito Intuitivo de Limite Considere função f definid pel guinte epressão: f - - Podemos obrvr que função está definid pr todos os vlores de eceto pr. Pr, tnto o numerdor qunto o denomindor
Leia maisAutômatos determinísticos grandes
Autômtos determinísticos grndes Arnldo Mndel 27 de outubro de 2009 A construção dos subconjuntos implic n seguinte firmtiv: se um lingugem é reconhecid por um utômto não-determinístico com n estdos, então
Leia maisUNIVERSIDADE FEDERAL DE PERNAMBUCO. Resumo. Nesta aula, utilizaremos o Teorema Fundamental do Cálculo (TFC) para o cálculo da área entre duas curvas.
CÁLCULO L1 NOTAS DA DÉCIMA SÉTIMA AULA UNIVERSIDADE FEDERAL DE PERNAMBUCO Resumo. Nest ul, utilizremos o Teorem Fundmentl do Cálculo (TFC) pr o cálculo d áre entre dus curvs. 1. A áre entre dus curvs A
Leia maisEQUAÇÃO DO 2 GRAU. Seu primeiro passo para a resolução de uma equação do 2 grau é saber identificar os valores de a,b e c.
EQUAÇÃO DO GRAU Você já estudou em série nterior s equções do 1 gru, o gru de um equção é ddo pelo mior expoente d vriável, vej lguns exemplos: x + = 3 equção do 1 gru já que o expoente do x é 1 5x 8 =
Leia maisUnidimensional pois possui apenas uma única dimensão
Vetores e Mtrizes José Augusto Brnusks Deprtmento de Físic e Mtemátic FFCLRP-USP Sl 6 Bloco P Fone (6) 60-6 Nest ul veremos estruturs de ddos homogênes: vetores (ou rrys) e mtrizes Esss estruturs de ddos
Leia maisSERVIÇO PÚBLICO FEDERAL Ministério da Educação
SERVIÇO PÚBLICO FEDERAL Ministério d Educção Universidde Federl do Rio Grnde Universidde Abert do Brsil Administrção Bchreldo Mtemátic pr Ciêncis Sociis Aplicds I Rodrigo Brbos Sores . Mtrizes:.. Introdução:
Leia maisModelos de Computação -Folha de trabalho n. 2
Modelos de Computção -Folh de trlho n. 2 Not: Os exercícios origtórios mrcdos de A H constituem os prolems que devem ser resolvidos individulmente. A resolução em ppel deverá ser depositd n cix d disciplin
Leia maisProgressões Aritméticas
Segund Etp Progressões Aritmétics Definição São sequêncis numérics onde cd elemento, prtir do segundo, é obtido trvés d som de seu ntecessor com um constnte (rzão).,,,,,, 1 3 4 n 1 n 1 1º termo º termo
Leia maisLRE LSC LLC. Autômatos Finitos são reconhecedores para linguagens regulares. Se não existe um AF a linguagem não é regular.
Lingugens Formis Nom Chomsky definiu que s lingugens nturis podem ser clssificds em clsses de lingugens. egundo Hierrqui de Chomsky, s lingugens podem ser dividids em qutro clsses, sendo els: Regulres
Leia maisFunção Modular. x, se x < 0. x, se x 0
Módulo de um Número Rel Ddo um número rel, o módulo de é definido por:, se 0 = `, se < 0 Observção: O módulo de um número rel nunc é negtivo. Eemplo : = Eemplo : 0 = ( 0) = 0 Eemplo : 0 = 0 Geometricmente,
Leia maisAula 10 Estabilidade
Aul 0 Estbilidde input S output O sistem é estável se respost à entrd impulso 0 qundo t Ou sej, se síd do sistem stisfz lim y(t) t = 0 qundo entrd r(t) = impulso input S output Equivlentemente, pode ser
Leia maisAlocação sequencial - Pilhas
Alocção seqüencil - pilhs Alocção sequencil - Pilhs Pilhs A estrutur de ddos Pilh é bstnte intuitiv. A nlogi é um pilh de prtos. Se quisermos usr um pilh de prtos com máxim segurnç, devemos inserir um
Leia maisComprimento de arco. Universidade de Brasília Departamento de Matemática
Universidde de Brsíli Deprtmento de Mtemátic Cálculo Comprimento de rco Considerefunçãof(x) = (2/3) x 3 definidnointervlo[,],cujográficoestáilustrdo bixo. Neste texto vmos desenvolver um técnic pr clculr
Leia maisAula 27 Integrais impróprias segunda parte Critérios de convergência
Integris imprópris segund prte Critérios de convergênci MÓDULO - AULA 7 Aul 7 Integris imprópris segund prte Critérios de convergênci Objetivo Conhecer dois critérios de convergênci de integris imprópris:
Leia maisApoio à Decisão. Aula 3. Aula 3. Mônica Barros, D.Sc.
Aul Métodos Esttísticos sticos de Apoio à Decisão Aul Mônic Brros, D.Sc. Vriáveis Aletóris Contínus e Discrets Função de Probbilidde Função Densidde Função de Distribuição Momentos de um vriável letóri
Leia maisGramáticas Regulares. Capítulo Gramáticas regulares
Cpítulo Grmátics Regulres Ests nots são um complemento do livro e destinm-se representr lguns lgoritmos estuddos ns uls teórics. É ddo um exemplo de plicção de cd conceito. Mis exemplos form discutidos
Leia maisRESUMO DE INTEGRAIS. d dx. NOTA MENTAL: Não esquecer a constante para integrais indefinidas. Fórmulas de Integração
RESUMO DE INTEGRAIS INTEGRAL INDEFINIDA A rte de encontrr ntiderivds é chmd de integrção. Desse modo, o plicr integrl dos dois ldos d equção, encontrmos tl d ntiderivd: f (x) = d dx [F (x)] f (x)dx = F
Leia maisProf. Ms. Aldo Vieira Aluno:
Prof. Ms. Aldo Vieir Aluno: Fich 1 Chmmos de mtriz, tod tbel numéric com m linhs e n coluns. Neste cso, dizemos que mtriz é do tipo m x n (onde lemos m por n ) ou que su ordem é m x n. Devemos representr
Leia maisDCC-UFRJ Linguagens Formais Primeira Prova 2008/1
DCC-UFRJ Lingugens Formis Primeir Prov 28/. Constru um utômto finito determinístico que ceite lingugem L = {w ( ) w contém pelos menos dois zeros e no máximo um }. 2. Use o lgoritmo de substituição pr
Leia maisIntegral. (1) Queremos calcular o valor médio da temperatura ao longo do dia. O valor. a i
Integrl Noção de Integrl. Integrl é o nálogo pr unções d noção de som. Ddos n números 1, 2,..., n, podemos tomr su som 1 + 2 +... + n = i. O integrl de = té = b dum unção contínu é um mneir de somr todos
Leia maisTeoria da Computação. Unidade 3 Máquinas Universais (cont.) Referência Teoria da Computação (Divério, 2000)
Teori d Computção Unidde 3 Máquins Universis (cont.) Referênci Teori d Computção (Divério, 2000) 1 Máquin com Pilhs Diferenci-se ds MT e MP pelo fto de possuir memóri de entrd seprd ds memóris de trblho
Leia maisFaculdade de Computação
UNIVERIDADE FEDERAL DE UBERLÂNDIA Fculdde de Computção Disciplin : Teori d Computção Professor : ndr de Amo Revisão de Grmátics Livres do Contexto (1) 1. Fzer o exercicio 2.3 d págin 128 do livro texto
Leia maisProblemas e Algoritmos
Problems e Algoritmos Em muitos domínios, há problems que pedem síd com proprieddes específics qundo são fornecids entrds válids. O primeiro psso é definir o problem usndo estruturs dequds (modelo), seguir
Leia maisAula de solução de problemas: cinemática em 1 e 2 dimensões
Aul de solução de problems: cinemátic em 1 e dimensões Crlos Mciel O. Bstos, Edurdo R. Azevedo FCM 01 - Físic Gerl pr Químicos 1. Velocidde instntâne 1 A posição de um corpo oscil pendurdo por um mol é
Leia maisCÁLCULO NUMÉRICO. Profa. Dra. Yara de Souza Tadano.
CÁLCULO NUMÉRICO Prof. Dr. Yr de Souz Tdno yrtdno@utfpr.edu.br Aul 0 0/04 Sistems de Equções Lineres Prte MÉTODOS ITERATIVOS Cálculo Numérico /9 MOTIVAÇÃO Os métodos itertivos ou de proimção fornecem um
Leia mais(x, y) dy. (x, y) dy =
Seção 7 Função Gm A expressão n! = 1 3... n (1 está definid pens pr vlores inteiros positivos de n. Um primeir extensão é feit dizendo que! = 1. Ms queremos estender noção de ftoril inclusive pr vlores
Leia maisMÉTODO DA POSIÇÃO FALSA EXEMPLO
MÉTODO DA POSIÇÃO FALSA Vimos que o Método d Bissecção encontr um novo intervlo trvés de um médi ritmétic. Ddo o intervlo [,], o método d posição fls utiliz médi ponderd de e com pesos f( e f(, respectivmente:
Leia mais1 Distribuições Contínuas de Probabilidade
Distribuições Contínus de Probbilidde São distribuições de vriáveis letóris contínus. Um vriável letóri contínu tom um numero infinito não numerável de vlores (intervlos de números reis), os quis podem
Leia maisObjetivo. Conhecer a técnica de integração chamada substituição trigonométrica. e pelo eixo Ox. f(x) dx = A.
MÓDULO - AULA Aul Técnics de Integrção Substituição Trigonométric Objetivo Conhecer técnic de integrção chmd substituição trigonométric. Introdução Você prendeu, no Cálculo I, que integrl de um função
Leia maisFUNÇÕES. Mottola. 1) Se f(x) = 6 2x. é igual a (a) 1 (b) 2 (c) 3 (d) 4 (e) 5. 2) (UNIFOR) O gráfico abaixo. 0 x
FUNÇÕES ) Se f() = 6, então f ( 5) f ( 5) é igul () (b) (c) 3 (d) 4 (e) 5 ) (UNIFOR) O gráfico bio 0 () não represent um função. (b) represent um função bijetor. (c) represent um função não injetor. (d)
Leia maisElementos de Análise - Lista 6 - Solução
Elementos de Análise - List 6 - Solução 1. Pr cd f bixo considere F (x) = x f(t) dt. Pr quis vlores de x temos F (x) = f(x)? () f(x) = se x 1, f(x) = 1 se x > 1; F (x) = se x 1, F (x) = x 1 se x > 1. Portnto
Leia maisSistems Lineres Form Gerl onde: ij ij coeficientes n n nn n n n n n n b... b... b...
Cálculo Numérico Módulo V Resolução Numéric de Sistems Lineres Prte I Profs.: Bruno Correi d Nóbreg Queiroz José Eustáquio Rngel de Queiroz Mrcelo Alves de Brros Sistems Lineres Form Gerl onde: ij ij coeficientes
Leia maisProgramação II. Ordenação (sort) Bruno Feijó Dept. de Informática, PUC-Rio
Progrmção II Ordenção (sort) Bruno Feijó Dept. de Informátic, PUC-Rio Bule Sort Bule Sort Apens de interesse didático e de referênci A idéi é ir comprndo dois vizinhos e trocndo o menor pelo mior té que
Leia maisÁrea entre curvas e a Integral definida
Universidde de Brsíli Deprtmento de Mtemátic Cálculo Áre entre curvs e Integrl definid Sej S região do plno delimitd pels curvs y = f(x) e y = g(x) e s rets verticis x = e x = b, onde f e g são funções
Leia maisLista de Exercícios de Física II - Gabarito,
List de Exercícios de Físic II - Gbrito, 2015-1 Murício Hippert 18 de bril de 2015 1 Questões pr P1 Questão 1. Se o bloco sequer encost no líquido, leitur n blnç corresponde o peso do líquido e cord sustent
Leia maisDefinição: uma permutação do conjunto de inteiros {1, 2,..., n} é um rearranjo destes inteiros em alguma ordem sem omissões ou repetições.
DETERMINANTES INTRODUÇÃO Funções determinnte, são funções reis de um vriável mtricil, o que signific que ssocim um número rel (X) um mtriz qudrd X Sus plicções envolvem crcterizção de mtriz invertível,
Leia mais3.3 Autómatos finitos não determinísticos com transições por ε (AFND-ε)
TRANSIÇÕES POR (AFND-) 43 3.3 Autómtos finitos não determinísticos com trnsições por (AFND-) Vmos gor considerr utómtos finitos que podem mudr de estdo sem consumir qulquer símbolo, isto é, são utómtos
Leia maisResolução Numérica de Sistemas Lineares Parte I
Cálculo Numérico Módulo V Resolução Numéric de Sistems ineres Prte I Profs.: Bruno Correi d Nóbreg Queiroz José Eustáquio Rngel de Queiroz Mrcelo Alves de Brros Sistems ineres Form Gerl... n n b... n n
Leia maisCÁLCULO I. Apresentar a técnica de integração por substituição; Utilizar técnicas apresentadas no cálculo integral.
CÁLCULO I Prof. Edilson Neri Júnior Prof. André Almeid Auls n o 8: Técnics de Integrção I - Método d Substituição Objetivos d Aul Apresentr técnic de integrção por substituição; Utilizr técnics presentds
Leia maisALGEBRA LINEAR AUTOVALORES E AUTOVETORES. Prof. Ademilson
LGEBR LINER UTOVLORES E UTOVETORES Prof. demilson utovlores e utovetores utovlores e utovetores são conceitos importntes de mtemátic, com plicções prátics em áres diversificds como mecânic quântic, processmento
Leia maisFaculdade de Computação
UNIVERIDADE FEDERAL DE UBERLÂNDIA Fculdde de Computção Disciplin : Lingugens Formis e Autômtos - 0 emestre 2006 Professor : ndr Aprecid de Amo List de Exercícios n o - 4/08/2006 Observção : os exercícios
Leia maisUniversidade Estadual do Sudoeste da Bahia
Universidde Estdul do Sudoeste d Bhi Deprtmento de Estudos Básicos e Instrumentis 3 Vetores Físic I Prof. Roberto Cludino Ferreir 1 ÍNDICE 1. Grndez Vetoril; 2. O que é um vetor; 3. Representção de um
Leia maisDiogo Pinheiro Fernandes Pedrosa
Integrção Numéric Diogo Pinheiro Fernndes Pedros Universidde Federl do Rio Grnde do Norte Centro de Tecnologi Deprtmento de Engenhri de Computção e Automção http://www.dc.ufrn.br/ 1 Introdução O conceito
Leia maisResolução Numérica de Sistemas Lineares Parte I
Cálculo Numérico Resolução Numéric de Sistems ineres Prte I Prof. Jorge Cvlcnti jorge.cvlcnti@univsf.edu.br MATERIA ADAPTADO DOS SIDES DA DISCIPINA CÁCUO NUMÉRICO DA UFCG - www.dsc.ufcg.edu.br/~cnum/ Sistems
Leia maisAULA 1. 1 NÚMEROS E OPERAÇÕES 1.1 Linguagem Matemática
1 NÚMEROS E OPERAÇÕES 1.1 Lingugem Mtemátic AULA 1 1 1.2 Conjuntos Numéricos Chm-se conjunto o grupmento num todo de objetos, bem definidos e discerníveis, de noss percepção ou de nosso entendimento, chmdos
Leia maisIntrodução ao estudo de equações diferenciais
MTDI I - 2007/08 - Introdução o estudo de equções diferenciis 63 Introdução o estudo de equções diferenciis Existe um grnde vriedde de situções ns quis se desej determinr um quntidde vriável prtir de um
Leia maisMTDI I /08 - Integral de nido 55. Integral de nido
MTDI I - 7/8 - Integrl de nido 55 Integrl de nido Sej f um função rel de vriável rel de nid e contínu num intervlo rel I [; b] e tl que f (x) ; 8x [; b]: Se dividirmos [; b] em n intervlos iguis, mplitude
Leia maisTrigonometria FÓRMULAS PARA AJUDÁ-LO EM TRIGONOMETRIA
Trigonometri é o estudo dos triângulos, que contêm ângulos, clro. Conheç lgums regrs especiis pr ângulos e váris outrs funções, definições e trnslções importntes. Senos e cossenos são dus funções trigonométrics
Leia maisOs números racionais. Capítulo 3
Cpítulo 3 Os números rcionis De modo informl, dizemos que o conjunto Q dos números rcionis é composto pels frções crids prtir de inteiros, desde que o denomindor não sej zero. Assim como fizemos nteriormente,
Leia maisLinguagens Formais Capítulo 5: Linguagens e gramáticas livres de contexto
Lingugens ormis Cpítulo 5: Lingugens e grmátics livres de contexto José Lucs Rngel, mio 1999 5.1 - Introdução Vimos no cpítulo 3 definição de grmátic livre de contexto (glc) e de lingugem livre de contexto
Leia maisMATEMÁTICA PROFº ADRIANO PAULO LISTA DE FUNÇÃO POLINOMIAL DO 1º GRAU - ax b, sabendo que:
MATEMÁTICA PROFº ADRIANO PAULO LISTA DE FUNÇÃO POLINOMIAL DO º GRAU - Dd unção = +, determine Dd unção = +, determine tl que = Escrev unção im, sendo que: = e - = - - = e = c = e - = - A ret, gráico de
Leia mais3 Teoria dos Conjuntos Fuzzy
0 Teori dos Conjuntos Fuzzy presentm-se qui lguns conceitos d teori de conjuntos fuzzy que serão necessários pr o desenvolvimento e compreensão do modelo proposto (cpítulo 5). teori de conjuntos fuzzy
Leia mais3. Seja Σ um alfabeto. Explique que palavras pertencem a cada uma das seguintes linguagens:
BCC244-Teori d Computção Prof. Lucíli Figueiredo List de Exercícios DECOM ICEB - UFOP Lingugens. Liste os strings de cd um ds seguintes lingugens: ) = {λ} ) + + = c) {λ} {λ} = {λ} d) {λ} + {λ} + = {λ}
Leia maisDraft-v Autómatos mínimos. 6.1 Autómatos Mínimos
6. Autómtos Mínimos 6 Autómtos mínimos Dd um lingugem regulr L, muitos são os utómtos determinísticos que representm. Sej A L o conjunto dos utómtos tis que (8A)(A 2A L =) L(A) =L). Os utómtos de A L não
Leia maisFísica Geral e Experimental I (2011/01)
Diretori de Ciêncis Exts Lbortório de Físic Roteiro Físic Gerl e Experimentl I (/ Experimento: Cinemátic do M. R. U. e M. R. U. V. . Cinemátic do M.R.U. e do M.R.U.V. Nest tref serão borddos os seguintes
Leia maisProva Escrita de MATEMÁTICA A - 12o Ano a Fase
Prov Escrit de MATEMÁTICA A - o Ano 0 - Fse Propost de resolução GRUPO I. Como comissão deve ter etmente mulheres, num totl de pessos, será constituíd por um único homem. Logo, como eistem 6 homens no
Leia maisApostila 02 - Linguagens Regulares Exercícios
Cursos: Bchreldo em Ciênci d Computção e Bchreldo em Sistems de Informção Disciplins: (1493A) Teori d Computção e Lingugens Formis, (4623A) Teori d Computção e Lingugens Formis e (1601A) Teori d Computção
Leia maisAs fórmulas aditivas e as leis do seno e do cosseno
ul 3 s fórmuls ditivs e s leis do MÓDULO 2 - UL 3 utor: elso ost seno e do cosseno Objetivos 1) ompreender importânci d lei do seno e do cosseno pr o cálculo d distânci entre dois pontos sem necessidde
Leia mais3. Cálculo integral em IR 3.1. Integral Indefinido 3.1.1. Definição, Propriedades e Exemplos
3. Cálculo integrl em IR 3.. Integrl Indefinido 3... Definição, Proprieddes e Exemplos A noção de integrl indefinido prece ssocid à de derivd de um função como se pode verificr prtir d su definição: Definição
Leia maisAproximação de funções de Bessel
Aproximção de funções de Bessel Gonzlo Trvieso 2013-04-05 Sumário 1 Integrção numéric 1 1.1 Integrl definid......................... 1 1.2 Regr do trpézio......................... 1 1.3 Número de intervlos.......................
Leia maisPotencial Elétrico. Evandro Bastos dos Santos. 14 de Março de 2017
Potencil Elétrico Evndro Bstos dos Sntos 14 de Mrço de 2017 1 Energi Potencil Elétric Vmos começr fzendo um nlogi mecânic. Pr um corpo cindo em um cmpo grvitcionl g, prtir de um ltur h i té um ltur h f,
Leia maisTeoria de Linguagens 2 o semestre de 2014 Professor: Newton José Vieira Primeira Lista de Exercícios Entrega: até 16:40h de 23/10.
Pós-Grdução em Ciênci d Computção DCC/ICEx/UFMG Teori de Lingugens 2 o semestre de 2014 Professor: Newton José Vieir Primeir List de Exercícios Entreg: té 16:40h de 23/10. Oservções: O uso do softwre JFLAP,
Leia maisProf. Doherty Andrade- DMA/UEM DMA-UEM-2004
Integrção Numéric Prof. Doherty Andrde- DMA/UEM DMA-UEM-4 Preliminres Nests nots o nosso interesse é clculr numericmente integris f(x)dx. A idéi d integrção numéric reside n proximção d função integrnd
Leia maisUniversidade Federal de Pelotas Vetores e Álgebra Linear Prof a : Msc. Merhy Heli Rodrigues Determinantes
Universidde Federl de Pelots Vetores e Álgebr Liner Prof : Msc. Merhy Heli Rodrigues Determinntes Determinntes Definição: Determinnte é um número ssocido um mtriz qudrd.. Determinnte de primeir ordem Dd
Leia maisAtividade Prática como Componente Curricular
Universidde Tecnológic Federl do Prná Gerênci de Ensino e Pesquis Deprtmento Acdêmico de Mtemátic Atividde Prátic como Componente Curriculr - Propost - Nome: Mtrícul: Turm: Justique su respost, explicitndo
Leia maisINTEGRAIS DEFINIDAS. Como determinar a área da região S que está sob a curva y = f(x) e limitada pelas retas verticais x = a, x = b e pelo eixo x?
INTEGRAIS DEFINIDAS O Prolem d Áre Como determinr áre d região S que está so curv y = f(x) e limitd pels rets verticis x =, x = e pelo eixo x? Um idei é proximrmos região S utilizndo retângulos e depois
Leia maisINTEGRAIS DEFINIDAS. Como determinar a área da região S que está sob a curva y = f(x) e limitada pelas retas verticais x = a, x = b e pelo eixo x?
INTEGRAIS DEFINIDAS O Prolem d Áre Como determinr áre d região S que está so curv y = f(x) e limitd pels rets verticis x =, x = e pelo eixo x? Um idei é proximrmos região S utilizndo retângulos e depois
Leia maisCálculo de Limites. Sumário
6 Cálculo de Limites Sumário 6. Limites de Sequêncis................. 3 6.2 Exercícios Recomenddos............... 5 6.3 Limites de Funções.................. 7 6.4 Exercícios Recomenddos...............
Leia maisHierarquia de Chomsky
Universidde Ctólic de Pelots Centro Politécnico 364018 Lingugens Formis e Autômtos TEXTO 1 Lingugens Regulres e Autômtos Finitos Prof. Luiz A M Plzzo Mrço de 2011 Hierrqui de Chomsky Ling. Recursivmente
Leia maisAnálise e Síntese de Algoritmos. Emparelhamento de Cadeias de Caracteres CLRS, Cap. 32
Análise e Síntese de Algoritmos Emparelhamento de Cadeias de Caracteres CLRS, Cap. 32 Contexto Revisão Algoritmos em Grafos Programação Linear Programação Dinâmica Algoritmos Greedy Emparelhamento de Cadeias
Leia maisE m Física chamam-se grandezas àquelas propriedades de um sistema físico
Bertolo Apêndice A 1 Vetores E m Físic chmm-se grndezs àquels proprieddes de um sistem físico que podem ser medids. Els vrim durnte um fenômeno que ocorre com o sistem, e se relcionm formndo s leis físics.
Leia maisTÓPICO. Fundamentos da Matemática II DERIVADA DIRECIONAL E PLANO TANGENTE8. Licenciatura em Ciências USP/ Univesp. Gil da Costa Marques
DERIVADA DIRECIONAL E PLANO TANGENTE8 TÓPICO Gil d Cost Mrques Fundmentos d Mtemátic II 8.1 Diferencil totl de um função esclr 8.2 Derivd num Direção e Máxim Derivd Direcionl 8.3 Perpendiculr um superfície
Leia maisPropriedades das Linguagens Regulares
Cpítulo 5 Proprieddes ds Lingugens Regulres Considerndo um lfeto, já vimos que podemos rterizr lsse ds lingugens regulres sore esse lfeto omo o onjunto ds lingugens que podem ser desrits por expressões
Leia maisÁLGEBRA LINEAR Equações Lineares na Álgebra Linear EQUAÇÃO LINEAR SISTEMA LINEAR GEOMETRIA DA ESQUAÇÕES LINEARES RESOLUÇÃO DOS SISTEMAS
EQUAÇÃO LINEAR SISTEMA LINEAR GEOMETRIA DA ESQUAÇÕES LINEARES RESOLUÇÃO DOS SISTEMAS Equção Liner * Sej,,,...,, (números reis) e n (n ) 2 3 n x, x, x,..., x (números reis) 2 3 n Chm-se equção Liner sobre
Leia maisModelos de Computação Folha de trabalho n. 3
Modelos de Computção Folh de trlho n. 3 Not: Os exercícios origtórios mrcdos de A H constituem os prolems que devem ser resolvidos individulmente. A resolução em ppel deverá ser depositd n cix d disciplin
Leia maisUniversidade Federal do Rio Grande FURG. Instituto de Matemática, Estatística e Física IMEF Edital 15 - CAPES DETERMINANTES
Universidde Federl do Rio Grnde FURG Instituto de Mtemátic, Esttístic e Físic IMEF Editl - APES DETERMINANTES Prof Antônio Murício Medeiros Alves Profª Denise Mri Vrell Mrtinez Mtemátic Básic pr iêncis
Leia maisEletrotécnica TEXTO Nº 7
Eletrotécnic TEXTO Nº 7 CIRCUITOS TRIFÁSICOS. CIRCUITOS TRIFÁSICOS EQUILIBRADOS E SIMÉTRICOS.. Introdução A quse totlidde d energi elétric no mundo é gerd e trnsmitid por meio de sistems elétricos trifásicos
Leia maisEQUAÇÕES E INEQUAÇÕES POLINOMIAIS
EQUAÇÕES E INEQUAÇÕES POLINOMIAIS Um dos grndes problems de mtemátic n ntiguidde er resolução de equções polinomiis. Encontrr um fórmul ou um método pr resolver tis equções er um grnde desfio. E ind hoje
Leia maisEXAME DE INGRESSO 2014 3º Período
PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA ÁREA DE ENGENHARIA DE COMPUTAÇÃO (141) ESCOLA POLITÉCNICA DA UNIVERSIDADE DE SÃO PAULO EXAME DE INGRESSO 2014 º Período NOME: Oservções Importntes: 1. Não
Leia maisCÁLCULO I. 1 Funções denidas por uma integral
CÁLCULO I Prof. Mrcos Diniz Prof. André Almeid Prof. Edilson Neri Júnior Prof. Emerson Veig Prof. Tigo Coelho Aul n o 26: Teorem do Vlor Médio pr Integris. Teorem Fundmentl do Cálculo II. Funções dds por
Leia maisntexto finição presentação áfica ilização TempMed(input,output); Var Var Begin Begin readln(t1); readln(t1); readln(t2); readln(t2);
Arrys (tbels) Co (1) Imgine-se que é necessário efectur o cálculo d médi do primeiro trimestre do no. Com os conhecimentos presentdos té qui o progrm senvolver seri proximdmente Progrm Progrm TempMed(input,output);
Leia maisFUNÇÃO DO 2º GRAU OU QUADRÁTICA
FUNÇÃO DO º GRAU OU QUADRÁTICA - Definição É tod função do tipo f() = + + c, com *, e c. c y Eemplos,, c números e coeficient termo vr vr iável iável es independen reis indepemdem dependente de te ou te
Leia maisQuantidade de oxigênio no sistema
EEIMVR-UFF Refino dos Aços I 1ª Verificção Junho 29 1. 1 kg de ferro puro são colocdos em um forno, mntido 16 o C. A entrd de oxigênio no sistem é controld e relizd lentmente, de modo ir umentndo pressão
Leia maisLINGUAGEM DE PROGRAMAÇÃO ESTRUTURADA CAPÍTULO 6 ARRAYS (VETORES E MATRIZES)
LINGUGEM DE PROGRMÇÃO ESTRUTURD CPÍTULO 6 RRYS VETORES E MTRIZES trdução do termo rry pr língu portugues seri rrnjo. Em progrmção, empreg-se este termo pr representção de um vriável com diversos elementos
Leia maisResolução do exercício proposto na experiência da associação em paralelo das bombas hidráulicas
Resolução do exercício proposto n experiênci d ssocição em prlelo ds bombs hidráulics. equção d CCI pr ssocição em prlelo, onde tudo o que or considerdo deve ser devidmente justiicdo. ( γ Q ) + entrm γ
Leia maisTeorema Fundamental do Cálculo - Parte 1
Universidde de Brsíli Deprtmento de Mtemátic Cálculo Teorem Fundmentl do Cálculo - Prte Neste texto vmos provr um importnte resultdo que nos permite clculr integris definids. Ele pode ser enuncido como
Leia maisGRUPO I. Espaço de rascunho: G 2 10
GRUPO I I.1) Considere o seguinte grfo de estdos de um problem de procur. Os vlores presentdos nos rcos correspondem o custo do operdor (cção) respectivo, enqunto os vlores nos rectângulos correspondem
Leia maisRecordando produtos notáveis
Recordndo produtos notáveis A UUL AL A Desde ul 3 estmos usndo letrs pr representr números desconhecidos. Hoje você sbe, por exemplo, que solução d equção 2x + 3 = 19 é x = 8, ou sej, o número 8 é o único
Leia maisMatemática. Resolução das atividades complementares. M24 Equações Polinomiais. 1 (PUC-SP) No universo C, a equação
Resolução ds tividdes complementres Mtemátic M Equções Polinomiis p. 86 (PUC-SP) No universo C, equção 0 0 0 dmite: ) três rízes rcionis c) dus rízes irrcionis e) um únic riz positiv b) dus rízes não reis
Leia mais(Nova) Matemática, Licenciatura / Engenharia de Produção
Recredencimento Portri EC 7, de 5.. - D.O.U.... (ov) temátic, Licencitur / Engenhri de Produção ódulo de Pesquis: Prátics de ensino em mtemátic, contetos e metodois Disciplin: Fundmentos de temátic II
Leia mais