A Lower Bound for the Pigeonhole Principle in Tree-like Resolution by Asymmetric Prover-Delayer Games
|
|
- Brooke George
- 5 years ago
- Views:
Transcription
1 A Lower Boud for the Pigeohole Priciple i Tree-like Resolutio by Asymmetric Prover-Delayer Games Olaf Beyersdorff Nicola Galesi 2 Massimo Lauria 2 Istitut für Theoretische Iformatik, Leibiz Uiversität Haover, Germay 2 Dipartimeto di Iformatica, Sapieza Uiversità di Roma, Italy Abstract I this ote we show that the asymmetric Prover-Delayer game developed i [3] for Parameterized Resolutio is also applicable to other tree-like proof systems. I particular, Ω( log ) we use this asymmetric Prover-Delayer game to show a lower boud of the form 2 for the pigeohole priciple i tree-like Resolutio. This gives a ew ad simpler proof of the same lower boud established by Datchev ad Riis [5]. Itroductio Provig lower bouds by games is a very fruitful techique i proof complexity [, 8 0]. I particular, the Prover-Delayer game of Pudlák ad Impagliazzo [0] is oe of the caoical tools to study lower bouds i tree-like Resolutio [2,0] ad tree-like Res(k) [6]. The Prover-Delayer game of Pudlák ad Impagliazzo arises from the well-kow fact [7] that a tree-like Resolutio proof for a formula F ca be viewed as a decisio tree which solves the search problem of fidig a clause of F falsified by a give assigmet. I the game, Prover queries a variable ad Delayer either gives it a value or leaves the decisio to Prover ad receives oe poit. The umber of Delayer s poits at the ed of the game is the proportioal to the height of the proof tree. It is easy to argue that showig lower bouds by this game oly works if (the graph of) every tree-like Resolutio refutatio cotais a balaced sub-tree as a mior, ad the height of that sub-tree the gives the size lower boud. I [3] we developed a ew asymmetric Prover-Delayer game which exteds the game of Pudlák ad Impagliazzo to make it applicable to obtai lower bouds to tree-like proofs whe the proof trees are very ubalaced. I [3] we used the ew asymmetric game to obtai lower bouds i tree-like Parameterized Resolutio, a proof system i the cotext of parameterized proof complexity recetly itroduced by Datchev, Marti, ad Szeider [4]. The lower bouds we obtai i [3] for tree-like Parameterized Resolutio are of the form Ω( k ) ( is the formula size ad k the parameter), but the tree-like Parameterized Resolutio refutatios of the formulas i questio oly cotai balaced sub-trees of height k. The aim of this ote is to show that the asymmetric Prover-Delayer game is also applicable to other (o-parameterized) tree-like proof systems. Oe of the best studied priciples is the pigeohole priciple. Datchev ad Riis [5] show that the pigeohole priciple requires treelike Resolutio refutatios of size roughly! while its tree-like Resolutio proofs oly cotai This work was doe while the first author was visitig Sapieza Uiversity of Rome uder support of DFG grat KO 053/5 2. Supported by grat Limiti di compressioe i combiatoria e complessità computazioale by Sapieza Uiversity Rome.
2 balaced sub-trees of height. Therefore the game of Pudlák ad Impagliazzo oly yields a 2 Ω() lower boud which is weaker tha the optimal boud 2 Ω( log ) established by Datchev ad Riis. Here we provide a ew ad easier proof of this lower boud by our asymmetric Prover-Delayer game. 2 Prelimiaries A literal is a positive or egated propositioal variable ad a clause is a set of literals. A clause is iterpreted as the disjuctios of its literals ad a set of clauses as the cojuctio of the clauses. Hece clause sets correspod to formulas i CNF. The Resolutio system is a refutatio system for the set of all usatisfiable CNF. Resolutio uses as its oly rule the Resolutio rule {x} C { x} D C D for clauses C, D ad a variable x. The aim i Resolutio is to demostrate usatisfiability of a clause set by derivig the empty clause. If i a derivatio every derived clause is used at most oce as a prerequisite of the Resolutio rule, the the derivatio is called tree-like, otherwise it is dag-like. The size of a Resolutio proof is the umber of its clauses. Udoubtedly, Resolutio is the most studied ad best-uderstood propositioal proof system (cf. []). It is well kow (cf. [7]) that a tree-like refutatio of F ca equivaletly be described as a boolea decisio tree. A boolea decisio tree for F is a biary tree where ier odes are labeled with variables from F ad leafs are labeled with clauses from F. Each path i the tree correspods to a partial assigmet where a variable x gets value 0 or accordig to whether the path braches left or right at the ode labeled with x. The coditio o the decisio tree is that each path α must lead to a clause which is falsified by the assigmet correspodig to α. Therefore, a boolea decisio tree solves the search problem for F which, give a assigmet α, asks for a clause from F falsified by α. It is easy to verify that each tree-like Resolutio refutatio of F yields a boolea decisio tree for F ad vice versa, where the size of the Resolutio proof equals the umber of odes i the decisio tree. I the sequel, we will therefore cocetrate o boolea decisio trees to prove our lower boud to tree-like Resolutio. 3 Tree-like Lower Bouds via Asymmetric Prover-Delayer Games We review the asymmetric Prover-Delayer game from [3]. Let F be a set of clauses i variables x,..., x. I the asymmetric game, Prover ad Delayer build a (partial) assigmet to x,..., x. The game is over as soo as the partial assigmet falsifies a clause from F. The game proceeds i rouds. I each roud, Prover suggests a variable x i, ad Delayer either chooses a value 0 or for x i or leaves the choice to the Prover. I this last case, if the Prover sets the value, the the Delayer gets some poits. The umber of poits Delayer ears depeds o the variable x i, the assigmet α costructed so far i the game, ad two fuctios c 0 (x i, α) ad c (x i, α). More precisely, the umber of poits that Delayer will get is 0 if Delayer chooses the value, log c 0 (x i, α) if Prover sets x i to 0, ad log c (x i, α) if Prover sets x i to. Moreover, the fuctios c 0 (x, α) ad c (x, α) are chose i such a way that for each variable x ad assigmet α c 0 (x, α) + c (x, α) = () 2
3 holds. Let us call this game the (c 0, c )-game o F. The coectio of this game to size of proofs i tree-like Resolutio is give by Theorem. The theorem is essetially cotaied i [3], but for completeess we iclude the full proof. Theorem ( [3]). Let F be usatisfiable formula i CNF ad let c 0 ad c be two fuctios satisfyig () for all partial assigmets α to the variables of F. If F has a tree-like Resolutio refutatio of size at most S, the the Delayer gets at most log S poits i each (c 0, c )-game played o F. Proof. Let F be a usatisfiable CNF i variables x,..., x ad let Π be a tree-like Resolutio refutatio of F. Assume ow that Prover ad Delayer play a game o F where they successively costruct a assigmet α. Let α i be the partial assigmet costructed after i rouds of the game, i. e., α i assigs i variables a value 0 or. By p i we deote the umber of poits that Delayer has eared after i rouds, ad by Π αi we deote the sub-tree of the decisio tree of Π which has as its root the ode reached i Π alog the path specified by α i. We use iductio o the umber of rouds i the game to prove the followig claim: Π αi Π 2 p i for ay roud i. To see that the theorem follows from this claim, let α be a assigmet costructed durig the game yieldig p α poits to the Delayer. As a cotradictio has bee reached i the game, the size of Π α is, ad therefore by the iductive claim Π 2 pα, yieldig p α log Π as desired. I the begiig of the game, Π α0 is the full tree ad the Delayer has 0 poits. Therefore the claim holds. For the iductive step, assume that the claim holds after i rouds ad Prover asks for a value of the variable x i roud i+. If the Delayer chooses the value, the p i+ = p i ad hece Π αi+ Π αi Π 2 p i = Π 2 p i+ If the Delayer defers the choice to the Prover, the the Prover uses the followig strategy to set the value of x. Let αi x=0 be the assigmet extedig α i by settig x to 0, ad let αi x= be the assigmet extedig α i by settig x to. Now, Prover sets x = 0 if Π α x=0 i c 0 (x,α i ) Π α i, otherwise he sets x =. Because c 0 (x,α i ) + c (x,α i ) =, we kow that if Prover sets x =, the Π α x= i c (x,α i ) Π α i. Thus, if Prover s choice is x = j with j {0, }, the we get. Π αi+ = Π α x=j i Π α i c j (x, α i ) Π c j (x, α i )2 p = Π i 2 p i+log c j (x,α i ) = Π 2 p i+. This completes the proof of the iductio. As remarked i [3] we get the game of Pudlák ad Impagliazzo [0] by settig c 0 (x, α) = c (x, α) = 2 for all variables x ad partial assigmets α. 3
4 4 Tree-like Resolutio Lower Bouds for the Pigeohole Priciple The weak pigeohole priciple PHP m with m > uses variables x i,j with i [m] ad j [], idicatig that pigeo i goes ito hole j. PHP m cosists of the clauses for all pigeos i [m] j [] x i,j ad x i,j x i2,j for all choices of distict pigeos i, i 2 [m] ad holes j []. We prove that PHP m is hard for tree-like Resolutio. Showig the lower boud by the asymmetric game from the last sectio, requires a suitable choice of the fuctios c 0 ad c ad the the defiitio of the Delayer-strategy for the (c 0, c )-game. Theorem 2. Ay tree-like Resolutio refutatio of PHP m has size 2 Ω( log ). Proof. Let α be a partial assigmet to the variables { x i,j i [m], j [] }. Let p i (α) = { j [] α(x i,j ) = 0 ad α(x i,j) = for all i [m] }. Ituitively, p i (α) correspods to the umber of holes which are still free but are explicitely excluded for pigeo i by α (we do ot cout the holes which are excluded because some other pigeo is sittig there). We defie c 0 (x i,j, α) = 2 + p i(α) 2 p i(α) ad c (x i,j, α) = 2 + p i(α). For simplicity we assume that is divisible by 2. Durig the game it will ever be the case that Prover gets the choice whe p i (α) 2. Therefore the fuctios c 0 ad c are always greater tha zero whe the Delayer gets poits, thus the score fuctio is always well defied. Furthermore otice that this defiitio satisfies (). Let us try to provide a ituitive explaatio of why we choose the fuctios c 0 ad c ad thus the poits for Delayer as above. As a first observatio, Delayer always ears more whe Prover is settig a variable x i,j to istead of settig it to 0. This is ituitively correct as the amout of freedom for Delayer to cotiue the game is by far more dimiished by sedig pigeo i to some hole j tha by just excludig that hole j for pigeo i. Thus, whe Prover sets x i,j to, Delayer should ear a umber of poits approximately equal to the quatity of the iformatio that is ot aymore available for that pigeo i after the choice of Prover. How much is this iformatio? We take as measure of iformatio (approximately hece the 2 ) the umber of possible holes where Prover ca choose to sed pigeo i ad hece are still free for mappig that pigeo. We ow describe Delayer s strategy i a (c 0, c )-game played o PHP m. If Prover asks for a value of x i,j, the Delayer decides as follows: set α(x i,j ) = 0 set α(x i,j ) = let Prover decide if there exists i [m] {i} such that α(x i,j) = or if there exists j [] {j} such that α(x i,j ) = ; if p i (α) 2 ad there is o i [m] with α(x i,j) =, ad otherwise. Ituitively, Delayer leaves the choice to Prover as log as pigeo i does ot already sit i a hole, hole j is still free, ad there are at most 2 excluded free holes for pigeo i. 4
5 If Delayer uses this strategy, the the small clauses x i,j x i2,j from PHP m will ot be violated i the game. Therefore, a cotradictio will always be reached o oe of the big clauses j [] x i,j. Let us assume ow that the game eds by violatig j [] x i,j, i. e., for pigeo i all variables x i,j with j [] have bee set to 0. As soo as the umber p i (α) of excluded free holes for pigeo i reaches the threshold 2, Delayer will ot leave the choice to Prover. Istead, Delayer will try to place pigeo i ito some hole. If Delayer still aswers 0 to x i,j eve after p i (α) > 2, it must be the case that some other pigeo already sits i hole j, i. e., for some i = i, α(x i,j) =. Therefore, at the ed of the game at least 2 variables have bee set to. W. l. o. g. we assume that these are the variables x i,ji for i =,..., 2. Let us check how may poits Delayer ears i this game. We calculate the poits separately for each pigeo i =,..., 2 ad distiguish two cases: whether x i,j i was set to by Delayer or Prover. Let us first assume that Delayer sets the variable x i,ji to. The pigeo i was ot assiged to a hole yet ad, moreover, there must be 2 uoccupied holes which are already excluded for pigeo i by α, i. e., there is some J [] with J = 2, α(x i,j ) = for i [m], j J, ad α(x i,j ) = 0 for all j J. All of these 0 s have bee assiged by Prover, as Delayer has oly assiged a 0 to x i,j whe some other pigeo was already sittig i hole j, ad this is ot the case for the holes from J (at the momet whe Delayer assigs the to x i,ji ). Thus, before Delayer sets α(x i,ji ) =, she has already eared poits for all 2 variables x i,j, j J, yieldig 2 2 log + p 2 2 p=0 2 p = log + p ( ) p=0 2 p = log 2 + poits for the Delayer. Let us ote that because Delayer ever allows a pigeo to go ito more tha oe hole, she will really get the umber of poits calculated above for every of the variables which she set to. If, coversely, Prover sets variable x i,ji to, the Delayer gets log( 2 + p i(α)) poits for this, but she also received poits for the p i (α) variables set to 0 before by Prover. Thus, i this case Delayer ears o pigeo i log( p i (α) 2 + p i(α)) + log p=0 = log( 2 + p i(α)) + log ( ) = log p 2 p p i(α) + poits. I total, Delayer gets at least ( ) 2 log 2 + poits i the game. Applyig Theorem, we obtai 2 2 log( 2 +) as a lower boud to the size of each tree-like Resolutio refutatio of PHP m. By ispectio of the above Delayer strategy it becomes clear that the lower boud from Theorem 2 also holds for the fuctioal pigeohole priciple where i additio to the clauses from PHP m we also iclude x i,j x i,j2 for all pigeos i [m] ad distict holes j, j 2 []. 5
6 Refereces [] A. Atserias ad V. Dalmau. A combiatorial characterizatio of resolutio width. Joural of Computer ad System Scieces, 74(3): , [2] E. Be-Sasso, R. Impagliazzo, ad A. Wigderso. Near optimal separatio of tree-like ad geeral resolutio. Combiatorica, 24(4): , [3] O. Beyersdorff, N. Galesi, ad M. Lauria. Hardess of parameterized resolutio. Techical Report TR0-059, Electroic Colloquium o Computatioal Complexity, 200. [4] S. S. Datchev, B. Marti, ad S. Szeider. Parameterized proof complexity. I Proc. 48th IEEE Symposium o the Foudatios of Computer Sciece, pages 50 60, [5] S. S. Datchev ad S. Riis. Tree resolutio proofs of the weak pigeo-hole priciple. I Proc. 6th Aual IEEE Coferece o Computatioal Complexity, pages 69 75, 200. [6] J. L. Esteba, N. Galesi, ad J. Messer. O the complexity of resolutio with bouded cojuctios. Theoretical Computer Sciece, 32(2 3): , [7] J. Krajíček. Bouded Arithmetic, Propositioal Logic, ad Complexity Theory, volume 60 of Ecyclopedia of Mathematics ad Its Applicatios. Cambridge Uiversity Press, Cambridge, 995. [8] P. Pudlák. O the complexity of propositioal calculus. I Sets ad Proofs, Ivited papers from Logic Colloquium 97, pages Cambridge Uiversity Press, 999. [9] P. Pudlák ad S. R. Buss. How to lie without beig (easily) covicted ad the legth of proofs i propositioal calculus. I Proc. 8th Workshop o Computer Sciece Logic, volume 933 of Lecture Notes i Computer Sciece, pages Spriger-Verlag, Berli Heidelberg, 994. [0] P. Pudlák ad R. Impagliazzo. A lower boud for DLL algorithms for SAT. I Proc. th Symposium o Discrete Algorithms, pages 28 36, [] N. Segerlid. The complexity of propositioal proofs. Bulleti of symbolic Logic, 3(4): ,
This is a repository copy of A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover-Delayer games.
This is a repository copy of A lower boud for the pigeohole priciple i tree-like Resolutio by asymmetric Prover-Delayer games. White Rose Research Olie URL for this paper: http://eprits.whiterose.ac.uk/74432/
More informationResolution Proofs of Generalized Pigeonhole Principles
Resolutio Proofs of Geeralized Pigeohole Priciples Samuel R. Buss Departmet of Mathematics Uiversity of Califoria, Berkeley Győrgy Turá Departmet of Mathematics, Statistics, ad Computer Sciece Uiversity
More informationSome special clique problems
Some special clique problems Reate Witer Istitut für Iformatik Marti-Luther-Uiversität Halle-Witteberg Vo-Seckedorff-Platz, D 0620 Halle Saale Germay Abstract: We cosider graphs with cliques of size k
More informationResolution and the Weak Pigeonhole Principle
Resolutio ad the Weak Pigeohole Priciple Sam Buss 1 ad Toia Pitassi 2 1 Departmets of Mathematics ad Computer Sciece Uiversity of Califoria, Sa Diego, La Jolla, CA 92093-0112. 2 Departmet of Computer Sciece,
More information4.3 Growth Rates of Solutions to Recurrences
4.3. GROWTH RATES OF SOLUTIONS TO RECURRENCES 81 4.3 Growth Rates of Solutios to Recurreces 4.3.1 Divide ad Coquer Algorithms Oe of the most basic ad powerful algorithmic techiques is divide ad coquer.
More informationInjections, Surjections, and the Pigeonhole Principle
Ijectios, Surjectios, ad the Pigeohole Priciple 1 (10 poits Here we will come up with a sloppy boud o the umber of parethesisestigs (a (5 poits Describe a ijectio from the set of possible ways to est pairs
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More informationLecture 2 Clustering Part II
COMS 4995: Usupervised Learig (Summer 8) May 24, 208 Lecture 2 Clusterig Part II Istructor: Nakul Verma Scribes: Jie Li, Yadi Rozov Today, we will be talkig about the hardess results for k-meas. More specifically,
More informationLecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) =
COMPSCI 230: Discrete Mathematics for Computer Sciece April 8, 2019 Lecturer: Debmalya Paigrahi Lecture 22 Scribe: Kevi Su 1 Overview I this lecture, we begi studyig the fudametals of coutig discrete objects.
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationw (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ.
2 5. Weighted umber of late jobs 5.1. Release dates ad due dates: maximimizig the weight of o-time jobs Oce we add release dates, miimizig the umber of late jobs becomes a sigificatly harder problem. For
More informationRecursive Algorithm for Generating Partitions of an Integer. 1 Preliminary
Recursive Algorithm for Geeratig Partitios of a Iteger Sug-Hyuk Cha Computer Sciece Departmet, Pace Uiversity 1 Pace Plaza, New York, NY 10038 USA scha@pace.edu Abstract. This article first reviews the
More informationAn Introduction to Randomized Algorithms
A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis
More informationSRC Technical Note June 17, Tight Thresholds for The Pure Literal Rule. Michael Mitzenmacher. d i g i t a l
SRC Techical Note 1997-011 Jue 17, 1997 Tight Thresholds for The Pure Literal Rule Michael Mitzemacher d i g i t a l Systems Research Ceter 130 Lytto Aveue Palo Alto, Califoria 94301 http://www.research.digital.com/src/
More informationThe Growth of Functions. Theoretical Supplement
The Growth of Fuctios Theoretical Supplemet The Triagle Iequality The triagle iequality is a algebraic tool that is ofte useful i maipulatig absolute values of fuctios. The triagle iequality says that
More informationA Note on Matrix Rigidity
A Note o Matrix Rigidity Joel Friedma Departmet of Computer Sciece Priceto Uiversity Priceto, NJ 08544 Jue 25, 1990 Revised October 25, 1991 Abstract I this paper we give a explicit costructio of matrices
More informationSection 5.1 The Basics of Counting
1 Sectio 5.1 The Basics of Coutig Combiatorics, the study of arragemets of objects, is a importat part of discrete mathematics. I this chapter, we will lear basic techiques of coutig which has a lot of
More informationThe random version of Dvoretzky s theorem in l n
The radom versio of Dvoretzky s theorem i l Gideo Schechtma Abstract We show that with high probability a sectio of the l ball of dimesio k cε log c > 0 a uiversal costat) is ε close to a multiple of the
More informationPhase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems
Phase Trasitios ad Complexity of Weighted Satisfiability ad Other Itractable Parameterized Problems Yog Gao Departmet of Computer Sciece Irvig K. Barber School of Arts ad Scieces Uiversity of British Columbia
More informationStructural Functionality as a Fundamental Property of Boolean Algebra and Base for Its Real-Valued Realizations
Structural Fuctioality as a Fudametal Property of Boolea Algebra ad Base for Its Real-Valued Realizatios Draga G. Radojević Uiversity of Belgrade, Istitute Mihajlo Pupi, Belgrade draga.radojevic@pupi.rs
More informationParameterized Complexity of DPLL Search Procedures
Parameterized Complexity of DPLL Search Procedures Olaf Beyersdorff 1, Nicola Galesi 2, and Massimo Lauria 2 1 Institut für Theoretische Informatik, Leibniz Universität Hannover, Germany 2 Dipartimento
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationLecture 2. The Lovász Local Lemma
Staford Uiversity Sprig 208 Math 233A: No-costructive methods i combiatorics Istructor: Ja Vodrák Lecture date: Jauary 0, 208 Origial scribe: Apoorva Khare Lecture 2. The Lovász Local Lemma 2. Itroductio
More informationOn Random Line Segments in the Unit Square
O Radom Lie Segmets i the Uit Square Thomas A. Courtade Departmet of Electrical Egieerig Uiversity of Califoria Los Ageles, Califoria 90095 Email: tacourta@ee.ucla.edu I. INTRODUCTION Let Q = [0, 1] [0,
More informationPolynomial identity testing and global minimum cut
CHAPTER 6 Polyomial idetity testig ad global miimum cut I this lecture we will cosider two further problems that ca be solved usig probabilistic algorithms. I the first half, we will cosider the problem
More informationThe Random Walk For Dummies
The Radom Walk For Dummies Richard A Mote Abstract We look at the priciples goverig the oe-dimesioal discrete radom walk First we review five basic cocepts of probability theory The we cosider the Beroulli
More informationCommutativity in Permutation Groups
Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are
More information6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.
6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio
More informationSeveral properties of new ellipsoids
Appl. Math. Mech. -Egl. Ed. 008 9(7):967 973 DOI 10.1007/s10483-008-0716-y c Shaghai Uiversity ad Spriger-Verlag 008 Applied Mathematics ad Mechaics (Eglish Editio) Several properties of ew ellipsoids
More informationThe Local Harmonious Chromatic Problem
The 7th Workshop o Combiatorial Mathematics ad Computatio Theory The Local Harmoious Chromatic Problem Yue Li Wag 1,, Tsog Wuu Li ad Li Yua Wag 1 Departmet of Iformatio Maagemet, Natioal Taiwa Uiversity
More informationSECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES
SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES Read Sectio 1.5 (pages 5 9) Overview I Sectio 1.5 we lear to work with summatio otatio ad formulas. We will also itroduce a brief overview of sequeces,
More informationYou may work in pairs or purely individually for this assignment.
CS 04 Problem Solvig i Computer Sciece OOC Assigmet 6: Recurreces You may work i pairs or purely idividually for this assigmet. Prepare your aswers to the followig questios i a plai ASCII text file or
More informationLangford s Problem. Moti Ben-Ari. Department of Science Teaching. Weizmann Institute of Science.
Lagford s Problem Moti Be-Ari Departmet of Sciece Teachig Weizma Istitute of Sciece http://www.weizma.ac.il/sci-tea/beari/ c 017 by Moti Be-Ari. This work is licesed uder the Creative Commos Attributio-ShareAlike
More informationIP Reference guide for integer programming formulations.
IP Referece guide for iteger programmig formulatios. by James B. Orli for 15.053 ad 15.058 This documet is iteded as a compact (or relatively compact) guide to the formulatio of iteger programs. For more
More informationLinear chord diagrams with long chords
Liear chord diagrams with log chords Everett Sulliva Departmet of Mathematics Dartmouth College Haover New Hampshire, U.S.A. everett..sulliva@dartmouth.edu Submitted: Feb 7, 2017; Accepted: Oct 7, 2017;
More information1 Hash tables. 1.1 Implementation
Lecture 8 Hash Tables, Uiversal Hash Fuctios, Balls ad Bis Scribes: Luke Johsto, Moses Charikar, G. Valiat Date: Oct 18, 2017 Adapted From Virgiia Williams lecture otes 1 Hash tables A hash table is a
More informationMath 4707 Spring 2018 (Darij Grinberg): homework set 4 page 1
Math 4707 Sprig 2018 Darij Griberg): homewor set 4 page 1 Math 4707 Sprig 2018 Darij Griberg): homewor set 4 due date: Wedesday 11 April 2018 at the begiig of class, or before that by email or moodle Please
More informationSeed and Sieve of Odd Composite Numbers with Applications in Factorization of Integers
IOSR Joural of Mathematics (IOSR-JM) e-issn: 78-578, p-issn: 319-75X. Volume 1, Issue 5 Ver. VIII (Sep. - Oct.01), PP 01-07 www.iosrjourals.org Seed ad Sieve of Odd Composite Numbers with Applicatios i
More informationNotes for Lecture 11
U.C. Berkeley CS78: Computatioal Complexity Hadout N Professor Luca Trevisa 3/4/008 Notes for Lecture Eigevalues, Expasio, ad Radom Walks As usual by ow, let G = (V, E) be a udirected d-regular graph with
More informationLecture 5: April 17, 2013
TTIC/CMSC 350 Mathematical Toolkit Sprig 203 Madhur Tulsiai Lecture 5: April 7, 203 Scribe: Somaye Hashemifar Cheroff bouds recap We recall the Cheroff/Hoeffdig bouds we derived i the last lecture idepedet
More informationPairs of disjoint q-element subsets far from each other
Pairs of disjoit q-elemet subsets far from each other Hikoe Eomoto Departmet of Mathematics, Keio Uiversity 3-14-1 Hiyoshi, Kohoku-Ku, Yokohama, 223 Japa, eomoto@math.keio.ac.jp Gyula O.H. Katoa Alfréd
More information6.3 Testing Series With Positive Terms
6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial
More information1. By using truth tables prove that, for all statements P and Q, the statement
Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3
More informationAlliance Partition Number in Graphs
Alliace Partitio Number i Graphs Lida Eroh Departmet of Mathematics Uiversity of Wiscosi Oshkosh, Oshkosh, WI email: eroh@uwoshedu, phoe: (90)44-7343 ad Ralucca Gera Departmet of Applied Mathematics Naval
More informationHOMEWORK 2 SOLUTIONS
HOMEWORK SOLUTIONS CSE 55 RANDOMIZED AND APPROXIMATION ALGORITHMS 1. Questio 1. a) The larger the value of k is, the smaller the expected umber of days util we get all the coupos we eed. I fact if = k
More informationBertrand s Postulate. Theorem (Bertrand s Postulate): For every positive integer n, there is a prime p satisfying n < p 2n.
Bertrad s Postulate Our goal is to prove the followig Theorem Bertrad s Postulate: For every positive iteger, there is a prime p satisfyig < p We remark that Bertrad s Postulate is true by ispectio for,,
More informationThe normal subgroup structure of ZM-groups
arxiv:1502.04776v1 [math.gr] 17 Feb 2015 The ormal subgroup structure of ZM-groups Marius Tărăuceau February 17, 2015 Abstract The mai goal of this ote is to determie ad to cout the ormal subgroups of
More informationThe Choquet Integral with Respect to Fuzzy-Valued Set Functions
The Choquet Itegral with Respect to Fuzzy-Valued Set Fuctios Weiwei Zhag Abstract The Choquet itegral with respect to real-valued oadditive set fuctios, such as siged efficiecy measures, has bee used i
More informationChapter 4. Fourier Series
Chapter 4. Fourier Series At this poit we are ready to ow cosider the caoical equatios. Cosider, for eample the heat equatio u t = u, < (4.) subject to u(, ) = si, u(, t) = u(, t) =. (4.) Here,
More informationMathematical Induction
Mathematical Iductio Itroductio Mathematical iductio, or just iductio, is a proof techique. Suppose that for every atural umber, P() is a statemet. We wish to show that all statemets P() are true. I a
More informationOn forward improvement iteration for stopping problems
O forward improvemet iteratio for stoppig problems Mathematical Istitute, Uiversity of Kiel, Ludewig-Mey-Str. 4, D-24098 Kiel, Germay irle@math.ui-iel.de Albrecht Irle Abstract. We cosider the optimal
More informationMathematical Foundations -1- Sets and Sequences. Sets and Sequences
Mathematical Foudatios -1- Sets ad Sequeces Sets ad Sequeces Methods of proof 2 Sets ad vectors 13 Plaes ad hyperplaes 18 Liearly idepedet vectors, vector spaces 2 Covex combiatios of vectors 21 eighborhoods,
More informationLecture 16: Monotone Formula Lower Bounds via Graph Entropy. 2 Monotone Formula Lower Bounds via Graph Entropy
15-859: Iformatio Theory ad Applicatios i TCS CMU: Sprig 2013 Lecture 16: Mootoe Formula Lower Bouds via Graph Etropy March 26, 2013 Lecturer: Mahdi Cheraghchi Scribe: Shashak Sigh 1 Recap Graph Etropy:
More informationA NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS
Acta Math. Hugar., 2007 DOI: 10.1007/s10474-007-7013-6 A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS L. L. STACHÓ ad L. I. SZABÓ Bolyai Istitute, Uiversity of Szeged, Aradi vértaúk tere 1, H-6720
More informationSOME TRIBONACCI IDENTITIES
Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece
More informationMA131 - Analysis 1. Workbook 2 Sequences I
MA3 - Aalysis Workbook 2 Sequeces I Autum 203 Cotets 2 Sequeces I 2. Itroductio.............................. 2.2 Icreasig ad Decreasig Sequeces................ 2 2.3 Bouded Sequeces..........................
More informationON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS
ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary
More informationA Note on the Symmetric Powers of the Standard Representation of S n
A Note o the Symmetric Powers of the Stadard Represetatio of S David Savitt 1 Departmet of Mathematics, Harvard Uiversity Cambridge, MA 0138, USA dsavitt@mathharvardedu Richard P Staley Departmet of Mathematics,
More informationEstimation for Complete Data
Estimatio for Complete Data complete data: there is o loss of iformatio durig study. complete idividual complete data= grouped data A complete idividual data is the oe i which the complete iformatio of
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
More informationNICK DUFRESNE. 1 1 p(x). To determine some formulas for the generating function of the Schröder numbers, r(x) = a(x) =
AN INTRODUCTION TO SCHRÖDER AND UNKNOWN NUMBERS NICK DUFRESNE Abstract. I this article we will itroduce two types of lattice paths, Schröder paths ad Ukow paths. We will examie differet properties of each,
More informationProblem Set 2 Solutions
CS271 Radomess & Computatio, Sprig 2018 Problem Set 2 Solutios Poit totals are i the margi; the maximum total umber of poits was 52. 1. Probabilistic method for domiatig sets 6pts Pick a radom subset S
More informationSquare-Congruence Modulo n
Square-Cogruece Modulo Abstract This paper is a ivestigatio of a equivalece relatio o the itegers that was itroduced as a exercise i our Discrete Math class. Part I - Itro Defiitio Two itegers are Square-Cogruet
More information3.2 Properties of Division 3.3 Zeros of Polynomials 3.4 Complex and Rational Zeros of Polynomials
Math 60 www.timetodare.com 3. Properties of Divisio 3.3 Zeros of Polyomials 3.4 Complex ad Ratioal Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered
More informationRandomized Algorithms I, Spring 2018, Department of Computer Science, University of Helsinki Homework 1: Solutions (Discussed January 25, 2018)
Radomized Algorithms I, Sprig 08, Departmet of Computer Sciece, Uiversity of Helsiki Homework : Solutios Discussed Jauary 5, 08). Exercise.: Cosider the followig balls-ad-bi game. We start with oe black
More informationIT is well known that Brouwer s fixed point theorem can
IAENG Iteratioal Joural of Applied Mathematics, 4:, IJAM_4 0 Costructive Proof of Brouwer s Fixed Poit Theorem for Sequetially Locally No-costat ad Uiformly Sequetially Cotiuous Fuctios Yasuhito Taaka,
More informationMath 155 (Lecture 3)
Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,
More informationExercises 1 Sets and functions
Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,
More informationLarge holes in quasi-random graphs
Large holes i quasi-radom graphs Joaa Polcy Departmet of Discrete Mathematics Adam Mickiewicz Uiversity Pozań, Polad joaska@amuedupl Submitted: Nov 23, 2006; Accepted: Apr 10, 2008; Published: Apr 18,
More informationRiesz-Fischer Sequences and Lower Frame Bounds
Zeitschrift für Aalysis ud ihre Aweduge Joural for Aalysis ad its Applicatios Volume 1 (00), No., 305 314 Riesz-Fischer Sequeces ad Lower Frame Bouds P. Casazza, O. Christese, S. Li ad A. Lider Abstract.
More informationLecture 2 Long paths in random graphs
Lecture Log paths i radom graphs 1 Itroductio I this lecture we treat the appearace of log paths ad cycles i sparse radom graphs. will wor with the probability space G(, p) of biomial radom graphs, aalogous
More informationChapter 6 Infinite Series
Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat
More informationA REMARK ON A PROBLEM OF KLEE
C O L L O Q U I U M M A T H E M A T I C U M VOL. 71 1996 NO. 1 A REMARK ON A PROBLEM OF KLEE BY N. J. K A L T O N (COLUMBIA, MISSOURI) AND N. T. P E C K (URBANA, ILLINOIS) This paper treats a property
More informationn outcome is (+1,+1, 1,..., 1). Let the r.v. X denote our position (relative to our starting point 0) after n moves. Thus X = X 1 + X 2 + +X n,
CS 70 Discrete Mathematics for CS Sprig 2008 David Wager Note 9 Variace Questio: At each time step, I flip a fair coi. If it comes up Heads, I walk oe step to the right; if it comes up Tails, I walk oe
More informationAbsolutely Harmonious Labeling of Graphs
Iteratioal J.Math. Combi. Vol. (011), 40-51 Absolutely Harmoious Labelig of Graphs M.Seeivasa (Sri Paramakalyai College, Alwarkurichi-6741, Idia) A.Lourdusamy (St.Xavier s College (Autoomous), Palayamkottai,
More informationCSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
More informationOptimally Sparse SVMs
A. Proof of Lemma 3. We here prove a lower boud o the umber of support vectors to achieve geeralizatio bouds of the form which we cosider. Importatly, this result holds ot oly for liear classifiers, but
More information16 Riemann Sums and Integrals
16 Riema Sums ad Itegrals Defiitio: A partitio P of a closed iterval [a, b], (b >a)isasetof 1 distict poits x i (a, b) togetherwitha = x 0 ad b = x, together with the covetio that i>j x i >x j. Defiitio:
More informationSupport vector machine revisited
6.867 Machie learig, lecture 8 (Jaakkola) 1 Lecture topics: Support vector machie ad kerels Kerel optimizatio, selectio Support vector machie revisited Our task here is to first tur the support vector
More informationMachine Learning Theory Tübingen University, WS 2016/2017 Lecture 12
Machie Learig Theory Tübige Uiversity, WS 06/07 Lecture Tolstikhi Ilya Abstract I this lecture we derive risk bouds for kerel methods. We will start by showig that Soft Margi kerel SVM correspods to miimizig
More informationAdvanced Stochastic Processes.
Advaced Stochastic Processes. David Gamarik LECTURE 2 Radom variables ad measurable fuctios. Strog Law of Large Numbers (SLLN). Scary stuff cotiued... Outlie of Lecture Radom variables ad measurable fuctios.
More informationACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER / Statistics
ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER 1 018/019 DR. ANTHONY BROWN 8. Statistics 8.1. Measures of Cetre: Mea, Media ad Mode. If we have a series of umbers the
More informationMath F215: Induction April 7, 2013
Math F25: Iductio April 7, 203 Iductio is used to prove that a collectio of statemets P(k) depedig o k N are all true. A statemet is simply a mathematical phrase that must be either true or false. Here
More informationDisjoint set (Union-Find)
CS124 Lecture 7 Fall 2018 Disjoit set (Uio-Fid) For Kruskal s algorithm for the miimum spaig tree problem, we foud that we eeded a data structure for maitaiig a collectio of disjoit sets. That is, we eed
More informationA New Solution Method for the Finite-Horizon Discrete-Time EOQ Problem
This is the Pre-Published Versio. A New Solutio Method for the Fiite-Horizo Discrete-Time EOQ Problem Chug-Lu Li Departmet of Logistics The Hog Kog Polytechic Uiversity Hug Hom, Kowloo, Hog Kog Phoe: +852-2766-7410
More informationRiemann Sums y = f (x)
Riema Sums Recall that we have previously discussed the area problem I its simplest form we ca state it this way: The Area Problem Let f be a cotiuous, o-egative fuctio o the closed iterval [a, b] Fid
More informationLecture 27. Capacity of additive Gaussian noise channel and the sphere packing bound
Lecture 7 Ageda for the lecture Gaussia chael with average power costraits Capacity of additive Gaussia oise chael ad the sphere packig boud 7. Additive Gaussia oise chael Up to this poit, we have bee
More informationLecture 2: April 3, 2013
TTIC/CMSC 350 Mathematical Toolkit Sprig 203 Madhur Tulsiai Lecture 2: April 3, 203 Scribe: Shubhedu Trivedi Coi tosses cotiued We retur to the coi tossig example from the last lecture agai: Example. Give,
More informationON MEAN ERGODIC CONVERGENCE IN THE CALKIN ALGEBRAS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX0000-0 ON MEAN ERGODIC CONVERGENCE IN THE CALKIN ALGEBRAS MARCH T. BOEDIHARDJO AND WILLIAM B. JOHNSON 2
More informationb i u x i U a i j u x i u x j
M ath 5 2 7 Fall 2 0 0 9 L ecture 1 9 N ov. 1 6, 2 0 0 9 ) S ecod- Order Elliptic Equatios: Weak S olutios 1. Defiitios. I this ad the followig two lectures we will study the boudary value problem Here
More informationON SOME DIOPHANTINE EQUATIONS RELATED TO SQUARE TRIANGULAR AND BALANCING NUMBERS
Joural of Algebra, Number Theory: Advaces ad Applicatios Volume, Number, 00, Pages 7-89 ON SOME DIOPHANTINE EQUATIONS RELATED TO SQUARE TRIANGULAR AND BALANCING NUMBERS OLCAY KARAATLI ad REFİK KESKİN Departmet
More informationLecture 4: Unique-SAT, Parity-SAT, and Approximate Counting
Advaced Complexity Theory Sprig 206 Lecture 4: Uique-SAT, Parity-SAT, ad Approximate Coutig Prof. Daa Moshkovitz Scribe: Aoymous Studet Scribe Date: Fall 202 Overview I this lecture we begi talkig about
More informationarxiv: v1 [math.nt] 10 Dec 2014
A DIGITAL BINOMIAL THEOREM HIEU D. NGUYEN arxiv:42.38v [math.nt] 0 Dec 204 Abstract. We preset a triagle of coectios betwee the Sierpisi triagle, the sum-of-digits fuctio, ad the Biomial Theorem via a
More informationDavenport-Schinzel Sequences and their Geometric Applications
Advaced Computatioal Geometry Sprig 2004 Daveport-Schizel Sequeces ad their Geometric Applicatios Prof. Joseph Mitchell Scribe: Mohit Gupta 1 Overview I this lecture, we itroduce the cocept of Daveport-Schizel
More informationExpected Norms of Zero-One Polynomials
DRAFT: Caad. Math. Bull. July 4, 08 :5 File: borwei80 pp. Page Sheet of Caad. Math. Bull. Vol. XX (Y, ZZZZ pp. 0 0 Expected Norms of Zero-Oe Polyomials Peter Borwei, Kwok-Kwog Stephe Choi, ad Idris Mercer
More informationGoldbach s Pigeonhole. Edward Early, Patrick Kim, and Michael Proulx
Goldbach s Pigeohole Edward Early, Patrick Kim, ad Michael Proulx Edward Early edwarde@stedwards.edu) received his Ph.D. from the Massachusetts Istitute of Techology. He is a associate professor of mathematics
More informationChapter 6 Principles of Data Reduction
Chapter 6 for BST 695: Special Topics i Statistical Theory. Kui Zhag, 0 Chapter 6 Priciples of Data Reductio Sectio 6. Itroductio Goal: To summarize or reduce the data X, X,, X to get iformatio about a
More informationADVANCED SOFTWARE ENGINEERING
ADVANCED SOFTWARE ENGINEERING COMP 3705 Exercise Usage-based Testig ad Reliability Versio 1.0-040406 Departmet of Computer Ssciece Sada Narayaappa, Aeliese Adrews Versio 1.1-050405 Departmet of Commuicatio
More informationThe Boolean Ring of Intervals
MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,
More information