陪集計數(coset enumeration)亦稱托德一考克斯特算法一種群論算法.求有限表現群中子群指數的一種算法.設
是一個有限表現群.對於由}mgz}...,g:的字二，，二:，…，二，生成的G的子群H=<二，，二2，…，w，)，若}c . H}有限，則算法通過系統地逐次試探修正，試圖最終求出H在c的一個完全陪集表，進而得到指數}G.H}以及G在H的全體右陪集上的一個傳遞置換表示.在逐次試探的過程中，有時會錯誤地將H的同一陪集定義成不同的，稱為陪集重合現象.有例子說明陪集重合現象是不可避免的.陪集計數算法的關鍵在於如何處理陪集重合.
