نتایج جستجو برای: pigeonhole principle

تعداد نتایج: 153072  

Journal: :Eur. J. Comb. 2002
Anthony Bonato Peter J. Cameron Dejan Delic Stéphan Thomassé

A relational structure A satisfies the P(n, k) property if whenever the vertex set of A is partitioned into n nonempty parts, the substructure induced by the union of some k of the parts is isomorphic to A. The P(2, 1) property is just the pigeonhole property, (P), introduced by Cameron, and studied by Bonato, Delić and Cameron. We classify the countable graphs, tournaments, and oriented graphs...

Journal: :Electronic Proceedings in Theoretical Computer Science 2009

2005
Ashwin Desai Goolam Vahed

Like its author Ashwin Desai, variously an academic, journalist, teacher, radio talk-show host, activist and member of cricket's national Transformation Monitoring Committee, it is difficult to pigeonhole The Poors of Chatsworth. It is a history ofChatsworth, a narrative of the lives of ordinary South Africans in preand post-apartheid South Africa, an examination of the impact of the ANC govern...

Journal: :acta medica iranica 0
payam dindoost department of gastroenterology, middle east liver diseases center (meld centers), tehran, iran. narges chimeh department of psychiatry, family research institute, shahid beheshti university, tehran, iran. blain f hollinger department of gastroenterology, baylor college of medicine one baylor plaza, houston, usa. esmaeil saberfar department of virology, bayerpaul (bp) vaccines and pharmaceutical company, tehran, iran. mehdi norouzi department of virology, faculty of public health, tehran university of medical sciences, tehran, iran. seyed mohammad jazayeri department of virology, faculty of public health, tehran university of medical sciences, tehran, iran.

occult hepatitis b (ohb), or persistent hepatitis b virus (hbv) viremia in surface-antigen-hbsag-negative patients, has been recognized as a medical concern during the last decade. the exact magnitude, pathogenesis and clinical relevance of ohb are unclear. this review organizes the published data on ohb and presents an overview of the current hypotheses on ohb's pathogenesis and clinical relev...

2007
Eric Schmutz

Let Ωn be the n -element set consisting of functions that have [n] as both domain and codomain. Since Ωn is finite, it is clear by the pigeonhole principle that, for any f ∈ Ωn, the sequence of compositional iterates f, f , f , f (4) . . . must eventually repeat. Let T(f) be the period of this eventually periodic sequence of functions, i.e. the least positive integer T such that, for all m ≥ n,...

2014
Gayatri Rani K Santosh Kumar

Disruption Tolerant Networks (DTNs) utilize the mobility of nodes and the opportunistic contacts among nodes for data communications. Due to the limitation in network resources such as contact opportunity and buffer space, DTNs are vulnerable to flood attacks in which attackers send as many packets or packet replicas as possible to the network, in order to deplete or overuse the limited network...

2002
DoRon B. Motter Igor L. Markov

Conventional algorithms for Boolean satisfiability (SAT) work within the framework of resolution as a proof system. However it has been known since the 1980s that every resolution proof of the pigeonhole principle (PHPm n ), suitably encoded as a CNF instance, includes exponentially many steps[4]. Therefore SAT solvers based upon the DLL procedure [1] or the DP procedure [2] must take exponenti...

Journal: :J. Symb. Log. 1997
Jan Krajícek

A proof of the (propositional) Craig interpolation theorem for cut-free sequent calculus yields that a sequent with a cut-free proof (or with a proof with cut-formulas of restricted form; in particular, with only analytic cuts) with k inferences has an interpolant whose circuit-size is at most k. We give a new proof of the interpolation theorem based on a communication complexity approach which...

2013
Yuval Filmus Massimo Lauria Mladen Mikša Jakob Nordström Marc Vinyals

During the last decade, an active line of research in proof complexity has been into the space complexity of proofs and how space is related to other measures. By now these aspects of resolution are fairly well understood, but many open problems remain for the related but stronger polynomial calculus (PC/PCR) proof system. For instance, the space complexity of many standard “benchmark formulas”...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید