โพสต์นี้เป็นแรงบันดาลใจอย่างอิสระโดยการโพสต์ mathoverflow นี้

Vanisher เป็นรูปแบบใด ๆ ในเกมแห่งชีวิตของ Conway ที่หายไปอย่างสมบูรณ์หลังจากผ่านไปหนึ่งก้าว ตัวอย่างเช่นรูปแบบต่อไปนี้คือขนาด 9 Vanisher

คุณสมบัติที่น่าสนใจของ Vanishers คือรูปแบบใด ๆ ที่สามารถทำให้หายไปได้โดยเพิ่มเซลล์ที่มีชีวิตเพิ่มขึ้น ตัวอย่างเช่นรูปแบบต่อไปนี้สามารถถูกปิดล้อมอย่างสมบูรณ์ในรูปแบบที่หายไปเช่นนั้น

อย่างไรก็ตามเราสามารถสร้างรูปแบบนั้นให้เป็น Vanisher ได้โดยการเพิ่มเซลล์ที่มีชีวิตน้อยลง

งานของคุณคือการเขียนโปรแกรมที่ทำงานนี้ให้เรา ที่ได้รับรูปแบบเป็นอินพุตค้นหาและส่งออกรูปแบบการหายไปที่มีอินพุต คุณไม่จำเป็นต้องค้นหารูปแบบที่ดีที่สุดเพียงแค่รูปแบบที่ใช้งานได้

เกณฑ์การให้คะแนน

ในการให้คะแนนโปรแกรมของคุณคุณจะต้องเรียกใช้งานบนโพลิปต์ขนาด 6 (ไม่นับกรณีที่เท่ากันแบบสมมาตร) นี่คือ pastebin ที่บรรจุ polyplet แต่ละอันในบรรทัดของมันเอง ควรมีทั้งหมด 524 ของพวกเขาทั้งหมด พวกเขาจะแสดงเป็นรายการของหกพิกัด ( (x,y)tuples) แต่ละคนเป็นที่ตั้งของเซลล์สด

คะแนนของคุณจะเป็นจำนวนเซลล์ใหม่ที่เพิ่มเข้ามาเพื่อทำให้โพลีต์เหล่านี้ทั้งหมดเป็น Vanishers

ความสัมพันธ์

ในกรณีของความสัมพันธ์ฉันจะจัดทำรายการขนาดโพลิลี 7 ขนาดสำหรับโปรแกรมที่จะทำงาน

IO

ฉันต้องการให้ IO มีความยืดหยุ่นค่อนข้างคุณสามารถรับอินพุตและเอาต์พุตในรูปแบบที่เหมาะสม แต่คุณอาจต้องการใช้อินพุตในรูปแบบเดียวกับข้อมูลอินพุตดิบที่ฉันให้ไว้ รูปแบบของคุณควรสอดคล้องกันในการวิ่งหลายครั้ง

การจับเวลา

โปรแกรมของคุณควรทำงานในระยะเวลาที่เหมาะสม (ประมาณ <1 วัน) ในเครื่องที่เหมาะสม ฉันจะไม่บังคับใช้สิ่งนี้มากเกินไป แต่ฉันต้องการถ้าเราทุกคนเล่นได้ดี

Python + Z3คะแนน = 3647

ทำงานใน 14 วินาทีในระบบแปดหลักของฉัน

from __future__ import print_function

import ast
import multiprocessing
import sys
import z3

def solve(line):
    line = ast.literal_eval(line)
    x0, x1 = min(x for x, y in line) - 2, max(x for x, y in line) + 3
    y0, y1 = min(y for x, y in line) - 2, max(y for x, y in line) + 3
    a = {(x, y): z3.Bool('a_{}_{}'.format(x, y)) for x in range(x0, x1) for y in range(y0, y1)}
    o = z3.Optimize()
    for x in range(x0 - 1, x1 + 1):
        for y in range(y0 - 1, y1 + 1):
            s = z3.Sum([
                z3.If(a[i, j], 1 + ((i, j) != (x, y)), 0)
                for i in (x - 1, x, x + 1) for j in (y - 1, y, y + 1) if (i, j) in a
            ])
            o.add(z3.Or(s < 5, s > 7))
    o.add(*(a[i, j] for i, j in line))
    o.minimize(z3.Sum([z3.If(b, 1, 0) for b in a.values()]))
    assert o.check() == z3.sat
    m = o.model()
    return line, {k for k in a if z3.is_true(m[a[k]])}

total = 0
for line, cells in multiprocessing.Pool().map(solve, sys.stdin):
    added = len(cells) - len(line)
    print(line, added)
    x0, x1 = min(x for x, y in cells), max(x for x, y in cells) + 1
    y0, y1 = min(y for x, y in cells), max(y for x, y in cells) + 1
    for y in range(y0, y1):
        print(''.join('#' if (x, y) in line else '+' if (x, y) in cells else ' ' for x in range(x0, x1)))
    total += added
print('Total:', total)

ผลผลิตเต็ม