Supposons que nous ayons une matrice n par n. Est-il possible de réorganiser ses lignes et colonnes de manière à obtenir une matrice triangulaire supérieure?
Cette question est motivée par ce problème: Ordre topologique positif
Le problème de décision d'origine est au moins aussi difficile que celui-ci, donc un résultat d'exhaustivité NP résoudrait cela aussi.
Edit: Laszlo Vegh et Andras Frank ont attiré mon attention sur un problème équivalent posé par Gunter Rote: http://lemon.cs.elte.hu/egres/open/Graphs_extendable_to_a_uniquely_matchable_bipartite_graph
Edit: La réduction au problème d'origine est la suivante. Supposons que le DAG n'ait que deux niveaux, ceux-ci correspondront aux lignes et colonnes de la matrice. De plus, nous avons un seul nœud avec un poids +1. Tout le monde au niveau inférieur a un poids -1 et au niveau supérieur +1.