59 search results - page 1 / 12 » A Pushing-Pulling Method: New Proofs of Intersection Theorem... |
COMBINATORICA
1999
13 years 5 months ago
1999
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We give a new proof of Delsarte, Goethals and Mac williams theorem on minimal weight codewords of generalized Reed-Muller codes published in 1970. To prove this theorem, we consid...
ENTCS
2002
13 years 5 months ago
2002
This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for ...
JCT
2010
13 years 3 months ago
2010
We prove a vector space analog of a version of the Kruskal-Katona theorem due to Lov´asz. We apply this result to extend Frankl’s theorem on r-wise intersecting families to vec...
MP
2007
13 years 4 months ago
2007
The question of nonemptiness of the intersection of a nested sequence of closed sets is fundamental in a number of important optimization topics, including the existence of optima...