In this paper, we address computation of the degree $$\deg {\rm Det} A$$
deg
Det
A
of Dieudonné determinant $${\rm Det} A$$
Det
A
of
$$\begin{aligned}
A = \sum_{k=1}^m A_k x_k t^{c_k},
\end{aligned}$$
A
=
∑
k
=
1
m
A
k
x
k
t
c
k
,
where $$A_k$$
A
k
are $$n \times n$$
n
×
n
matrices over a field $$\mathbb{K}$$
K
, $$x_k$$
x
k
are noncommutative variables,
t is a variable commuting with $$x_k$$
x
k
, $$c_k$$
c
k
are integers,
and the degree is considered for t.
This problem generalizes noncommutative Edmonds' problem and
fundamental combinatorial optimization problems
including the weighted linear matroid intersection problem.
It was shown that $$\deg {\rm Det} A$$
deg
Det
A
is obtained by
a discrete convex optimization on a Euclidean building (Hirai 2019).
We extend this framework by incorporating a cost-scaling technique
and show that $$\deg {\rm Det} A$$
deg
Det
A
can be computed in time polynomial of $$n,m,\log_2 C$$
n
,
m
,
log
2
C
, where $$C:= \max_k |c_k|$$
C
:
=
max
k
|
c
k
|
.
We give a polyhedral interpretation of $$\deg {\rm Det}$$
deg
Det
,
which says that $$\deg {\rm Det}$$
deg
Det
A is given by linear optimization
over an integral polytope with respect to objective vector $$c = (c_k)$$
c
=
(
c
k
)
.
Based on it, we show that our algorithm becomes a strongly polynomial one.
We also apply our result to an algebraic combinatorial optimization problem
arising from a symbolic matrix having $$2 \times 2$$
2
×
2
-submatrix structure.