Problem Display
PID: 275094 (B7/1P6/1P6/1k1K4/8/Q7/8/8 w - - 0 1)

Notaro, Rosario

Mat, 1980

B7/1P6/1P6/1k1K4/8/Q7/8/8

#2

5 + 1


3713 Snap 2024

SOLUTION


  • SOUND
  • Sets
    • 1...Kxb6
      • 2.b8Q#
  • Tries
    • 1.Kd4?
      • 1...Kxb6
        • 2.b8Q#
      • 1...Kc6!
    • 1.Kd6?
      • 1...Kxb6
        • 2.b8Q#
        • 2.b8R#
      • 1...Kc4!
    • 1.Qb4+?
      • 1...Ka6
        • 2.b8S#
      • 1...Kxb4!
    • 1.Qc5+?
      • 1...Ka6
        • 2.b8S#
      • 1...Ka4!
    • 1.Qa1?
      • 1...Kxb6
        • 2.b8Q#
      • 1...Kb4!
    • 1.Qa2?
      • 1...Kxb6
        • 2.b8Q#
      • 1...Kb4!
    • 1.Qa4+?
      • 1...Kxb6
        • 2.b8Q#
      • 1...Kxa4!
  • Keys
    • 1.b8S!
      • 1...Kxb6
        • 2.Qc5#

Anticipated by 241775(1928)

FEATURES


  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • K(a);P-FLIGHT,XP(C)::P=Q
  • Tries
    • Try
      • K(B);P-FLIGHT
      • Vars
        • K(a);P-FLIGHT,XP(C)::P=Q
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • K(B);P-FLIGHT
      • Vars
        • K(a);P-FLIGHT,XP(C)::P=Q
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • Q(A);CHECK
      • Vars
        • K(a);N_GUARD,S_FLIGHT::P=S
      • Refutation
        • K(a);P-FLIGHT,XQ(A)
    • Try
      • Q(A);CHECK
      • Vars
        • K(a);N_GUARD,S_FLIGHT::P=S
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • Q(A);
      • Vars
        • K(a);P-FLIGHT,XP(C)::P=Q
      • Refutation
        • K(a);P-FLIGHT
    • Try
      • Q(A);
      • Vars
        • K(a);P-FLIGHT,XP(C)::P=Q
      • Refutation
        • K(a);P-FLIGHT
    • Try
      • Q(A);CHECK
      • Vars
        • K(a);N_GUARD,P-FLIGHT,XP(C)::P=Q
      • Refutation
        • K(a);S_FLIGHT,XQ(A)
  • Actual
    • P(D);
    • Vars
      • K(a);N_GUARD,P-FLIGHT,XP(C)::QAB1(A)


Developed and maintained by Brian Stephenson.
Implemented with HTML5, MySQL, Perl (with, inter alia, CGI::Simple, HTML::Template & XML::LibXML) & CSS/Javascript (jQuery, Bootstrap & DataTables).