会员服务
图 · 论文 ·
2022 年 4 月 28 日
The Complexity of X3SAT: P = NP = PSPACE
翻译：X3SAT的复杂性:P=NP=PSPACE
Latif Salum
Latif Salum

This paper shows that P = NP = PSPACE. It also tackles Graph Isomorphism.


翻译：本文显示P=NP = PSPACE, 也涉及地貌图。
0
下载
关闭预览

相关内容

ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
专知会员服务
59+阅读 · 2022年4月22日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
72+阅读 · 2022年3月15日
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
专知会员服务
29+阅读 · 2022年3月8日
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
专知会员服务
29+阅读 · 2022年2月22日
“CVPR 2021 接受论文列表 1663篇论文都在这了
专知会员服务
30+阅读 · 2021年6月12日
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
专知会员服务
24+阅读 · 2019年10月18日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
31+阅读 · 2019年10月17日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
77+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
2+阅读 · 2021年12月20日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Latest News & Announcements of the Plenary Talk1
【ICIG2021】Latest News & Announcements of the Plenary Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年11月1日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
带变动指标集的非光滑半无限优化问题的最优性条件研究
国家自然科学基金
0+阅读 · 2015年12月31日
益气活血法保护神经血管单元治疗阿尔茨海默病转基因小鼠的实验研究
国家自然科学基金
0+阅读 · 2015年12月31日
蓖麻矮化相关RcDof基因功能分析及调控机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
高计数率PPAC探测器前端读出电路研制
国家自然科学基金
0+阅读 · 2014年12月31日
基于SURE/PURE准则的图像盲反卷积算法研究
国家自然科学基金
1+阅读 · 2013年12月31日
向量优化问题的近似解的最优性条件
国家自然科学基金
0+阅读 · 2012年12月31日
实时安全关键系统的建模、仿真与验证
国家自然科学基金
1+阅读 · 2012年12月31日
面向属性的CPN建模及On the Fly辅助的测试生成方法研究
国家自然科学基金
0+阅读 · 2011年12月31日
低群延迟FIR滤波器优化设计理论与算法研究
国家自然科学基金
0+阅读 · 2009年12月31日
基于Petri网的构件组装正确性研究
国家自然科学基金
0+阅读 · 2008年12月31日
Inherent Inconsistencies of Feature Importance
Arxiv
0+阅读 · 2022年6月16日
Testing whether a Learning Procedure is Calibrated
Arxiv
0+阅读 · 2022年6月16日
Discovery and density estimation of latent confounders in Bayesian networks with evidence lower bound
Arxiv
0+阅读 · 2022年6月16日
Large-Scale Differentiable Causal Discovery of Factor Graphs
Arxiv
0+阅读 · 2022年6月15日
Shifting Capsule Networks from the Cloud to the Deep Edge
Arxiv
0+阅读 · 2022年6月15日
Parameterized Complexity Results for Bayesian Inference
Arxiv
0+阅读 · 2022年6月14日
Concentration and robustness of discrepancy-based ABC via Rademacher complexity
Arxiv
0+阅读 · 2022年6月14日
Hierarchical Primitive Composition: Simultaneous Activation of Skills with Inconsistent Action Dimensions in Multiple Hierarchies
Arxiv
0+阅读 · 2022年6月14日
On the Computational Complexity of Metropolis-Adjusted Langevin Algorithms for Bayesian Posterior Sampling
Arxiv
0+阅读 · 2022年6月13日
A Farewell to the Bias-Variance Tradeoff? An Overview of the Theory of Overparameterized Machine Learning
Arxiv
15+阅读 · 2021年9月6日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
图
论文
相关VIP内容
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
专知会员服务
59+阅读 · 2022年4月22日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
72+阅读 · 2022年3月15日
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
专知会员服务
29+阅读 · 2022年3月8日
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
专知会员服务
29+阅读 · 2022年2月22日
“CVPR 2021 接受论文列表 1663篇论文都在这了
专知会员服务
30+阅读 · 2021年6月12日
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
FlowQA: Grasping Flow in History for Conversational Machine Comprehension
专知会员服务
24+阅读 · 2019年10月18日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
31+阅读 · 2019年10月17日
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
【CMU卡内基梅隆大学】深度学习在计算机视觉的应用：方法，解释，因果与公平性
专知会员服务
77+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
2+阅读 · 2021年12月20日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Latest News & Announcements of the Plenary Talk1
【ICIG2021】Latest News & Announcements of the Plenary Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年11月1日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
相关论文
Inherent Inconsistencies of Feature Importance
Arxiv
0+阅读 · 2022年6月16日
Testing whether a Learning Procedure is Calibrated
Arxiv
0+阅读 · 2022年6月16日
Discovery and density estimation of latent confounders in Bayesian networks with evidence lower bound
Arxiv
0+阅读 · 2022年6月16日
Large-Scale Differentiable Causal Discovery of Factor Graphs
Arxiv
0+阅读 · 2022年6月15日
Shifting Capsule Networks from the Cloud to the Deep Edge
Arxiv
0+阅读 · 2022年6月15日
Parameterized Complexity Results for Bayesian Inference
Arxiv
0+阅读 · 2022年6月14日
Concentration and robustness of discrepancy-based ABC via Rademacher complexity
Arxiv
0+阅读 · 2022年6月14日
Hierarchical Primitive Composition: Simultaneous Activation of Skills with Inconsistent Action Dimensions in Multiple Hierarchies
Arxiv
0+阅读 · 2022年6月14日
On the Computational Complexity of Metropolis-Adjusted Langevin Algorithms for Bayesian Posterior Sampling
Arxiv
0+阅读 · 2022年6月13日
A Farewell to the Bias-Variance Tradeoff? An Overview of the Theory of Overparameterized Machine Learning
Arxiv
15+阅读 · 2021年9月6日
相关基金
带变动指标集的非光滑半无限优化问题的最优性条件研究
国家自然科学基金
0+阅读 · 2015年12月31日
益气活血法保护神经血管单元治疗阿尔茨海默病转基因小鼠的实验研究
国家自然科学基金
0+阅读 · 2015年12月31日
蓖麻矮化相关RcDof基因功能分析及调控机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
高计数率PPAC探测器前端读出电路研制
国家自然科学基金
0+阅读 · 2014年12月31日
基于SURE/PURE准则的图像盲反卷积算法研究
国家自然科学基金
1+阅读 · 2013年12月31日
向量优化问题的近似解的最优性条件
国家自然科学基金
0+阅读 · 2012年12月31日
实时安全关键系统的建模、仿真与验证
国家自然科学基金
1+阅读 · 2012年12月31日
面向属性的CPN建模及On the Fly辅助的测试生成方法研究
国家自然科学基金
0+阅读 · 2011年12月31日
低群延迟FIR滤波器优化设计理论与算法研究
国家自然科学基金
0+阅读 · 2009年12月31日
基于Petri网的构件组装正确性研究
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top