Physical Zero-Knowledge Proof for Numberlink Puzzle and k Vertex-Disjoint Paths Problem
Suthee Ruangwises, Toshiya Itoh
Topics & Concepts
Computer scienceGas meter proverProtocol (science)Automated theorem provingValue (mathematics)Mathematical proofTheoretical computer scienceDiscrete mathematicsAlgorithmElement (criminal law)Computer-assisted proofTime complexityProof complexityDeckTopology (electrical circuits)MathematicsMathematical inductionComplexity and Algorithms in GraphsCryptography and Data SecurityAdvanced Graph Theory Research