Data Structures Week #10. Graphs & Graph Algorithms
|
|
- Millicent Jennings
- 5 years ago
- Views:
Transcription
1 Data Stctes Week #0 Gaphs & Gaph Algoithms
2 Otline Motiation fo Gaphs Definitions Repesentation of Gaphs Topological Sot Beadth-Fist Seach (BFS) Depth-Fist Seach (DFS) Single-Soce Shotest Path Poblem (SSSP) Dijksta s Algoithm Minimm Spanning Tees Pim s Algoithm Kskal s Algoithm Octobe 5, 05 Boahan Tüme, Ph.D.
3 Gaphs & Gaph Algoithms Octobe 5, 05 Boahan Tüme, Ph.D. 3
4 Motiation Gaphs ae sefl stctes fo soling man poblems compte science is inteested in inclding bt not limited to Compte and telephon netoks Game theo Implementation of atomata Octobe 5, 05 Boahan Tüme, Ph.D.
5 Gaph Definitions A gaph G=(V,E) consists a set of etices V and a set of edges E. An edge (,) E has a stating ete and and ending ete. An edge sometimes is called an ac. If the pai is odeed, then the gaph is diected. Diected gaphs ae also called digaphs. Gaphs hich hae a thid component called a eight o cost associated ith each edge ae called eighted gaphs. Octobe 5, 05 Boahan Tüme, Ph.D. 5
6 Adjacenc Set and Being Adjacent Vete is adjacent to iff (,) E. In an ndiected gaph ith e=(,), and ae adjacent to each othe. In Fig.., the etices, and fom the adjacenc set of o Adj()={,,}. Fige.. Adjacenc set of Octobe 5, 05 Boahan Tüme, Ph.D.
7 Moe Definitions A ccle is a path sch that the ete at the destination of the last edge is the soce of the fist edge. A digaph is acclic iff it has no ccles in it. In-degee of a ete is the nmbe of edges aiing at that ete. Ot-degee of a ete is the nmbe of edges leaing that ete. Octobe 5, 05 Boahan Tüme, Ph.D.
8 Path Definitions A path in a gaph is a seqence of etices,,, n hee each edge ( i, i+ ) E fo i<n. The length of a path is the nmbe of edges on the path, (i.e., n- fo the aboe path). A path fom a ete to itself, containing no edges has a length 0. An edge (,) is called a loop. A simple path is one in hich all etices, ecept possibl the fist and the last, ae distinct. Octobe 5, 05 Boahan Tüme, Ph.D.
9 Connectedness An ndiected gaph is connected if thee eists a path fom ee ete to ee othe ete. A digaph ith the same popet is called stongl connected. If a digaph is not stongl connected, bt the ndeling gaph (i.e., the ndiected gaph ith the same topolog) is connected, then the digaph is said to be eakl connected. A gaph is complete if thee is an edge beteen ee pai of etices. Octobe 5, 05 Boahan Tüme, Ph.D.
10 Repesentation of Gaphs To as to epesent gaphs: Adjacenc mati epesentation Adjacenc list epesentation Octobe 5, 05 Boahan Tüme, Ph.D. 0
11 Adjacenc Mati Repesentation Assme o hae n etices. In a boolean aa ith n elements, hee each element epesents the connection of a pai of etices, o assign te to those elements that ae connected b an edge and false to othes. Good fo dense gaphs! Not e efficient fo spase (i.e., not dense) gaphs. Space eqiement: O( V ). Octobe 5, 05 Boahan Tüme, Ph.D.
12 Adjacenc mati epesentation (AMR) Disadantage: Waste of space fo spase gaphs Adantage: Fast access Octobe 5, 05 Boahan Tüme, Ph.D.
13 Adjacenc List Repesentation Assme o hae n etices. We emplo an aa ith n elements, hee i th element epesents ete i in the gaph. Hence, element i is a heade to a list of etices adjacent to the ete i. Good fo spase gaphs Space eqiement: O( E + V ). Octobe 5, 05 Boahan Tüme, Ph.D. 3
14 Adjacenc list epesentation (ALR) aa inde: soce ete; fist nmbe: destination ete; second nmbe: cost of the coesponding edge , 3,5,,, 5,,3,, ,5,, 3,,,3, 3,,,3, Disadantage: Seqential seach among edges of a node Adantage: Minimm space eqiement Octobe 5, 05 Boahan Tüme, Ph.D.
15 Topological Sot Topological sot is an odeing of etices in an acclic digaph sch that if thee is a path fom i to j, then j appeas afte i in the odeing. Eample: cose peeqisite eqiements. Octobe 5, 05 Boahan Tüme, Ph.D. 5
16 Algoithm fo Topological Sot * Void Toposot () { Qee Q; int ct=0; Vete,; Q=ceateQee(NmVete); fo each ete if (indegee[] == 0) enqee(,q); hile (!IsEmpt(Q)) { =deqee(q); topnm[]=++ct; fo each adjacent to if (--indegee[] == 0) enqee(,q); } if (ct!= NmVete) epot eo ( gaph cclic! ) fee qee; } *Fom [] Octobe 5, 05 Boahan Tüme, Ph.D.
17 An Eample to Topological Sot s t Q is indicated b the ed sqaes. TN keeps tack of the ode in hich the etices ae pocessed. Q TN Octobe 5, 05 Boahan Tüme, Ph.D.
18 An Eample to Topological Sot s t Q TN 0 Octobe 5, 05 Boahan Tüme, Ph.D.
19 An Eample to Topological Sot s t Q TN 0 s Octobe 5, 05 Boahan Tüme, Ph.D.
20 An Eample to Topological Sot s t Q TN 0 s t Octobe 5, 05 Boahan Tüme, Ph.D. 0
21 An Eample to Topological Sot s t Q TN 0 s 3 t Octobe 5, 05 Boahan Tüme, Ph.D.
22 An Eample to Topological Sot s t Q TN 0 s t 3 Octobe 5, 05 Boahan Tüme, Ph.D.
23 An Eample to Topological Sot s t Q TN 0 s t 3 5 Octobe 5, 05 Boahan Tüme, Ph.D. 3
24 An Eample to Topological Sot s t Q TN s t Octobe 5, 05 Boahan Tüme, Ph.D.
25 An Eample to Topological Sot s t Q TN 0 s t 3 5 Octobe 5, 05 Boahan Tüme, Ph.D. 5
26 An Eample to Topological Sot s t Q TN 0 s t 3 5 Octobe 5, 05 Boahan Tüme, Ph.D.
27 Beadth-Fist Seach (BFS) Gien a gaph, G, and a soce ete, s, beadth-fist seach (BFS) checks to discoe ee ete eachable fom s. BFS discoes etices eachable fom s in a beadth-fist manne. That is, etices a distance of k aa fom s ae sstematicall discoeed befoe etices eachable fom s thogh a path of length k+. Octobe 5, 05 Boahan Tüme, Ph.D.
28 Beadth-Fist Seach (BFS) To follo ho the algoithm poceeds, BFS colos each ete hite, ga o black. Unpocessed nodes ae coloed hite hile etices discoeed (enconteed ding seach) tn to ga. Vetices pocessed (i.e., etices ith all neighbos discoeed) become black. Algoithm teminates hen all etices ae isited. Octobe 5, 05 Boahan Tüme, Ph.D.
29 Algoithm fo Beadth-Fist Seach * BFS(Gaph G, Vete s) { // initialie all etices fo each ete V[G]-{s} { colo []=hite; dist[]= ; fom[]=null; } colo[s]=ga; dist[s]=0; fom[s]=null; Q={}; enqee(q,s); } hile (!isempt(q)) { =deqee(q); fo each Adj[] if (colo []==hite) { colo[]=ga; dist[]=dist[]+; fom[]=; enqee(q,); } colo[]=black; } * Fom [] Octobe 5, 05 Boahan Tüme, Ph.D.
30 Octobe 5, 05 Boahan Tüme, Ph.D. 30 An Eample to BFS 0 Q s s t s t 0 Q t s t 0 Q t s t 0 Q t s t 0 Q s t 0 Q
31 Octobe 5, 05 Boahan Tüme, Ph.D. 3 Rest of Eample s t 0 Q s t 0 Q s t 0 Q s t 0 Q
32 Depth-Fist Seach (DFS) Unlike in BFS, depth-fist seach (DFS), pefoms a seach going deepe in the gaph. The seach poceeds discoeing etices that ae deepe on a path and looks fo an left edges of the most ecentl discoeed ete. If all edges of ae fond, DFS backtacks to the ete t hich as discoeed fom to find the emaining edges. Octobe 5, 05 Boahan Tüme, Ph.D. 3
33 Algoithm fo Depth-Fist Seach * DFS(Gaph G, Vete s) { // initialie all etices fo each ete V[G] { colo []=hite; fom[]=null; } time=0; fo each ete V[G] if (colo []==hite) DFS-isit(); } DFS-isit() { colo[]=ga; // jst discoeed time++; d[]=time; fo each Adj[] //check edge (,) if (colo[] == hite) { fom[]=; DFS-isit(); //ecsie call } colo[]=black; // is done pocessing f[] = time++; } *Fom [] Octobe 5, 05 Boahan Tüme, Ph.D. 33
34 Depth-Fist Seach The fnction DFS() is a manage fnction calling the ecsie fnction DFS-isit() fo each ete in the gaph. DFS-isit() stats b gaing the ete jst discoeed. Then it ecsiel isits and discoes (and hence gas) all those nodes in the adjacenc set of, Adj[]. At the end, is finished pocessing and tns to black. time in DFS-isit() time-stamps each ete hen is discoeed sing d[] is done pocessing sing f[]. Octobe 5, 05 Boahan Tüme, Ph.D. 3
35 An eample to DFS s t / s / t / 3/ s / t / s / t / s / t / s / t / 3/ 3/ 3/ /5 / / Octobe 5, 05 Boahan Tüme, Ph.D. 35
36 Octobe 5, 05 Boahan Tüme, Ph.D. 3 Eample cont d... s t 3/ / / /5 s t 3/ / / /5 s t / 3/ / / /5 s t / 3/ / / /5 s t / 3/ / /0 /5 s t / / 3/ / /0 /5
37 Octobe 5, 05 Boahan Tüme, Ph.D. 3 Eample cont d... s t / / / 3/ / /0 /5 s t / / / 3/ / /0 /5 s t / / / 3/ / 3/ /0 /5 s t / / / 3/ / 3/ /0 /5 s t / / / 3/ / 3/ / /0 /5 s t / / / 3/ / 3/ / /0 /5
38 End of Eample / s /0 t / / s /0 t / / s /0 t / 3/ / / 3/ / / 3/ / / 3/ /5 /5 3/ /5 /5 3/ /5 /5 s t / /0 / / s /0 t / 3/ / / 3/ / / 3/ /5 /5 3/ /5 /5 Octobe 5, 05 Boahan Tüme, Ph.D. 3
39 Single-Soce Shotest Paths (SSSP) SSSP Poblem: Gien a eighted digaph G (V,E), e need to efficientl find the shotest path p * =( i, i+,..., j,..., k-, k ) beteen to etices i and k. The shotest path p * is the path ith the minimm eight among all paths p l =( i,..., k ), o * ( p ) min l ( p l ) Octobe 5, 05 Boahan Tüme, Ph.D. 3
40 Dijksta s Algoithm Dijksta s algoithm soles the SSSP poblem on a eighted digaph G=(V,E) assming no negatie eights eist in G. Inpt paametes fo Dijksta s algoithm the gaph G, the eights, a soce ete s. It ses a set V F holding etices ith final shotest paths fom the soce ete s. fom[] and dist[] fo each ete V as in BFS. A min-heap Q Octobe 5, 05 Boahan Tüme, Ph.D. 0
41 Dijksta s Algoithm Dijksta(Gaph G, Weights, Vete s) { fo each ete V[G] { dist []= ; fom[]=null; } dist [s]=0; V F = ø; Q = all etices V ; hile (!IsEmpt(Q)) { =deletemin(q); add to V F ; fo each ete Adj() if (dist[]>dist[]+(,)){ dist[]=dist[]+(,)); fom[]=; } } // end of hile } //end of fnction Octobe 5, 05 Boahan Tüme, Ph.D.
42 Dijksta s Algoithm An Eample t 5 3 s t 5 3 s t 5 3 s t 5 3 s t 5 3 s t 5 3 s Octobe 5, 05 Boahan Tüme, Ph.D.
43 Dijksta s Algoithm An Eample t 5 3 s t 5 3 s t 5 3 s t 5 3 s t 5 3 s t 5 3 s Octobe 5, 05 Boahan Tüme, Ph.D. 3
44 Reslting Shotest Paths 3 3 t s 3 Note that is not eachable fom s! Octobe 5, 05 Boahan Tüme, Ph.D.
45 Minimm Spanning Tees (MSTs) Poblem: Gien a connected eighted ndiected gaph G=(V,E), find an acclic sbset S E, sch that S connects all etices in G and the sm of the eights of the edges in S ae minimm. The soltion to the poblem is poided b a minimm spanning tee. Octobe 5, 05 Boahan Tüme, Ph.D. 5
46 Minimm Spanning Tees (MSTs) MST is a tee since it connects all etices b an acclic sbset of S E, spanning since it spans the gaph (connects all its etices) minimm since its eights ae minimied. Octobe 5, 05 Boahan Tüme, Ph.D.
47 Pim s Algoithm Pim s algoithm opeates simila to Dijksta s algoithm to find shotest paths. Pim s algoithm poceeds alas ith a single tee. It stats ith an abita ete t. It pogessiel connects an isolated ete to the eisting tee b adding the edge ith the minimm possible eight to the tee. Octobe 5, 05 Boahan Tüme, Ph.D.
48 Pim s Algoithm Pim(Gaph G, Weights, Vete t) { fo each ete V[G] { dist []= ; fom[]=null; } dist [t]=0; V F = ø; Q = all etices V ; hile (!IsEmpt(Q)) { =deletemin(q); O(VlgV) add to V F ; fo each ete Adj() O(E) if ( Q and (,)<dist[]){ dist[]=(,); O(lgV) fom[]=; } } // end of hile } //end of fnction Rnning Time: O(V lgv + E lgv)=o(e lgv) Octobe 5, 05 Boahan Tüme, Ph.D.
49 Pim s Algoithm - Eample b c d a i e 0 h g f Octobe 5, 05 Boahan Tüme, Ph.D.
50 Pim s Algoithm - Eample b c d a i e 0 h g f Octobe 5, 05 Boahan Tüme, Ph.D. 50
51 Pim s Algoithm - Eample a b c d i e h g f 0 a b c d i e h g f 0 Octobe 5, 05 Boahan Tüme, Ph.D. 5
52 Pim s Algoithm - Eample a b c d i e h g f 0 a b c d i e h g f 0 Octobe 5, 05 Boahan Tüme, Ph.D. 5
53 Pim s Algoithm - Eample a b c d i e h g f 0 a b c d i e h g f 0 Octobe 5, 05 Boahan Tüme, Ph.D. 53
54 Pim s Algoithm - Eample a b c d i e h g f 0 a b c d i e h g f 0 Octobe 5, 05 Boahan Tüme, Ph.D. 5
55 Pim s Algoithm - Eample a b c d i e h g f 0 a b c d i e h g f 0 Octobe 5, 05 Boahan Tüme, Ph.D. 55
56 Pim s Algoithm - Eample b c d a i e 0 h g f Octobe 5, 05 Boahan Tüme, Ph.D. 5
57 Pim s Algoithm - Eample b c d a i e 0 h g f Octobe 5, 05 Boahan Tüme, Ph.D. 5
58 Kskal s Algoithm Kskal s Algoithm is anothe geed algoithm. It is abot finding the least eight and connecting ith that to tees in the foest. Initiall, thee eists a foest of man singlenode tees. Octobe 5, 05 Boahan Tüme, Ph.D. 5
59 Kskal s Algoithm Kskal(Gaph G, Weights ) { fo each ete V[G] { make each ete to a single-element tee; } sot edges in ascending ode b thei eight ; O(E lge) fo each edge (,) E O(E) if ( and ae in to diffeent tees) { lge=o(lgv) add (,) to the MST; since E < V combine both tees; } dist []=0; etn; Rnning Time: O(E lge + E)=O(E lge)=o(e lgv) Octobe 5, 05 Boahan Tüme, Ph.D. 5
60 Kskal s Algoithm - Eample b c d a i e 0 h g f Octobe 5, 05 Boahan Tüme, Ph.D. 0
61 Kskal s Algoithm - Eample b c d a i e 0 h g f Octobe 5, 05 Boahan Tüme, Ph.D.
62 Kskal s Algoithm - Eample b c d a i e 0 h g f Octobe 5, 05 Boahan Tüme, Ph.D.
63 Kskal s Algoithm Eample To Altenaties a b c d i e h g f a 0 b c d i e h g f 0 Octobe 5, 05 Boahan Tüme, Ph.D. 3
64 Kskal s Algoithm - Eample b c d a i e 0 h g f Octobe 5, 05 Boahan Tüme, Ph.D.
65 Kskal s Algoithm Eample To Altenaties a b c d i e h g f a 0 b c d i e h g f 0 Octobe 5, 05 Boahan Tüme, Ph.D. 5
66 Kskal s Algoithm - Eample b c d a i e 0 h g f Octobe 5, 05 Boahan Tüme, Ph.D.
67 Kskal s Algoithm - Eample b c d a i e 0 h g f Edge not accepted! It bilds a ccle! Octobe 5, 05 Boahan Tüme, Ph.D.
68 Kskal s Algoithm Eample To Altenaties b c d a i e 0 h g f Edge not accepted! It bilds a ccle! b c d a i 0 h g f Octobe 5, 05 Boahan Tüme, Ph.D. e
69 Kskal s Algoithm Eample To Altenaties a b c d i e h g f 0 b c d a i 0 h g f Octobe 5, 05 Boahan Tüme, Ph.D. e
70 Kskal s Algoithm Eample To Altenaties a b c d i e h g f 0 b c d a i 0 h g f Octobe 5, 05 Boahan Tüme, Ph.D. 0 e
71 Refeences [] T.H. Comen, C.E. Leiseson, R.L. Riest, C. Stein, Intodction to Algoithms, nd Edition, 003, MIT Pess [] M.A. Weiss, Data Stctes and Algoithm Analsis in C, nd Edition,, Addison Wesle Octobe 5, 05 Boahan Tüme, Ph.D.
Linear Algebra Math 221
Linea Algeba Math Open Book Eam Open Notes Sept Calculatos Pemitted Sho all ok (ecept #). ( pts) Gien the sstem of equations a) ( pts) Epess this sstem as an augmented mati. b) ( pts) Bing this mati to
More informationgr0 GRAPHS Hanan Samet
g0 GRPHS Hanan Samet ompute Science epatment and ente fo utomation Reseach and Institute fo dvanced ompute Studies Univesity of Mayland ollege Pak, Mayland 074 e-mail: hjs@umiacs.umd.edu opyight 1997 Hanan
More informationgr0 GRAPHS Hanan Samet
g0 GRPHS Hanan Samet ompute Science epatment and ente fo utomation Reseach and Institute fo dvanced ompute Studies Univesity of Mayland ollege Pak, Mayland 0 e-mail: hjs@umiacs.umd.edu opyight 199 Hanan
More informationOn the Enhanced Hyper-hamiltonian Laceability of Hypercubes
INTERNATIONAL JOURNAL OF COMPUTERS AND COMMUNICATIONS Isse 4, Volme 2, 2008 On the Enhanced He-hamiltonian Laceabilit of Hecbes Tsng-Han Tsai, T-Liang Kng, Jimm J. M. Tan, and Lih-Hsing Hs Abstact A biatite
More informationA Bijective Approach to the Permutational Power of a Priority Queue
A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation
More informationMULTILAYER PERCEPTRONS
Last updated: Nov 26, 2012 MULTILAYER PERCEPTRONS Outline 2 Combining Linea Classifies Leaning Paametes Outline 3 Combining Linea Classifies Leaning Paametes Implementing Logical Relations 4 AND and OR
More informationFigure 1. We will begin by deriving a very general expression before returning to Equations 1 and 2 to determine the specifics.
Deivation of the Laplacian in Spheical Coodinates fom Fist Pinciples. Fist, let me state that the inspiation to do this came fom David Giffiths Intodction to Electodynamics textbook Chapte 1, Section 4.
More informationf(y) signal norms system gain bounded input bounded output (BIBO) stability For what G(s) and f( ) is the closed-loop system stable?
Lecte 5 Inpt otpt stabilit Cose Otline o How to make a cicle ot of the point + i, and diffeent was to sta awa fom it... Lecte -3 Lecte 4-6 Modelling and basic phenomena (lineaization, phase plane, limit
More informationData Flow Anomaly Analysis
Pof. D. Liggesmeye, 1 Contents Data flows an ata flow anomalies State machine fo ata flow anomaly analysis Example withot loops Example with loops Data Flow Anomaly Analysis Softwae Qality Assance Softwae
More informationIntegral Control via Bias Estimation
1 Integal Contol via Bias stimation Consie the sstem ẋ = A + B +, R n, R p, R m = C +, R q whee is an nknown constant vecto. It is possible to view as a step istbance: (t) = 0 1(t). (If in fact (t) vaies
More informationSkps Media
Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps
More informationITI Introduction to Computing II
ITI 1121. Intoduction to Computing II Macel Tucotte School of Electical Engineeing and Compute Science Abstact data type: Stack Stack-based algoithms Vesion of Febuay 2, 2013 Abstact These lectue notes
More information15.081J/6.251J Introduction to Mathematical Programming. Lecture 6: The Simplex Method II
15081J/6251J Intoduction to Mathematical Pogamming ectue 6: The Simplex Method II 1 Outline Revised Simplex method Slide 1 The full tableau implementation Anticycling 2 Revised Simplex Initial data: A,
More informationNotes on McCall s Model of Job Search. Timothy J. Kehoe March if job offer has been accepted. b if searching
Notes on McCall s Model of Job Seach Timothy J Kehoe Mach Fv ( ) pob( v), [, ] Choice: accept age offe o eceive b and seach again next peiod An unemployed oke solves hee max E t t y t y t if job offe has
More informationSolution to Problem First, the firm minimizes the cost of the inputs: min wl + rk + sf
Econ 0A Poblem Set 4 Solutions ue in class on Tu 4 Novembe. No late Poblem Sets accepted, so! This Poblem set tests the knoledge that ou accumulated mainl in lectues 5 to 9. Some of the mateial ill onl
More informationSection 8.2 Polar Coordinates
Section 8. Pola Coodinates 467 Section 8. Pola Coodinates The coodinate system we ae most familia with is called the Catesian coodinate system, a ectangula plane divided into fou quadants by the hoizontal
More informationMath 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs
Math 30: The Edős-Stone-Simonovitz Theoem and Extemal Numbes fo Bipatite Gaphs May Radcliffe The Edős-Stone-Simonovitz Theoem Recall, in class we poved Tuán s Gaph Theoem, namely Theoem Tuán s Theoem Let
More informationECE Spring Prof. David R. Jackson ECE Dept. Notes 5
ECE 634 Sping 06 Pof. David R. Jacson ECE Dept. Notes 5 TM x Sface-Wave Soltion Poblem nde consideation: x h ε, µ z A TM x sface wave is popagating in the z diection (no y vaiation). TM x Sface-Wave Soltion
More informationNon-Linear Dynamics Homework Solutions Week 2
Non-Linea Dynamics Homewok Solutions Week Chis Small Mach, 7 Please email me at smach9@evegeen.edu with any questions o concens eguading these solutions. Fo the ececises fom section., we sketch all qualitatively
More informationProperties. Properties. Properties. Images. Key Methods. Properties. Internal nodes (other than the root) have between km and M index entries
* - + Genealizing DB Seach Tee Genealized Seach Tee fo Databae Sytem by Joeph M. Helletein, Jeffey F. Naghton, and Ai Pfeiffe Andy Danne Saa Spenkle Balanced tee High fanot Key pedicate, may oelap! " #
More informationGraphs of Sine and Cosine Functions
Gaphs of Sine and Cosine Functions In pevious sections, we defined the tigonometic o cicula functions in tems of the movement of a point aound the cicumfeence of a unit cicle, o the angle fomed by the
More information24.2 Naive Backtracking
Foundations of Atificial Intelligence Apil 16, 2018 24. Constaint Satisfaction Polems: Backtacking Foundations of Atificial Intelligence 24. Constaint Satisfaction Polems: Backtacking Malte Helmet Univesity
More informationA Hilbert-Type Inequality with Some Parameters and the Integral in Whole Plane
Advances in Pe Mathematics,,, 84-89 doi:.436/am..39 Pblished Online Ma (htt://www.sci.og/jonal/am) A Hilbet-Te Inealit with Some Paametes the Integal in Whole Plane Abstact Zitian Xie, Zheng Zeng Deatment
More informationComputers and Mathematics with Applications
Computes and Mathematics with Applications 58 (009) 9 7 Contents lists available at ScienceDiect Computes and Mathematics with Applications jounal homepage: www.elsevie.com/locate/camwa Bi-citeia single
More informationRadian Measure CHAPTER 5 MODELLING PERIODIC FUNCTIONS
5.4 Radian Measue So fa, ou hae measued angles in degees, with 60 being one eolution aound a cicle. Thee is anothe wa to measue angles called adian measue. With adian measue, the ac length of a cicle is
More informationDuality between Statical and Kinematical Engineering Systems
Pape 00, Civil-Comp Ltd., Stiling, Scotland Poceedings of the Sixth Intenational Confeence on Computational Stuctues Technology, B.H.V. Topping and Z. Bittna (Editos), Civil-Comp Pess, Stiling, Scotland.
More information, the tangent line is an approximation of the curve (and easier to deal with than the curve).
114 Tangent Planes and Linea Appoimations Back in-dimensions, what was the equation of the tangent line of f ( ) at point (, ) f ( )? (, ) ( )( ) = f Linea Appoimation (Tangent Line Appoimation) of f at
More informationCERFACS 42 av. Gaspard Coriolis, Toulouse, Cedex 1, France. Available at Date: April 2, 2008.
ON THE BLOCK TRIANGULAR FORM OF SYMMETRIC MATRICES IAIN S. DUFF and BORA UÇAR Technical Repot: No: TR/PA/08/26 CERFACS 42 av. Gaspad Coiolis, 31057 Toulouse, Cedex 1, Fance. Available at http://www.cefacs.f/algo/epots/
More informationQuantum Fourier Transform
Chapte 5 Quantum Fouie Tansfom Many poblems in physics and mathematics ae solved by tansfoming a poblem into some othe poblem with a known solution. Some notable examples ae Laplace tansfom, Legende tansfom,
More informationReview of the H-O model. Problem 1. Assume that the production functions in the standard H-O model are the following:
Revie of the H-O model Poblem 1 Assume that the poduction functions in the standad H-O model ae the folloing: f 1 L 1 1 ) L 1/ 1 1/ 1 f L ) L 1/3 /3 In addition e assume that the consume pefeences ae given
More informationASTR415: Problem Set #6
ASTR45: Poblem Set #6 Cuan D. Muhlbege Univesity of Mayland (Dated: May 7, 27) Using existing implementations of the leapfog and Runge-Kutta methods fo solving coupled odinay diffeential equations, seveal
More informationChapter Eight Notes N P U1C8S4-6
Chapte Eight Notes N P UC8S-6 Name Peiod Section 8.: Tigonometic Identities An identit is, b definition, an equation that is alwas tue thoughout its domain. B tue thoughout its domain, that is to sa that
More informationEcon 201: Problem Set 2 Answers
Econ 0: Poblem Set Anses Instucto: Alexande Sollaci T.A.: Ryan Hughes Winte 08 Question (a) The fixed cost is F C = 4 and the total vaiable costs ae T CV (y) = 4y. (b) To anse this question, let x = (x,...,
More informationMultifrontal sparse QR factorization on the GPU
Multifontal spase QR factoization on the GPU Tim Davis, Sanjay Ranka, Shaanyan Chetlu, Nui Yealan Univesity of Floida Feb 2012 GPU-based Multifontal QR factoization why spase QR? multifontal spase QR in
More informationSUBJECT:ENGINEERING MATHEMATICS-I SUBJECT CODE :SMT1101 UNIT III FUNCTIONS OF SEVERAL VARIABLES. Jacobians
SUBJECT:ENGINEERING MATHEMATICS-I SUBJECT CODE :SMT0 UNIT III FUNCTIONS OF SEVERAL VARIABLES Jacobians Changing ariable is something e come across er oten in Integration There are man reasons or changing
More informationClass #16 Monday, March 20, 2017
D. Pogo Class #16 Monday, Mach 0, 017 D Non-Catesian Coodinate Systems A point in space can be specified by thee numbes:, y, and z. O, it can be specified by 3 diffeent numbes:,, and z, whee = cos, y =
More informationCylindrical and Spherical Coordinate Systems
Clindical and Spheical Coodinate Sstems APPENDIX A In Section 1.2, we leaned that the Catesian coodinate sstem is deined b a set o thee mtall othogonal saces, all o which ae planes. The clindical and spheical
More informationON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi
Opuscula Math. 37, no. 3 (017), 447 456 http://dx.doi.og/10.7494/opmath.017.37.3.447 Opuscula Mathematica ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS D.A. Mojdeh and B. Samadi Communicated
More informationENGI 4430 Non-Cartesian Coordinates Page xi Fy j Fzk from Cartesian coordinates z to another orthonormal coordinate system u, v, ˆ i ˆ ˆi
ENGI 44 Non-Catesian Coodinates Page 7-7. Conesions between Coodinate Systems In geneal, the conesion of a ecto F F xi Fy j Fzk fom Catesian coodinates x, y, z to anothe othonomal coodinate system u,,
More informationGravity and isostasy
Gavity and isostasy Reading: owle p60 74 Theoy of gavity Use two of Newton s laws: ) Univesal law of gavitation: Gmm = m m Univesal gavitational constant G=6.67 x 0 - Nm /kg ) Second law of motion: = ma
More informationOn the reconstruction of the coronal magnetic field from coronal Hanle / Zeeman observations
On the econstction of the coonal magnetic field fom coonal Hanle / Zeeman obsevations M. Kama & B. Inheste Max-Planck Institte fo Sola System Reseach GERMANY Linda 005 Coonal Magnetic Field Magnetic field
More informationConstraint Satisfaction Problems
Constaint Satisfaction Polems Seach and Look-ahead Alet-Ludwigs-Univesität Feiug Stefan Wölfl, Chistian Becke-Asano, and Benhad Neel Noveme 17, 2014 Seach and Look-ahead Enfocing consistency is one way
More informationCentral Coverage Bayes Prediction Intervals for the Generalized Pareto Distribution
Statistics Reseach Lettes Vol. Iss., Novembe Cental Coveage Bayes Pediction Intevals fo the Genealized Paeto Distibution Gyan Pakash Depatment of Community Medicine S. N. Medical College, Aga, U. P., India
More informationChapter 6 Balanced Incomplete Block Design (BIBD)
Chapte 6 Balanced Incomplete Bloc Design (BIBD) The designs lie CRD and RBD ae the complete bloc designs We now discuss the balanced incomplete bloc design (BIBD) and the patially balanced incomplete bloc
More informationThe Chromatic Villainy of Complete Multipartite Graphs
Rocheste Institute of Technology RIT Schola Wos Theses Thesis/Dissetation Collections 8--08 The Chomatic Villainy of Complete Multipatite Gaphs Anna Raleigh an9@it.edu Follow this and additional wos at:
More informationarxiv: v1 [math.co] 4 May 2017
On The Numbe Of Unlabeled Bipatite Gaphs Abdullah Atmaca and A Yavuz Ouç axiv:7050800v [mathco] 4 May 207 Abstact This pape solves a poblem that was stated by M A Haison in 973 [] This poblem, that has
More informationClassical Worm algorithms (WA)
Classical Wom algoithms (WA) WA was oiginally intoduced fo quantum statistical models by Pokof ev, Svistunov and Tupitsyn (997), and late genealized to classical models by Pokof ev and Svistunov (200).
More informationIntroduction Common Divisors. Discrete Mathematics Andrei Bulatov
Intoduction Common Divisos Discete Mathematics Andei Bulatov Discete Mathematics Common Divisos 3- Pevious Lectue Integes Division, popeties of divisibility The division algoithm Repesentation of numbes
More informationSplay Trees Handout. Last time we discussed amortized analysis of data structures
Spla Tees Handout Amotied Analsis Last time we discussed amotied analsis of data stuctues A wa of epessing that even though the wost-case pefomance of an opeation can be bad, the total pefomance of a sequence
More informationA Comment on Increasing Returns and Spatial. Unemployment Disparities
The Society fo conomic Studies The nivesity of Kitakyushu Woking Pape Seies No.06-5 (accepted in Mach, 07) A Comment on Inceasing Retuns and Spatial nemployment Dispaities Jumpei Tanaka ** The nivesity
More information4. Some Applications of first order linear differential
August 30, 2011 4-1 4. Some Applications of fist ode linea diffeential Equations The modeling poblem Thee ae seveal steps equied fo modeling scientific phenomena 1. Data collection (expeimentation) Given
More informationKIRCHHOFF CURRENT LAW
KICHHOFF CUENT LAW ONE OF THE FUNDAMENTAL CONSEATION PINCIPLES IN ELECTICAL ENGINEEING CHAGE CANNOT BE CEATED NO DESTOYED NODES, BANCHES, LOOPS A NODE CONNECTS SEEAL COMPONENTS. BUT IT DOES NOT HOLD ANY
More informationRigid Body Dynamics 2. CSE169: Computer Animation Instructor: Steve Rotenberg UCSD, Winter 2018
Rigid Body Dynamics 2 CSE169: Compute Animation nstucto: Steve Rotenbeg UCSD, Winte 2018 Coss Poduct & Hat Opeato Deivative of a Rotating Vecto Let s say that vecto is otating aound the oigin, maintaining
More informationPushdown Automata (PDAs)
CHAPTER 2 Context-Fee Languages Contents Context-Fee Gammas definitions, examples, designing, ambiguity, Chomsky nomal fom Pushdown Automata definitions, examples, euivalence with context-fee gammas Non-Context-Fee
More informationPDF Created with deskpdf PDF Writer - Trial ::
A APPENDIX D TRIGONOMETRY Licensed to: jsamuels@bmcc.cun.edu PDF Ceated with deskpdf PDF Wite - Tial :: http://www.docudesk.com D T i g o n o m e t FIGURE a A n g l e s Angles can be measued in degees
More informationCheetah: Fast Graph Kernel Tracking on Dynamic Graphs
Cheetah: Fast Gaph Kenel Tacking on Dynamic Gaphs Pesente: Liangyue Li Joint wok with Hanghang Tong (ASU), Yanghua Xiao (Fudan), Wei Fan (Baidu) 1 Aizona State Univesity Gaphs ae Eveywhee Collaboation
More informationREVIEW Polar Coordinates and Equations
REVIEW 9.1-9.4 Pola Coodinates and Equations You ae familia with plotting with a ectangula coodinate system. We ae going to look at a new coodinate system called the pola coodinate system. The cente of
More informationrt () is constant. We know how to find the length of the radius vector by r( t) r( t) r( t)
Cicula Motion Fom ancient times cicula tajectoies hae occupied a special place in ou model of the Uniese. Although these obits hae been eplaced by the moe geneal elliptical geomety, cicula motion is still
More informationANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE
THE p-adic VALUATION OF STIRLING NUMBERS ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE Abstact. Let p > 2 be a pime. The p-adic valuation of Stiling numbes of the
More informationMSE 561, Atomic Modeling in Material Science Assignment 1
Depatment of Mateial Science and Engineeing, Univesity of Pennsylvania MSE 561, Atomic Modeling in Mateial Science Assignment 1 Yang Lu 1. Analytical Solution The close-packed two-dimensional stuctue is
More information1 Explicit Explore or Exploit (E 3 ) Algorithm
2.997 Decision-Making in Lage-Scale Systems Mach 3 MIT, Sping 2004 Handout #2 Lectue Note 9 Explicit Exploe o Exploit (E 3 ) Algoithm Last lectue, we studied the Q-leaning algoithm: [ ] Q t+ (x t, a t
More informationTransformations in Homogeneous Coordinates
Tansfomations in Homogeneous Coodinates (Com S 4/ Notes) Yan-Bin Jia Aug 4 Complete Section Homogeneous Tansfomations A pojective tansfomation of the pojective plane is a mapping L : P P defined as u a
More informationExplosive Contagion in Networks (Supplementary Information)
Eplosive Contagion in Netwoks (Supplementay Infomation) Jesús Gómez-Gadeñes,, Laua Loteo, Segei N. Taaskin, and Fancisco J. Péez-Reche Institute fo Biocomputation and Physics of Comple Systems (BIFI),
More informationMatrix Colorings of P 4 -sparse Graphs
Diplomabeit Matix Coloings of P 4 -spase Gaphs Chistoph Hannnebaue Januay 23, 2010 Beteue: Pof. D. Winfied Hochstättle FenUnivesität in Hagen Fakultät fü Mathematik und Infomatik Contents Intoduction iii
More information1) (A B) = A B ( ) 2) A B = A. i) A A = φ i j. ii) Additional Important Properties of Sets. De Morgan s Theorems :
Additional Impotant Popeties of Sets De Mogan s Theoems : A A S S Φ, Φ S _ ( A ) A ) (A B) A B ( ) 2) A B A B Cadinality of A, A, is defined as the numbe of elements in the set A. {a,b,c} 3, { }, while
More informationFractional Zero Forcing via Three-color Forcing Games
Factional Zeo Focing via Thee-colo Focing Games Leslie Hogben Kevin F. Palmowski David E. Robeson Michael Young May 13, 2015 Abstact An -fold analogue of the positive semidefinite zeo focing pocess that
More informationSUFFICIENT CONDITIONS FOR MAXIMALLY EDGE-CONNECTED AND SUPER-EDGE-CONNECTED GRAPHS DEPENDING ON THE CLIQUE NUMBER
Discussiones Mathematicae Gaph Theoy 39 (019) 567 573 doi:10.7151/dmgt.096 SUFFICIENT CONDITIONS FOR MAXIMALLY EDGE-CONNECTED AND SUPER-EDGE-CONNECTED GRAPHS DEPENDING ON THE CLIQUE NUMBER Lutz Volkmann
More informationEffect of no-flow boundaries on interference testing. in fractured reservoirs
Effect of no-flo boundaies on intefeence testing in factued esevois T.Aa. Jelmet 1 1 epatement of petoleum engineeing and applied geophysics,, Noegian Univesity of Science and Tecnology, NTNU. Tondheim,
More informationA hybrid cross entropy algorithm for solving dynamic transit network design problem
A hybid coss entopy algoithm fo solving dynamic tansit netok design poblem TAI-YU MA Tanspot Economics Laboatoy Univesity Lyon 2 - CNRS Lyon, Fance This pape poposes a hybid multiagent leaning algoithm
More informationPhysics 11 Chapter 4: Forces and Newton s Laws of Motion. Problem Solving
Physics 11 Chapte 4: Foces and Newton s Laws of Motion Thee is nothing eithe good o bad, but thinking makes it so. William Shakespeae It s not what happens to you that detemines how fa you will go in life;
More informationChapter 4: The laws of motion. Newton s first law
Chapte 4: The laws of motion gavitational Electic magnetic Newton s fist law If the net foce exeted on an object is zeo, the object continues in its oiginal state of motion: - an object at est, emains
More informationPart V: Closed-form solutions to Loop Closure Equations
Pat V: Closed-fom solutions to Loop Closue Equations This section will eview the closed-fom solutions techniques fo loop closue equations. The following thee cases will be consideed. ) Two unknown angles
More informationA STUDY OF HAMMING CODES AS ERROR CORRECTING CODES
AGU Intenational Jounal of Science and Technology A STUDY OF HAMMING CODES AS ERROR CORRECTING CODES Ritu Ahuja Depatment of Mathematics Khalsa College fo Women, Civil Lines, Ludhiana-141001, Punjab, (India)
More informationOn the integration of the equations of hydrodynamics
Uebe die Integation de hydodynamischen Gleichungen J f eine u angew Math 56 (859) -0 On the integation of the equations of hydodynamics (By A Clebsch at Calsuhe) Tanslated by D H Delphenich In a pevious
More informationNew Newton Mechanics Taking Law of Conservation of Energy as Unique Source Law
Science Jonal of hysics ISSN: 76-6367 http://www.sjpb.og Atho(s 5. CC Attibtion 3. License. Reseach Aticle blished By Science Jonal blication Intenational Open Access blishe New Newton Mechanics Taking
More informationLecture 18: Graph Isomorphisms
INFR11102: Computational Complexity 22/11/2018 Lectue: Heng Guo Lectue 18: Gaph Isomophisms 1 An Athu-Melin potocol fo GNI Last time we gave a simple inteactive potocol fo GNI with pivate coins. We will
More informationSupplementary information Efficient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies
Supplementay infomation Efficient Enumeation of Monocyclic Chemical Gaphs with Given Path Fequencies Masaki Suzuki, Hioshi Nagamochi Gaduate School of Infomatics, Kyoto Univesity {m suzuki,nag}@amp.i.kyoto-u.ac.jp
More informationA Low-Complexity and High-Throughput RTL Design of a BCH (15,7) Decoder
ITB J. ICT, Vol., No.,, - A Low-Compleity and High-Thoghpt RTL Design of a BCH (,) Decode Henda Setiawan Electical Engineeing Depatment, Islamic Univesity of Indonesia Jl. Kaliang Km.. Yogyakata, Indonesia,
More informationarxiv: v1 [math.co] 25 Sep 2016
arxi:1609.077891 [math.co] 25 Sep 2016 Total domination polynomial of graphs from primary sbgraphs Saeid Alikhani and Nasrin Jafari September 27, 2016 Department of Mathematics, Yazd Uniersity, 89195-741,
More informationInformation Retrieval Advanced IR models. Luca Bondi
Advanced IR models Luca Bondi Advanced IR models 2 (LSI) Pobabilistic Latent Semantic Analysis (plsa) Vecto Space Model 3 Stating point: Vecto Space Model Documents and queies epesented as vectos in the
More informationChapter 1: Introduction to Polar Coordinates
Habeman MTH Section III: ola Coodinates and Comple Numbes Chapte : Intoduction to ola Coodinates We ae all comfotable using ectangula (i.e., Catesian coodinates to descibe points on the plane. Fo eample,
More informationConservation of Angular Momentum
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 Consevation of Angula Momentum Pupose: To investigate consevation of angula momentum by diectly measuing the moment of inetia and angula velocities
More informationCMSC 425: Lecture 5 More on Geometry and Geometric Programming
CMSC 425: Lectue 5 Moe on Geomety and Geometic Pogamming Moe Geometic Pogamming: In this lectue we continue the discussion of basic geometic ogamming fom the eious lectue. We will discuss coodinate systems
More informationr cos, and y r sin with the origin of coordinate system located at
Lectue 3-3 Kinematics of Rotation Duing ou peious lectues we hae consideed diffeent examples of motion in one and seeal dimensions. But in each case the moing object was consideed as a paticle-like object,
More informationNOTE. Some New Bounds for Cover-Free Families
Jounal of Combinatoial Theoy, Seies A 90, 224234 (2000) doi:10.1006jcta.1999.3036, available online at http:.idealibay.com on NOTE Some Ne Bounds fo Cove-Fee Families D. R. Stinson 1 and R. Wei Depatment
More informationFUSE Fusion Utility Sequence Estimator
FUSE Fusion Utility Sequence Estimato Belu V. Dasaathy Dynetics, Inc. P. O. Box 5500 Huntsville, AL 3584-5500 belu.d@dynetics.com Sean D. Townsend Dynetics, Inc. P. O. Box 5500 Huntsville, AL 3584-5500
More informationEL2520 Control Theory and Practice
oals EL252 Cotol Theoy ad Pactice Lecte 2: The closed-loop system Mikael Johasso School of Electical Egieeig KTH, Stockholm, Sede Afte this lecte, yo shold: Ko that the closed-loop is chaacteied by 6 tasfe
More informationChapter 7 Singular Value Decomposition
EE448/58 Vesion. John Stensy Chapte 7 Singla Vale Decomposition This chapte coves the singla vale decomposition (SVD) of an m n matix. This algoithm has applications in many aeas inclding nmeical analysis
More informationˆ SSE SSE q SST R SST R q R R q R R q
Bll Evas Spg 06 Sggested Aswes, Poblem Set 5 ECON 3033. a) The R meases the facto of the vaato Y eplaed by the model. I ths case, R =SSM/SST. Yo ae gve that SSM = 3.059 bt ot SST. Howeve, ote that SST=SSM+SSE
More informationTop K Nearest Keyword Search on Large Graphs
Top K Neaest Keywod Seach on Lage Gaphs Miao Qiao, Lu Qin, Hong Cheng, Jeffey Xu Yu, Wentao Tian The Chinese Univesity of Hong Kong, Hong Kong, China {mqiao,lqin,hcheng,yu,wttian}@se.cuhk.edu.hk ABSTRACT
More informationdq 1 (5) q 1 where the previously mentioned limit has been taken.
1 Vecto Calculus And Continuum Consevation Equations In Cuvilinea Othogonal Coodinates Robet Maska: Novembe 25, 2008 In ode to ewite the consevation equations(continuit, momentum, eneg) to some cuvilinea
More informationStanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012
Stanfod Univesity CS59Q: Quantum Computing Handout 8 Luca Tevisan Octobe 8, 0 Lectue 8 In which we use the quantum Fouie tansfom to solve the peiod-finding poblem. The Peiod Finding Poblem Let f : {0,...,
More informationLecture 13. Rotational motion Moment of inertia
Lectue 13 Rotational motion Moment of inetia EXAM 2 Tuesday Mach 6, 2018 8:15 PM 9:45 PM Today s Topics: Rotational Motion and Angula Displacement Angula Velocity and Acceleation Rotational Kinematics
More informationSeidel s Trapezoidal Partitioning Algorithm
CS68: Geometic Agoithms Handout #6 Design and Anaysis Oigina Handout #6 Stanfod Univesity Tuesday, 5 Febuay 99 Oigina Lectue #7: 30 Januay 99 Topics: Seide s Tapezoida Patitioning Agoithm Scibe: Michae
More informationCALCULUS II Vectors. Paul Dawkins
CALCULUS II Vectos Paul Dawkins Table of Contents Peface... ii Vectos... 3 Intoduction... 3 Vectos The Basics... 4 Vecto Aithmetic... 8 Dot Poduct... 13 Coss Poduct... 21 2007 Paul Dawkins i http://tutoial.math.lama.edu/tems.aspx
More informationRadha Poovendran Network Security Lab University of Washington
A Gaph Theoetic Famewok fo Peventing the Womhole Attack in Wieless Senso Netwoks Radha Poovendan Netwok Secuity Lab Univesity of Washington Womholes Hope fo time tavel Womhole: A space-time distotion that
More information1 The space of linear transformations from R n to R m :
Math 540 Spring 20 Notes #4 Higher deriaties, Taylor s theorem The space of linear transformations from R n to R m We hae discssed linear transformations mapping R n to R m We can add sch linear transformations
More informationRelating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany
Relating Banching Pogam Size and omula Size ove the ull Binay Basis Matin Saueho y Ingo Wegene y Ralph Wechne z y B Infomatik, LS II, Univ. Dotmund, 44 Dotmund, Gemany z ankfut, Gemany sauehof/wegene@ls.cs.uni-dotmund.de
More informationUsing DP for hierarchical discretization of continuous attributes. Amit Goyal (31 st March 2008)
Usng DP fo heachcal dscetzaton of contnos attbtes Amt Goyal 31 st Mach 2008 Refeence Chng-Cheng Shen and Yen-Lang Chen. A dynamc-pogammng algothm fo heachcal dscetzaton of contnos attbtes. In Eopean Jonal
More informationPHYS Summer Professor Caillault Homework Solutions. Chapter 5
PHYS 1111 - Summe 2007 - Pofesso Caillault Homewok Solutions Chapte 5 7. Pictue the Poblem: The ball is acceleated hoizontally fom est to 98 mi/h ove a distance of 1.7 m. Stategy: Use equation 2-12 to
More information