The State Explosion Problem. Symbolic Encoding using Decision Diagrams. CiteSeer Database. Overview. Boolean Functions.
|
|
- Eileen Hunt
- 6 years ago
- Views:
Transcription
1 The Stte Eplosion Prolem Smoli Enoding using Deision Digrms 6.42J/6.834J ognitive Rootis Mrtin Shenher (using mteril from Rndl rnt, ln Mishhenko, nd Geert Jnssen) Mn prolems suffer from stte spe eplosion: the numer of sttes is eponentil in the numer of vriles in the sstem. Deision digrms (DDs): grph-sed, nonil representtion of funtions tht voids spe eplosion in mn prtil ses. iteseer Dtse Overview inr Deision Digrms (DDs) Etensions: DDs, MDDs, ZDDs, SDDs Deision Digrm Pkges omining Smoli Enoding nd Serh oolen Funtions inr Vriles,, n Funtion f:,, n {,} Sum of Produts (DNF) f = ( ) ( ) ( ) Produt of Sums (NF) f = ( ) Truth Tle f(,,) Shnnon Epnsion onsider oolen funtion f (, 2,, n ). Then: f = ( f = ) ( f = ) oftor = oftor =
2 inr Deision Trees Reursive Shnnon epnsion Vrile Ordering Impose ritrr totl ordering on vriles Vriles must oe ordering long ll pths Propert: No onfliting ssignments long pth Ordered inr Deision Tree Order < < voiding low-up Deision tree no more spe-effiient thn truth tle Still epliitl enumertes ll the 2 n possile vlutions Ide: Trnsform to direted li grph (DG) Promotes shring of su-epressions Ordered inr Deision Tree Rule : ollpse Lef Nodes No longer tree. 2
3 Rule 2: Remove Redundnt Tests Rule 2: Remove Redundnt Tests Rule 3: Isomorphi Sugrphs Rule 3: Isomorphi Sugrphs Rule m eome pplile gin Finl Representtion Redued, Ordered inr Deision Digrm (RODD) 3
4 ODT to RODD Summr n RODD n e otined from n ODT repetedl ppling the following redution rules (until none of the them n e pplied nmore): Remove duplite terminl (lef) nodes Remove duplite non-terminl (internl) nodes Remove nodes with redundnt tests noniit of RODDs Is there unique DD for eh oolen funtion? Theorem: DD nonil, iff redued nd ordered. Redued: None of the redutions pplile Ordered: There is totl vrile ordering Enles heking equivlene of oolen funtions heking equivlene of orresponding RODDs. Equivlene heking Emple Do two iruits ompute n identil funtion? si tsk in forml hrdwre verifition ompre new design to known good design Solution omintoril Serh Prove ll ssignments fil to hek equivlene Tpill, must eplore signifint frtion of inputs Eponentil time ompleit iruit iruit 2 O O2 O O2 Diff Solution using RODDs Emple RODDs Funtions equl iff RODDs identil Never enumerte epliit funtion vlues Eploit struture nd regulrit of funtions O O2 4 it dder 3 nodes 64 it dder 57 nodes out S Liner growth S 3 S 2 S S out
5 Influene of Vrile Ordering Funtion f = ( ) (2 2) (3 3) Vrile Ordering RODD sie depends strongl on vrile ordering Finding vrile ordering tht produes miniml RODD sie is intrtle ut, heuristis eist for finding good vrile orderings Funtions eist whose RODD hs eponentil sie for n vrile ordering ut, suh funtions re rrel enountered 3 3 Good ordering: Liner growth d ordering: Eponentil growth Mnipulting RODDs Proedure ppl(f,g) for implementing ll the 2 4 = 6 two-rgument logil opertions on oolen funtions ppl Opertor Three possile ses Root f < Root g ppl(f,g) = ( ppl(f =, g = )) ( ppl(f =, g = )) ppl (f =, g) ppl (f =, g) Reursive desent into sutrees = Reursive desent into sutrees = ppl ppl (f =, g = ) (f =, g = ) Root f = Root g Root f > Root g ppl (f, g = ) ppl (f, g = ) ppl Opertor Pseudoode ppl Opertor Emple Funtion ppl( F, G ) if ( lredomputed( F, G ) ) return the result elsif ( F {,} nd G {,} ) return oper( F, G ) elsif ( Vr( F ) = Vr( G ) ) u retenode( Vr(F), ppl(f,g ), ppl(f,g)); elsif ( Vr( F ) < Vr( G ) ) u retenode( Vr(F), ppl(f,g ), ppl(f,g )); else /* ( Vr( F ) > Vr( G ) ) */ u retenode( Vr(G), ppl(f,g ), ppl(f,g )); Insertomputed( F,G,u ); return u; ompleit: O( F G ) d 2 d , 2, 2 6, 2 6, 5 3, 2 5, 2 3, 4 4, 3 5, 4 5
6 ppl Opertor Emple Generting RODDs Inrementll, 2, 2 6, 2 6, 5 T T2 O new_vr("") new_vr(" ) new_vr("") T nd(, ) T2 nd(, ) O Or(T, T2) Network of omponents s RODD 3, 2 5, 2 3, 4 d d Deision Digrms T T2 O 4, 3 5, 4 RODDs Summr Eploit struture nd regulrities of funtions Eponentil numer of disrete sttes n e ptured in polnomil-sie RODD Stisfiilit, Tutolog, omplement onstnt ppl (nd, or, et.) polnomil in RODD sie Vrile ordering importnt, ut diffiult to find Overview inr Deision Digrms (DDs) Etensions: DDs, MDDs, ZDDs, SDDs Deision Digrm Pkges omining Smoli Enoding nd Serh lgeri DDs (DDs)) [hr[ 93] Etension to funtions with non-inr vlues noniit of representtion (s for DDs) pplitions in omintoril optimition Multi-Vlued DDs (MDDs)) [Km[ 9] Etension to funtions with non-inr vriles noniit of representtion (s for RODDs) However, inr enoding of domins often etter f(,,) 3 2 DD 2 3 MDD 2 6
7 Zero-suppressed DDs (ZDDs)) [Minto 93] dpted to sprse funtions (mn s in on-set) Modified rule 2: Remove node if -edge points to Shred DDs (SDDs)) [Minto 9] Glol tle storing unique nodes Equivlene hek for funtions eomes onstnt ZDD: Defult f g h g f h DD Templtes [Goel[ Hsteer rnt 3] Shre not onl funtions, ut lso funtion tpes: f: g: d f: g: d Overview inr Deision Digrms (DDs) Etensions: DDs, MDDs, ZDDs, SDDs Deision Digrm Pkges omining Smoli Enoding nd Serh d f g {\,\d} Deision Digrm Pkges Pkge hrteristis ode Nme uthor(s) ffilition D.3 rmin iere ETH Zurih UD udd.9 Jørn Lind-Nielsen ITU, Denmrk L L Rjeev Rnjn U erkele MU MU Dvid Long MU/TT UD UDD 2.3. Fio Someni oulder, O EST EST ed Roert Meoli Mrior, Sloveni IM IM Geert Jnssen IM Wtson MON MON nders Møller TT/RIS PDT usinto/orno Politenio di Torino ST Sttidd. Stefn Edelkmp Freiurg, Germn TGR TiGeR 3.? oudert/mdre/touti ull/de/xori TUD TUDD.8.3 Stefn Höreth Drmstdt, Germn ode Nme of the pkge Lng Progrmming lnguge T Tpe (Pointers/Indies) R Trversl (Depth/redth) M Supports Mngers Nm Mimum # of nodes Si Sie of node in tes 64 Sie inreses on 64-it Soure: [Jnssen 22] Vm P G T DV Et Yer Pro Mimum # of vriles Unique tle per vrile Ref. ount or Mrk-Sweep omputed tle shred Dnmi Vrile ordering # of funtions in PI First er when ville Qulit of ode 7
8 ompring Pkges ode Lng T R M Nm Si 64 Vm P G T DV Et Yer Pro I D Y 2^25 8-2^ N MS S N UD /++ I D N 2^32 2 N 2^2 N MS M Y L P Y 2^28 6 Y 2^6 Y R 8 S Y MU P D Y 2^29 6 Y 2^6 Y R 8 S Y UD /++ P D Y 2^28 6 Y 2^6 N R6 S Y EST P D N 2^32 36 Y 2^32 N R32 M N 72 2 IM I D Y 2^3 6 N 2^24 N MS S Y MON I D Y 2^24 6 N 2^6 N MS M N D PDT I D N 2^3 24 N 2^6 N MS M N ST ++ I D N 2^23 8 N 2^ 9 N MS S N TGR P D Y 2^3 6 Y 2^6 Y R6 M Y 9 994? TUD I D Y 2^3 2 N 2^6 Y R6 S Y Overview inr Deision Digrms (DDs) Etensions: DDs, MDDs, ZDDs, SDDs Deision Digrm Pkges omining Smoli Enoding nd Serh Soure: [Jnssen 22] rnh-nd nd-ound Serh Smoli rnh-nd nd-ound Eh serh node is soft onstrint suprolem Lower ound (l): Optimisti estimte of est solution in sutree Upper ound (u): est solution found so fr Prune, if l u. Enode Smolill Eh serh node is set of soft onstrint suprolems Lower ound Funtion (f l ): Optimisti estimtes of est solutions in sutree Upper ound (u): est solution found so fr Prune, if f l u. Domin Splitting Generlie to serh over sets: Prtition domins into sets hoose suset for unssigned vrile omine ll ompletel ssigned onstrints Emple: 4-Queens4 Vriles: Rows Domins: olumns onstrints: Q Q Q Q 8
9 Emple Serh Tree onstrints involved Emple Domin splitting with prtitions Solution Solution Emple Domin splitting with prtitions Sinking Opertion is new onstrint where ll vlues of tuples hve een repled Generlies the test to funtions onstrint onstrint sink( e2,.5) Solution Smoli rnh-nd nd-ound Funtion ( : ssignments, : vlue): vlue if Distne lower ound: l = identit. then if then return let e n unssigned vrile for eh do return return Enode funtions f t, f l s deision digrms. 9
Logic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 22 Reding: Logi Synthesis in Nutshell Setion 2 most
More information1. Logic verification
. Logi verifition Bsi priniples of OBDD s Vrile ordering Network of gtes => OBDD s FDD s nd OKFDD s Resoning out iruits Struturl methods Stisfiility heker Logi verifition The si prolem: prove tht two iruits
More informationA Differential Approach to Inference in Bayesian Networks
Dierentil pproh to Inerene in Byesin Networks esented y Ynn Shen shenyn@mi.pitt.edu Outline Introdution Oeriew o lgorithms or inerene in Byesin networks (BN) oposed new pproh How to represent BN s multi-rite
More informationData Structures LECTURE 10. Huffman coding. Example. Coding: problem definition
Dt Strutures, Spring 24 L. Joskowiz Dt Strutures LEURE Humn oing Motivtion Uniquel eipherle oes Prei oes Humn oe onstrution Etensions n pplitions hpter 6.3 pp 385 392 in tetook Motivtion Suppose we wnt
More informationCS 347 Parallel and Distributed Data Processing
CS 347 Prllel nd Distriuted Dt Proessing Spring 06 Network Prtitions Susets of nodes m e isolted or nodes m e slow in responding Notes 8: Network Prtitions CS 347 Notes 8 Network Prtitions Cuses ired network
More informationAP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals
AP Clulus BC Chpter 8: Integrtion Tehniques, L Hopitl s Rule nd Improper Integrls 8. Bsi Integrtion Rules In this setion we will review vrious integrtion strtegies. Strtegies: I. Seprte the integrnd into
More informationHardware Verification 2IMF20
Hrdwre Verifition 2IMF20 Julien Shmltz Leture 02: Boolen Funtions, ST, CEC Course ontent - Forml tools Temporl Logis (LTL, CTL) Domin Properties System Verilog ssertions demi & Industrils Proessors Networks
More informationLecture 11 Binary Decision Diagrams (BDDs)
C 474A/57A Computer-Aie Logi Design Leture Binry Deision Digrms (BDDs) C 474/575 Susn Lyseky o 3 Boolen Logi untions Representtions untion n e represente in ierent wys ruth tle, eqution, K-mp, iruit, et
More informationTechnische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution
Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:
More informationAlgorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points:
Eidgenössishe Tehnishe Hohshule Zürih Eole polytehnique fédérle de Zurih Politenio federle di Zurigo Federl Institute of Tehnology t Zurih Deprtement of Computer Siene. Novemer 0 Mrkus Püshel, Dvid Steurer
More informationReference : Croft & Davison, Chapter 12, Blocks 1,2. A matrix ti is a rectangular array or block of numbers usually enclosed in brackets.
I MATRIX ALGEBRA INTRODUCTION TO MATRICES Referene : Croft & Dvison, Chpter, Blos, A mtri ti is retngulr rr or lo of numers usull enlosed in rets. A m n mtri hs m rows nd n olumns. Mtri Alger Pge If the
More informationUnit 4. Combinational Circuits
Unit 4. Comintionl Ciruits Digitl Eletroni Ciruits (Ciruitos Eletrónios Digitles) E.T.S.I. Informáti Universidd de Sevill 5/10/2012 Jorge Jun 2010, 2011, 2012 You re free to opy, distriute
More informationEngr354: Digital Logic Circuits
Engr354: Digitl Logi Ciruits Chpter 4: Logi Optimiztion Curtis Nelson Logi Optimiztion In hpter 4 you will lern out: Synthesis of logi funtions; Anlysis of logi iruits; Tehniques for deriving minimum-ost
More informationSECTION A STUDENT MATERIAL. Part 1. What and Why.?
SECTION A STUDENT MATERIAL Prt Wht nd Wh.? Student Mteril Prt Prolem n > 0 n > 0 Is the onverse true? Prolem If n is even then n is even. If n is even then n is even. Wht nd Wh? Eploring Pure Mths Are
More informationm2 m3 m1 (a) (b) (c) n2 n3
Outline LOGIC SYNTHESIS AND TWO-LEVEL LOGIC OPTIMIZATION Giovnni De Miheli Stnford University Overview of logi synthesis. Comintionl-logi design: { Bkground. { Two-level forms. Ext minimiztion. Covering
More informationBoolean Function Representation. Logic Synthesis and Verification. Boolean Space. Assumption. Reading: Logic Synthesis in a Nutshell Section 2
Logi Synthesis nd Verifition Boolen Funtion Representtion Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 24 Reding: Logi Synthesis in Nutshell Setion 2 most of the
More informationLINEAR ALGEBRA APPLIED
5.5 Applictions of Inner Product Spces 5.5 Applictions of Inner Product Spces 7 Find the cross product of two vectors in R. Find the liner or qudrtic lest squres pproimtion of function. Find the nth-order
More informationWorksheet #2 Math 285 Name: 1. Solve the following systems of linear equations. The prove that the solutions forms a subspace of
Worsheet # th Nme:. Sole the folloing sstems of liner equtions. he proe tht the solutions forms suspe of ) ). Find the neessr nd suffiient onditions of ll onstnts for the eistene of solution to the sstem:.
More information50 AMC Lectures Problem Book 2 (36) Substitution Method
0 AMC Letures Prolem Book Sustitution Metho PROBLEMS Prolem : Solve for rel : 9 + 99 + 9 = Prolem : Solve for rel : 0 9 8 8 Prolem : Show tht if 8 Prolem : Show tht + + if rel numers,, n stisf + + = Prolem
More informationChapter 4 State-Space Planning
Leture slides for Automted Plnning: Theory nd Prtie Chpter 4 Stte-Spe Plnning Dn S. Nu CMSC 722, AI Plnning University of Mrylnd, Spring 2008 1 Motivtion Nerly ll plnning proedures re serh proedures Different
More informationCS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6
CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized
More informationNondeterministic Automata vs Deterministic Automata
Nondeterministi Automt vs Deterministi Automt We lerned tht NFA is onvenient model for showing the reltionships mong regulr grmmrs, FA, nd regulr expressions, nd designing them. However, we know tht n
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most
More informationSIMPLE NONLINEAR GRAPHS
S i m p l e N o n l i n e r G r p h s SIMPLE NONLINEAR GRAPHS www.mthletis.om.u Simple SIMPLE Nonliner NONLINEAR Grphs GRAPHS Liner equtions hve the form = m+ where the power of (n ) is lws. The re lle
More informationy1 y2 DEMUX a b x1 x2 x3 x4 NETWORK s1 s2 z1 z2
BOOLEAN METHODS Giovnni De Miheli Stnford University Boolen methods Exploit Boolen properties. { Don't re onditions. Minimiztion of the lol funtions. Slower lgorithms, etter qulity results. Externl don't
More informationComputing all-terminal reliability of stochastic networks with Binary Decision Diagrams
Computing ll-terminl reliility of stohsti networks with Binry Deision Digrms Gry Hry 1, Corinne Luet 1, n Nikolos Limnios 2 1 LRIA, FRE 2733, 5 rue u Moulin Neuf 80000 AMIENS emil:(orinne.luet, gry.hry)@u-pirie.fr
More informationAVL Trees. D Oisín Kidney. August 2, 2018
AVL Trees D Oisín Kidne August 2, 2018 Astrt This is verified implementtion of AVL trees in Agd, tking ides primril from Conor MBride s pper How to Keep Your Neighours in Order [2] nd the Agd stndrd lirr
More informationCHAPTER 4: DETERMINANTS
CHAPTER 4: DETERMINANTS MARKS WEIGHTAGE 0 mrks NCERT Importnt Questions & Answers 6. If, then find the vlue of. 8 8 6 6 Given tht 8 8 6 On epnding both determinnts, we get 8 = 6 6 8 36 = 36 36 36 = 0 =
More informationThe Trapezoidal Rule
_.qd // : PM Pge 9 SECTION. Numericl Integrtion 9 f Section. The re of the region cn e pproimted using four trpezoids. Figure. = f( ) f( ) n The re of the first trpezoid is f f n. Figure. = Numericl Integrtion
More information2. Binary Decision Diagrams Fachgebiet Rechnersysteme1
2. Binry Deision Digrms Fhgeiet Rehnersysteme 2. Binry Deision Digrms Verifition Tehnology Content 2. BDD onepts 2.22 Vrile orderings 2.3 OBDD lgorithms 2.4 FDD s nd OKFDD s 2.5 Integer vlued deision digrms
More informationCS 573 Automata Theory and Formal Languages
Non-determinism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Non-deterministi Finite Automton with -moves (NFA) An NFA is tuple
More informationM344 - ADVANCED ENGINEERING MATHEMATICS
M3 - ADVANCED ENGINEERING MATHEMATICS Lecture 18: Lplce s Eqution, Anltic nd Numericl Solution Our emple of n elliptic prtil differentil eqution is Lplce s eqution, lso clled the Diffusion Eqution. If
More informationELECTRICAL AND COMPUTER ENGINEERING DEPARTMENT, OAKLAND UNIVERSITY ECE-2700: Digital Logic Design Fall Notes - Unit 1
INTRODUTION TO LOGI IRUITS Notes - Unit 1 OOLEN LGER This is the oundtion or designing nd nlyzing digitl systems. It dels with the cse where vriles ssume only one o two vlues: TRUE (usully represented
More informationConvert the NFA into DFA
Convert the NF into F For ech NF we cn find F ccepting the sme lnguge. The numer of sttes of the F could e exponentil in the numer of sttes of the NF, ut in prctice this worst cse occurs rrely. lgorithm:
More informationFirst Midterm Examination
Çnky University Deprtment of Computer Engineering 203-204 Fll Semester First Midterm Exmintion ) Design DFA for ll strings over the lphet Σ = {,, c} in which there is no, no nd no cc. 2) Wht lnguge does
More informationPropositional models. Historical models of computation. Application: binary addition. Boolean functions. Implementation using switches.
Propositionl models Historil models of omputtion Steven Lindell Hverford College USA 1/22/2010 ISLA 2010 1 Strt with fixed numer of oolen vriles lled the voulry: e.g.,,. Eh oolen vrile represents proposition,
More informationDiscrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α
Disrete Strutures, Test 2 Mondy, Mrh 28, 2016 SOLUTIONS, VERSION α α 1. (18 pts) Short nswer. Put your nswer in the ox. No prtil redit. () Consider the reltion R on {,,, d with mtrix digrph of R.. Drw
More informationA Lower Bound for the Length of a Partial Transversal in a Latin Square, Revised Version
A Lower Bound for the Length of Prtil Trnsversl in Ltin Squre, Revised Version Pooy Htmi nd Peter W. Shor Deprtment of Mthemtil Sienes, Shrif University of Tehnology, P.O.Bo 11365-9415, Tehrn, Irn Deprtment
More informationELECTRICAL AND COMPUTER ENGINEERING DEPARTMENT, OAKLAND UNIVERSITY ECE-378: Computer Hardware Design Winter Notes - Unit 1
ELETRIL ND OMPUTER ENGINEERING DEPRTMENT, OKLND UNIVERSIT EE-78: omputer Hrdwre Design Winter 016 INTRODUTION TO LOGI IRUITS Notes - Unit 1 OOLEN LGER This is the oundtion or designing nd nlyzing digitl
More informationExercise sheet 6: Solutions
Eerise sheet 6: Solutions Cvet emptor: These re merel etended hints, rther thn omplete solutions. 1. If grph G hs hromti numer k > 1, prove tht its verte set n e prtitioned into two nonempt sets V 1 nd
More informationCalculus Module C21. Areas by Integration. Copyright This publication The Northern Alberta Institute of Technology All Rights Reserved.
Clculus Module C Ares Integrtion Copright This puliction The Northern Alert Institute of Technolog 7. All Rights Reserved. LAST REVISED Mrch, 9 Introduction to Ares Integrtion Sttement of Prerequisite
More informationFABER Formal Languages, Automata and Models of Computation
DVA337 FABER Forml Lnguges, Automt nd Models of Computtion Lecture 5 chool of Innovtion, Design nd Engineering Mälrdlen University 2015 1 Recp of lecture 4 y definition suset construction DFA NFA stte
More informationCombinational Circuits Verification. 2. Verification by Equivalence Checking. Combinational Equivalence Checking (con t)
Comintionl Ciruits Verifition 2. Verifition y Equivlene Cheking Pge Comintionl Ciruits Verifition 2.2 Propositionl Logi (Clulus) 2.5 Propositionl Resolution 2. Stålmrk s Proedure 2.9 Redued Ordered Binry
More informationare coplanar. ˆ ˆ ˆ and iˆ
SML QUSTION Clss XII Mthemtis Time llowed: hrs Mimum Mrks: Generl Instrutions: i ll questions re ompulsor ii The question pper onsists of 6 questions divided into three Setions, B nd C iii Question No
More informationSEMANTIC ANALYSIS PRINCIPLES OF PROGRAMMING LANGUAGES. Norbert Zeh Winter Dalhousie University 1/28
SEMNTI NLYSIS PRINIPLES OF PROGRMMING LNGUGES Norbert Zeh Winter 2018 Dlhousie University 1/28 PROGRM TRNSLTION FLOW HRT Soure progrm (hrter strem) Snner (lexil nlysis) Front end Prse tree Prser (syntti
More informationPreview 11/1/2017. Greedy Algorithms. Coin Change. Coin Change. Coin Change. Coin Change. Greedy algorithms. Greedy Algorithms
Preview Greed Algorithms Greed Algorithms Coin Chnge Huffmn Code Greed lgorithms end to e simple nd strightforwrd. Are often used to solve optimiztion prolems. Alws mke the choice tht looks est t the moment,
More information8 THREE PHASE A.C. CIRCUITS
8 THREE PHSE.. IRUITS The signls in hpter 7 were sinusoidl lternting voltges nd urrents of the so-lled single se type. n emf of suh type n e esily generted y rotting single loop of ondutor (or single winding),
More informationA Primer on Continuous-time Economic Dynamics
Eonomis 205A Fll 2008 K Kletzer A Primer on Continuous-time Eonomi Dnmis A Liner Differentil Eqution Sstems (i) Simplest se We egin with the simple liner first-orer ifferentil eqution The generl solution
More informationPetri Nets. Rebecca Albrecht. Seminar: Automata Theory Chair of Software Engeneering
Petri Nets Ree Alreht Seminr: Automt Theory Chir of Softwre Engeneering Overview 1. Motivtion: Why not just using finite utomt for everything? Wht re Petri Nets nd when do we use them? 2. Introdution:
More informationFirst Midterm Examination
24-25 Fll Semester First Midterm Exmintion ) Give the stte digrm of DFA tht recognizes the lnguge A over lphet Σ = {, } where A = {w w contins or } 2) The following DFA recognizes the lnguge B over lphet
More informationGRAND PLAN. Visualizing Quaternions. I: Fundamentals of Quaternions. Andrew J. Hanson. II: Visualizing Quaternion Geometry. III: Quaternion Frames
Visuliing Quternions Andrew J. Hnson Computer Siene Deprtment Indin Universit Siggrph Tutoril GRAND PLAN I: Fundmentls of Quternions II: Visuliing Quternion Geometr III: Quternion Frmes IV: Clifford Algers
More informationSection 2.3. Matrix Inverses
Mtri lger Mtri nverses Setion.. Mtri nverses hree si opertions on mtries, ition, multiplition, n sutrtion, re nlogues for mtries of the sme opertions for numers. n this setion we introue the mtri nlogue
More information6.5 Improper integrals
Eerpt from "Clulus" 3 AoPS In. www.rtofprolemsolving.om 6.5. IMPROPER INTEGRALS 6.5 Improper integrls As we ve seen, we use the definite integrl R f to ompute the re of the region under the grph of y =
More informationResources. Introduction: Binding. Resource Types. Resource Sharing. The type of a resource denotes its ability to perform different operations
Introduction: Binding Prt of 4-lecture introduction Scheduling Resource inding Are nd performnce estimtion Control unit synthesis This lecture covers Resources nd resource types Resource shring nd inding
More informationChapter Gauss Quadrature Rule of Integration
Chpter 7. Guss Qudrture Rule o Integrtion Ater reding this hpter, you should e le to:. derive the Guss qudrture method or integrtion nd e le to use it to solve prolems, nd. use Guss qudrture method to
More informationChoosing Combinatorial Social Choice by Heuristic Search
Choosing Comintoril Soil Choie y Heuristi Serh Minyi Li 1 nd Quo Bo Vo 2 Astrt. This pper studies the prolem of omputing ggregtion rules in omintoril domins, where the set of possile lterntives is Crtesin
More informationGlobal alignment. Genome Rearrangements Finding preserved genes. Lecture 18
Computt onl Biology Leture 18 Genome Rerrngements Finding preserved genes We hve seen before how to rerrnge genome to obtin nother one bsed on: Reversls Knowledge of preserved bloks (or genes) Now we re
More informationAUTOMATA AND LANGUAGES. Definition 1.5: Finite Automaton
25. Finite Automt AUTOMATA AND LANGUAGES A system of computtion tht only hs finite numer of possile sttes cn e modeled using finite utomton A finite utomton is often illustrted s stte digrm d d d. d q
More informationA Functorial Query Language
A Funtoril Query Lnguge Ryn Wisnesky, Dvid Spivk Deprtment of Mthemtis Msshusetts Institute of Tehnology {wisnesky, dspivk}@mth.mit.edu Presented t Boston Hskell April 16, 2014 Outline Introdution to FQL.
More informationLinear Algebra Introduction
Introdution Wht is Liner Alger out? Liner Alger is rnh of mthemtis whih emerged yers k nd ws one of the pioneer rnhes of mthemtis Though, initilly it strted with solving of the simple liner eqution x +
More information, g. Exercise 1. Generator polynomials of a convolutional code, given in binary form, are g. Solution 1.
Exerise Genertor polynomils of onvolutionl ode, given in binry form, re g, g j g. ) Sketh the enoding iruit. b) Sketh the stte digrm. ) Find the trnsfer funtion T. d) Wht is the minimum free distne of
More informationCS 491G Combinatorial Optimization Lecture Notes
CS 491G Comintoril Optimiztion Leture Notes Dvi Owen July 30, August 1 1 Mthings Figure 1: two possile mthings in simple grph. Definition 1 Given grph G = V, E, mthing is olletion of eges M suh tht e i,
More informationBehavior Composition in the Presence of Failure
Behvior Composition in the Presene of Filure Sestin Srdin RMIT University, Melourne, Austrli Fio Ptrizi & Giuseppe De Giomo Spienz Univ. Rom, Itly KR 08, Sept. 2008, Sydney Austrli Introdution There re
More information4.6 Numerical Integration
.6 Numericl Integrtion 5.6 Numericl Integrtion Approimte definite integrl using the Trpezoidl Rule. Approimte definite integrl using Simpson s Rule. Anlze the pproimte errors in the Trpezoidl Rule nd Simpson
More informationInstructions. An 8.5 x 11 Cheat Sheet may also be used as an aid for this test. MUST be original handwriting.
ID: B CSE 2021 Computer Orgniztion Midterm Test (Fll 2009) Instrutions This is losed ook, 80 minutes exm. The MIPS referene sheet my e used s n id for this test. An 8.5 x 11 Chet Sheet my lso e used s
More informationThis enables us to also express rational numbers other than natural numbers, for example:
Overview Study Mteril Business Mthemtis 05-06 Alger The Rel Numers The si numers re,,3,4, these numers re nturl numers nd lso lled positive integers. The positive integers, together with the negtive integers
More informationComputing the Cyclic Edit Distance for Pattern Classification by Ranking Edit Paths
Computing the Cyli Edit Distne for Pttern Clssifition y Rnking Edit Pths Vítor M. Jiménez, Andrés Mrzl, Viente Plzón, nd Guillermo Peris DLSI, Universitt Jume I, 27 Cstellón, Spin {vjimenez,mrzl,plzon,peris}@uji.es
More informationDynamic Minimization of Sentential Decision Diagrams
Dnmi Minimiztion of Sententil Deision Digrms Arthur Choi n Ann Drwihe Computer Siene Deprtment Universit of Cliforni, Los Angeles {hoi,rwihe}@s.ul.eu Astrt The Sententil Deision Digrm (SDD) is reentl propose
More informationIntegration. antidifferentiation
9 Integrtion 9A Antidifferentition 9B Integrtion of e, sin ( ) nd os ( ) 9C Integrtion reognition 9D Approimting res enlosed funtions 9E The fundmentl theorem of integrl lulus 9F Signed res 9G Further
More informationMid-Term Examination - Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours
Mi-Term Exmintion - Spring 0 Mthemtil Progrmming with Applitions to Eonomis Totl Sore: 5; Time: hours. Let G = (N, E) e irete grph. Define the inegree of vertex i N s the numer of eges tht re oming into
More informationCS415 Compilers. Lexical Analysis and. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University
CS415 Compilers Lexicl Anlysis nd These slides re sed on slides copyrighted y Keith Cooper, Ken Kennedy & Lind Torczon t Rice University First Progrmming Project Instruction Scheduling Project hs een posted
More informationCSE : Exam 3-ANSWERS, Spring 2011 Time: 50 minutes
CSE 260-002: Exm 3-ANSWERS, Spring 20 ime: 50 minutes Nme: his exm hs 4 pges nd 0 prolems totling 00 points. his exm is closed ook nd closed notes.. Wrshll s lgorithm for trnsitive closure computtion is
More informationBoolean algebra.
http://en.wikipedi.org/wiki/elementry_boolen_lger Boolen lger www.tudorgir.com Computer science is not out computers, it is out computtion nd informtion. computtion informtion computer informtion Turing
More informationSection 6.1 Definite Integral
Section 6.1 Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot e determined
More informationCARLETON UNIVERSITY. 1.0 Problems and Most Solutions, Sect B, 2005
RLETON UNIVERSIT eprtment of Eletronis ELE 2607 Swithing iruits erury 28, 05; 0 pm.0 Prolems n Most Solutions, Set, 2005 Jn. 2, #8 n #0; Simplify, Prove Prolem. #8 Simplify + + + Reue to four letters (literls).
More informationExercise 3 Logic Control
Exerise 3 Logi Control OBJECTIVE The ojetive of this exerise is giving n introdution to pplition of Logi Control System (LCS). Tody, LCS is implemented through Progrmmle Logi Controller (PLC) whih is lled
More informationMCH T 111 Handout Triangle Review Page 1 of 3
Hnout Tringle Review Pge of 3 In the stuy of sttis, it is importnt tht you e le to solve lgeri equtions n tringle prolems using trigonometry. The following is review of trigonometry sis. Right Tringle:
More informationSuppose we want to find the area under the parabola and above the x axis, between the lines x = 2 and x = -2.
Mth 43 Section 6. Section 6.: Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot
More informationCS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)
CS 373, Spring 29. Solutions to Mock midterm (sed on first midterm in CS 273, Fll 28.) Prolem : Short nswer (8 points) The nswers to these prolems should e short nd not complicted. () If n NF M ccepts
More informationNON-DETERMINISTIC FSA
Tw o types of non-determinism: NON-DETERMINISTIC FS () Multiple strt-sttes; strt-sttes S Q. The lnguge L(M) ={x:x tkes M from some strt-stte to some finl-stte nd ll of x is proessed}. The string x = is
More informationXPath Rewriting Using Multiple Views. Author. Published. Journal Title DOI. Copyright Statement. Downloaded from. Griffith Research Online
XPth Rewriting Using Multiple Views Author Wng, Junhu, Yu, Jeffre Pulished 2008 Journl Title Leture Notes in Computer siene DOI https://doi.org/10.1007/978-3-540-85654-2_43 Copright Sttement 2008 Springer
More informationLearning Goals. Relational Query Languages. Formal Relational Query Languages. Formal Query Languages: Relational Algebra and Relational Calculus
Forml Query Lnguges: Reltionl Alger nd Reltionl Clculus Chpter 4 Lerning Gols Given dtse ( set of tles ) you will e le to express dtse query in Reltionl Alger (RA), involving the sic opertors (selection,
More informationAn Efficient Algorithm for Discovering Frequent Subgraphs
To pper in IEEE Trnstions on Knowledge nd Dt Engineering 1 An Effiient Algorithm for Disovering Frequent Sugrphs Mihihiro Kurmohi nd George Krpis, Memer, IEEE Deprtment of Computer Siene Universit of Minnesot
More informationCS 275 Automata and Formal Language Theory
CS 275 utomt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Prolem (II) Chpter II.5.: Properties of Context Free Grmmrs (14) nton Setzer (Bsed on ook drft y J. V. Tucker nd K. Stephenson)
More information10.2 The Ellipse and the Hyperbola
CHAPTER 0 Conic Sections Solve. 97. Two surveors need to find the distnce cross lke. The plce reference pole t point A in the digrm. Point B is meters est nd meter north of the reference point A. Point
More informationPAIR OF LINEAR EQUATIONS IN TWO VARIABLES
PAIR OF LINEAR EQUATIONS IN TWO VARIABLES. Two liner equtions in the sme two vriles re lled pir of liner equtions in two vriles. The most generl form of pir of liner equtions is x + y + 0 x + y + 0 where,,,,,,
More informationExam Review. John Knight Electronics Department, Carleton University March 2, 2009 ELEC 2607 A MIDTERM
riting Exms: Exm Review riting Exms += riting Exms synhronous iruits Res, yles n Stte ssignment Synhronous iruits Stte-Grph onstrution n Smll Prolems lso Multiple Outputs, n Hrer omintionl Prolem riting
More informationSemantic Analysis. CSCI 3136 Principles of Programming Languages. Faculty of Computer Science Dalhousie University. Winter Reading: Chapter 4
Semnti nlysis SI 16 Priniples of Progrmming Lnguges Fulty of omputer Siene Dlhousie University Winter 2012 Reding: hpter 4 Motivtion Soure progrm (hrter strem) Snner (lexil nlysis) Front end Prse tree
More informationReflection Property of a Hyperbola
Refletion Propert of Hperol Prefe The purpose of this pper is to prove nltill nd to illustrte geometrill the propert of hperol wherein r whih emntes outside the onvit of the hperol, tht is, etween the
More informationFinite-State Automata: Recap
Finite-Stte Automt: Recp Deepk D Souz Deprtment of Computer Science nd Automtion Indin Institute of Science, Bnglore. 09 August 2016 Outline 1 Introduction 2 Forml Definitions nd Nottion 3 Closure under
More information5. Every rational number have either terminating or repeating (recurring) decimal representation.
CHAPTER NUMBER SYSTEMS Points to Rememer :. Numer used for ounting,,,,... re known s Nturl numers.. All nturl numers together with zero i.e. 0,,,,,... re known s whole numers.. All nturl numers, zero nd
More informationIntroduction to Algebra - Part 2
Alger Module A Introduction to Alger - Prt Copright This puliction The Northern Alert Institute of Technolog 00. All Rights Reserved. LAST REVISED Oct., 008 Introduction to Alger - Prt Sttement of Prerequisite
More informationENERGY AND PACKING. Outline: MATERIALS AND PACKING. Crystal Structure
EERGY AD PACKIG Outline: Crstlline versus morphous strutures Crstl struture - Unit ell - Coordintion numer - Atomi pking ftor Crstl sstems on dense, rndom pking Dense, regulr pking tpil neighor ond energ
More informationSystem Validation (IN4387) November 2, 2012, 14:00-17:00
System Vlidtion (IN4387) Novemer 2, 2012, 14:00-17:00 Importnt Notes. The exmintion omprises 5 question in 4 pges. Give omplete explntion nd do not onfine yourself to giving the finl nswer. Good luk! Exerise
More informationApril 8, 2017 Math 9. Geometry. Solving vector problems. Problem. Prove that if vectors and satisfy, then.
pril 8, 2017 Mth 9 Geometry Solving vetor prolems Prolem Prove tht if vetors nd stisfy, then Solution 1 onsider the vetor ddition prllelogrm shown in the Figure Sine its digonls hve equl length,, the prllelogrm
More informationIowa Training Systems Trial Snus Hill Winery Madrid, IA
Iow Trining Systems Tril Snus Hill Winery Mdrid, IA Din R. Cohrn nd Gil R. Nonneke Deprtment of Hortiulture, Iow Stte University Bkground nd Rtionle: Over the lst severl yers, five sttes hve een evluting
More informationSolutions - Homework 1 (Due date: September 9:30 am) Presentation and clarity are very important!
ECE-238L: Computer Logi Design Fll 23 Solutions - Homework (Due dte: Septemer 2th @ 9:3 m) Presenttion nd lrity re very importnt! PROBLEM (5 PTS) ) Simpliy the ollowing untions using ONLY Boolen Alger
More informationSection 4: Integration ECO4112F 2011
Reding: Ching Chpter Section : Integrtion ECOF Note: These notes do not fully cover the mteril in Ching, ut re ment to supplement your reding in Ching. Thus fr the optimistion you hve covered hs een sttic
More informationChapter 3 Single Random Variables and Probability Distributions (Part 2)
Chpter 3 Single Rndom Vriles nd Proilit Distriutions (Prt ) Contents Wht is Rndom Vrile? Proilit Distriution Functions Cumultive Distriution Function Proilit Densit Function Common Rndom Vriles nd their
More informationLinear choosability of graphs
Liner hoosility of grphs Louis Esperet, Mikel Montssier, André Rspud To ite this version: Louis Esperet, Mikel Montssier, André Rspud. Liner hoosility of grphs. Stefn Felsner. 2005 Europen Conferene on
More information