2026-10-08T00:40:28Z https://api.figshare.com/v2/oai

oai:figshare.com:article/34018356 2026-09-28T19:47:02Z category_29821 category_28879 item_type_8 month_year_09_2026

A Direct Coordinate-Propagation Algorithm for DURGHAM QARALLEH (21904172) Numerical and computational mathematics not elsewhere classified Computer vision P vs NP Problem <p dir="ltr">We define a coordinate representation for a restricted class of CNF formulas assembled</p><p dir="ltr">from bounded local cells. Every local Boolean assignment is represented by a normalized</p><p dir="ltr">deficit coordinate, and every clause excludes exactly its unique complementary coordinate on</p><p dir="ltr">its own support. Neighboring cells communicate through shared coordinate interfaces. The</p><p dir="ltr">defining restriction is functional connectivity: an admissible signature of one cell has at most one</p><p dir="ltr">compatible signature in an adjacent cell. For a connected instance with at most k admissible</p><p dir="ltr">signatures per cell and support size at most d, satisfiability is decided by direct propagation</p><p dir="ltr">from at most k root signatures.</p> 2026-09-28T19:47:02Z Text Thesis 10.6084/m9.figshare.34018356.v1 https://figshare.com/articles/thesis/A_Direct_Coordinate-Propagation_Algorithm_for/34018356 CC BY 4.0 Open Access after 2028-09-28