Let $G$ be graph of order $n$ and adjacency matrix $A_G$.

Let $P$ be matrix with entries variables $x_{i,j}$. Add the linear integer constraints $P$ to be permutation matrix: $x_{i,j}$ are non-negative and each row and each column sum to $1$.

Define $f(i,j)=2^{i n + j}$.

Let $B=P A_G$. The entries of $B$ are linear equations in the variables of $P$.

Take the optimization problem:

$F(G) =\text{ minimize } \sum_{0 \le i,j \le n-1} f(i,j) B[i,j]$.

Is the above integer linear program complete graph invariant, i.e. $F(G)=F(H)$ iff $G,H$ are isomorphic?

For all subsets $i,j$ with $B[i,j]=1$ the sums $f(i,j)B[i,j]$ are distinct.

We believe the RHS of $F(G)$ is bijection matrix with 0-1 entries and the integers $[0,2^{n^2-1}]$.

In case of negative answer can we take $B=P A_G P^T$ and get quadratic integer program?