@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00240940, author = {縫田, 光司 and Koji, Nuida}, book = {コンピュータセキュリティシンポジウム2024論文集}, month = {Oct}, note = {カードベース暗号の分野では,ペンシルパズルの解のゼロ知識証明との関連から,格子状の盤面におけるマス目集合の連結性や辺集合の連結性を確かめるカードプロトコルが近年研究されている.本論文ではその問題を一般化し,グラフの頂点集合の部分集合を秘匿しつつその部分集合の連結成分の個数を数えるカードプロトコルを提案する., In the area of card-based cryptography, motivated by zero-knowledge proofs for solutions in pencil puzzles, there is a direction of recent studies on card-based protocols to verify connectivity of a set of cells or edges on lattice-shaped boards. In this paper, we generalize the problem to counting connected components of subsets on any graph, and propose a card-based protocol for the problem.}, pages = {1457--1464}, publisher = {情報処理学会}, title = {グラフの連結成分を数えるカードプロトコル}, year = {2024} }