错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Physical Zero-Knowledge Proof for Sumplete, a Puzzle Generated by ChatGPT

  • Kyosuke Hatsugai,
  • Kyoichi Asano,
  • Yoshiki Abe

摘要

In March 2023, ChatGPT generated a new puzzle, Sumplete. Sumplete consists of an \(n \times n\) grid, each whose cell has an integer. In addition, each row and column of the grid has an integer, which we call a target value. The goal of Sumplete is to make the sum of integers in each row and column equal to the target value by deleting some integers of the cells. In this paper, we prove that Sumplete is NP-complete and propose a physical zero-knowledge proof for Sumplete. To show the NP-completeness, we give a polynomial reduction from the subset sum problem to Sumplete. In our physical zero-knowledge proof protocol, we use a card protocol that realizes the addition of negative and positive integers using cyclic permutation on a sequence of cards. To keep the solution secret, we use a technique named decoy technique.