Buchumschlag

A Critique of Du's "A Polynomial-Time Algorithm for 3-SAT

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	He, Yumeng, Kotler-Berkowitz, Matan, Liuson, Harry, Nie, Zeyu
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Computational Complexity
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Critique of Quigley's "A Polynomial Time Algorithm for 3SAT"
von: DeJesse, Nicholas, et al.
Veröffentlicht: (2025)

A Critique of Deng's "P=NP"
von: Humphreys, Isabel, et al.
Veröffentlicht: (2025)

A Polynomial Time Algorithm for 3SAT
von: Quigley, Robert
Veröffentlicht: (2024)

A Critique of Chen's "The 2-MAXSAT Problem Can Be Solved in Polynomial Time"
von: Le, Tran Duy Anh, et al.
Veröffentlicht: (2024)

A Simpler Exponential-Time Approximation Algorithm for MAX-k-SAT
von: Buhrman, Harry, et al.
Veröffentlicht: (2025)

A Reply to "On Salum's Algorithm for X3SAT"
von: Salum, Latif
Veröffentlicht: (2021)

A Graphical #SAT Algorithm for Formulae with Small Clause Density
von: Laakkonen, Tuomas, et al.
Veröffentlicht: (2022)

Optimal Polynomial-Time Estimators: A Bayesian Notion of Approximation Algorithm
von: Kosoy, Vanessa, et al.
Veröffentlicht: (2016)

An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
von: Alasli, M.
Veröffentlicht: (2025)

Tighter Bounds for the Randomized Polynomial-Time Simplex Algorithm for Linear Programming
von: Gibor, Daniel
Veröffentlicht: (2025)

Linear Planar 3-SAT and Its Applications in Planning
von: Desbois, Victorien, et al.
Veröffentlicht: (2025)

Strong Sparsification for 1-in-3-SAT via Polynomial Freiman-Ruzsa
von: Bedert, Benjamin, et al.
Veröffentlicht: (2025)

An even simpler hard variant of Not-All-Equal 3-SAT
von: Darmann, Andreas, et al.
Veröffentlicht: (2024)

High Rate Multivariate Polynomial Evaluation Codes
von: Kopparty, Swastik, et al.
Veröffentlicht: (2024)

Optimal Pseudorandom Generators for Low-Degree Polynomials Over Moderately Large Fields
von: Dwivedi, Ashish, et al.
Veröffentlicht: (2024)

Approximating 1-in-3 SAT by linearly ordered hypergraph 3-colouring is NP-hard
von: Krokhin, Andrei, et al.
Veröffentlicht: (2025)

Algorithms for the Diverse-k-SAT problem: the geometry of satisfying assignments
von: Austrin, Per, et al.
Veröffentlicht: (2024)

One-Way Functions and Polynomial Time Dimension
von: Nandakumar, Satyadev, et al.
Veröffentlicht: (2024)

A Hypergraph Container Method on Spread SAT: Approximation and Speedup
von: Han, Zicheng, et al.
Veröffentlicht: (2026)

Polynomial-Time PIT from (Almost) Necessary Assumptions
von: Andrews, Robert, et al.
Veröffentlicht: (2025)

A New Reduction Method from Multivariate Polynomials to Univariate Polynomials
von: Wang, Cancan, et al.
Veröffentlicht: (2024)

A Critique of Lin's "On $\text{NP}$ versus $\text{coNP}$ and Frege Systems"
von: DeJesse, Nicholas, et al.
Veröffentlicht: (2025)

Local Quantum Search Algorithm for Random $k$-SAT with $Ω(n^{1+ε})$ Clauses
von: Wu, Mingyou
Veröffentlicht: (2024)

Microscopic Structure of Random 3-SAT: A Discrete Geometric Approach to Phase Transitions and Algorithmic Complexity
von: Zhan, Yongjian
Veröffentlicht: (2026)

Geometric Interpretation of 3-SAT and Phase Transition
von: Gillet, Frederic
Veröffentlicht: (2025)

Oracle Separation between Noisy Quantum Polynomial Time and the Polynomial Hierarchy
von: Chia, Nai-Hui, et al.
Veröffentlicht: (2024)

A Note On The Natural Range Of Unambiguous-SAT
von: Pay, Tayfun
Veröffentlicht: (2023)

Approximately counting maximal independent set is equivalent to #SAT
von: Zhang, Hao, et al.
Veröffentlicht: (2024)

A Strongly Polynomial-Time Algorithm for Weighted General Factors with Three Feasible Degrees
von: Shao, Shuai, et al.
Veröffentlicht: (2023)

A Schematic Definition of Quantum Polynomial Time Computability
von: Yamakami, Tomoyuki
Veröffentlicht: (2018)

Ruling Out Low-rank Matrix Multiplication Tensor Decompositions with Symmetries via SAT
von: Yang, Jason
Veröffentlicht: (2024)

On the Mysteries of MAX NAE-SAT
von: Brakensiek, Joshua, et al.
Veröffentlicht: (2020)

Quantum k-SAT Related Hypergraph Problems
von: Kremer, Simon-Luca, et al.
Veröffentlicht: (2025)

Variety Evasive Subspace Families
von: Guo, Zeyu
Veröffentlicht: (2021)

On the satisfiability of random $3$-SAT formulas with $k$-wise independent clauses
von: Caragiannis, Ioannis, et al.
Veröffentlicht: (2024)

Testing Isomorphism of Graphs in Polynomial Time
von: Xue, Rui
Veröffentlicht: (2023)

A Near-Optimal Polynomial Distance Lemma Over Boolean Slices
von: Amireddy, Prashanth, et al.
Veröffentlicht: (2025)

A Pseudorandom Generator for Functions of Low-Degree Polynomial Threshold Functions
von: Yao, Penghui, et al.
Veröffentlicht: (2025)

Lifting with Inner Functions of Polynomial Discrepancy
von: Manor, Yahel, et al.
Veröffentlicht: (2024)

Symmetric Algebraic Circuits and Homomorphism Polynomials
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)