Upgrade to Pro — share decks privately, control downloads, hide ads and more …

一般グラフの最大マッチング

Avatar for yosupo yosupo
March 26, 2017
2.1k

 一般グラフの最大マッチング

Avatar for yosupo

yosupo

March 26, 2017
Tweet

Transcript

  1. ܭࢉྔ w 0 7? ۪௚ͳ࣮૷ ΘΓ͔͠؆୯  w 0 7?

    ಄ྑ࣮͘૷ &ENPOETͷՖ෼ղΞϧΰϦ ζϜ ͜͜·Ͱ΍Γ·͢  w 0 㲋7 & 46(0* ࠓճ͸΍Γ·ͤΜ
  2. .૿Ճύε͕͋Δ㱺࠷େϚονϯάͰ͸ͳ͍ w ͬͪ͜͸؆୯ w .૿Ճύε͸
 ؚ·Εͳ͍ ؚΉ ؚ·Εͳ͍ ؚΉ ʜ

    ؚ·Εͳ͍
 ͳͷͰɺ͜ΕΛ
 ؚΉ ؚ·Εͳ͍ ؚΉ ؚ·Εͳ͍ ʜ ؚΉ
 ʹ͢Δ w ͜ΕͰϚονϯά͕૿΍ͤͨͷͰ0,
  3. w &ʹ͸ͲΜͳੑ࣭͕͋Δ͔ʁ w ͢΂ͯͷ௖఺ͷ࣍਺͸d 㲎. .ͱ΋ʹ࣍਺͸͔  w ͭ·Γύε͔αΠΫϧ͔͠ͳ͍ w

    ࣍਺ͷ௖఺͔Β͸ݩ.ͱݩ.ͷล͕ຊͣͭ w ߋʹɺݩ.ͷล͸ݩ.ͷลΑΓଟ͍ w ͭ·Γɺඞͣ. . . ʜ .ͱ͍͏ύε͕ଘࡏ͢Δ ˠ͜Ε͸ɺ.ͷ.૿Ճύε
  4. ղ๏ w EGT όοΫτϥοΫ w ελʔτɺΰʔϧ͸Ϛονϯάʹ࢖ͬͯͳ͍௖఺ w ౓୳ࡧͨ͠ ௖఺ Ϛονϯάͷล͔

    Λ΋͏୳ࡧ ͠ͳ͍Α͏ʹͨ͠Β 0 7  w ௖఺Λ ௖఺ લ࢖ͬͨͷ͸Ϛονϯά ͱ ௖఺ લ ࢖ͬͨͷ͸ϚονϯάͰ͸ͳ͍ ʹഒՃ͢Δͱߟ͑ ΒΕΔ
  5. w ·ͣɺ௵͢ͱ͖ʹඞͣϚονϯάͷຊ਺͸ ด࿏ͷ ௕͞ ݸݮΔ w ٯʹɺ௵ͨ͠ޙͷάϥϑͷϚονϯά͕༩͑ΒΕΕ ͹ɺ ด࿏ͷ௕͞ ݸ૿͑ͨϚονϯάΛݩͷά

    ϥϑͰߏஙͰ͖Δ w ௵ͨ͠௖఺Λ࢖ͬͯͳ͔ͬͨΒͦͷ··໭͢ w ࢖ͬͯͯ΋ɺݩͷάϥϑͰͷͦͷϚονϯάʹ࢖ͬ ͯΔ௖఺Ҏ֎Λ͚ͬͭ͘Δ
  6. 0 7? w ؔ਺ͷத਎͸ɺ w ద౰ʹ.૿ՃύεΛ୳ͦ͏ͱ͢Δ w ͳ͔ͬͨΒ΋͏࠷େϚονϯάͳͷͰ0, w ݟ͚ͭͨͷ͕ύεͩͬͨΒϚονϯάΛͦΕͰ૿΍ͤ͹0,

    w ด࿏͕͋ͬͨΒʁ w ด࿏Λ௵ͨ͋͠ͱͷάϥϑͱϚονϯάΛҾ਺ʹɺ࠶ؼ తʹ͜ͷؔ਺ΛݺͿˠ෮ݩͯ͠SFUVSO
  7. ܭࢉྔ w ·ͣɺҰ൪֎ଆͰؔ਺ΛݺͿճ਺͕0 7  w ؔ਺ͷதͰ࠶ؼతʹ0 7 ճ͙Β͍ؔ਺ΛݺͿ ด

    ࿏Λ௵͢౓ʹ௖఺͸ݸͣͭݮΔ  w ͦͷதͰ͸ɺ.૿ՃύεΛݟ͚ͭΑ͏ͱ͢Δͷ ʹ0 7 & 0 7?  w ݁Ռͱͯ͠ɺ0 7?
  8. 0 7? w 0 7? ൛ʹແବͳͱ͜Ζ͸ͳ͍ͩΖ͏͔ʁ w .૿ՃύεΛൃݟ͠Α͏ͱͯ͠ɺح਺ͷαΠΫϧ͕ ͋ͬͨΒ௵͢ˡ͜͜·Ͱ͸Α͍ w

    ͦͷ͋ͱɺ·͔ͨΒEGTΛ࢝ΊΔͷ͕ແବ w EGTΛ͠ͳ͕Βɺح਺ͷαΠΫϧ͕͋ͬͨΒద࣌௵ ͯ͘͠ɺΈ͍ͨͳײ͡Ͱ΍Ε͹͏·͍͜ͱճEGT ͢Δ͚ͩͰͲ͏ʹ͔ͳΒͳ͍ͩΖ͏͔
  9. ҧ͏໦ͷۮ఺ͷ৔߹ w ลͷࠨӈΛY Zͱ͢Δͱɺ Yͷ໦ͷࠜdYͷύε  Y Z  ZdZͷ໦ͷࠜͷύε

    ɺ͸.૿Ճύεʹͳͬ ͍ͯΔ w Αͬͯɺҧ͏໦ͷۮ఺ಉ࢜Λͭͳ͙ล͕͋ͬͨΒͦ Ε͸࠷େϚονϯάͰ͸ແ͍
  10. ಉ͡໦ͷ௖఺ͷ৔߹ w YͱZΛܨ͍ͰΔͱ͢Δ w ࣮͸ɺMDB Y Z [ͱ͢Δͱɺ Yd[dZ ͱ

    Y Z ͔ΒͳΔด࿏͸ɺ௵ͯ͠΋ྑ͍ด࿏ ʹͳ͍ͬͯΔ w ͳͷͰɺಉ͡໦ͷۮ఺ಉ࢜Λͭͳ͙ล͕ ͋ͬͨΒ௵͢ Y Z [
  11. ૿Ճύεͷ෮ݩ w ࢖ͬͯΔ ࢖ͬͯͳ͍ ʜ ࢖ͬͯͳ͍ͱ͍͏ύεͷ෮ݩ͕ ͍ͨ͠ w Ϛονϯάʹ࢖ͬͯΔลͱ͍͏ͷ͸௖఺͝ͱʹҰҙʹఆ· Δ

    w ໰୊͸Ϛονϯάʹ࢖ͬͯͳ͍ลɺ͜Ε͸ͲΕΛબ΂͹͍ ͍ΜͩΖ͏ʁ ˠٯʹɺ௖఺ʹ͍ͭͯ͜ͷz࣍ʹ࢖͏΂͖Ϛονϯάʹ࢖ͬ ͯͳ͍ล͸ͲΕ͔zΛม਺ʹ࣋ͬͯɺ͏·͘؅ཧ͢Ε͹ʁ
  12. ૿Ճύεͷ෮ݩ w ҎԼͷछྨͷม਺Λߟ͑Δ w NU V VͱϚονϯάͯ͠Δ௖఺ NBUDI  w

    OY V Vͱͷؒʹล͸͋Δ͚ͲɺϚονϯάͯ͠ͳ ͍௖఺ͷ͏ͪͲΕ͔ͭ OFYU
  13. NU OYͷ੍໿ w ೚ҙͷۮ఺Vʹ͍ͭͯɺ w NU V OY NU V

    NU OY NU V  OY NU OY NU V ʜ OY NU ʜ V ʜ  w ͕ɺzV͔Β࢝·Γɺͦͷ໦ͷࠜͰऴΘΔύεzͱͳ ΔΑ͏ʹ͍ͨ͠ w ͜͏ͳΔΑ͏ʹOY V Λ؅ཧ͢Ε͹Α͍
  14. ௖఺Λ௵͢ w VͱW͔Β࢝·Δ.૿ՃύεΛ࡞Δ w -$" ͭͷύε͕௨Δɺ࠷΋ࠜʹ͍ۙۮ఺ ΛٻΊΔ w -$"·ͰͷɺϚονϯάʹ௨Βͳ͍ลΛ૒ํ޲ʹҠಈͰ ͖ΔΑ͏ʹ͢Δ

    V W͔Βۮ਺ճਐΜͩ௖఺Yʹ͍ͭͯɺY ͷॴଐ͢Δۮ఺͕-$"Ҏ্Ͱͳ͚Ε͹ɺOY Y ύεͷ ݸલ  w -$"Ҏ্ͳͷ͸ɺલਤͷΑ͏ʹɺV͔ΒͷύεͱW͔Βͷ ύε͸-$"ͷதͰ͸ަΘΔ͜ͱ͕͋Δ͔Β
  15. NU OYͷ੍໿ ࠶ܝ w ೚ҙͷۮ఺Vʹ͍ͭͯɺ w NU V OY NU

    V NU OY NU V  OY NU OY NU V ʜ OY NU ʜ V ʜ  w ͕ɺzV͔Β࢝·Γɺͦͷ໦ͷࠜͰऴΘΔύεzͱͳ ΔΑ͏ʹ͍ͨ͠ w ௖఺Λ௵ͨ͋͠ͱ΋͜ΕΛຬ͍ͨͯ͠Δ͔ʁ