3% 的椒盐噪音

反证法,归谬法

Return true if \p BB is currently on the active stack of ancestors.

Parsing argv using cxxopts, results are saved in global variables, the program may exit if error parsing or incorrect commandline

parallel bfs

li is a list of preorder symbols repring a proposition this func converts it to preorder form(probably contains parentheses)

arrange a new state

arrange a new state

i is 1-indexed which is the num of player and x is the new val of the player

i is 1-indexed which is the num of player and x is the new val of the player

choose the smaller f of a state

choose the smaller f of a state

bfs