A New Upper Bound on 2D Online Bin Packing
|
|
- Karin Hampton
- 6 years ago
- Views:
Transcription
1 50 A New Upper Bound on 2D Onlne Bn Packng XIN HAN, Dalan Unverty of Technology FRANCIS Y. L. CHIN and HING-FUNG TING, The Unverty of Hong Kong GUOCHUAN ZHANG, Zhejang Unverty YONG ZHANG, The Unverty of Hong Kong The 2D Onlne Bn Packng a fundamental problem n Computer Scence and the determnaton of t aymptotc compettve rato ha reearch attenton. In a long ere of paper, the lower bound of th rato ha been mproved from 1.808, to and t upper bound reduced from 3.25, , , to In th artcle, we rewrte the upper bound record to Our dea for the mprovement a follow. In 2002, Seden and van Stee [Seden and van Stee 2003] propoed an elegant algorthm called H C, compred of the Harmonc algorthm H and the Improved Harmonc algorthm C, for the two-dmenonal onlne bn packng problem and proved that the algorthm ha an aymptotc compettve rato of at mot Snce the bet known onlne algorthm for one-dmenonal bn packng the Super Harmonc algorthm [Seden 2002], a natural queton to ak : could a better upper bound be acheved by ung the Super Harmonc algorthm ntead of the Improved Harmonc algorthm? However, a mentoned n Seden and van Stee [2003], the prevou analy framework doe not work. In th artcle, we gve a potve anwer for th queton. A new upper bound of obtaned for 2-dmenonal onlne bn packng. The man dea to develop new weghtng functon for the Super Harmonc algorthm and propoe new technque to bound the total weght n a rectangular bn. Categore and Subject Decrptor: F.2.2 [Analy of Algorthm and Problem Complexty]: Nonnumercal Algorthm and Problem 2D bn packng General Term: Algorthm Addtonal Key Word and Phrae: Onlne algorthm, bn packng problem, compettve rato ACM Reference Format: Han, X., Chn, F. Y. L., Tng, H.-F., Zhang, G., and Zhang, Y A new upper bound on 2D onlne bn packng. ACM Tran. Algor. 7, 4, Artcle 50 (September 2011), 18 page. DOI = / INTRODUCTION In two-dmenonal bn packng, each tem (w, h ) a rectangle of wdth w 1and heght h 1. Gven a lt of uch rectangular tem, one aked to pack all of them nto a mnmum number of quare bn of de length one o that ther de are parallel to the de of the bn. Rotaton not allowed. The problem clearly trongly X. Han wa partally upported by the Fundamental Reearch Fund for the Central Unverte and NFSC ( ). G. Zhang wa partally upported by NSFC ( ). Author addree: X. Han, Software School, Dalan Unverty of Technology, Road 8, Economy and Technology Development Zone, Dalan, P.R. Chna, ; emal: hanxn.mal@gmal.com; F. Y. L. Chn, H.-F. Tng, and Y. Zhang, Department of Computer Scence, The Unverty of Hong Kong, Pokfulam, Hong Kong, Chna; emal: {chn, hftng, yzhang}@c.hku.hk; G. Zhang, College of Computer Scence, Zhejang Unverty, ZheDa Road 38, Hangzhou , Chna; emal: zgc@zju.edu.cn. Permon to make dgtal or hard cope of part or all of th work for peronal or claroom ue granted wthout fee provded that cope are not made or dtrbuted for proft or commercal advantage and that cope how th notce on the frt page or ntal creen of a dplay along wth the full ctaton. Copyrght for component of th work owned by other than ACM mut be honored. Abtractng wth credt permtted. To copy otherwe, to republh, to pot on erver, to redtrbute to lt, or to ue any component of th work n other work requre pror pecfc permon and/or a fee. Permon may be requeted from Publcaton Dept., ACM, Inc., 2 Penn Plaza, Sute 701, New York, NY USA, fax +1 (212) , or permon@acm.org. c 2011 ACM /2011/09-ART50 $10.00 DOI /
2 50:2 X. Han et al. NP-hard nce t a generalzaton of the one-dmenonal bn packng problem [Coffman et al. 1987]. In th artcle, we wll conder the onlne veron of twodmenonal bn packng, n whch the tem are releaed one by one and we mut rrevocably pack the current tem nto a bn wthout any nformaton on the next tem. Before preentng the prevou reult and our work, we frt revew the tandard meaure for onlne bn packng algorthm. Aymptotc Compettve Rato. To evaluate an onlne algorthm for bn packng problem, we ue the aymptotc compettve rato defned a follow. Conder an onlne algorthm A. For any lt L of tem, let A(L) be the cot (number of bn ued) ncurred by algorthm A and let OPT(L) be the correpondng optmal value. Then, the aymptotc compettve rato for algorthm A R A = lm up max{a(l)/opt(l) OPT(L) = k}. k L Prevou Work. Bn packng ha been well-tuded. For the one-dmenonal cae, Johnon et al. [1974] howed that the Frt Ft algorthm (FF) ha an aymptotc compettve rato of 1.7. Yao [1980] mproved algorthm FF wth a better upper bound of 5/3. Lee and Lee [1985] ntroduced the cla of Harmonc algorthm, for whch an aymptotc compettve rato of wa acheved. Ramanan et al. [1989] further mproved the upper bound to The bet known upper bound o far from the Super Harmonc algorthm by Seden [2002] whoe aymptotc compettve rato at mot A for the negatve reult, Yao [1980] howed that no onlne algorthm ha aymptotc compettve rato le than 1.5. Brown [1979] and Lang [1980] ndependently provded a better lower bound of The bet known lower bound to date [van Vlet 1992]. A for two-dmenonal onlne bn packng, a lower bound of 1.6 wa gven by Galambo [1991]. The reult wa gradually mproved to [Galambo and van Vlet 1994], [van Vlet 1995], and [Bltz et al. 1996]. Coppermth and Raghan [1989] gave the frt onlne algorthm wth aymptotc compettve rato Crk et al. [1993] mproved the upper bound to Crk and van Vlet [1993] preented an algorthm for all d dmenon, where n partcular for two dmenon, they obtaned a rato of at mot Baed on the technque of the Improved Harmonc, Han et al. [2001] mproved the upper bound to The bet known onlne algorthm to date the one called A C preented by Seden and van Stee [2003], where A and C tand for two one-dmenonal onlne bn packng algorthm. Bacally, A and C are appled to one dmenon of the tem wth roundng ze. In th emnal paper, Seden and van Stee proved that the aymptotc compettve rato of H C at mot , where H the Harmonc algorthm [Lee and Lee 1985] and C an ntance of the mproved Harmonc algorthm. It ha been open nce then to mprove the upper bound. A natural dea to ue an ntance of the Super Harmonc algorthm [Seden 2002] ntead of the mproved Harmonc algorthm. However, a mentoned n Seden and van Stee [2003], n that cae, the prevou analy framework cannot be extended to Super Harmonc. We alo brefly overvew the offlne reult on two-dmenonal bn packng. Chung et al. [1982] howed an approxmaton algorthm wth an aymptotc performance rato of Caprara [2002] mproved the upper bound to Banal et al. [2009] derved a randomzed algorthm wth aymptotc performance rato of at mot A for the negatve reult, Banal et al. [2006] howed that the two-dmenonal bn packng problem doe not admt an aymptotc polynomal-tme approxmaton cheme. For the pecal cae where tem are quare, there alo a large number of reult [Coppermth and Paghavan 1989; Seden and van Stee 2003; Myazawa and Wakabayah 2003; Epten and van Stee 2004, 2005b, 2005a; Han et al. 2006].
3 A New Upper Bound on 2D Onlne Bn Packng 50:3 Epecally for bounded pace onlne algorthm, Epten and van Stee [2005b] gave an optmal onlne algorthm. Our Contrbuton. There are two man contrbuton n th artcle. We revt the 1D onlne bn-packng algorthm: Super Harmonc, and gve new weghtng functon for t, whch are much mpler than the one ntroduced n Seden [2002], and the new weghtng functon have nteret n t own. We generalze the prevou analy framework for 2D onlne bn-packng algorthm ued n Seden and van Stee [2003], and how that the new analy framework very ueful n analyzng 2D or multdmenonal onlne bn-packng problem. By combnng the new weghtng functon wth the new analy framework, we degn a new 2D onlne bn-packng algorthm wth a compettve rato , whch mprove the prevou bound of n 2002 [Seden and van Stee 2003]. A mentoned n Seden and van Stee [2003], the old analy framework doe not work well wth the old weghtng functon n Seden [2002], that, the old approach doe not guarantee an upper bound better than Th tetfed n the followng way: conder our algorthm, f we ue old weghtng functon wth the old framework to analyze t, the compettve rato at leat 3.04, and f we ue the old weghtng functon wth the new framework, the compettve rato at leat Organzaton of Th Artcle. Secton 2 wll revew the Harmonc and Super Harmonc algorthm a prelmnare. Secton 3 defne the weghtng functon for Super Harmonc. Secton 4 decrbe and analyze the two-dmenonal onlne bn-packng algorthm H SH+. Secton 5 conclude. 2. PRELIMINARIES We frt revew two onlne algorthm for one-dmenonal bn packng, Harmonc and Super Harmonc, whch are employed n degnng onlne algorthm for twodmenonal bn packng The Harmonc Algorthm The Harmonc algorthm a fundamental bn packng algorthm wth a mple and nce tructure, that wa ntroduced by Lee and Lee [1985]. The algorthm work a follow. Gven a potve nteger k, each tem mmedately clafed nto one of k type accordng to t ze upon t arrval. In partcular, f an tem ha a ze n nterval (1/( + 1), 1 ] for ome nteger, where 1 < k, then t a type tem; otherwe, t of type k. The type tem then packed, ung the mple Next Ft (NF) algorthm, nto the open (not fully packed) bn degnated to contan type tem excluvely; new bn are opened when neceary. At any tme, there at mot one open bn for each type and any cloed (fully packed) bn for type packed exactly wth tem of type for 1 < k. For an tem of ze x, we defne a weghtng functon W H (x) for the Harmonc algorthm a follow: { 1 W H (x) =, f 1 +1 < x 1 wth 1 < k. k k 1 x f 0 < x 1 k. The followng lemma drectly from Lee and Lee [1985]. LEMMA 2.1. For any lt L, we have H(L) p L W H (p) + O(1), where H(L) the number of bn ued by the Harmonc algorthm for lt L.
4 50:4 X. Han et al The Super Harmonc Algorthm The Super Harmonc algorthm [Seden 2002] a generalzaton of the Improved Harmonc algorthm and the Harmonc algorthm. Super Harmonc frt clafe each tem nto one of k+ 1 type, where k a potve nteger, and then agn to the tem a color of ether blue or red. It allow tem of up to two dfferent type to hare the ame bn. In any one bn, all tem of the ame type have ame color and tem of dfferent type have dfferent color. For tem of type ( k), the algorthm mantan two parameter β and γ to bound repectvely the number of blue tem and the number of red tem n a bn. More detal are gven n th ecton. Clafcaton nto Type. Let t 1 = 1 > t 2 > > t k > t k+1 = ɛ>t k+2 = 0 be real number. An nterval I defned to be (t +1, t ], for = 1,...,k + 1. An tem wth ze x of type f x I. Colorng Red or Blue. Each type tem alo agned a color, ether red or blue, for k. The algorthm ue two et of counter, e 1,...,e k and 1,..., k, all of whch are ntally zero. The total number of type tem denoted by, whle the number of type red tem denoted by e.for1 k, durng the packng proce, the fracton of type tem that are red mantaned, that, e = α, where α 1,...,α k [0,1] are contant. Maxmal Number of Blue Item. Let β = 1/t for 1 k, that the maxmal number of blue tem of type that can be accepted n a ngle bn. Space Left for Red Item. Let δ = 1 t β, whch the lower bound of the pace left when a bn cont of β blue tem of type. If poble, we want to ue the pace left for mall red tem. Note that, n the algorthm, n order to mplfy the analy, ntead of ung δ, le pace ued, namely D ={ 0, 1,..., K }, a the pace nto whch red tem can be packed, where 0 = 0 < 1 < < K < 1/2 andk k. Let φ() be the pace to be ued to accommodate red tem n a bn that hold β blue tem of type, where functon φ defned a {1,...,k} {0,...,K} uch that φ() the maxmum number uch that φ() δ.ifφ() = 0, then no red tem are accepted. We et α = 0ft > K. For convenent ue n our analy n the next ecton, we ntroduce a functon called ϕ(), whch gve the ndex of the mallet pace n D nto whch a red tem of type can be placed: ϕ() = mn{ j t j, 1 j K}. Maxmal Number of Red Item. Now we defne γ.letγ = 0ft > K ; otherwe, γ = max{1, 1 /t }, that,f 1 < t K,weetγ = 1, otherwe, γ = 1 /t. Namng Bn. It alo convenent to name the bn by group a follow. {() φ = 0, 1 k}. {(,?) φ 0, 1 k}. {(?, j) α j 0, 1 j k}. {(, j) φ 0,α j 0,γ j t j φ(), 1, j k}. Group () cont of bn that hold only blue tem of type. Group (, j) cont of bn that contan blue tem of type and red tem of type j. Blue group (,?) and red group (?, j) are ndetermnate bn currently contanng only blue tem of type or red tem of type j repectvely. Durng packng, red tem or blue tem wll be packed nto ndetermnate bn f neceary, that, ndetermnate bn wll be changed nto (, j).
5 A New Upper Bound on 2D Onlne Bn Packng 50:5 The Super Harmonc algorthm outlned a follow. Super Harmonc Algorthm (1) For each tem p : type of p, (a) f = k + 1 then ue NF algorthm, (b) ele + 1; f e < α then e e + 1; { color p red }. If there a bn n group (?, ) wth fewer than γ type tem, then place p n t. Ele f, for any j, there a bn n group ( j, ) wth fewer than γ type tem then place p n t.. Ele f there ome bn n group ( j,?) uch that φ( j) γ t, then pack p n t and change the bn nto ( j, ).. Otherwe, open a bn (?, ), pack p n t. (c) ele {color p blue}:. f φ = 0 then f there a bn n group wth fewer than β tem then pack p n t, ele open a new group bn, then pack p n t.. Ele: A. f, for any j, there a bn n group (, j) or(,?) wth fewer than β type tem, then pack p n t. B. Ele f there a bn n group (?, j) uchthat φ() γ j t j then pack p n t, and change the group of th bn nto (, j). C. Otherwe, open a new bn (,?) and pack p n t. 3. NEW WEIGHTING FUNCTIONS FOR SUPER HARMONIC In th ecton, we develop new weghtng functon for Super Harmonc that are mpler than the weghtng ytem n Seden [2002]. The weghtng functon wll be ueful n analyzng the propoed onlne algorthm a we hall ee n the next ecton Intuton for Defnng Weght Weghtng functon are wdely ued n analyzng onlne bn-packng problem. Roughly peakng, for an tem, the value by one of weght functon the fracton of a bn occuped by the tem n the onlne algorthm. There a contrant n defnng weght for tem for an onlne algorthm, whch wll be gven later. We wll ue K +1 weghtng functon. Let W (p) betheth weght of an tem p, where 1 K + 1. For any nput L, the contrant { } A(L) max W (p) + O(1), (1) 1 K+1 p L where A(L) the number of bn ued by algorthm A. Conder the Super Harmonc algorthm. For 1 k, let be the number of type pece. For 1, k, letb (), B (,), B (,?), B (?,) be the number of bn n group (), (, ), (,?), and (?, ). Then we have { B () + } B (,) + B (,?) = (1 α ) + O(1) (2) β and { B (?,) + } B (,) = α + O(1). (3) γ So, for each tem wth ze x I, where k, f we defne t weght a: 1 α β + α γ,
6 50:6 X. Han et al. then t not dffcult to ee that the contrant (1) hold. However, th weghtng functon not good enough, that, t alway lead to a compettve rato of at leat f we ue th weghtng functon to analyze the Super Harmonc algorthm. The man reaon that for each bn n group (, ) we account t twce, where 1, k. Next, we gve ome ntuton for mprovng th weghtng functon. By (2) and (3), oberve that B (,) (1 α ) β + O(1) (4) and So, we have B (,) B (,) = B (,) + B (,) 2 (1 α ) + α + O(1) 2β 2γ ( 1 α = + α ) + O(1). 2β 2γ α γ + O(1). (5) Hence, for an tem wth ze x I, after packng, f there a bn n group (, ) and alo a bn n group (, ), then we can defne t weght a below: 1 α 2β + α 2γ. Th the man ntuton for defnng our new weghtng functon, whch wll be gven n the next ubecton New Weghtng Functon Remember that n Super Harmonc, there a et D ={ 0, 1,..., K } repreentng the free pace reerved for red tem. Recall the two functon φ() and ϕ() are related to free pace and have the followng meanng: φ() = j mple that free pace j reerved for red tem n a bn contng of β blue tem of type, andϕ() = j ndcate that a red tem of type could be packed n free pace j. We are now ready to defne new weghtng functon. Item wth ze larger than ɛ wll be frt condered. Let E be the number of ndetermnate red group bn (?, ) when the whole packng done. If E = 0, that, every red tem placed n a bn wth one or more blue tem, then we defne the weghtng functon a: W 1 (x) = 1 α β f x I. (6) Otherwe, E > 0 mple that for ome, an ndetermnate red group bn (?, ) ext after packng. Let r be the type of the mallet red tem n the ndetermnate red group
7 A New Upper Bound on 2D Onlne Bn Packng 50:7 bn. If 2 ϕ(r) K, then we defne the correpondng weghtng functon a follow: 1 α β + α 2γ f x I,φ() <ϕ(r) andϕ() <ϕ(r), 1 α W K+2 ϕ(r) β + α γ f x I,φ() <ϕ(r) andϕ() ϕ(r), (x) = 1 α 2β + α γ f x I,φ() ϕ(r) andϕ() ϕ(r), f x I,φ() ϕ(r) andϕ() <ϕ(r). 1 α 2β + α 2γ If ϕ(r) = 1, we defne W K+1 (x) = 1 α β f x I,φ() = 0andϕ() = 0, 1 α β + α γ f x I,φ() = 0andϕ() > 0, 0 f x I,φ() > 0andϕ() = 0, α γ f x I,φ() > 0andϕ() > 0. Note that n thee defnton, f γ = 0 then we replace α γ ze x I k+1, we alway defne W j (x) = x/(1 ɛ) for all j. wth zero. For an tem wth THEOREM 3.1. For any lt L, we have A(L) max W (p) 1 K+1 + O(1), p L where A(L) the number of bn ued by Super Harmonc for lt L. PROOF. Fx a lt L.LetDbe the um of the ze of the tem of type (k+1). By NEXT FIT, we know that the number of bn ued for type (k + 1) at mot D/(1 ɛ) + 1. Agan, we ue E to denote the number of ndetermnate red group bn when all the packng done. For 1 k, let be the number of type pece. Let B (), B (,), B (,?), B (?,) be the number of bn n group (), (, ), (,?) and (?, ). To prove th theorem, we conder two cae. Cae 1. If E = 0, that, B (?,) = 0, every red tem packed n a bn wth one or more blue tem. Therefore, we jut need to count bn contanng blue tem: A(L) D 1 ɛ + { B () + } B (,) + B (,?) + O(1) W 1 (x) + (1 α ) + O(1) by (2) β x I k+1,x L = W 1 (x) + W 1 (x) + O(1). x I k+1,x L x / I k+1,x L Cae 2. E > 0. We frt bound the number of bn of B (?,) and B (,?) for all, then conder two ubcae to bound the total number of bn ued. Aume that ϕ(r) = j 1 (by the defnton of functon ϕ). Let e be the mallet red tem n ndetermnate red group bn and r be t type. Then, every type red tem wth ϕ() < j placed n a fnal group bn (, ); otherwe, tem e would not be the mallet
8 50:8 X. Han et al. red tem. Hence, we have ϕ()< j B (?,) = 0. (7) On the other hand, we know a bn B (?,r) and a bn B (,?) cannot ext at the ame tme by the rule of Super Harmonc f φ() j. Hence, we have B (,?) = 0. (8) φ() j In accordance wth the Super Harmonc algorthm, for any type bn B (),wehave Defne φ() = 0. (9) X = φ() j ϕ()< j B (,), whch the total number of all the bn n group (, ) uch that φ() j and ϕ() < j. Then, we have A(L) D 1 ɛ + ( ) B() + B (,?) + B (?,) + B (,) + O(1) = D 1 ɛ + ( ) B() + B (,?) + B (?,) + X + B (,) φ()< j + B (,) + O(1) ϕ() j = D 1 ɛ + + ϕ() j φ()< j ( B () + B (,?) + ( B (?,) + B (,) ) B (,) ) + X + O(1). (10) The lat nequalty hold from equalte B () = φ()< j B () φ()< j B (,?) by (8) and B (?,) = ϕ() j B (?,) by (7). by (9), B (,?) = Cae 2.1. j 2. By the defnton of varable X, wehave X It not dffcult to ee, X j φ() K j φ() K B (,) and X B (,) + 1 ϕ() j 1 1 ϕ() j 1 B (,). B (,) / 2. (11)
9 A New Upper Bound on 2D Onlne Bn Packng 50:9 Hence, by (10) and (11), we have A(L) D 1 ɛ + ( B () + B (,?) + φ()< j + B (,) 2 + = φ() j D 1 ɛ + φ()< j D 1 ɛ + + φ() j ϕ() j x I k+1,x L φ()< j ϕ()< j ϕ()< j ) B (,) + ( B (?,) + B (,) 2 + O(1) φ()< j ϕ() j ϕ() j B (,) ) (1 α ) + α + (1 α ) + α + O(1) β γ 2β 2γ ϕ() j φ() j ϕ()< j ( (1 α ) + α ) + ( (1 α ) + α ) β 2γ β γ ( (1 α ) 2β W K+2 j (x) + + α ) + γ φ() j x / I k+1,x L ϕ()< j ( (1 α ) 2β W K+2 j (x) + O(1), + α ) + O(1) 2γ where the econd nequalty follow drectly from (2) and (3) and the lat equalty hold from the new weghtng functon defned n Subecton 3.2. Cae 2.2. j = 1. In accordance wth the Super Harmonc algorthm, for any type of bn (, ), we have ϕ() 1, where 1, k and k a parameter defned n Super Harmonc. Hence, there no uch bn (, ) wthϕ() < 1, that, X =. Then, by (10), we have A(L) = D 1 ɛ + φ()<1 D 1 ɛ + φ()=0 D 1 ɛ + x I k+1,x L φ()=0 ϕ()=0 ( B () + B (,?) + ) B (,) + ( B (?,) + ϕ() 1 (1 α ) + α + O(1) β γ (1 α ) β W K+1 (x) + ϕ() 1 + x / I k+1,x L φ()=0 ϕ()>0 ( (1 α ) β W K+1 (x) + O(1), B (,) ) + O(1) + α ) + α + O(1) γ γ φ()>0 ϕ()>0 where the lat equalty hold from the new weghtng functon defned n Secton 3.2. Therefore, we have A(L) max 1 K+1 { p L W (p)}+o(1). 4. ALGORITHM H SH + AND ITS ANALYSIS In the ecton, we frt revew a cla of onlne algorthm for two dmenonal onlne bn packng, called H C [Seden and van Stee 2003]. Next we ntroduce a new ntance of algorthm H SH+, where H Harmonc and SH+ (Strange Harmonc+) an ntance of Super Harmonc. Then we propoe ome new technque on how to
10 50:10 X. Han et al. bound the total weght n a ngle bn, whch crucal to obtanng a better aymptotc compettve rato for the H C algorthm. Fnally, we apply new weghtng functon for SH+ to analyze the two-dmenonal onlne bn-packng algorthm H SH+ and how t compettve rato at mot , whch mple that the new weghtng functon work very well wth the generalzed approach of boundng the total weght n a ngle bn Algorthm H C and H C Now we revew two-dmenonal onlne bn-packng algorthm H C and H C [Seden and van Stee 2003], where H Harmonc and C Super Harmonc. Gven an tem p = (w, h), H C operate a follow. (1) Packng Item nto Slce. Ifw ɛ then pack p nto a lce of heght 1 and wdth t by H (Harmonc algorthm), where t +1 <w t ; ele pack t nto a lce of heght 1 and wdth ɛ(1 δ) by H (Harmonc algorthm), where ɛ(1 δ) +1 <w ɛ(1 δ) and δ>0 arbtrarly mall. (2) Packng Slce nto Bn. When a new lce requred n the tep, we allocate t from a bn ung algorthm C. H C a randomzed algorthm, whch operate a follow: before proceng begn, we flp a far con. If the reult head, then we run H C; otherwe, we run C H, that, the role of heght and wdth are nterchanged. Note that t poble to derandomze H C wthout ncreang t performance rato. For detal, we refer to Seden and van Stee [2003]. THEOREM 4.1. If an onlne 1D bn-packng algorthm C ha weghtng functon W C (x) uch that C(L) max { x L W C (x)}+o(1), then the cot by algorthm H Cfor nput L at mot 1 max W H C 2(1 δ) (p) + max W C H (p) + O(1), p L p L and the aymptotc compettve rato of algorthm H C at mot 1 2(1 δ) max max X (x,y) X W H (x)w C (y) + max (x,y) X W H (y)w C (x),, where δ a parameter defned n H C algorthm and X any et of tem that ft n a ngle bn An ntance of Super Harmonc SH + A mentoned n Seden [2002], t a hard problem to fnd approprate parameter n degnng an ntance of Super Harmonc, epecally ettng t. The parameter n
11 A New Upper Bound on 2D Onlne Bn Packng 50:11 SH+ are found through a tral-and-error way and are defned a follow: t α β δ φ() ϕ() γ / / / / / /( 13) ff() /t 50 1/ /38 0 j = φ() j Red accepted , , 13, , , , where ff() = 1.35(50 )/37( 12). Then, we have even weghtng functon for SH+, that,w C a defned n the lat ecton, where Prevou Framework for Calculatng Upper Bound In th ecton, we frt ntroduce the prevou framework for computng the upper bound of the compettve rato of H SH+, then menton that the prevou framework doe not work well wth the ntance n the lat ecton, that, the prevou framework doe not lead to a better upper bound. Let p = (x, y) be an tem. We defne the followng functon. W H C (p) = W H(x)W C (y), W C H (p) = W H(y)W C (x), and W, j (x, y) = W H(x)W C (y) + W j C (x)w H(y). 2 Then, we can obtan an upper bound on the compettve rato R of algorthm H SH+ a follow by Theorem 3.1 and 4.1, where X any et of tem that ft n a ngle bn. 1 R 2(1 δ) max max W H C X 1 7 (p) + max W C H 1 7 (p) 1 ( = max W H C (1 δ) 1, j 7,X (p) + W j C H (p)) /2 1 = max W, j (x, y) (1 δ) 1, j 7,X. (12)
12 50:12 X. Han et al. The value of R can be etmated by the followng approach. Defnton 4.2. Let f be a functon mappng from (0, 1] to R +. P( f )themathematcal program: maxmze x X f (x) ubject to x X 1, over all fnte et of real number X. WealoueP( f ) to denote the value of th mathematcal program. LEMMA 4.3 ([SEIDEN AND VAN STEE 2003]). Let f and g be functon mappng from (0, 1] to R +.LetF= P( f ) and G = P(g). Then, the maxmum of f (h(p))g(w(p)) over all fnte multet of tem X that ft n a ngle bn at mot FG, where p a rectangle and h(p) and w(p) are t heght and wdth, repectvely. In Seden and van Stee [2003], f and g are defned a below: f, j (y) = W H(y) + W C (y), 2 and g, j (x) = up 0<y 1 W, j (x, y). f, j (y) By thee defnton, we have W, j (x, y) f, j (y)g, j (x), (13) for all 0 x 1and0 y A New Framework for Calculatng Upper Bound In th ecton, we frt generalze the prevou analy framework by ntroducng a new lemma and developng new functon for f and g n order to bound the total weght n a ngle bn. Then we apply our new weghtng functon for Super Harmonc to algorthm H SH+ and obtan a new upper bound for two-dmenonal onlne bn packng. LEMMA 4.4. max X { W, j (x, y)} =max X { W j, (x, y)}, where 1, j 7 and X any feable et for one bn. PROOF. By defnton, oberve that for any 1, j 7, W, j (x, y) = W j, (y, x). (14) Let X ={p 1, p 2,...,p m } be a et of rectangle whch ft nto a ngle bn, where p = (x, y )the-th rectangle n X. If we exchange role of x and y of p to get new rectangle p = (y, x ) for all, then t not dffcult to ee that the new et X ={p 1, p 2,...,p m } alo a feable pattern, that, all tem can ft n a ngle bn. On the other hand, by Eq. (14), we have W, j (p) = W j, (p ), p X where 1, j 7. There a one-to-one mappng between X and X n all the feable pattern. Therefore, we have th lemma. New Functon f and g. We gve new functon f and g uch that () Lemma 4.3 can be appled to bound the weght n a ngle bn, and () the reultant bound not too looe. The new functon f and g are gven a follow: f, j (y) = λ, j W H (y) + (1 λ, j )W C (y),
13 A New Upper Bound on 2D Onlne Bn Packng 50:13 where 0 λ, j 1. By the ame approach ued n Seden and van Stee [2003], functon g defned here: g, j (x) = up 0<y 1 W, j (x, y). f, j (y) Note that n Seden and van Stee [2003], λ, j are 1/2 for all, j. It not dffcult to ee that (13) tll hold for all 0 x 1and0 y 1. New Approach of Calculatng P( f ). In order to ue Lemma 4.3 to obtan the upper bound on the compettve rato R of algorthm H C, we need to calculate P( f, j )and P(g, j ). Let f be one of f, j or g, j for 1, j 7. Seden [2002] wrote a programmng to enumerate all the feable pattern to get the bound for P( f ).Here,wegveample approach by callng LP olver drectly to etmate P( f ), whch can be modeled a the followng mxed nteger program (MIP): max. f = uch that 50 =1 50 =1 ( x w =1 x (t +1 + ɛ) 1, x (t +1 + ɛ) ) 1 1 t 51 (1) x 0, nteger. where x the number of type tem n a feable pattern, w the weght for an tem of type, whch decded by functon f,that,w = f (p) fp (t +1, t ]. Note t defned n Secton 4.2. We can olve the above MIP (1) by ettng ɛ = 0. However, th approach doe not gve a good approxmaton oluton nce ome nfeable oluton are nvolved and affect the optmal oluton too much. In order to reduce the error caued by ome bad nfeable oluton, we append ome contrant that wll help u to remove ome bad nfeable oluton and do not elmnate any feable oluton of MIP (1). For example, a type tem ha ze larger than 0.5 f 1 7, then at mot one of type can be accepted n one bn, that, x 1for1 7. Smlarly, we have the followng nequalte: x 2, for 8 13, x 3, for 14 15, x 12, for 16 17, x 18 + x 19 6, x 13, for Moreover, we can add ome complcated contrant uch a 2x 7 + x , 3x 7 + 2x 13 + x , 4x x 15 + x , 5x x x 18 9, 12x 7 + 8x x 20 + x 36 23, 9x 7 + 6x x 21 + x Th contrant do not elmnate any feable oluton of MIP (1). For example, conder the contrant 5x x x Snce an tem of type 7 ha ze larger than 0.5, an tem of type 11 ha ze larger than and an tem of type 18 ha ze
14 50:14 X. Han et al. larger than 0.147, we have 0.5x x x 18 < 1. Equvalently, we have 5x x x 18 < 10. It not dffcult to ee that the nequalty 5x x x 18 9 equvalent to 5x x x 18 < 10 when x 7, x 11 and x 18 are nonnegatve nteger. For other contrant, the argument are analogou. Therefore, we remodel th MIP a follow. ( ) max. f = x w + 1 x t +1 1 (2) 1 t 51 ubject to =1 50 =1 x t +1 1, x 1, for 1 7, x 2, for 8 13, x 3, for 14 15, x 12, for 16 17, x 18 + x 19 6, x 13, for 20 50, 2x 7 + x , 3x 7 + 2x 13 + x , 4x x 15 + x , 5x x x 18 9, 12x 7 + 8x x 20 + x 36 23, 9x 7 + 6x x 21 + x 30 17, x 0, nteger. To olve MIP (2), we ue a tool for olvng lnear and nteger program called GLPK [GLP]. We wrte a program to calculate W, j (x, y), g, j (x) and f, j (y) for each (, j), and then call the API of GLPK to calculate P( f, j )andp(g, j ). The value of P( f, j )and P(g, j ) are hown n the table n Appendx. Note that when we ue Lemma 4.3 for the upper bound on the weght max X { W, j (x, y)}, for all par (, j), the calculaton are ndependent. For dfferent par (, j), λ, j may be dfferent. So, n order to get an upper bound near the true value of max X { W, j (x, y)}, we have to elect an approprate λ, j. Th can be done by a tral-and-error approach. THEOREM =1 For all δ>0, the aymptotc compettve rato of H B at mot PROOF. In accordance wth the table n Appendx, by Lemma 4.4 and Lemma 4.3, we have max W 1,2 (p) X = max W 2,1 (p) X P( f 1,2 )P(g 1,2 ) max X max X max X W 1,6 (p) = max W 6,1 (p) X P( f 6,1 )P(g 6,1 ) W 2,5 (p) = max W 5,2 (p) X P( f 5,2 )P(g 5,2 ) W 2,6 (p) = max W 6,2 (p) X P( f 6,2 )P(g 6,2 )
15 A New Upper Bound on 2D Onlne Bn Packng 50:15 For all the other (, j), by Lemma 4.3, we have max W, j (p) X P( f, j )P(g, j ) P( f 1,1 )P(g 1,1 ) Remark. If we ue the weghtng functon from Seden [2002] and the prevou analy framework, we fnd that the compettve rato at leat (run our programmng 2DHSH.c lke./2dhsh+.exe old > yourfle ) Even f we ue the new weghtng functon, by the prevou analy framework, the compettve rato tll at leat 3.04, by runnng our programmng 2DHSH.c lke./2dhsh+.exe new1 > yourfle. We alo fnd that f we ue the old weghtng functon from Seden [2002] wth the new analy framework, the compettve rato at leat (run our programmng 2DHSH.c lke./2dhsh+.exe old2 > yourfle ) The reaon that Lemma 4.3 doe not work very well wth the old weght functon, that, the reultng value F G away from the maxmum weght of tem n a ngle bn. 5. CONCLUDING REMARKS When the parameter n Super Harmonc uch a α, β, γ and φ()andϕ() are gven, we can calculate the weghtng functon of Super Harmonc W j B ( ). Then, the weghtng functon W, j (x, y) for algorthm H SH+ can be calculated a well a f, j (y) and g, j (x). For each (, j), we call the API of GLPK to olve P( f, j )andp(g, j ). To ue our program under lnux ytem: Intall GLPK, Comple: gcc -o 2DHSH+.exe 2DHSH+.c -lglpk Run:./2DHSH+.exe new2 > yourfle If there an error meage lke Could not load *.o when you comple the ource, then try to et "LD LIBRARY PATH" a follow: LD LIBRARY PATH= $LD LIBRARY PATH:/ur/local/lb, then export LD LIBRARY PATH. When we ue the tool for olvng the mxed nteger program, there are two fle whch are neceary: one the model fle for the lnear or nteger program telf (refer to Appendx), and the other the data fle where the data tored. We wrte a program to generate the data and then call the tool GLPK. (Actually, we call the API (Applcaton Program Interface) of GLPK. To download the ource fle, go to: Our framework can be appled to 3D onlne bn packng to reult n an algorthm H H SH+ wth t compettve rato ( ). APPENDIXES A. VALUES OF F I,J AND G I,J (, j) = (1, 1) (1, 2) (1, 3) (1, 4) (1, 5) (1, 6) (1, 7) λ, j P( f, j ) P(g, j ) P( f, j )P(g, j ) (, j) = (2, 1) (2, 2) (2, 3) (2, 4) (2, 5) (2, 6) (2, 7) λ, j P( f, j ) P(g, j ) P( f, j )P(g, j )
16 50:16 X. Han et al. (, j) = (3, 1) (3, 2) (3, 3) (3, 4) (3, 5) (3, 6) (3, 7) λ, j P( f, j ) P(g, j ) P( f, j )P(g, j ) (, j) = (4, 1) (4, 2) (4, 3) (4, 4) (4, 5) (4, 6) (4, 7) λ, j P( f, j ) P(g, j ) P( f, j )P(g, j ) (, j) = (5, 1) (5, 2) (5, 3) (5, 4) (5, 5) (5, 6) (5, 7) λ, j P( f, j ) P(g, j ) P( f, j )P(g, j ) (, j) = (6, 1) (6, 2) (6, 3) (6, 4) (6, 5) (6, 6) (6, 7) λ, j P( f, j ) P(g, j ) P( f, j )P(g, j ) (, j) = (7, 1) (7, 2) (7, 3) (7, 4) (7, 5) (7, 6) (7, 7) λ, j P( f, j ) P(g, j ) P( f, j )P(g, j ) B. MODEL FILE FOR GLPK AND USAGE OF OUR PROGRAM 2DHSH+.C param I:=50; param c{ n 1..I}>=0; param w{ n 1..I}; var x{ n 1..I}, nteger, >=0; maxmze f: um{ n 1..I} w[]*x[] + (1-um{ n 1..I} c[]*x[]) * 38/37;.t. x0: um{ n 1..I} c[]*x[] <= 1; x1: um{ n 1..7} x[] <= 1; x7: um{ n 8..13} x[] <= 2; x14: x[14] <= 3; x15: x[15] <= 3; x16: x[16] <= 4; x17: x[17] <= 5; x18: x[18] + x[19] <= 6; y715: 2*x[7] + x[15] <= 3.9; y71317: 3*x[7] + 2*x[13] + x[17] <= 5.9;
17 A New Upper Bound on 2D Onlne Bn Packng 50:17 end; y131524: 4*x[13] + 3*x[15] + x[24] <= 11.9; y71118: 5*x[7] *x[11] *x[18] <= 9; y : 12*x[7]+8*x[13] + 3*x[20] + x[36] <=23; y : 9*x[7] + 6*x[13] + 2*x[21] + x[30] <=17; other{ n }: x[] <= -13; ACKNOWLEDGMENTS The author wh to thank the referee for ther ueful comment on the earler draft of the artcle. Ther uggeton have helped mprove the preentaton of the paper. REFERENCES BANSAL, N., CAPRARA, A., AND SVIRIDENKO, M A new approxmaton method for et coverng problem, wth applcaton to multdmenonal bn packng. SIAM J. Comput. 39, 4, BANSAL, N., CORREA, J. R., KENYON, C., AND SVIRIDENKO, M Bn packng n multple dmenon: Inapproxmablty reult and approxmaton cheme. Math. Oper. Re. 31, 1, BLITZ,D.,VAN VLIET,A.,AND WOEGINGER, G. J Lower bound on the aymptotc wort-cae rato of onlne bn packng alorthm. Unpublhed manucrpt. BROWN, D A lower bound for on-lne one-dmenonal bn packng algorthm. Tech. rep. R864, Coordnated Scence Lab., Urbana, Illno. CAPRARA, A Packng 2-dmenonal bn n harmony. In Proceedng of the Sympoum on Foundaton of Computer Scence (FOCS) CHUNG, F., GAREY, M., AND JOHNSON, D On packng two-dmenonal bn. SIAM J. Alg. Dc. Meth. 3, 1, COFFMAN, E., GAREY, M., AND JOHNSON, D Approxmaton Algorthm for Bn Packng: A Survey, chapter 2. PWS, Boton, MA. COPPERSMITH, D. AND PAGHAVAN, P Multdmenonal on-lne bn packng: Algorthm and wort cae analy. Oper. Re. Lett 8, CSIRIK, J., FRENK, J. B. G., AND LABBÉ, M Two-dmenonal rectangle packng: On-lne method and reult. Dc. Appl. Math. 45, 3, CSIRIK, J. AND VAN VLIET, A An on-lne algorthm for multdmenonal bn packng. Oper. Re. Lett 13, EPSTEIN, L. AND VAN STEE, R Optmal onlne bounded pace multdmenonal packng. In Proceedng of the ACM-SIAM Sympoum on Dcrete Algorthm (SODA 04) EPSTEIN, L. AND VAN STEE, R. 2005a. Onlne quare and cube packng. Acta Inf. 41, 9. EPSTEIN, L. AND VAN STEE, R. 2005b. Optmal onlne algorthm for multdmenonal packng problem. SIAM J. Comput. 35, 2, GALAMBOS, G A 1.6 lower-bound for the two-dmenonal on-lne rectange bn-packng. Acta Cybern. 10, 1-2, GALAMBOS,G. AND VAN VLIET, A Lower bound for 1-, 2- and 3-dmenonal on-lne bn packng algorthm. Computng 52, 3, GLP. HAN,X.,FUJITA,S.,AND GUO, H A two-dmenonal harmonc algorthm wth performance rato IPSJ SIG Note 93, HAN, X., YE, D., AND ZHOU, Y Improved onlne hypercube packng. In Proceedng of the 4th Workhop on Approxmaton and Onlne Algorthm (WAOA) JOHNSON, D., DEMERS, A., ULLMAN, J., GAREY, M., AND GRAHAM, R Wort-cae performance bound for mple one-dmenonal packng algorthm. SIAM J. Comput. 3, 4, LEE, C. AND LEE, D A mple on-lne packng algorthm. J. ACM 32, LIANG, F A lower bound for onlne bn packng. Inf. Proc. Lett. 10, MIYAZAWA, F. AND WAKABAYASHI, Y Cube packng. Theoret. Comput. Sc. 297, 1 3, RAMANAN, P., BROWN, D., LEE, C., AND LEE, D On-lne bn packng n lnear tme. J. Algor. 10,
18 50:18 X. Han et al. SEIDEN, S On the onlne bn packng. J. ACM 49, SEIDEN, S. AND VAN STEE, R New bound for multdmenonal packng. Algorthmca 36, VAN VLIET, A An mproved lower bound for on-lne bn packng algorthm. Inf. Proc. Letter. 43, VAN VLIET, A Lower and upper bound for onlne bn packng and chedulng heurtc. Ph.D. dertaton. Eramu Unverty. YAO, A.-C New algorthm for bn. J. ACM 27, Receved October 2008; reved Aprl 2009, Aprl 2010, September 2010; accepted October 2010
Additional File 1 - Detailed explanation of the expression level CPD
Addtonal Fle - Detaled explanaton of the expreon level CPD A mentoned n the man text, the man CPD for the uterng model cont of two ndvdual factor: P( level gen P( level gen P ( level gen 2 (.).. CPD factor
More informationImprovements on Waring s Problem
Improvement on Warng Problem L An-Png Bejng, PR Chna apl@nacom Abtract By a new recurve algorthm for the auxlary equaton, n th paper, we wll gve ome mprovement for Warng problem Keyword: Warng Problem,
More informationHarmonic oscillator approximation
armonc ocllator approxmaton armonc ocllator approxmaton Euaton to be olved We are fndng a mnmum of the functon under the retrcton where W P, P,..., P, Q, Q,..., Q P, P,..., P, Q, Q,..., Q lnwgner functon
More informationImprovements on Waring s Problem
Imrovement on Warng Problem L An-Png Bejng 85, PR Chna al@nacom Abtract By a new recurve algorthm for the auxlary equaton, n th aer, we wll gve ome mrovement for Warng roblem Keyword: Warng Problem, Hardy-Lttlewood
More informationPythagorean triples. Leen Noordzij.
Pythagorean trple. Leen Noordz Dr.l.noordz@leennoordz.nl www.leennoordz.me Content A Roadmap for generatng Pythagorean Trple.... Pythagorean Trple.... 3 Dcuon Concluon.... 5 A Roadmap for generatng Pythagorean
More informationOnline Algorithms for 1-Space Bounded Multi Dimensional Bin Packing and Hypercube Packing
Online Algorithms for -Space Bounded Multi Dimensional Bin Pacing and Hypercube Pacing Yong Zhang Francis Y.L. Chin Hing-Fung Ting Xin Han Abstract In this paper, we study -space bounded multi-dimensional
More informationTeam. Outline. Statistics and Art: Sampling, Response Error, Mixed Models, Missing Data, and Inference
Team Stattc and Art: Samplng, Repone Error, Mxed Model, Mng Data, and nference Ed Stanek Unverty of Maachuett- Amhert, USA 9/5/8 9/5/8 Outlne. Example: Doe-repone Model n Toxcology. ow to Predct Realzed
More informationSpecification -- Assumptions of the Simple Classical Linear Regression Model (CLRM) 1. Introduction
ECONOMICS 35* -- NOTE ECON 35* -- NOTE Specfcaton -- Aumpton of the Smple Clacal Lnear Regreon Model (CLRM). Introducton CLRM tand for the Clacal Lnear Regreon Model. The CLRM alo known a the tandard lnear
More informationChapter 11. Supplemental Text Material. The method of steepest ascent can be derived as follows. Suppose that we have fit a firstorder
S-. The Method of Steepet cent Chapter. Supplemental Text Materal The method of teepet acent can be derved a follow. Suppoe that we have ft a frtorder model y = β + β x and we wh to ue th model to determne
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationSolution Methods for Time-indexed MIP Models for Chemical Production Scheduling
Ian Davd Lockhart Bogle and Mchael Farweather (Edtor), Proceedng of the 22nd European Sympoum on Computer Aded Proce Engneerng, 17-2 June 212, London. 212 Elever B.V. All rght reerved. Soluton Method for
More informationSeparation Axioms of Fuzzy Bitopological Spaces
IJCSNS Internatonal Journal of Computer Scence and Network Securty VOL3 No October 3 Separaton Axom of Fuzzy Btopologcal Space Hong Wang College of Scence Southwet Unverty of Scence and Technology Manyang
More informationChapter 6 The Effect of the GPS Systematic Errors on Deformation Parameters
Chapter 6 The Effect of the GPS Sytematc Error on Deformaton Parameter 6.. General Beutler et al., (988) dd the frt comprehenve tudy on the GPS ytematc error. Baed on a geometrc approach and aumng a unform
More informationLecture 10 Support Vector Machines II
Lecture 10 Support Vector Machnes II 22 February 2016 Taylor B. Arnold Yale Statstcs STAT 365/665 1/28 Notes: Problem 3 s posted and due ths upcomng Frday There was an early bug n the fake-test data; fxed
More informationEdge Isoperimetric Inequalities
November 7, 2005 Ross M. Rchardson Edge Isopermetrc Inequaltes 1 Four Questons Recall that n the last lecture we looked at the problem of sopermetrc nequaltes n the hypercube, Q n. Our noton of boundary
More informationIntroduction to Interfacial Segregation. Xiaozhe Zhang 10/02/2015
Introducton to Interfacal Segregaton Xaozhe Zhang 10/02/2015 Interfacal egregaton Segregaton n materal refer to the enrchment of a materal conttuent at a free urface or an nternal nterface of a materal.
More informationOutline and Reading. Dynamic Programming. Dynamic Programming revealed. Computing Fibonacci. The General Dynamic Programming Technique
Outlne and Readng Dynamc Programmng The General Technque ( 5.3.2) -1 Knapsac Problem ( 5.3.3) Matrx Chan-Product ( 5.3.1) Dynamc Programmng verson 1.4 1 Dynamc Programmng verson 1.4 2 Dynamc Programmng
More informationTwo Approaches to Proving. Goldbach s Conjecture
Two Approache to Provng Goldbach Conecture By Bernard Farley Adved By Charle Parry May 3 rd 5 A Bref Introducton to Goldbach Conecture In 74 Goldbach made h mot famou contrbuton n mathematc wth the conecture
More informationEstimation of Finite Population Total under PPS Sampling in Presence of Extra Auxiliary Information
Internatonal Journal of Stattc and Analy. ISSN 2248-9959 Volume 6, Number 1 (2016), pp. 9-16 Reearch Inda Publcaton http://www.rpublcaton.com Etmaton of Fnte Populaton Total under PPS Samplng n Preence
More informationThe multivariate Gaussian probability density function for random vector X (X 1,,X ) T. diagonal term of, denoted
Appendx Proof of heorem he multvarate Gauan probablty denty functon for random vector X (X,,X ) px exp / / x x mean and varance equal to the th dagonal term of, denoted he margnal dtrbuton of X Gauan wth
More informationENTROPY BOUNDS USING ARITHMETIC- GEOMETRIC-HARMONIC MEAN INEQUALITY. Guru Nanak Dev University Amritsar, , INDIA
Internatonal Journal of Pure and Appled Mathematc Volume 89 No. 5 2013, 719-730 ISSN: 1311-8080 prnted veron; ISSN: 1314-3395 on-lne veron url: http://.jpam.eu do: http://dx.do.org/10.12732/jpam.v895.8
More informationSynchronization Protocols. Task Allocation Bin-Packing Heuristics: First-Fit Subtasks assigned in arbitrary order To allocate a new subtask T i,j
End-to-End Schedulng Framework 1. Tak allocaton: bnd tak to proceor 2. Synchronzaton protocol: enforce precedence contrant 3. Subdeadlne agnment 4. Schedulablty analy Tak Allocaton Bn-Packng eurtc: Frt-Ft
More informationStatistical Properties of the OLS Coefficient Estimators. 1. Introduction
ECOOMICS 35* -- OTE 4 ECO 35* -- OTE 4 Stattcal Properte of the OLS Coeffcent Etmator Introducton We derved n ote the OLS (Ordnary Leat Square etmator ˆβ j (j, of the regreon coeffcent βj (j, n the mple
More informationCollege of Computer & Information Science Fall 2009 Northeastern University 20 October 2009
College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:
More informationCOS 521: Advanced Algorithms Game Theory and Linear Programming
COS 521: Advanced Algorthms Game Theory and Lnear Programmng Moses Charkar February 27, 2013 In these notes, we ntroduce some basc concepts n game theory and lnear programmng (LP). We show a connecton
More informationNUMERICAL DIFFERENTIATION
NUMERICAL DIFFERENTIATION 1 Introducton Dfferentaton s a method to compute the rate at whch a dependent output y changes wth respect to the change n the ndependent nput x. Ths rate of change s called the
More informationConfidence intervals for the difference and the ratio of Lognormal means with bounded parameters
Songklanakarn J. Sc. Technol. 37 () 3-40 Mar.-Apr. 05 http://www.jt.pu.ac.th Orgnal Artcle Confdence nterval for the dfference and the rato of Lognormal mean wth bounded parameter Sa-aat Nwtpong* Department
More informationMULTIPLE REGRESSION ANALYSIS For the Case of Two Regressors
MULTIPLE REGRESSION ANALYSIS For the Cae of Two Regreor In the followng note, leat-quare etmaton developed for multple regreon problem wth two eplanator varable, here called regreor (uch a n the Fat Food
More informationCHAPTER 17 Amortized Analysis
CHAPTER 7 Amortzed Analyss In an amortzed analyss, the tme requred to perform a sequence of data structure operatons s averaged over all the operatons performed. It can be used to show that the average
More informationm = 4 n = 9 W 1 N 1 x 1 R D 4 s x i
GREEDY WIRE-SIZING IS LINEAR TIME Chr C. N. Chu D. F. Wong cnchu@c.utexa.edu wong@c.utexa.edu Department of Computer Scence, Unverty of Texa at Autn, Autn, T 787. ABSTRACT In nterconnect optmzaton by wre-zng,
More informationNP-Completeness : Proofs
NP-Completeness : Proofs Proof Methods A method to show a decson problem Π NP-complete s as follows. (1) Show Π NP. (2) Choose an NP-complete problem Π. (3) Show Π Π. A method to show an optmzaton problem
More informationCOS 511: Theoretical Machine Learning. Lecturer: Rob Schapire Lecture # 15 Scribe: Jieming Mao April 1, 2013
COS 511: heoretcal Machne Learnng Lecturer: Rob Schapre Lecture # 15 Scrbe: Jemng Mao Aprl 1, 013 1 Bref revew 1.1 Learnng wth expert advce Last tme, we started to talk about learnng wth expert advce.
More informationSmall signal analysis
Small gnal analy. ntroducton Let u conder the crcut hown n Fg., where the nonlnear retor decrbed by the equaton g v havng graphcal repreentaton hown n Fg.. ( G (t G v(t v Fg. Fg. a D current ource wherea
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationAPPROXIMATE FUZZY REASONING BASED ON INTERPOLATION IN THE VAGUE ENVIRONMENT OF THE FUZZY RULEBASE AS A PRACTICAL ALTERNATIVE OF THE CLASSICAL CRI
Kovác, Sz., Kóczy, L.T.: Approxmate Fuzzy Reaonng Baed on Interpolaton n the Vague Envronment of the Fuzzy Rulebae a a Practcal Alternatve of the Clacal CRI, Proceedng of the 7 th Internatonal Fuzzy Sytem
More informationprinceton univ. F 17 cos 521: Advanced Algorithm Design Lecture 7: LP Duality Lecturer: Matt Weinberg
prnceton unv. F 17 cos 521: Advanced Algorthm Desgn Lecture 7: LP Dualty Lecturer: Matt Wenberg Scrbe: LP Dualty s an extremely useful tool for analyzng structural propertes of lnear programs. Whle there
More informationScattering of two identical particles in the center-of. of-mass frame. (b)
Lecture # November 5 Scatterng of two dentcal partcle Relatvtc Quantum Mechanc: The Klen-Gordon equaton Interpretaton of the Klen-Gordon equaton The Drac equaton Drac repreentaton for the matrce α and
More information728. Mechanical and electrical elements in reduction of vibrations
78. Mechancal and electrcal element n reducton of vbraton Katarzyna BIAŁAS The Slean Unverty of Technology, Faculty of Mechancal Engneerng Inttute of Engneerng Procee Automaton and Integrated Manufacturng
More informationThis appendix presents the derivations and proofs omitted from the main text.
Onlne Appendx A Appendx: Omtted Dervaton and Proof Th appendx preent the dervaton and proof omtted from the man text A Omtted dervaton n Secton Mot of the analy provded n the man text Here, we formally
More informationYong Joon Ryang. 1. Introduction Consider the multicommodity transportation problem with convex quadratic cost function. 1 2 (x x0 ) T Q(x x 0 )
Kangweon-Kyungk Math. Jour. 4 1996), No. 1, pp. 7 16 AN ITERATIVE ROW-ACTION METHOD FOR MULTICOMMODITY TRANSPORTATION PROBLEMS Yong Joon Ryang Abstract. The optmzaton problems wth quadratc constrants often
More informationThe Second Anti-Mathima on Game Theory
The Second Ant-Mathma on Game Theory Ath. Kehagas December 1 2006 1 Introducton In ths note we wll examne the noton of game equlbrum for three types of games 1. 2-player 2-acton zero-sum games 2. 2-player
More informationNotes on Frequency Estimation in Data Streams
Notes on Frequency Estmaton n Data Streams In (one of) the data streamng model(s), the data s a sequence of arrvals a 1, a 2,..., a m of the form a j = (, v) where s the dentty of the tem and belongs to
More information18.1 Introduction and Recap
CS787: Advanced Algorthms Scrbe: Pryananda Shenoy and Shjn Kong Lecturer: Shuch Chawla Topc: Streamng Algorthmscontnued) Date: 0/26/2007 We contnue talng about streamng algorthms n ths lecture, ncludng
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationU.C. Berkeley CS294: Spectral Methods and Expanders Handout 8 Luca Trevisan February 17, 2016
U.C. Berkeley CS94: Spectral Methods and Expanders Handout 8 Luca Trevsan February 7, 06 Lecture 8: Spectral Algorthms Wrap-up In whch we talk about even more generalzatons of Cheeger s nequaltes, and
More informationU.C. Berkeley CS294: Beyond Worst-Case Analysis Luca Trevisan September 5, 2017
U.C. Berkeley CS94: Beyond Worst-Case Analyss Handout 4s Luca Trevsan September 5, 07 Summary of Lecture 4 In whch we ntroduce semdefnte programmng and apply t to Max Cut. Semdefnte Programmng Recall that
More informationCalculation of time complexity (3%)
Problem 1. (30%) Calculaton of tme complexty (3%) Gven n ctes, usng exhaust search to see every result takes O(n!). Calculaton of tme needed to solve the problem (2%) 40 ctes:40! dfferent tours 40 add
More informationarxiv: v1 [math.ho] 18 May 2008
Recurrence Formulas for Fbonacc Sums Adlson J. V. Brandão, João L. Martns 2 arxv:0805.2707v [math.ho] 8 May 2008 Abstract. In ths artcle we present a new recurrence formula for a fnte sum nvolvng the Fbonacc
More informationExpected Value and Variance
MATH 38 Expected Value and Varance Dr. Neal, WKU We now shall dscuss how to fnd the average and standard devaton of a random varable X. Expected Value Defnton. The expected value (or average value, or
More informationLecture 4: Universal Hash Functions/Streaming Cont d
CSE 5: Desgn and Analyss of Algorthms I Sprng 06 Lecture 4: Unversal Hash Functons/Streamng Cont d Lecturer: Shayan Oves Gharan Aprl 6th Scrbe: Jacob Schreber Dsclamer: These notes have not been subjected
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More information20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed
More informationComplete subgraphs in multipartite graphs
Complete subgraphs n multpartte graphs FLORIAN PFENDER Unverstät Rostock, Insttut für Mathematk D-18057 Rostock, Germany Floran.Pfender@un-rostock.de Abstract Turán s Theorem states that every graph G
More informationLecture 10 Support Vector Machines. Oct
Lecture 10 Support Vector Machnes Oct - 20-2008 Lnear Separators Whch of the lnear separators s optmal? Concept of Margn Recall that n Perceptron, we learned that the convergence rate of the Perceptron
More informationGeneralized Linear Methods
Generalzed Lnear Methods 1 Introducton In the Ensemble Methods the general dea s that usng a combnaton of several weak learner one could make a better learner. More formally, assume that we have a set
More informationbounds compared to SB and SBB bounds as the former two have an index parameter, while the latter two
1 Queung Procee n GPS and PGPS wth LRD Traffc Input Xang Yu, Ian L-Jn Thng, Yumng Jang and Chunmng Qao Department of Computer Scence and Engneerng State Unverty of New York at Buffalo Department of Electrcal
More informationThe internal structure of natural numbers and one method for the definition of large prime numbers
The nternal structure of natural numbers and one method for the defnton of large prme numbers Emmanul Manousos APM Insttute for the Advancement of Physcs and Mathematcs 3 Poulou str. 53 Athens Greece Abstract
More informationA METHOD TO REPRESENT THE SEMANTIC DESCRIPTION OF A WEB SERVICE BASED ON COMPLEXITY FUNCTIONS
UPB Sc Bull, Sere A, Vol 77, I, 5 ISSN 3-77 A METHOD TO REPRESENT THE SEMANTIC DESCRIPTION OF A WEB SERVICE BASED ON COMPLEXITY FUNCTIONS Andre-Hora MOGOS, Adna Magda FLOREA Semantc web ervce repreent
More informationOptimal Dual-Connectivity Traffic Offloading in Energy-Harvesting Small-Cell Networks
Th artcle ha been accepted for publcaton n a future ue of th journal, but ha not been fully edted. Content may change pror to fnal publcaton. Ctaton nformaton: DOI.9/TGCN.28.285843, IEEE Tranacton on Green
More informationFinding Dense Subgraphs in G(n, 1/2)
Fndng Dense Subgraphs n Gn, 1/ Atsh Das Sarma 1, Amt Deshpande, and Rav Kannan 1 Georga Insttute of Technology,atsh@cc.gatech.edu Mcrosoft Research-Bangalore,amtdesh,annan@mcrosoft.com Abstract. Fndng
More informationStart Point and Trajectory Analysis for the Minimal Time System Design Algorithm
Start Pont and Trajectory Analy for the Mnmal Tme Sytem Degn Algorthm ALEXANDER ZEMLIAK, PEDRO MIRANDA Department of Phyc and Mathematc Puebla Autonomou Unverty Av San Claudo /n, Puebla, 757 MEXICO Abtract:
More informationStanford University CS359G: Graph Partitioning and Expanders Handout 4 Luca Trevisan January 13, 2011
Stanford Unversty CS359G: Graph Parttonng and Expanders Handout 4 Luca Trevsan January 3, 0 Lecture 4 In whch we prove the dffcult drecton of Cheeger s nequalty. As n the past lectures, consder an undrected
More informationFor now, let us focus on a specific model of neurons. These are simplified from reality but can achieve remarkable results.
Neural Networks : Dervaton compled by Alvn Wan from Professor Jtendra Malk s lecture Ths type of computaton s called deep learnng and s the most popular method for many problems, such as computer vson
More informationCHAPTER 9 LINEAR MOMENTUM, IMPULSE AND COLLISIONS
CHAPTER 9 LINEAR MOMENTUM, IMPULSE AND COLLISIONS 103 Phy 1 9.1 Lnear Momentum The prncple o energy conervaton can be ued to olve problem that are harder to olve jut ung Newton law. It ued to decrbe moton
More informationInformation Acquisition in Global Games of Regime Change (Online Appendix)
Informaton Acquton n Global Game of Regme Change (Onlne Appendx) Mchal Szkup and Iabel Trevno Augut 4, 05 Introducton Th appendx contan the proof of all the ntermedate reult that have been omtted from
More informationKEY POINTS FOR NUMERICAL SIMULATION OF INCLINATION OF BUILDINGS ON LIQUEFIABLE SOIL LAYERS
KY POINTS FOR NUMRICAL SIMULATION OF INCLINATION OF BUILDINGS ON LIQUFIABL SOIL LAYRS Jn Xu 1, Xaomng Yuan, Jany Zhang 3,Fanchao Meng 1 1 Student, Dept. of Geotechncal ngneerng, Inttute of ngneerng Mechanc,
More informationOnline story scheduling in web advertising
Onlne tory chedulng n web advertng Anrban Dagupta Arpta Ghoh Hamd Nazerzadeh Prabhakar Raghavan Abtract We tudy an onlne job chedulng problem motvated by toryboardng n web advertng, where an adverter derve
More informationfind (x): given element x, return the canonical element of the set containing x;
COS 43 Sprng, 009 Dsjont Set Unon Problem: Mantan a collecton of dsjont sets. Two operatons: fnd the set contanng a gven element; unte two sets nto one (destructvely). Approach: Canoncal element method:
More informationPredictors Using Partially Conditional 2 Stage Response Error Ed Stanek
Predctor ng Partally Condtonal Stage Repone Error Ed Stane TRODCTO We explore the predctor that wll relt n a mple random ample wth repone error when a dfferent model potlated The model we decrbe here cloely
More informationVariable Structure Control ~ Basics
Varable Structure Control ~ Bac Harry G. Kwatny Department of Mechancal Engneerng & Mechanc Drexel Unverty Outlne A prelmnary example VS ytem, ldng mode, reachng Bac of dcontnuou ytem Example: underea
More informationRandomness and Computation
Randomness and Computaton or, Randomzed Algorthms Mary Cryan School of Informatcs Unversty of Ednburgh RC 208/9) Lecture 0 slde Balls n Bns m balls, n bns, and balls thrown unformly at random nto bns usually
More informationSIGACT News Online Algorithms Column 26: Bin packing in multiple dimensions
SIGACT News Online Algorithms Column 26: Bin packing in multiple dimensions Rob van Stee University of Leicester United Kingdom I mentioned in a previous column [22] that the best known lower bound for
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationRoot Locus Techniques
Root Locu Technque ELEC 32 Cloed-Loop Control The control nput u t ynthezed baed on the a pror knowledge of the ytem plant, the reference nput r t, and the error gnal, e t The control ytem meaure the output,
More informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
More informationU.C. Berkeley CS294: Beyond Worst-Case Analysis Handout 6 Luca Trevisan September 12, 2017
U.C. Berkeley CS94: Beyond Worst-Case Analyss Handout 6 Luca Trevsan September, 07 Scrbed by Theo McKenze Lecture 6 In whch we study the spectrum of random graphs. Overvew When attemptng to fnd n polynomal
More informationKernel Methods and SVMs Extension
Kernel Methods and SVMs Extenson The purpose of ths document s to revew materal covered n Machne Learnng 1 Supervsed Learnng regardng support vector machnes (SVMs). Ths document also provdes a general
More informationGeneral viscosity iterative method for a sequence of quasi-nonexpansive mappings
Avalable onlne at www.tjnsa.com J. Nonlnear Sc. Appl. 9 (2016), 5672 5682 Research Artcle General vscosty teratve method for a sequence of quas-nonexpansve mappngs Cuje Zhang, Ynan Wang College of Scence,
More informationOn the U-WPF Acts over Monoids
Journal of cence, Ilamc Republc of Iran 8(4): 33-38 (007) Unverty of Tehran, IN 06-04 http://jcence.ut.ac.r On the U-WPF ct over Monod. Golchn * and H. Mohammadzadeh Department of Mathematc, Unverty of
More informationDistributed Control for the Parallel DC Linked Modular Shunt Active Power Filters under Distorted Utility Voltage Condition
Dtrbted Control for the Parallel DC Lnked Modlar Shnt Actve Power Flter nder Dtorted Utlty Voltage Condton Reearch Stdent: Adl Salman Spervor: Dr. Malabka Ba School of Electrcal and Electronc Engneerng
More informationOn the SO 2 Problem in Thermal Power Plants. 2.Two-steps chemical absorption modeling
Internatonal Journal of Engneerng Reearch ISSN:39-689)(onlne),347-53(prnt) Volume No4, Iue No, pp : 557-56 Oct 5 On the SO Problem n Thermal Power Plant Two-tep chemcal aborpton modelng hr Boyadjev, P
More informationNo! Yes! Only if reactions occur! Yes! Ideal Gas, change in temperature or pressure. Survey Results. Class 15. Is the following possible?
Survey Reult Chapter 5-6 (where we are gong) % of Student 45% 40% 35% 30% 25% 20% 15% 10% 5% 0% Hour Spent on ChE 273 1-2 3-4 5-6 7-8 9-10 11+ Hour/Week 2008 2009 2010 2011 2012 2013 2014 2015 2017 F17
More informationHongyi Miao, College of Science, Nanjing Forestry University, Nanjing ,China. (Received 20 June 2013, accepted 11 March 2014) I)ϕ (k)
ISSN 1749-3889 (prnt), 1749-3897 (onlne) Internatonal Journal of Nonlnear Scence Vol.17(2014) No.2,pp.188-192 Modfed Block Jacob-Davdson Method for Solvng Large Sparse Egenproblems Hongy Mao, College of
More informationA New Approximation Method for Set Covering Problems, with Applications to Multidimensional Bin Packing
A New Approxmaton Method for Set Coverng Problems, wth Applcatons to Multdmensonal Bn Pacng Nhl Bansal Alberto Caprara Maxm Svrdeno Abstract In ths paper we ntroduce a new general approxmaton method for
More informationValid Inequalities Based on Demand Propagation for Chemical Production Scheduling MIP Models
Vald Inequalte Baed on Demand ropagaton for Chemcal roducton Schedulng MI Model Sara Velez, Arul Sundaramoorthy, And Chrto Maravela 1 Department of Chemcal and Bologcal Engneerng Unverty of Wconn Madon
More informationWeak McCoy Ore Extensions
Internatonal Mathematcal Forum, Vol. 6, 2, no. 2, 75-86 Weak McCoy Ore Extenon R. Mohammad, A. Mouav and M. Zahr Department of Pure Mathematc, Faculty of Mathematcal Scence Tarbat Modare Unverty, P.O.
More informationThe lower and upper bounds on Perron root of nonnegative irreducible matrices
Journal of Computatonal Appled Mathematcs 217 (2008) 259 267 wwwelsevercom/locate/cam The lower upper bounds on Perron root of nonnegatve rreducble matrces Guang-Xn Huang a,, Feng Yn b,keguo a a College
More informationExercises of Chapter 2
Exercses of Chapter Chuang-Cheh Ln Department of Computer Scence and Informaton Engneerng, Natonal Chung Cheng Unversty, Mng-Hsung, Chay 61, Tawan. Exercse.6. Suppose that we ndependently roll two standard
More information2.3 Least-Square regressions
.3 Leat-Square regreon Eample.10 How do chldren grow? The pattern of growth vare from chld to chld, o we can bet undertandng the general pattern b followng the average heght of a number of chldren. Here
More informationProblem #1. Known: All required parameters. Schematic: Find: Depth of freezing as function of time. Strategy:
BEE 3500 013 Prelm Soluton Problem #1 Known: All requred parameter. Schematc: Fnd: Depth of freezng a functon of tme. Strategy: In thee mplfed analy for freezng tme, a wa done n cla for a lab geometry,
More information8. INVERSE Z-TRANSFORM
8. INVERSE Z-TRANSFORM The proce by whch Z-trnform of tme ere, nmely X(), returned to the tme domn clled the nvere Z-trnform. The nvere Z-trnform defned by: Computer tudy Z X M-fle trn.m ued to fnd nvere
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationAppendix for Causal Interaction in Factorial Experiments: Application to Conjoint Analysis
A Appendx for Causal Interacton n Factoral Experments: Applcaton to Conjont Analyss Mathematcal Appendx: Proofs of Theorems A. Lemmas Below, we descrbe all the lemmas, whch are used to prove the man theorems
More informationTHE WEIGHTED WEAK TYPE INEQUALITY FOR THE STRONG MAXIMAL FUNCTION
THE WEIGHTED WEAK TYPE INEQUALITY FO THE STONG MAXIMAL FUNCTION THEMIS MITSIS Abstract. We prove the natural Fefferman-Sten weak type nequalty for the strong maxmal functon n the plane, under the assumpton
More informationDesign of Recursive Digital Filters IIR
Degn of Recurve Dgtal Flter IIR The outut from a recurve dgtal flter deend on one or more revou outut value, a well a on nut t nvolve feedbac. A recurve flter ha an nfnte mule reone (IIR). The mulve reone
More informationLecture 11. minimize. c j x j. j=1. 1 x j 0 j. +, b R m + and c R n +
Topcs n Theoretcal Computer Scence May 4, 2015 Lecturer: Ola Svensson Lecture 11 Scrbes: Vncent Eggerlng, Smon Rodrguez 1 Introducton In the last lecture we covered the ellpsod method and ts applcaton
More informationPreemptive scheduling. Disadvantages of preemptions WCET. Preemption indirect costs 19/10/2018. Cache related preemption delay
19/1/18 Preemptve cedulng Mot o wor on cedulng a been ocued on ully preemptve ytem, becaue tey allow ger reponvene: Preemptve Non Preemptve Dadvantage o preempton However, eac preempton a a cot: ontext
More informationLecture 17: Lee-Sidford Barrier
CSE 599: Interplay between Convex Optmzaton and Geometry Wnter 2018 Lecturer: Yn Tat Lee Lecture 17: Lee-Sdford Barrer Dsclamer: Please tell me any mstake you notced. In ths lecture, we talk about the
More informationNot at Steady State! Yes! Only if reactions occur! Yes! Ideal Gas, change in temperature or pressure. Yes! Class 15. Is the following possible?
Chapter 5-6 (where we are gong) Ideal gae and lqud (today) Dente Partal preure Non-deal gae (next tme) Eqn. of tate Reduced preure and temperature Compreblty chart (z) Vapor-lqud ytem (Ch. 6) Vapor preure
More informationE Tail Inequalities. E.1 Markov s Inequality. Non-Lecture E: Tail Inequalities
Algorthms Non-Lecture E: Tal Inequaltes If you hold a cat by the tal you learn thngs you cannot learn any other way. Mar Twan E Tal Inequaltes The smple recursve structure of sp lsts made t relatvely easy
More information