提出 #42941253

---

ソースコード 拡げる

import kotlin.math.max
import kotlin.math.min

fun main() {
    val (ha, wa) = readLine()!!.split(" ").map { it.toInt() }
    val a = List(ha) {
        readLine()!!
    }.toMutableList()

    val (hb, wb) = readLine()!!.split(" ").map { it.toInt() }
    val b = List(hb) {
        readLine()!!
    }.toMutableList()

    val (hx, wx) = readLine()!!.split(" ").map { it.toInt() }
    val x = List(hx) {
        readLine()!!
    }.toMutableList()

    // 黒範囲の高さ
    var ar = realRange(a)
    var br = realRange(b)
    var xr = realRange(x)

    if(ar.height() > xr.height() || ar.weight() > xr.weight() || br.height() > xr.height() || br.weight() > xr.weight()) {
        println("No")
        return
    }

    // 切り詰め
    for(i in 0 until ar.hStart) {
        a.removeAt(0)
    }
    ar = realRange(a)

    for(i in ar.hEnd + 1 until a.size) {
        a.removeAt(a.size - 1)
    }
    ar = realRange(a)

    for(i in 0 until a.size) {
        val t = a[i].toMutableList()
        for(j in 0 until ar.wStart) {
            t.removeAt(0)
        }
        a[i] = t.joinToString("")
    }
    ar = realRange(a)

    for(i in 0 until a.size) {
        val t = a[i].toMutableList()
        for(j in ar.wEnd + 1 until t.size) {
            t.removeAt(ar.wEnd + 1)
        }
        a[i] = t.joinToString("")
    }
    ar = realRange(a)

    for(i in 0 until xr.hStart) {
        x.removeAt(0)
    }
    xr = realRange(x)

    for(i in xr.hEnd + 1 until x.size) {
        x.removeAt(x.size - 1)
    }
    xr = realRange(x)

    for(i in 0 until x.size) {
        val t = x[i].toMutableList()
        for(j in 0 until xr.wStart) {
            t.removeAt(0)
        }
        x[i] = t.joinToString("")
    }
    xr = realRange(x)
    for(i in 0 until x.size) {
        val t = x[i].toMutableList()
        for(j in xr.wEnd + 1 until t.size) {
            t.removeAt(xr.wEnd + 1)
        }
        x[i] = t.joinToString("")
    }

    xr = realRange(x)

    for(i in 0 until br.hStart) {
        b.removeAt(0)
    }
    br = realRange(b)

    for(i in br.hEnd + 1 until b.size) {
        b.removeAt(b.size - 1)
    }
    br = realRange(b)

    for(i in 0 until b.size) {
        val t = b[i].toMutableList()
        for(j in 0 until br.wStart) {
            t.removeAt(0)
        }
        b[i] = t.joinToString("")
    }
    br = realRange(b)
    for(i in 0 until b.size) {
        val t = b[i].toMutableList()
        for(j in br.wEnd + 1 until t.size) {
            t.removeAt(br.wEnd + 1)
        }
        b[i] = t.joinToString("")
    }
    br = realRange(b)

    val compX = x.map { it.toCharArray() }.toMutableList()

    for(i in 0 until xr.height() - ar.height() + 1) {
        for(j in 0 until xr.weight() - ar.weight() + 1) {
            val rect = emptyRange(xr.height(), xr.weight())

            for(m in 0 until ar.height()) {
                for(n in 0 until ar.weight()) {
                    val mm = m + i
                    val nn = n + j

                    rect[mm][nn] = a[m][n]
                }
            }
            for(k in 0 until xr.height() - br.height() + 1) {
                for(l in 0 until xr.weight() - br.weight() + 1) {
                    val copyRect = rect.map { it.clone() }.toMutableList()

                    for(m in 0 until br.height()) {
                        for(n in 0 until br.weight()) {
                            val mm = m + k
                            val nn = n + l

                            if(b[m][n] == '#') {
                                copyRect[mm][nn] = b[m][n]
                            }
                        }
                    }

                    if(copyRect.map { it.joinToString("") } == compX.map { it.joinToString("") }) {
                        println("Yes")
                        return
                    }
                }
            }
        }
    }

    println("No")
}

fun emptyRange(h: Int, w: Int): MutableList<CharArray> {
    return MutableList(h) { CharArray(w) { '.' } }
}

fun realRange(s: List<String>): RealRange {
    val hStart = s.indexOfFirst { it.contains('#') }
    val hEnd = s.indexOfLast { it.contains('#') }

    val h = s.size
    val w = s[0].length

    var wStart = Int.MAX_VALUE
    var wEnd = 0
    for(i in 0 until h) {
        if(!s[i].contains('#')) {
            continue
        }

        val start = s[i].indexOf('#')
        val end = s[i].lastIndexOf('#')
        wStart = min(wStart, start)
        wEnd = max(wEnd, end)
    }

    return RealRange(hStart, hEnd, wStart, wEnd)
}

data class RealRange(
    val hStart: Int, val hEnd: Int, val wStart: Int, val wEnd: Int
) {
    fun height(): Int {
        return hEnd - hStart + 1
    }

    fun weight(): Int {
        return wEnd - wStart + 1
    }
}

提出情報

コンパイルエラー

warning: ATTENTION!
This build uses unsafe internal compiler arguments:

-XXLanguage:+InlineClasses

This mode is not recommended for production use,
as no stability/compatibility guarantees are given on
compiler or generated code. Use it at your own risk!

Main.kt:5:14: warning: variable 'wa' is never used
    val (ha, wa) = readLine()!!.split(" ").map { it.toInt() }
             ^
Main.kt:10:14: warning: variable 'wb' is never used
    val (hb, wb) = readLine()!!.split(" ").map { it.toInt() }
             ^
Main.kt:15:14: warning: variable 'wx' is never used
    val (hx, wx) = readLine()!!.split(" ").map { it.toInt() }
             ^
Main.kt:164:9: warning: variable 'w' is never used
    val w = s[0].length
        ^

ジャッジ結果