Çarpan çizgesi^{[not 1]} (İngilizce: Factor graph), bir fonksiyonun çarpanlarını temsil eden iki parçalı çizgedir. Olasılık teorisinde, çarpan çizgeleri olasılık dağılım fonksiyonularının çarpanlarını göstermek ve verimli hesaplamalar yapmak için kullanılır. Örneğin, rassal değişkenlerin marjinal dağılımı bu şekilde hesaplanabilir.

Çarpan çizgesindeki çarpanlar 0 ya da 1 değeri aldığında bu çarpana kısıt denir. Tüm çarpanları birer kısıt olan çizgelere kısıt çizgesi de denir.

Aşağıdaki gibi çarpanlara sahip bir fonksiyon düşünün:

${\displaystyle g(X_{1},X_{2},X_{3})=f_{1}(X_{1})f_{2}(X_{1},X_{2})f_{3}(X_{1},X_{2})f_{4}(X_{2},X_{3})}$,

Bu fonksiyonun çarpan çizgesi yandaki gibidir. Bu çarpan çizgesinde bir döngü vardır. Eğer ${\displaystyle f_{2}(X_{1},X_{2})f_{3}(X_{1},X_{2})}$ ifadesi tek bir çarpana indirgenirse, çarpan çizgesi bir ağaca dönüşür. Bu fark mesaj iletim algoritmalarının kesin (ağaçlarda) ya da yaklaşık (döngülü çizgelerde) çözümler üretmesi açısından önemlidir.