A = (a_i_j) を n 次正方行列とする。

σ、 τ ∈ S_n とする。

n 次正方行列 (a_σ(i)_τ(j)) が上三角行列となるような σ、 τ ∈ S_n が存在するための
必要十分条件をグラフ理論的に述べよ。

この問題の解答をお願いします。