59 search results - page 1 / 12 » A Pushing-Pulling Method: New Proofs of Intersection Theorem... |
COMBINATORICA
1999
14 years 10 months ago
1999
CORR
2010
Springer
14 years 11 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...
108
click to vote
ENTCS
2002
14 years 10 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
14 years 9 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
14 years 10 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...