On Matroids

Matroid와 transversal theory에 관한 연구가 활발하게 진행되고 있다. 이 논문은 circuit matroid가 transversal이 되기 위한 필요 충분 조건을 지적하고 이를 증명한 것이다. 곧 어떤 graph의 circuit matroid가 transversal이 되기 위한 필요 충분 조건은 그 graph가 graph $K_4$거나 $C_{k}$ $^{2}$에 homeomorphic인 subgraph를 포함하지 않은 것이다. 증명의 방법으로는 주로 matroid의 cocircuit의 성질을 사용하여 transversal Matroid의 presentation을 적절하게 적용하고 graph의 reduction과 contraction을 이용한다.