Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Но для этого достаточно только первой (нулевой) константы, разве нет?
Ровно наоборот. То есть нулевой константы достаточно для определения по HL1 количества всех (и грязных и чистых) кортежей, то есть именно по вашей формулировке, которая чуть выше. А чтобы именно чистые посчитать как раз и приходится считать кучу констант и применять включения-исключения.