teoria grafów w kopalniach