Pemesanan topologi positif, ambil 3


20

Misalkan kita memiliki matriks n oleh n. Apakah mungkin untuk menyusun ulang baris dan kolomnya sehingga kita mendapatkan matriks segitiga-atas?

Pertanyaan ini dimotivasi oleh masalah ini: Urutan topologis positif

Masalah keputusan awal setidaknya sekeras yang ini, jadi hasil NP-kelengkapan akan menyelesaikannya juga.

Sunting: Laszlo Vegh dan Andras Frank meminta perhatian saya pada masalah serupa yang diajukan oleh Gunter Rote: http://lemon.cs.elte.hu/egres/open/Graphs_extendable_to_a_uniquely_matchable_bipartite_graph

Sunting: Pengurangan masalah asli adalah sebagai berikut. Misalkan DAG hanya memiliki dua level, ini akan sesuai dengan baris dan kolom dari matriks. Selain itu, kami memiliki satu simpul tunggal dengan bobot +1. Semua orang di level bawah memiliki bobot -1 dan pada level atas +1.


Bagaimana Anda mengurangi ini ke masalah aslinya? Omong-omong, masalah ini terlihat menarik dengan sendirinya.
Tsuyoshi Ito

Apakah Anda mencari satu permutasi untuk diterapkan pada baris dan kolom, atau dua permutasi yang terpisah? Saya menduga dua, karena dengan hanya satu masalah tampaknya setara dengan jenis topologi.
Warren Schudy

Memikirkannya sebagai grafik bipartit (seperti pada tautan elte), mereka memberikan kondisi yang diperlukan sehingga tidak memiliki subgraf yang dibuat dari salinan K2, C4, C6, C8, dll. Persyaratan lain yang diperlukan adalah urutan derajat keduanya bagian didominasi oleh (1, 2, 3, ..., n) --- Saya pikir ini lebih kuat daripada kondisi berbasis klik lain di tautan.
daveagp

Jawaban:


12

Masalahnya ternyata NP-lengkap. Anda dapat membaca lebih detail di sini dan di sini . Ringkasan singkat:

Pengurangan dari masalah ditunjukkan sebagai NP-lengkap oleh Dasgupta, Jiang, Kannan, Li, dan Sweedyk: diberi grafik bipartit G dan integer k, putuskan apakah G memiliki subgraf yang diinduksi pada simpul 2k yang dapat diperluas ke bisa dicocokkan secara unik. Telah diamati oleh Stéphane Vialette bahwa ini mengurangi versi pencocokan unik bipartit dari masalah ini jika kita menambahkan nk node terisolasi ke kedua kelas.


Terima kasih atas tautan ke EGRES. Saya sangat menikmati masalah terbuka terutama yang terkait dengan pencocokan (sempurna).
Mohammad Al-Turkistany

Apa situs masalah terbuka kualitas lainnya (terkait dengan kompleksitas komputasi)?
Mohammad Al-Turkistany

@turkistany, saya tidak tahu yang lain, saya pikir ini juga tentang riset operasi / teori grafik.
domotorp

3

Perhatian: Ini adalah jawaban parsial berdasarkan dugaan dan desas-desus! Sedangkan masalah David Eppstein yang lebih umum adalah NP-complete, mungkin yang ini ada di P.

Katakanlah grafik bipartit dengan adalah "UPMX" jika dapat diperpanjang ke grafik dengan pencocokan sempurna yang unik. Berikut adalah beberapa kondisi yang diperlukan untuk UPMX:| A | = | B | = n(SEBUAHB,E)|SEBUAH|=|B|=n

  • itu tidak boleh mengandung 2 pasangan yang sempurna,
  • urutan derajat A, ketika diurutkan dalam urutan yang meningkat, harus sesuai komponen , dan juga untuk B. Saya akan menyebutnya "kondisi derajat."(1,2,...,n)

Sejauh ini, saya belum dapat menemukan contoh di mana grafik memenuhi kondisi ini, tetapi gagal menjadi UPMX. Kalau begitu, mungkin mereka sudah cukup. Orang mungkin membuktikan ini dengan algoritma berikut:

  1. jika grafik memiliki> 1 kecocokan sempurna, kembalikan "bukan UPMX"
  2. jika grafik gagal pada kondisi derajat, kembalikan "bukan UPMX"
  3. jika grafik memiliki = 1 pencocokan sempurna, kembalikan "UPMX"
  4. kalau tidak, mungkin kita bisa menunjukkan itu adalah UPMX. Mungkin algoritma berikut dapat membuktikannya:
    • sedangkan grafik memiliki tepi,(n+12)-2
    • temukan beberapa keunggulan baru e yang tambahannya tidak menciptakan kecocokan yang sempurna dan tidak melanggar kondisi derajat; tambahkan e ke grafik
  5. sekarang grafik memiliki tepi dan tidak ada yang cocok sempurna, dan memenuhi kondisi derajat. Saya pikir itu tidak terlalu sulit untuk menunjukkan itu adalah UPMX, maka grafik aslinya juga demikian.(n+12)-1

Anda dapat menandai tepi baru mana yang akan menciptakan pencocokan sempurna dengan menggunakan teorema Hall, dan tidak sulit untuk mengkarakterisasi tepi baru mana yang akan melanggar batas derajat. Sayangnya, meskipun benar bahwa edge dari tipe yang tepat selalu ada, saya belum dapat membuktikannya.


Bukan pendekatan yang buruk, saya bertanya-tanya apakah itu benar.
domotorp

3

Makalah ini, Memperoleh matriks segitiga dengan permutasi kolom-baris independen Fertin, Rusu, dan Vialette, menunjukkan bahwa masalahnya adalah NP-lengkap untuk matriks persegi biner.


Ini sangat disayangkan bahwa mereka juga telah membuktikan hasil yang sama secara independen dari kami, saya kira kita harus berkomunikasi lebih baik. Bagaimanapun, saya akan mengirim email kepada mereka.
domotorp

@domotorp Masalah yang sama telah ditanyakan pada MathOverflow dan jawaban terbaiknya adalah "NP-limbo". mathoverflow.net/questions/191963/…
Mohammad Al-Turkistany

-1

Masalahnya adalah NP-complete tetapi di mana algoritma untuk menyelesaikannya? Saya memiliki satu algoritme yang berfungsi pada banyak contoh, tetapi saya tidak dapat mendemonstrasikannya akan bekerja setiap saat.


1
Bisakah Anda mencirikan kelas grafik yang menarik di mana algoritma Anda benar?
RB
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.