将 SAT 归约到 2-SAT
计算复杂性
2007-05-23 v1
作者:
Sergey Gubin
摘要
描述了一个将 SAT 在多项式时间内归约为多项式大小的 2-SAT 的方法。
引用
@article{arxiv.0704.0108,
title = {Reducing SAT to 2-SAT},
author = {Sergey Gubin},
journal= {arXiv preprint arXiv:0704.0108},
year = {2007}
}
评论
8 pages
相关论文
查看更多相关论文 →
计算复杂性 · 计算机科学
A Polynomial Time Algorithm for 3-SAT
Sergey Gubin
2008-07-15
计算复杂性 · 计算机科学
A simple way to reduce factorization problems to SAT
Davide Maran
2020-04-29
计算复杂性 · 计算机科学
Polynomial time algorithm for 3-SAT. Examples of use
Sergey Gubin
2007-05-23
数据结构与算法 · 计算机科学
A Full Derandomization of Schoening's k-SAT Algorithm
Robin A. Moser, Dominik Scheder
2010-08-25
计算复杂性 · 计算机科学
A Polynomial Time Algorithm for SAT
Sergey Gubin
2012-05-08
数据结构与算法 · 计算机科学
Determining satisfiability of 3-SAT in polynomial time
Ortho Flint, Asanka Wickramasinghe, Jason Brasse, Christopher Fowler
2020-07-02
数据结构与算法 · 计算机科学
A Polynomial Decision for 3-SAT
Angela Weiss
2024-06-11
数据结构与算法 · 计算机科学
A Polynomial time Algorithm for 3SAT
Lizhi Du
2026-04-23
离散数学 · 计算机科学
Submodular problems - approximations and algorithms
Dorit S. Hochbaum
2017-05-01
计算复杂性 · 计算机科学
On SAT information content, its polynomial-time solvability and fixed code algorithms
Maciej Drozdowski
2024-07-26
量子物理 · 物理学
Efficient algorithm for a quantum analogue of 2-SAT
Sergey Bravyi
2007-05-23
量子物理 · 物理学
A linear time algorithm for quantum 2-SAT
Niel de Beaudrap, Sevag Gharibian
2016-10-25
计算复杂性 · 计算机科学
Method of resolution of 3SAT in polynomial time
Luigi Salemi
2010-09-14
动力系统 · 数学
Generalized "second Ritt theorem" and explicit solution of the polynomial moment problem
F. Pakovich
2010-06-28
人工智能 · 计算机科学
Reducing SAT to Max2XOR
Carlos Ansótegui, Jordi Levy
2022-04-06
计算复杂性 · 计算机科学
On the complexity of probabilistic trials for hidden satisfiability problems
Itai Arad, Adam Bouland, Daniel Grier, Miklos Santha +2
2016-06-14
最优化与控制 · 数学
Compact linear programs for 2SAT
David Avis, Hans Raj Tiwary
2018-04-19
计算复杂性 · 计算机科学
Non-Interlaced SAT is in P
Dr Serge Burckel
2019-03-26
数论 · 数学
On the irreducible factors of a polynomial II
Anuj Jakhar, Srinivas Koytada
2020-08-03
计算复杂性 · 计算机科学
An Efficient Method to Transform SAT problems to Binary Integer Linear Programming Problem
Wenxia Guo, Jin Wang, Majun He, Xiaoqin Ren +2
2018-03-28
计算复杂性 · 计算机科学
Polynomial time estimates for #SAT
Bernd R. Schuh
2017-05-17
数据结构与算法 · 计算机科学
A Simpler Exponential-Time Approximation Algorithm for MAX-k-SAT
Harry Buhrman, Sevag Gharibian, Zeph Landau, François Le Gall +2
2026-04-22
最优化与控制 · 数学
Split cuts in the plane
Amitabh Basu, Michele Conforti, Marco Di Summa, Hongyi Jiang
2020-11-12
计算复杂性 · 计算机科学
A Polynomial Time Algorithm for 3SAT
Robert Quigley
2024-06-14
计算复杂性 · 计算机科学
An exact algorithm for 1-in-3 SAT
Édouard Bonnet, Vangelis Th. Paschos
2013-07-30