매트로이드 이론으로 그리디 알고리즘이 최적해를 보장하는 것을 증명해야하는데 


최소신장트리문제는 제외하고 해야함..


그래서 작업스케줄링이나 다익스트라 같은 알고리즘 대상으로 증명이 가능할까...


최소신장트리 증명하는 건 감이 오는데 다른 건 모르겠다 ㅠㅠ