빈 목록
head=null, tail=nullsize 0
head와 tail의 크기 전이
0개·1개·여러 개에서 끝점 불변식을 비교한다.
첫 삽입
head == tailsize 1
여러 원소
head.prev=nulltail.next=null
마지막 삭제
두 끝점 nullsize 0 복원
핵심: 0과 1 사이 전이는 head와 tail을 항상 함께 바꾼다.
0개·1개·여러 개에서 끝점 불변식을 비교한다.
head=null, tail=nullsize 0
head == tailsize 1
head.prev=nulltail.next=null
두 끝점 nullsize 0 복원
핵심: 0과 1 사이 전이는 head와 tail을 항상 함께 바꾼다.