Measuring Search Trees
|
|
- Ethan Ryan
- 5 years ago
- Views:
Transcription
1 Mesuring Serch Trees Christin Bessiere 1, Bruno Znuttini 2, nd Cèsr Fernández 3 1 LIRMM-CNRS, Montpellier, Frnce 2 GREYC, Cen, Frnce 3 Univ. de Lleid, Lleid, Spin Astrct. The SAT nd CSP communities mke gret use of serch effort comprisons to ssess the vlidity of n lgorithm or heuristic. There exist different wys of counting the size of serch tree developed y procedure. However, they re seldomly defined, nd their similrities/differences re not cler. This note ims t clrifying this issue. We formlly define (some of) the existing mesures nd chrcterize the properties tht we cn expect from them. We show some weknesses of the existing mesures with respect to those properties. We propose the numer of wrong decisions s new wy of mesuring the serch effort tht is more ccurte to effectively represent the effort n lgorithm hs devoted to the serch. We show tht this new wy of mesuring the serch spce ehves well with respect to the desired properties. 1 Introduction In the stisfiility nd constrint communities, we often need to compre the reltive performnce of different lgorithms. There re different mesures tht cn e used, nd tht hve dvntges nd/or drwcks. In the constrint community, the numer of times constrint hs een checked s stisfied or not (constrint check) hs een used for long time. It is considered s the sic opertion ll lgorithms do. It hs lso some dvntges such s eing proportionl to the quntity of informtion retrieved from the constrint network during the solving process. But it hs shortcomings which re evident s soon s we use complex lgorithms tht perform other types of computtion thn just checking constrints. (AC-4 ws n ovious exmple of n lgorithm storing once nd for ll the constrint checks, nd then working only with its dt structure.) Another mesure is the cpu time. It hs the dvntge of tking into ccount ll the prts of the effort devoted to the solving process, ut is ffected y the qulity of the implementtion. This issue is prticulrly ccurte when we wnt to compre the performnce of n lgorithm implemented on site with stndrd one ville on the we or in mrket product. The two versions re not necessrily implemented with the sme skills. The lst mesure, which is widely used, oth in CSP nd SAT solvers (t lest in those using cktrck serch), is the size of the serch tree explored during the solving process. This size is often evluted s the numer of cktrcks.
2 But, if we check wht is clled numer of cktrcks y different people, inside different solvers, or in different ppers, it ppers tht this concept is rther fuzzy, nd different wys of mesuring the size of the serch tree cn e reported under this nme. The gol of this note is to clrify our picture on those mesures. We present them nd provide forml definition. We propose new mesure, the numer of wrong decisions, tht is more consistent with wht is effectively done during the solving process of n NP-complete prolem. We chrcterize properties tht we cn expect from serch mesure. We show tht ll mesures ut wrong decisions fil on one of the properties. 2 Serch Trees We give some definitions tht will permit to hndle more formlly the notion of serch tree. These definitions re sed on stndrd CSP understnding, ut ll the definitions hold for SAT, or ny similr type of serch. A serch tree T is composed of nodes, rcs, nd n ordering < c on the outgoing rcs of ech node. A node u represents n ordered prtil instntition I(u) = x i1 = v i1,..., x ik = v ik. A serch tree is rooted t the prticulr node u 0 with I(u 0 ) =. There is n rc from node u to node u 1 if I(u 1 ) = I(u) (x = v), x nd v eing vrile nd one of its vlues. ( denotes conctention.) u 1 is clled child of u, nd u the prent of u 1. For every node u, T(u) denotes the sutree of T rooted t u. The set ch(u, T) of the children of u in T is totlly ordered y < c. The serch tree TP A of cktrck serch lgorithm A solving prticulr prolem P is the serch tree such tht there is one-to-one mpping etween nodes in the tree nd instntitions visited y A until it reched solution or proved inconsistency of P. Given two nodes u 1 nd u 2 children of node u TP A, u 1 < c u 2 iff I(u 1 ) hs een visited y A efore I(u 2 ). The complete serch tree TP A of A on P is the serch tree developed y A if A ws not stopped fter solution is found, ut continued until the end of the enumertion. 3 Serch Cost We define severl wys of counting the serch cost of n lgorithm A on prticulr prolem P. All ut the lst one hve lredy extensively een used in ppers compring serch lgorithms: 1. numer of nodes, 2. numer of cktrcks, 3. numer of decisions, 4. numer of wrong decisions. We now define these four concepts, nd we will illustrte their differences on n exmple (Fig. 2). For ll of them we lso discuss where counter should e plced in n lgorithm for computing the mesure. For tht purpose, we give
3 function BT_serch(int level) /* I = level */ 1. if preprocessing(level) then 2. if termintion condition then return 1 3. select vrile xi 4. for ech vlue vi in dom(xi) do 5. ssign vi to xi 6. if BT_serch(level+1) then return 1 7. undo(level) 8. return 0 Fig. 1. Bcktrck scheme the generl scheme of cktrck-like lgorithm on Fig. 1. The procedure is initilly clled with level=0. The function preprocessing() cn contin ny simplifiction lgorithm. It usully prunes the domins with respect to given locl consistency: unit propgtion in DPLL for CNF formuls, ound consistency in constrint solvers involving numericl constrints, or some form of rc consistency in CSP serch lgorithm such s forwrd checking [HE80] or MAC [SF94]. In the sic cktrck lgorithm [GB65], it just checks whether the new ssignment together with the current one stisfies ll the relevnt constrints. In ll cses, we ssume tht preprocessing() fils if the domin of vrile is empty. Finlly, we ssume tht the recursive cll on Line 6 of Fig. 1 my modify the domin of x i. Think indeed of ckjump lgorithm for instnce, where the preprocessing on the ith level could empty the domin of the i-1th vrile ecuse the culprit ssignment is tht to the i-2th one. Numer of nodes. The simplest technique is to count the numer of nodes visited y procedure. The definition is ovious. Definition 1 (#nodes). The numer of nodes of the resolution of prolem P y n lgorithm A is simply the numer of nodes in T A P. Counting the numer of nodes visited y n lgorithm on given prolem is ovious s well: just increment the counter y 1 ech time the functionbt serch is entered. This mens dding the following line to Fig. 1: 0. #nodes++ A wekness of this mesure is tht it doesn t discriminte etween the effort devoted to trversing the tree top-down nd left-right. In other words, visiting n filing nodes, or going deterministiclly from the root to lef without ny wrong choice will dd the sme n nodes to the count (n is the numer of vriles), while in the second cse not single mistke ws done.
4 Numer of cktrcks. This is the est known mesure. It counts the numer of times the procedure goes ck from vrile x ik to its predecessor x ik 1 fter hving proved tht none of the extensions of I(x ik ) cn e extended to solution. In terms of the serch tree, it counts the numer of times the serch goes up in the tree from node u to its predecessor fter hving exhusted the lst child of u. More formlly: Definition 2 (#cktrcks). The numer of cktrcks of the resolution of prolem P y n lgorithm A is equl to {u T A P ch(u, T A P ) & P I(u) }. The condition for node u to e counted s cktrck node is tht it hs some children which hve een visited (first component of the condition), nd tht none of them were successful (second component). Counting the cktrcks of P on A is quite strightforwrd: increment the counter y 1 ech time the function BT serch fils fter hving tried to extend the current instntition. This mens dding the following line on Fig. 1: 6is. #cktrcks++ A mjor drwck of this wy of counting the serch effort is tht it doesn t tke into ccount the numer of vlues tried for vrile. In other words, given node u cn hve 2 or 100 children, we will count them oth s one cktrck, if the lst child fils. Numer of decisions. This mesure is used in severl modern SAT solvers ville on the we [MMZ + 01,EY02]. It counts the numer of times choice hd to e mde during the serch. This prevents us from counting instntitions tht were ovious, s when domin is singleton. (As opposed to #nodes.) Definition 3 (#decisions). The numer of decisions of the resolution of prolem P y n lgorithm A is mx(0, ch(u, TP A ) 1) + {u TP A ch(u, TP A ) ch(u, TP A)} u T A P The formul identifies the numer of decisions tken in ech node u to its numer of children minus 1 (first component), nd dds one for ech node such tht the lst explored child ws not the lst possile one it ws itself decision (second component). In order to count the numer of decisions of n lgorithm on prolem, we simply count how mny times vlue is selected while it ws not the only lterntive for x i : 4is. if vi is not the only remining vlue for xi then #decisions++ Wheres this mesure hs dvntges over #nodes, it still hs the sme drwck s #nodes, nmely, counting choices tht will e successful. In other words, we cn otin score of n for cktrck-free serch in which ll the choices were directly the good ones.
5 2+0 dec 2 wd x2 x1 1 t 2+0 dec 2 wd c c 1+1 dec 1wd 13 nodes 2 cktrcks (t) 9 decisions (dec) 7 wrong decisions (wd) 1 t 2+0 dec 2 wd 0+1 dec x3 c solution Fig.2. A serch tree with three vriles nd three vlues Numer of wrong decisions. This mesure tries to overcome ll the weknesses pointed out so fr. As opposed to #nodes or #decisions, it reports 0 if serch ws successful on ll its choices. But s opposed to #cktrcks, it tkes into ccount the numer of children given node hs. It counts the numer of times choice hd to e mde during the serch, except if this choice finlly leds to solution. Definition 4 (#wrong decisions). The numer of wrong decisions of the resolution of prolem P y n lgorithm A is mx(0, ch(u, TP A ) 1) u T A P This definition is expressed in terms of the serch the lgorithm A performs on the prolem P, ut we cn lso give n lterntive one. Property 1 For ny lgorithm A nd prolem P, the numer of leves in T A P equls #wrong-decisions(a,p)+1. Proof. This is esily seen y induction on TP A. Indeed, if T P A hs only one node, nd thus one lef the numer of wrong decisions is 0. Now if the root of TP A hs k children, write #leves i for the numer of leves in its ith child nd #wd i for the numer of wrong decisions in the suprolem defined y the ith child. Then the numer of leves in TP A is k i=1 #leves i, i.e., k i=1 (#wd i + 1) y the induction hypothesis. This is k+ k i=1 #wd i = 1+((k 1)+ k i=1 #wd i), which is exctly the numer of wrong decisions of A on P plus 1. The intuition ehind this equivlence is tht the numer of wrong decisions in serch counts exctly the prtil ssignments tht re explored while they cnnot e extended into solution, i.e., the leves of the serch tree, except for the lst one tht is either solution or the lst element of proof tht the prolem is inconsistent.
6 As for counting the wrong decisions of n lgorithm A on prolem P, increment counter y 1 ech time A undoes the modifictions coming from the selection of vlue v i if this ws not the lst possiility for x i : 6is. if there re still some vlues in dom(xi) then #wrong-decisions++ The four mesures ove re illustrted on serch tree on Fig Properties of mesures We now formlly define two properties tht we should expect from mesure of the serch cost, nd evlute those mesures defined in Section 3 with respect to them. These two properties re the following: 1. strict monotonicity, 2. stility under inriztion of the serch tree. 4.1 Strict monotonicity The first property tht we cn expect from mesure is very nturl: we wnt tht the mesure of serch tree TP A A is more thn tht of serch tree T tht is included in TP A A P. Inclusion here is intended in the following sense: TP is sid to e included in TP A A if every node in TP is in T P A nd there is t lest one node u tht hs k 1 children in TP A nd more thn k in T P A. The ltter condition llows to consider tht two serch trees re equivlent if one is otined from the other only y extending some of its rnches; indeed, the serch spce explored in this cse is essentilly the sme. Definition 5 (strict monotonicity). A mesure of serch cost µ is sid to e strictly monotonic if for ny two serch trees TP A, T P A such tht T P A is included in T A P, µ(t A P ) < µ(t A P ) holds. Property 2 Mesures #nodes nd #wrong decisions re strictly monotonic, while #cktrcks nd #decisions re not. Proof. As for #cktrcks nd #decisions, counter-exmple is given on Fig. 3. The tree on the left is indeed included in tht on the right, ut it is esily seen tht #decisions=3 nd #cktrcks=1 for oth (ssuming the prolem is consistent). As for #nodes, it is oviously strictly monotonic, nd finlly #wrong decisions is s well ecuse if TP A more lef thn TP A. is included in T A P then T A P hs t lest one
7 x1 x2 solution solution Fig.3. Two serch trees with two vriles nd two vlues 4.2 Binry trees More nd more CSP techniques, such s the well-known MAC procedure [SF94], use refuttion t ech node of the tree. Thus, these procedures develop inry tree. The left rnch is choice of vlue, nd the right rnch is the refuttion of this vlue, except if there remins single vlue in the domin in which cse the right rnch instntites tht remining vlue. (See [Mit03,KB03] for comprison of regulr nd inry CSP tree serch.) We give generl scheme for inry tree serch on Fig. 4. function Binry_BT_serch(int level) /* I = level */ 1. if preprocessing(level) then 2. if termintion condition then return 1 3. select vrile xi with dom(xi) >1 4. select vlue vi in dom(xi) nd ssign it to xi 5. if Binry_BT_serch(level+1) then return 1 6. dom(xi) := dom(xi)-{vi} 7. if Binry_BT_serch(level+1) return 1 8. undo(level) 9. return 0 Fig.4. Binry cktrck scheme Binry tree serch is more generl thn non-inry since it is possile to chnge not only the vlue, ut lso the vrile fter ech filure (lines 3 nd 4 on Fig. 4). In ddition, ny non-inry serch tree TP A hs inrized counterprt, noted BP A, which corresponds to the inry serch in which the selection of vriles nd vlues re done in exctly the sme ordering s in the non-inry one, nd function preprocessing() in line 1 does nothing when its cll does not follow n instntition (in line 7). The inrized counterprt of the serch tree of Fig. 2 is presented on Fig. 5.
8 x2= x1= x1= x1=c 17 nodes 4 t 9 decisions 7 wrong decisions x2= x2=c x2= x3= x2= x3= x3=c x3= solution Fig.5. The inrized counterprt of the serch tree in Fig. 2. The definitions given in Section 3 still hold for inry serch trees, with counters dded to the scheme on Fig. 4 in the following wy: 1. for numer of nodes, 0. #nodes++ 2. for numer of cktrcks, 7is. #cktrcks++ 3. for numer of decisions, 3is. #decisions++ 4. for numer of wrong decisions. 5is. #wrong-decisions++ It is nturl to expect from mesure of the serch cost tht it llows us to compre non-inry cktrck lgorithms nd inrized ones. In prticulr, we expect from mesure tht the cost of non-inry serch tree is the sme s tht of its inrized counterprt, since the serch spce explored is essentilly the sme. The following definition formlizes the stility of mesure: Definition 6 (stility under inriztion). A mesure of serch cost µ is sid to e stle under inriztion if for ny two serch trees TP A, BA P such tht BP A is the inriztion of T P A, µ(t P A) = µ(ba P ) holds. Property 3 Mesures #decisions nd #wrong decisions re stle under inriztion, while #nodes nd #cktrcks re not.
9 u 1 u 1 u 2 u T. u. k T. 1 1 T 2 T 2 u k 1 T 1 T 2 T k T k T k 1 T k Generl tree Binriztion when d >k Binriztion when d =k Fig.6. The two possile inriztions of serch tree Proof. As for #nodes nd #cktrcks, the tree on Fig. 2 nd its inriztion on Fig. 5 give counter-exmple for oth. As for #wrong decisions, it is esily seen tht the numer of leves in the inrized tree is the sme s in the originl one, nd thus Proposition 1 concludes. Thus we re left with #decisions; we show the result y induction on TP A. Denote y BP A the inriztion of T P A, nd first remrk tht if T P A hs only one node then BP A = T P A. Now ssume the root of T P A hs k 1 children, nd write #dec i for the numer of decisions in the suprolem defined y its ith child. By definition of inrized serches BP A cn tke one of two forms, depending on whether there re more thn k vlues in the domin of the first vrile. These two forms re depicted on Figure 6: tht on the middle corresponds to the cse where there re more thn k vlues, nd tht on the right to tht where there re exctly k of them. As for the generl tree, y definition the numer of decisions of A on P is k+ k i=1 #dec i in the first cse nd k 1+ k i=1 #dec i in the second cse. Now in the first cse, ech node u i, i < k in BP A dds 1 to the numer of decisions since it hs two children nd ch(u i, BP A) = ch(u i, BP A), nd node u k dds 1 s well since it hs only one child ut ch(u k, BP A) ch(u k, BP A ) ; thus the numer of decisions in the inrized serch is k + k i=1 #dec i y the induction hypothesis, tht is, the numer of decisions in the generl serch. Finlly, in the second cse ech node u i, 1 i k 1 dds 1 to the numer of decisions since it hs two children nd ch(u i, BP A) = ch(u i, BP A ), thus the totl numer of decisions is k 1 + k i=1 #dec i, which gin equls the numer of decisions in the generl serch. 5 Summry nd Conclusion We hve contriuted to clrifiction of the different wys of mesuring the size of serch tree developed y cktrck procedure. We hve formlly defined the existing mesures nd we hve chrcterized some properties tht cn e
10 expected from such mesures. We hve shown some weknesses of the existing mesures with respect to those properties. We hve proposed the numer of wrong decisions s new wy of mesuring the serch effort. This new mesure ehves well with respect to the desired properties. References [EY02] E.Golderg nd Y.Novikov. Berkmin: fst nd roust st-solver. In Proceedings DATE 02, pges , [GB65] S.W. Golom nd L.D. Bumert. Bcktrck progrmming. Journl of the ACM, 12(4): , Octoer [HE80] R.M. Hrlick nd G.L. Elliott. Incresing tree sech efficiency for constrint stisfction prolems. Artificil Intelligence, 14: , [KB03] G. Ktsirelos nd F. Bcchus. Unrestricted nogood recording in csp serch. In Proceedings CP 03, pges , Kinsle, Irelnd, [Mit03] D.G. Mitchell. Resolution nd constrint stisfction. In Proceedings CP 03, pges , Kinsle, Irelnd, [MMZ + 01] M. Moskewicz, C. Mdign, Y. Zho, L. Zhng, nd S. Mlik. Chff: Engineering n efficient st solver. In Proc. Intl. Design Automtion Conference (DAC-01), pges , Ls Vegs NV, [SF94] D. Sin nd E.C. Freuder. Contrdicting conventionl wisdom in constrint stisfction. In Proceedings PPCP 94, Settle WA, 1994.
INF 4130 Exercise set 4
INF 4130 Exercise set 4 Exercise 1 List the order in which we extrct the nodes from the Live Set queue when we do redth first serch of the following grph (tree) with the Live Set implemented s LIFO queue.
More informationWhat is Monte Carlo Simulation? Monte Carlo Simulation
Wht is Monte Crlo Simultion? Monte Crlo methods re widely used clss of computtionl lgorithms for simulting the ehvior of vrious physicl nd mthemticl systems, nd for other computtions. Monte Crlo lgorithm
More informationOutline. CSE 326: Data Structures. Priority Queues Leftist Heaps & Skew Heaps. Announcements. New Heap Operation: Merge
CSE 26: Dt Structures Priority Queues Leftist Heps & Skew Heps Outline Announcements Leftist Heps & Skew Heps Reding: Weiss, Ch. 6 Hl Perkins Spring 2 Lectures 6 & 4//2 4//2 2 Announcements Written HW
More informationToday s Outline. One More Operation. Priority Queues. New Operation: Merge. Leftist Heaps. Priority Queues. Admin: Priority Queues
Tody s Outline Priority Queues CSE Dt Structures & Algorithms Ruth Anderson Spring 4// Admin: HW # due this Thursdy / t :9pm Printouts due Fridy in lecture. Priority Queues Leftist Heps Skew Heps 4// One
More informationA ppendix to. I soquants. Producing at Least Cost. Chapter
A ppendix to Chpter 0 Producing t est Cost This ppendix descries set of useful tools for studying firm s long-run production nd costs. The tools re isoqunts nd isocost lines. I soqunts FIGURE A0. SHOWS
More information9.3. Regular Languages
9.3. REGULAR LANGUAGES 139 9.3. Regulr Lnguges 9.3.1. Properties of Regulr Lnguges. Recll tht regulr lnguge is the lnguge ssocited to regulr grmmr, i.e., grmmr G = (N, T, P, σ) in which every production
More information3/1/2016. Intermediate Microeconomics W3211. Lecture 7: The Endowment Economy. Today s Aims. The Story So Far. An Endowment Economy.
1 Intermedite Microeconomics W3211 Lecture 7: The Endowment Economy Introduction Columbi University, Spring 2016 Mrk Den: mrk.den@columbi.edu 2 The Story So Fr. 3 Tody s Aims 4 Remember: the course hd
More informationTHE FINAL PROOF SUPPORTING THE TURNOVER FORMULA.
THE FINAL PROOF SUPPORTING THE TURNOVER FORMULA. I would like to thnk Aris for his mthemticl contriutions nd his swet which hs enled deeper understnding of the turnover formul to emerge. His contriution
More informationAddition and Subtraction
Addition nd Subtrction Nme: Dte: Definition: rtionl expression A rtionl expression is n lgebric expression in frction form, with polynomils in the numertor nd denomintor such tht t lest one vrible ppers
More informationCache CPI and DFAs and NFAs. CS230 Tutorial 10
Cche CPI nd DFAs nd NFAs CS230 Tutoril 10 Multi-Level Cche: Clculting CPI When memory ccess is ttempted, wht re the possible results? ccess miss miss CPU L1 Cche L2 Cche Memory L1 cche hit L2 cche hit
More informationCH 71 COMPLETING THE SQUARE INTRODUCTION FACTORING PERFECT SQUARE TRINOMIALS
CH 7 COMPLETING THE SQUARE INTRODUCTION I t s now time to py our dues regrding the Qudrtic Formul. Wht, you my sk, does this men? It mens tht the formul ws merely given to you once or twice in this course,
More informationArithmetic and Geometric Sequences
Arithmetic nd Geometric Sequences A sequence is list of numbers or objects, clled terms, in certin order. In n rithmetic sequence, the difference between one term nd the next is lwys the sme. This difference
More informationRoadmap of This Lecture
Reltionl Model Rodmp of This Lecture Structure of Reltionl Dtbses Fundmentl Reltionl-Algebr-Opertions Additionl Reltionl-Algebr-Opertions Extended Reltionl-Algebr-Opertions Null Vlues Modifiction of the
More informationSuffix Trees. Outline. Introduction Suffix Trees (ST) Building STs in linear time: Ukkonen s algorithm Applications of ST.
Suffi Trees Outline Introduction Suffi Trees (ST) Building STs in liner time: Ukkonen s lgorithm Applictions of ST 2 Introduction 3 Sustrings String is ny sequence of chrcters. Sustring of string S is
More information164 CHAPTER 2. VECTOR FUNCTIONS
164 CHAPTER. VECTOR FUNCTIONS.4 Curvture.4.1 Definitions nd Exmples The notion of curvture mesures how shrply curve bends. We would expect the curvture to be 0 for stright line, to be very smll for curves
More informationA Fuzzy Inventory Model With Lot Size Dependent Carrying / Holding Cost
IOSR Journl of Mthemtics (IOSR-JM e-issn: 78-578,p-ISSN: 9-765X, Volume 7, Issue 6 (Sep. - Oct. 0, PP 06-0 www.iosrournls.org A Fuzzy Inventory Model With Lot Size Dependent Crrying / olding Cost P. Prvthi,
More informationUNIT 7 SINGLE SAMPLING PLANS
UNIT 7 SINGLE SAMPLING PLANS Structure 7. Introduction Objectives 7. Single Smpling Pln 7.3 Operting Chrcteristics (OC) Curve 7.4 Producer s Risk nd Consumer s Risk 7.5 Averge Outgoing Qulity (AOQ) 7.6
More informationEffects of Entry Restriction on Free Entry General Competitive Equilibrium. Mitsuo Takase
CAES Working Pper Series Effects of Entry Restriction on Free Entry Generl Competitive Euilirium Mitsuo Tkse Fculty of Economics Fukuok University WP-2018-006 Center for Advnced Economic Study Fukuok University
More information(a) by substituting u = x + 10 and applying the result on page 869 on the text, (b) integrating by parts with u = ln(x + 10), dv = dx, v = x, and
Supplementry Questions for HP Chpter 5. Derive the formul ln( + 0) d = ( + 0) ln( + 0) + C in three wys: () by substituting u = + 0 nd pplying the result on pge 869 on the tet, (b) integrting by prts with
More informationBuckling of Stiffened Panels 1 overall buckling vs plate buckling PCCB Panel Collapse Combined Buckling
Buckling of Stiffened Pnels overll uckling vs plte uckling PCCB Pnel Collpse Comined Buckling Vrious estimtes hve een developed to determine the minimum size stiffener to insure the plte uckles while the
More informationChoice of strategic variables under relative profit maximization in asymmetric oligopoly
Economics nd Business Letters () 5-6 04 Choice of strtegic vriles under reltive profit mximiztion in symmetric oligopoly Atsuhiro Stoh Ysuhito Tnk * Fculty of Economics Doshish University Kyoto Jpn Received:
More informationAutarky more likely than complete specialization
Autrky more likely thn complete specilition Antonio Quesd Deprtment d Economi, Universitt Rovir i Virgili, Avingud de l Universitt, 4304 Reus, Spin 3th Jnury 00 38.9 Astrct This pper mesures the strength
More informationTrigonometry - Activity 21 General Triangle Solution: Given three sides.
Nme: lss: p 43 Mths Helper Plus Resoure Set. opyright 003 rue. Vughn, Tehers hoie Softwre Trigonometry - tivity 1 Generl Tringle Solution: Given three sides. When the three side lengths '', '' nd '' of
More informationA Closer Look at Bond Risk: Duration
W E B E X T E S I O 4C A Closer Look t Bond Risk: Durtion This Extension explins how to mnge the risk of bond portfolio using the concept of durtion. BOD RISK In our discussion of bond vlution in Chpter
More informationProblem Set 2 Suggested Solutions
4.472 Prolem Set 2 Suggested Solutions Reecc Zrutskie Question : First find the chnge in the cpitl stock, k, tht will occur when the OLG economy moves to the new stedy stte fter the government imposes
More informationJFE Online Appendix: The QUAD Method
JFE Online Appendix: The QUAD Method Prt of the QUAD technique is the use of qudrture for numericl solution of option pricing problems. Andricopoulos et l. (00, 007 use qudrture s the only computtionl
More informationChapter 2: Relational Model. Chapter 2: Relational Model
Chpter : Reltionl Model Dtbse System Concepts, 5 th Ed. See www.db-book.com for conditions on re-use Chpter : Reltionl Model Structure of Reltionl Dtbses Fundmentl Reltionl-Algebr-Opertions Additionl Reltionl-Algebr-Opertions
More informationRicardian Model. Mercantilism: 17 th and 18 th Century. Adam Smith s Absolute Income Hypothesis, End of 18 th Century: Major Shift in Paradigm
Mercntilism: th nd th Century Ricrdin Model lesson in Comprtive dvntge Trde ws considered s Zero-Sum Gme It ws viewed mens to ccumulte Gold & Silver Exports were encourged Imports were discourged End of
More information3: Inventory management
INSE6300 Ji Yun Yu 3: Inventory mngement Concordi Februry 9, 2016 Supply chin mngement is bout mking sequence of decisions over sequence of time steps, fter mking observtions t ech of these time steps.
More informationPSAS: Government transfers what you need to know
PSAS: Government trnsfers wht you need to know Ferury 2018 Overview This summry will provide users with n understnding of the significnt recognition, presenttion nd disclosure requirements of the stndrd.
More informationChapter55. Algebraic expansion and simplification
Chpter55 Algebric expnsion nd simplifiction Contents: A The distributive lw B The product ( + b)(c + d) C Difference of two squres D Perfect squres expnsion E Further expnsion F The binomil expnsion 88
More informationReinforcement Learning. CS 188: Artificial Intelligence Fall Grid World. Markov Decision Processes. What is Markov about MDPs?
CS 188: Artificil Intelligence Fll 2010 Lecture 9: MDP 9/2/2010 Reinforcement Lerning [DEMOS] Bic ide: Receive feedbck in the form of rewrd Agent utility i defined by the rewrd function Mut (lern to) ct
More informationInternational Monopoly under Uncertainty
Interntionl Monopoly under Uncertinty Henry Ary University of Grnd Astrct A domestic monopolistic firm hs the option to service foreign mrket through export or y setting up plnt in the host country under
More informationCS 188 Introduction to Artificial Intelligence Fall 2018 Note 4
CS 188 Introduction to Artificil Intelligence Fll 2018 Note 4 These lecture notes re hevily bsed on notes originlly written by Nikhil Shrm. Non-Deterministic Serch Picture runner, coming to the end of
More informationChapter 3: The Reinforcement Learning Problem. The Agent'Environment Interface. Getting the Degree of Abstraction Right. The Agent Learns a Policy
Chpter 3: The Reinforcement Lerning Problem The Agent'Environment Interfce Objectives of this chpter: describe the RL problem we will be studying for the reminder of the course present idelized form of
More informationBurrows-Wheeler Transform and FM Index
Burrows-Wheeler Trnsform nd M Index Ben ngmed You re free to use these slides. If you do, plese sign the guestbook (www.lngmed-lb.org/teching-mterils), or emil me (ben.lngmed@gmil.com) nd tell me briefly
More informationMARKET POWER AND MISREPRESENTATION
MARKET POWER AND MISREPRESENTATION MICROECONOMICS Principles nd Anlysis Frnk Cowell Note: the detil in slides mrked * cn only e seen if you run the slideshow July 2017 1 Introduction Presenttion concerns
More information1 Manipulation for binary voters
STAT 206A: Soil Choie nd Networks Fll 2010 Mnipultion nd GS Theorem Otoer 21 Leturer: Elhnn Mossel Srie: Kristen Woyh In this leture we over mnipultion y single voter: whether single voter n lie out his
More informationASYMMETRIC SWITCHING COSTS CAN IMPROVE THE PREDICTIVE POWER OF SHY S MODEL
Document de trvil 2012-14 / April 2012 ASYMMETRIC SWITCHIG COSTS CA IMPROVE THE PREDICTIVE POWER OF SHY S MODEL Evens Slies OFCE-Sciences-Po Asymmetric switching costs cn improve the predictive power of
More informationUNIVERSITY OF NOTTINGHAM. Discussion Papers in Economics BERTRAND VS. COURNOT COMPETITION IN ASYMMETRIC DUOPOLY: THE ROLE OF LICENSING
UNIVERSITY OF NOTTINGHAM Discussion Ppers in Economics Discussion Pper No. 0/0 BERTRAND VS. COURNOT COMPETITION IN ASYMMETRIC DUOPOLY: THE ROLE OF LICENSING by Arijit Mukherjee April 00 DP 0/0 ISSN 160-48
More informationGet Solution of These Packages & Learn by Video Tutorials on KEY CONCEPTS
FREE Downlod Study Pckge from wesite: www.tekoclsses.com & www.mthsbysuhg.com Get Solution of These Pckges & Lern y Video Tutorils on www.mthsbysuhg.com KEY CONCEPTS THINGS TO REMEMBER :. The re ounded
More informationThe Market Approach to Valuing Businesses (Second Edition)
BV: Cse Anlysis Completed Trnsction & Guideline Public Comprble MARKET APPROACH The Mrket Approch to Vluing Businesses (Second Edition) Shnnon P. Prtt This mteril is reproduced from The Mrket Approch to
More informationECON 105 Homework 2 KEY Open Economy Macroeconomics Due November 29
Instructions: ECON 105 Homework 2 KEY Open Economy Mcroeconomics Due Novemer 29 The purpose of this ssignment it to integrte the explntions found in chpter 16 ok Kennedy with the D-S model nd the Money
More informationThe Okun curve is non-linear
Economics Letters 70 (00) 53 57 www.elsevier.com/ locte/ econbse The Okun curve is non-liner Mtti Viren * Deprtment of Economics, 004 University of Turku, Turku, Finlnd Received 5 My 999; ccepted 0 April
More informationUNinhabited aerial vehicles (UAVs) are becoming increasingly
A Process Algebr Genetic Algorithm Sertc Krmn Tl Shim Emilio Frzzoli Abstrct A genetic lgorithm tht utilizes process lgebr for coding of solution chromosomes nd for defining evolutionry bsed opertors is
More information"Multilateralism, Regionalism, and the Sustainability of 'Natural' Trading Blocs"
"Multilterlism, Regionlism, nd the Sustinility of 'Nturl' Trding Blocs" y Eric Bond Deprtment of Economics Penn Stte June, 1999 Astrct: This pper compres the mximum level of world welfre ttinle in n incentive
More informationThe IndoDairy Smallholder Household Survey From Farm-to-Fact
The Centre for Glol Food nd Resources The IndoDiry Smllholder Household Survey From Frm-to-Fct Fctsheet 7: Diry Frming Costs, Revenue nd Profitility Bckground This fctsheet uilds on the informtion summrised
More informationConditions for FlexiLink
Conditions for FlexiLink Your policy 1 Wht your policy covers FlexiLink is single-premium investment-linked pln designed to increse the vlue of your investment. Through this pln, you cn invest in one or
More informationTechnical Report Global Leader Dry Bulk Derivatives. FIS Technical - Grains And Ferts. Highlights:
Technicl Report Technicl Anlyst FIS Technicl - Grins And Ferts Edwrd Hutn 44 20 7090 1120 Edwrdh@freightinvesr.com Highlights: SOY The weekly chrt is chowing lower high suggesting wekness going forwrd,
More informationSolutions to Exercises, Set 3
Shool of Computer Siene, University of Nottinghm G5MAL Mhines nd their Lnguges, Spring 1 Thorsten Altenkirh Solutions to Exerises, Set 3 Fridy 3rd Mrh 1 1. () () L(+ +ǫ) = {L(E +F) = L(E) L(F)} L() L(
More informationGridworld Values V* Gridworld: Q*
CS 188: Artificil Intelligence Mrkov Deciion Procee II Intructor: Dn Klein nd Pieter Abbeel --- Univerity of Cliforni, Berkeley [Thee lide were creted by Dn Klein nd Pieter Abbeel for CS188 Intro to AI
More informationEarning Money. Earning Money. Curriculum Ready ACMNA: 189.
Erning Money Curriculum Redy ACMNA: 189 www.mthletics.com Erning EARNING Money MONEY Different jos py different mounts of moneys in different wys. A slry isn t pid once in yer. It is pid in equl prts
More informationName Date. Find the LCM of the numbers using the two methods shown above.
Lest Common Multiple Multiples tht re shred by two or more numbers re clled common multiples. The lest of the common multiples is clled the lest common multiple (LCM). There re severl different wys to
More informationChapter 02: International Flow of Funds
Chpter 02: Interntionl Flow of Funds 1. Recently, the U.S. experienced n nnul lnce of trde representing.. lrge surplus (exceeding $100 illion). smll surplus c. level of zero d. deficit d 2. A high home
More informationEconomics Department Fall 2013 Student Learning Outcomes (SLOs) Assessment Economics 4 (Principles of Microeconomics)
Jnury 2014 Economics Deprtment Fll 2013 Stuent Lerning Outcomes (SLOs) Assessment Economics 4 (Principles of Microeconomics) Lerning Outcome Sttement: In the Fll 2013 semester the Economics Deprtment engge
More informationConditions for GrowthLink
Importnt: This is smple of the policy document. To determine the precise terms, conditions nd exclusions of your cover, plese refer to the ctul policy nd ny endorsement issued to you. Conditions for GrowthLink
More informationJOURNAL THE ERGODIC TM CANDLESTICK OSCILLATOR ROBERT KRAUSZ'S. Volume 1, Issue 7
ROBERT KRUSZ'S JOURNL Volume 1, Issue 7 THE ERGODIC TM CNDLESTICK OSCILLTOR S ometimes we re lucky (due to our diligence) nd we find tool tht is useful nd does the jo etter thn previous tools, or nswers
More informationControlling a population of identical MDP
Controlling popultion of identicl MDP Nthlie Bertrnd Inri Rennes ongoing work with Miheer Dewskr (CMI), Blise Genest (IRISA) nd Hugo Gimert (LBRI) Trends nd Chllenges in Quntittive Verifiction Mysore,
More informationThe MA health reform and other issues
The MA helth reorm nd other issues Gruer: three key issues or ny reorm Poolin Need wy to ornize helth cre other thn need Otherwise -- dverse selection Prolem: current system leves out smll irms Aordility
More informationGrain Marketing: Using Balance Sheets
1 Fct Sheet 485 Grin Mrketing: Using Blnce Sheets Introduction Grin lnce sheets re estimtes of supply nd demnd. They re the key to understnding the grin mrkets. A grin frmer who understnds how to interpret
More information1. Detailed information about the Appellant s and Respondent s personal information including mobile no. and -id are to be furnished.
Revised Form 36 nd Form 36A for filing ppel nd cross objection respectively before income tx ppellte tribunl (Notifiction No. 72 dted 23.10.2018) Bckground CBDT issued drft notifiction vide press relese
More informationBequest motives and fertility decisions B
Economics Letters 92 (2006) 348 352 www.elsevier.com/locte/econbse Bequest motives nd fertility decisions B Ritsuko Futgmi, Kimiyoshi Kmd b, *, Tkshi Sto c Deprtment of Mngement Informtion Systems, Chubu
More informationOutline. CS 188: Artificial Intelligence Spring Speeding Up Game Tree Search. Minimax Example. Alpha-Beta Pruning. Pruning
CS 188: Artificil Intelligence Spring 2011 Lecture 8: Gme, MDP 2/14/2010 Pieter Abbeel UC Berkeley Mny lide dpted from Dn Klein Outline Zero-um determinitic two plyer gme Minimx Evlution function for non-terminl
More informationEFFECTS OF THE SINGLE EUROPEAN MARKET ON WELFARE OF THE PARTICIPATING COUNTRIES (theoretical approach)
EFFECTS OF THE SINGLE EUROEAN MARKET ON ELFARE OF THE ARTICIATING COUNTRIES theoretil pproh O ELHD&DU\:DUVDZ6FKRRORIFRRLFV:DUVDZRODG Agnieszk Rusinowsk, rsw Shool of Eonomis, rsw, olnd In this note we
More informationDouble sampling plan for Truncated Life test based on Kumaraswamy-Log-Logistic Distribution
IOSR Journl of Mthemtics (IOSR-JM) e-issn: 2278-5728,-ISSN: 239-765X, Volume 7, Issue 4 (Jul. - Aug. 203), PP 29-37 Double smling ln for Truncted Life test bsed on Kumrswmy-Log-Logistic Distribution Dr.
More informationCSCI 104 Splay Trees. Mark Redekopp
CSCI 0 Sply Trees Mrk edekopp Soures / eding Mteril for these slides ws derived from the following soures https://www.s.mu.edu/~sletor/ppers/selfdjusting.pdf http://digitl.s.usu.edu/~lln/ds/notes/ch.pdf
More informationAnnouncements. CS 188: Artificial Intelligence Fall Reinforcement Learning. Markov Decision Processes. Example Optimal Policies.
CS 188: Artificil Intelligence Fll 2008 Lecture 9: MDP 9/25/2008 Announcement Homework olution / review eion: Mondy 9/29, 7-9pm in 2050 Vlley LSB Tuedy 9/0, 6-8pm in 10 Evn Check web for detil Cover W1-2,
More informationOptimal firm's policy under lead time- and price-dependent demand: interest of customers rejection policy
Optiml firm's policy under led time- nd price-dependent demnd: interest of customers rejection policy Abduh Syid Albn Université Grenoble Alpes, G-SCOP, F-38000 Grenoble, Frnce bduh-syid.lbn@grenoble-inp.org
More informationRoma December 2008 Cadastre and agriculture subsidies : the Spanish experience
Cdstre nd griculture susidies : the Spnish experience Evolution of the Common Agriculturl Policy (CAP), The role of Cdstre The LPIS nd the SIGPAC Towrds Interoperility Evolution of Common Agriculturl Policy
More informationPROPOSAL FOR RULES CHANGE
PROPOSAL FOR RULES CHANGE S/NO.315 Rule Cnge Title: Mrket Rules Modifiction for LNG Vesting Sceme Submitted By : Compny: Dte: Telepone No. Ms Nerine Teo Energy Mrket Compny Pte Ltd 25 September 2012 67793000
More informationProblem Set for Chapter 3: Simple Regression Analysis ECO382 Econometrics Queens College K.Matsuda
Problem Set for Chpter 3 Simple Regression Anlysis ECO382 Econometrics Queens College K.Mtsud Excel Assignments You re required to hnd in these Excel Assignments by the due Mtsud specifies. Legibility
More informationINF 4130 Exercise set 5, 2017 w/ solutions
INF 4130 Execise set 5, 2017 w/ solutions Execise 1 List the oe in which we extct the noes fom the Live Set queue when we o eth fist sech of the following gph (tee) with the Live Set implemente s LIFO
More informationPricing Resources on Demand
Pricing Resources on Demnd Costs Courcouetis, Sergios Soursos nd Richrd Weer Athens University of Economics nd Business Emil: courcou, sns@ue.gr University of Cmridge Emil: rrw@sttsl.cm.c.uk Astrct Trditionl
More informationPatents, R&D investments, and Competition
Ptents, R&D investments, nd Competition Tois Mrkepnd June 8, 2008 Astrct We nlyze the incentives of firm to crete sleeping ptents, i.e., to tke out ptents which re not exploited. We show tht sleeping ptents
More informationPRICING CONVERTIBLE BONDS WITH KNOWN INTEREST RATE. Jong Heon Kim
Kngweon-Kyungki Mth. Jour. 14 2006, No. 2, pp. 185 202 PRICING CONVERTIBLE BONDS WITH KNOWN INTEREST RATE Jong Heon Kim Abstrct. In this pper, using the Blck-Scholes nlysis, we will derive the prtil differentil
More information3. Argumentation Frameworks
3. Argumenttion Frmeworks Argumenttion current hot topic in AI. Historiclly more recent thn other pproches discussed here. Bsic ide: to construct cceptble set(s) of beliefs from given KB: 1 construct rguments
More informationTechnical Report Global Leader Dry Bulk Derivatives
Soybens Mrch 17 - Weekly Soybens Mrch 17 - Dily Weekly Close US$ 1,054 ½ RSI 59 MACD Bullish The hisgrm is widening S1 US$ 1,016 ½ S2 US$ 993 R1 US$ 1,071 R2 US$ 1,096 Dily Close US$ 1,030 RSI 60 MACD
More informationCOMPLETE COVER - `ADD ON' TO TRAVEL INSURANCE POLICIES CONFERENCE & EVENT ORGANISERS SCHEDULE
SPECIMEN ONLY COMPLETE COVER - `ADD ON' TO TRAVEL INSURANCE POLICIES CONFERENCE & EVENT ORGANISERS SCHEDULE Policy Numer: Policyholder: Certificte of Insurnce: PPIP(E) Period of Insurnce: Finncil Loss:
More informationA portfolio approach to the optimal funding of pensions
Economics Letters 69 (000) 01 06 www.elsevier.com/ locte/ econbse A portfolio pproch to the optiml funding of pensions Jysri Dutt, Sndeep Kpur *, J. Michel Orszg b, b Fculty of Economics University of
More informationTechnical Report Global Leader Dry Bulk Derivatives. FIS Technical - Grains And Ferts. Highlights:
Technicl Report Technicl Anlyst FIS Technicl - Grins And Ferts Edwrd Hutn 442070901120 Edwrdh@freightinvesr.com Client Reltions Andrew Cullen 442070901120 Andrewc@freightinvesr.com Highlights: SOY remins
More informationDecision Making Under Uncertainty
CSC384: Intro to Artificil Intelligence Preferences Decision Mking Under Uncertinty Decision Trees DBN: 15.1 nd 15.5 Decision Network: 16.1,16.2,16.5,16.6 I give root plnning prolem: I wnt coffee ut coffee
More informationNon-Deterministic Search. CS 188: Artificial Intelligence Markov Decision Processes. Grid World Actions. Example: Grid World
CS 188: Artificil Intelligence Mrkov Deciion Procee Non-Determinitic Serch Dn Klein, Pieter Abbeel Univerity of Cliforni, Berkeley Exmple: Grid World Grid World Action A mze-like problem The gent live
More informationchecks are tax current income.
Humn Short Term Disbility Pln Wht is Disbility Insurnce? An esy explntion is; Disbility Insurnce is protection for your pycheck. Imgine if you were suddenly disbled, unble to work, due to n ccident or
More informationIs the Armington Elasticity Really Constant across Importers?
MPRA Munich Personl RePEc Archive Is the Armington Elsticity Relly Constnt cross Importers? Hn Yilmzudy June 2009 Online t http://mpr.u.uni-muenchen.de/15954/ MPRA Pper No. 15954, posted 30. June 2009
More informationThe phases of a simple compiler: Compiler Construction SMD163. From Intermediate To Target: An Optimizing Compiler: Lecture 13: Instruction selection
Compiler Constrution SMD163 The phses of simple ompiler: Lexer Prser Stti Anlysis IA32 Code Genertor Leture 13: Instrution seletion Viktor Leijon & Peter Jonsson with slides y John Nordlnder Contins mteril
More informationInteracting with mathematics in Key Stage 3. Year 9 proportional reasoning: mini-pack
Intercting with mthemtics in Key Stge Yer 9 proportionl resoning: mini-pck Intercting with mthemtics Yer 9 proportionl resoning: mini-pck Crown copyright 00 Contents Yer 9 proportionl resoning: smple unit
More informationUNCORRECTED. Fractions, decimals, percentages and financial 4mathematics
Online resources Auto-mrked chpter pre-test Video demonstrtions of ll worked exmples Interctive widgets Interctive wlkthroughs Downlodle HOTsheets Access to ll HOTmths Austrlin Curriculum courses Access
More informationLong-term Memory Review PROFICIENCY PRACTICE: MONDAY REVIEW
PROFICINCY PRACTIC: MONDAY RVIW : A D 14 cm B 21 cm C 2) Use : The tringles in the figure ove re similr. ) nd re mesures of corresponding sides. ) nd re mesures of nother pir of corresponding sides. 3)
More informationDPClass: An Effective but Concise Discriminative Patterns-Based Classification Framework
DPClss: An Effective but Concise Discrimintive Ptterns-Bsed Clssifiction Frmework Jingbo Shng Wenzhu Tong Jin Peng Jiwei Hn Deprtment of Computer Science, University of Illinois t Urbn-Chmpign, Urbn, IL,
More informationMulti-Step Reinforcement Learning: A Unifying Algorithm
Multi-Step Reinforcement Lerning: A Unifying Algorithm Kristopher De Asis, 1 J. Fernndo Hernndez-Grci, 1 G. Zchris Hollnd, 1 Richrd S. Sutton Reinforcement Lerning nd Artificil Intelligence Lbortory, University
More informationOption exercise with temptation
Economic Theory 2008) 34: 473 501 DOI 10.1007/s00199-006-0194-3 RESEARCH ARTICLE Jinjun Mio Option exercise with tempttion Received: 25 Jnury 2006 / Revised: 5 December 2006 / Published online: 10 Jnury
More informationFirst Assignment, Federal Income Tax, Spring 2019 O Reilly. For Monday, January 14th, please complete problem set one (attached).
First Assignment, Federl Income Tx, Spring 2019 O Reilly For Mondy, Jnury 14th, plese complete problem set one (ttched). Federl Income Tx Spring 2019 Problem Set One Suppose tht in 2018, Greene is 32,
More informationAccess your online resources today at
978--07-670- - CmbridgeMths: NSW Syllbus for the Austrlin Curriculum: Yer 0: Stte./. Access your online resources tody t www.cmbridge.edu.u/go. Log in to your existing Cmbridge GO user ccount or crete
More informationMath-3 Lesson 2-5 Quadratic Formula
Mth- Lesson - Qudrti Formul Quiz 1. Complete the squre for: 10. Convert this perfet squre trinomil into the squre of inomil: 6 9. Solve ompleting the squre: 0 8 Your turn: Solve ftoring. 1.. 6 7 How would
More information2x2x2 Heckscher-Ohlin-Samuelson (H-O-S) Model with no factor substitution
2x2x2 Heckscher-Ohlin-Smuelson (H-O-S) odel with no fctor substitution In the H-O-S model we will focus entirely on the role of fctor sulies nd ssume wy differences in technology. Therefore, unlike in
More informationSuffix trees and their uses
Prt I Suffi trees nd their uses Introdution to suffi trees A suffi tree is dt struture tht eposes the internl struture of string in deeper wy thn does the fundmentl preproessing disussed in Setion?? Suffi
More informationProblem Set 4 - Solutions. Suppose when Russia opens to trade, it imports automobiles, a capital-intensive good.
roblem Set 4 - Solutions uestion Suppose when ussi opens to trde, it imports utomobiles, cpitl-intensive good. ) According to the Heckscher-Ohlin theorem, is ussi cpitl bundnt or lbor bundnt? Briefly explin.
More informationAS and A Level Economics A
AS nd A Level Economics A Getting Strted Guide Person Edexcel Level 3 Advnced GCE in Economics A (9EC0) Person Edexcel Level 3 Advnced Susidiry GCE in Economics A (8EC0) Getting Strted: AS nd A level Economics
More informationResearch Article Existence of Positive Solution to Second-Order Three-Point BVPs on Time Scales
Hindwi Publishing Corportion Boundry Vlue Problems Volume 2009, Article ID 685040, 6 pges doi:10.1155/2009/685040 Reserch Article Existence of Positive Solution to Second-Order hree-point BVPs on ime Scles
More informationInternational Budget Partnership OPEN BUDGET QUESTIONNAIRE POLAND
Interntionl Budget Prtnership OPEN BUDGET QUESTIONNAIRE POLAND September 28, 2007 Interntionl Budget Prtnership Center on Budget nd Policy Priorities 820 First Street, NE Suite 510 Wshington, DC 20002
More information