Ordre topologique positif, prendre 3


20

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.


Comment réduisez-vous cela au problème d'origine? Soit dit en passant, ce problème semble intéressant en soi.
Tsuyoshi Ito

Recherchez-vous une permutation à appliquer à la fois aux lignes et aux colonnes, ou deux permutations distinctes? J'en devine deux, car avec un seul, le problème semble équivalent au tri topologique.
Warren Schudy

En le considérant comme un graphique bipartite (comme dans le lien elte), ils donnent la condition nécessaire qu'il n'a pas de sous-graphique fait de copies de K2, C4, C6, C8, etc. Une autre condition nécessaire est que la séquence des degrés des deux les parties sont dominées par (1, 2, 3, ..., n) --- Je pense que c'est plus fort que l'autre condition basée sur la clique dans le lien.
daveagp

Réponses:


12

Le problème s'est avéré être NP-complet. Vous pouvez lire plus en détail ici et ici . Court résumé:

Dasgupta, Jiang, Kannan, Li et Sweedyk ont ​​montré que la réduction provenait d'un problème NP-complet: étant donné un graphe biparti G et un entier k, décidez si G a un sous-graphe induit sur 2 nœuds pouvant être étendu à être uniquement associables. Stéphane Vialette a observé que cela se réduit à la version d'appariement bipartite unique de ce problème si nous ajoutons nk nœuds isolés aux deux classes.


Merci pour le lien vers EGRES. J'aime vraiment les problèmes ouverts, en particulier ceux liés à l'appariement (parfait).
Mohammad Al-Turkistany

Quels sont les autres sites de problèmes ouverts de qualité (liés à la complexité de calcul)?
Mohammad Al-Turkistany

@turkistany, je n'en connais pas d'autres, je pense que c'est aussi plus sur la recherche opérationnelle / théorie des graphes.
domotorp

3

Attention: Ceci est une réponse partielle basée sur des conjectures et des ouï-dire! Alors que le problème plus général de David Eppstein est NP-complet, celui-ci est peut-être en P.

(AB,E)|A|=|B|=n

  • il ne doit pas contenir 2 correspondances parfaites,
  • (1,2,...,n)

Jusqu'à présent, je n'ai pas pu trouver d'exemple où un graphique remplit ces conditions, mais ne parvient pas à être UPMX. Dans ce cas, ils sont peut-être suffisants. On pourrait le prouver par l'algorithme suivant:

  1. si le graphique a> 1 correspondances parfaites, retournez "pas UPMX"
  2. si le graphique échoue à la condition de degré, retournez "pas UPMX"
  3. si le graphique a = 1 correspondance parfaite, retournez "UPMX"
  4. sinon, nous pouvons peut-être montrer que c'est UPMX. Peut-être que l'algorithme suivant pourrait le prouver:
    • (n+12)2
    • trouver un nouveau bord e dont l'ajout ne crée pas une correspondance parfaite et ne viole pas la condition de degré; ajouter e au graphique
  5. maintenant le graphe a arêtes et aucune correspondance parfaite, et satisfait la condition de degré. Je pense qu'il n'est pas trop difficile de montrer qu'il s'agit d'UPPMX, d'où le graphique d'origine.(n+12)1

Vous pouvez caractériser les nouvelles arêtes qui créeraient une correspondance parfaite en utilisant le théorème de Hall, et il n'est pas difficile de caractériser les nouvelles arêtes qui violeraient la limite de degré. Malheureusement, même s'il est vrai qu'une arête du bon type existe toujours, je n'ai pas pu le prouver.


Pas une mauvaise approche, je me demande si c'est vrai.
domotorp

3

Cet article, Obtention d'une matrice triangulaire par permutations indépendantes ligne-colonne Fertin, Rusu et Vialette, montre que le problème est NP-complet pour les matrices binaires carrées.


C'est assez regrettable qu'ils aient également prouvé le même résultat indépendamment de nous, je suppose que nous aurions dû mieux communiquer. Quoi qu'il en soit, je vais leur envoyer un courriel.
domotorp

@domotorp Le même problème a été posé sur MathOverflow et la meilleure réponse est qu'il est dans "NP-limbo". mathoverflow.net/questions/191963/…
Mohammad Al-Turkistany

-1

Le problème est NP-complet mais où est l'algorithme pour le résoudre? J'ai un algorithme qui fonctionne sur de nombreux exemples, mais je ne peux pas démontrer qu'il fonctionnera tout le temps.


1
Pouvez-vous caractériser une classe intéressante de graphiques sur lesquels votre algorithme est correct?
RB
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.