7 Commits

Author	SHA1	Message	Date
Yu Cong	0d883a033e	gap 4 conj doesn't seem correct... fixed some setminus	2025-05-05 22:46:29 +08:00
Yu Cong	6e0a354fe9	add a lemma	2025-05-05 15:00:38 +08:00
Yu Cong	5ea84de880	fix typo	2025-05-05 14:32:52 +08:00
Yu Cong	883e95d3ee	...	2025-05-04 13:36:28 +08:00
Yu Cong	7f200d09c2	breakpoints & weight truncation	2025-05-04 11:53:01 +08:00
Yu Cong	3b2b24cd58	FPTAS section	2025-05-04 11:19:55 +08:00
Yu Cong	4a0dc137a4	first commit	2025-05-04 00:06:02 +08:00