Unverified50% confidenceFactExact time
A Max-Cut instance on each graph can be naturally transformed into a Max 2-SAT instance, where each edge corresponds to a clause requiring the two endpoints to belong to different parts.
1
Sources
50%
Confidence
Long-term
Relevance
10/30/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedSAT enumerates all possible separating axes (generated by face normals and edge cross products), and the more faces there are, the more axes need to be tested.64% similarUnverifiedConditioned feature modulation in hyperbolic space needs to be performed in the tangent space or via exponential/logarithmic maps in order to preserve the geometric structure.62% similarUnverifiedBLOKS applies sketch compression again to each diagonal block, limiting the effective size of the block to a fixed upper bound, so that the memory footprint of the entire preconditioner depends only on the block size hyperparameter.62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1114609API
curl https://kongchang.com/api/v1/knowledge/claims/1114609MCP
get_claim(id=1114609)