過ぎるだけの時間じゃ悔しい
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
notes
❯
Circuit-SAT
Circuit-SAT
Properties
1
tags
computation/complexity
Aug 12, 2026
1 min read
Circuit-SAT
SAT
を回路に変換したもの,
NP Complete
Graph View
Backlinks
MOC: 計算機科学/アルゴリズム
ComputerScience
zk-SNARKs