会员服务
9 月 29 日
Karp's NP-complete problems over first-order definable structures
翻译：暂无翻译
Aidan Healy,Bartek Klin
Aidan Healy,Bartek Klin

We determine the decidability of Karp's NP-complete problems on structures which are first-order definable over the theory of equality, also known as orbit-finite sets with atoms or nominal sets.


翻译：暂无翻译
0
下载
关闭预览

相关内容

EMNLP 2025 | RTQA：递归思想求解复杂的时间知识图谱问答
EMNLP 2025 | RTQA：递归思想求解复杂的时间知识图谱问答
专知会员服务
12+阅读 · 2025年11月7日
AAAI2025｜TrustUQA：统一结构化数据问答的可信框架
AAAI2025｜TrustUQA：统一结构化数据问答的可信框架
专知会员服务
20+阅读 · 2024年12月20日
【博士论文】利用通用问题结构提高强化学习效率，177页pdf
【博士论文】利用通用问题结构提高强化学习效率，177页pdf
专知会员服务
31+阅读 · 2024年7月17日
[WWW2021]图结构估计神经网络
[WWW2021]图结构估计神经网络
专知会员服务
43+阅读 · 2021年3月29日
【经典书】概率论基础教程，A First Course in Probability，545页pdf
【经典书】概率论基础教程，A First Course in Probability，545页pdf
专知会员服务
124+阅读 · 2021年3月24日
【Google AI论文】无妥协的弱监督解缠，Weakly-Supervised Disentanglement Without Compromises
【Google AI论文】无妥协的弱监督解缠，Weakly-Supervised Disentanglement Without Compromises
专知会员服务
20+阅读 · 2020年2月12日
【AAAI2020】拓扑贝叶斯优化与持久性图：Topological Bayesian Optimization with Persistence Diagrams
【AAAI2020】拓扑贝叶斯优化与持久性图：Topological Bayesian Optimization with Persistence Diagrams
专知会员服务
11+阅读 · 2020年1月17日
【论文】结构GANs，Structured GANs，
【论文】结构GANs，Structured GANs，
专知会员服务
15+阅读 · 2020年1月16日
【目标检测 | 2019最新综述】目标检测中的不平衡问题，附31页PDF， Imbalance Problems in Object Detection: A Review
【目标检测 | 2019最新综述】目标检测中的不平衡问题，附31页PDF， Imbalance Problems in Object Detection: A Review
专知会员服务
46+阅读 · 2019年11月15日
【MLA 2019】机器学习中分布式鲁棒优化的一阶算法框架( Towards a First-Order Algorithmic Framework for Distributionally Robust Optimization in Machine Learning),香港中文大学 苏文藻
【MLA 2019】机器学习中分布式鲁棒优化的一阶算法框架( Towards a First-Order Algorithmic Framework for Distributionally Robust Optimization in Machine Learning),香港中文大学 苏文藻
专知会员服务
28+阅读 · 2019年11月6日
【经典书】概率论基础教程，A First Course in Probability，545页pdf
【经典书】概率论基础教程，A First Course in Probability，545页pdf
专知
21+阅读 · 2021年3月24日
【NIPS2019】Infidelity and Sensitivity：模型可解释性方法的定量评估
【NIPS2019】Infidelity and Sensitivity：模型可解释性方法的定量评估
AINLP
19+阅读 · 2020年6月14日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
论文浅尝 | 知识图谱问答中的层次类型约束主题实体识别
论文浅尝 | 知识图谱问答中的层次类型约束主题实体识别
开放知识图谱
10+阅读 · 2018年5月14日
Focal Loss for Dense Object Detection
Focal Loss for Dense Object Detection
统计学习与视觉计算组
12+阅读 · 2018年3月15日
春节充电系列：李宏毅2017机器学习课程学习笔记26之结构化学习-序列标注 Sequence Labeling（part 2）
春节充电系列：李宏毅2017机器学习课程学习笔记26之结构化学习-序列标注 Sequence Labeling（part 2）
专知
12+阅读 · 2018年3月13日
论文浅尝 | Improved Neural Relation Detection for KBQA
论文浅尝 | Improved Neural Relation Detection for KBQA
开放知识图谱
13+阅读 · 2018年1月21日
论文浅尝 | Question Answering over Freebase
论文浅尝 | Question Answering over Freebase
开放知识图谱
19+阅读 · 2018年1月9日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
IJCAI | Cascade Dynamics Modeling with Attention-based RNN
IJCAI | Cascade Dynamics Modeling with Attention-based RNN
KingsGarden
13+阅读 · 2017年7月16日
Hamilton-Jacibi方程的弱KAM理论
国家自然科学基金
2+阅读 · 2017年12月31日
新型双组份Camassa-Holm方程的等谱问题及适定性研究
国家自然科学基金
0+阅读 · 2015年12月31日
算子空间上与谱，局部谱以及零斜Lie积相关的完全保持问题研究
国家自然科学基金
1+阅读 · 2015年12月31日
面向大规模分布式一致性最优化问题的结构型一阶求解算法研究
国家自然科学基金
1+阅读 · 2015年12月31日
K连通抗毁性拓扑条件下异构群体的协同一致
国家自然科学基金
1+阅读 · 2015年12月31日
考虑材料分布不确定性的结构拓扑优化问题数学建模与求解方法
国家自然科学基金
0+阅读 · 2015年12月31日
复合材料里电磁问题的有限元方法
国家自然科学基金
1+阅读 · 2015年12月31日
不确定结构可靠寿命设计的时变高精度模型和序列优化问题研究
国家自然科学基金
0+阅读 · 2014年12月31日
复合材料结构分析中的辛有限元分形研究
国家自然科学基金
0+阅读 · 2014年12月31日
复杂非线性椭圆问题研究
国家自然科学基金
0+阅读 · 2014年12月31日
Inclusion-wise extremal knapsack problems are (mostly) hard to approximate
Arxiv
0+阅读 · 10月13日
Robust Extensible Bin Packing and Revisiting a Convex Knapsack Problem
Arxiv
0+阅读 · 10月12日
Exact Second-Order Asymptotics for the Discrete Wyner--Ziv Problem
Arxiv
0+阅读 · 10月8日
Universal Local Error and Realized Amplification for the First-Order EDM Predictor
Arxiv
0+阅读 · 10月7日
Exact Second-Order Asymptotics for the Wyner--Ahlswede--Körner Problem
Arxiv
0+阅读 · 10月7日
A Fine-Grained Dichotomy for Bounded-Variable Query Evaluation: The Calculus of Relations, a Boolean Modal Logic, and One-Variable Counting Logic
Arxiv
0+阅读 · 10月3日
The observational partial order of causal structures with latent variables
Arxiv
0+阅读 · 9月9日
On Solving Problems of Substantially Super-linear Complexity in $N^{o(1)}$ Rounds in the MPC Model
Arxiv
0+阅读 · 9月8日
Imbalance Problems in Object Detection: A Review
Arxiv
25+阅读 · 2020年3月11日
Differentiable Dynamic Programming for Structured Prediction and Attention
Arxiv
56+阅读 · 2018年2月20日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
最新内容
软件定义无人机蜂群给防空带来全新压力
软件定义无人机蜂群给防空带来全新压力
专知会员服务
6+阅读 · 10月13日
《半自主无人地面战车的互操作性》66页
《半自主无人地面战车的互操作性》66页
专知会员服务
6+阅读 · 10月13日
《鲁棒武器-目标分配方法在预测拦截点不确定条件下的应用》
《鲁棒武器-目标分配方法在预测拦截点不确定条件下的应用》
专知会员服务
5+阅读 · 10月13日
《攻击型无人机操作员能力向模拟训练的映射框架研究》130页
《攻击型无人机操作员能力向模拟训练的映射框架研究》130页
专知会员服务
4+阅读 · 10月13日
《加速作战司令部能力部署：指定作战司令官作为联合作战问题的执行代理》
《加速作战司令部能力部署：指定作战司令官作为联合作战问题的执行代理》
专知会员服务
2+阅读 · 10月13日
迈向更智慧的军事情报
迈向更智慧的军事情报
专知会员服务
6+阅读 · 10月12日
《美国陆军2026年野战手册 2-0 情报》
《美国陆军2026年野战手册 2-0 情报》
专知会员服务
5+阅读 · 10月12日
《基于启发式算法求解武器-目标分配问题》
《基于启发式算法求解武器-目标分配问题》
专知会员服务
7+阅读 · 10月12日
《基于聚类的武器-目标分配方法：大规模无人机蜂群》
《基于聚类的武器-目标分配方法：大规模无人机蜂群》
专知会员服务
7+阅读 · 10月12日
【NeurIPS 2026 】TokenRouter：让大模型逐词元路由真正高效运行
【NeurIPS 2026 】TokenRouter：让大模型逐词元路由真正高效运行
专知会员服务
4+阅读 · 10月10日
综述｜大模型生成测试：从“能运行”到“有证据判断对错”
综述｜大模型生成测试：从“能运行”到“有证据判断对错”
专知会员服务
6+阅读 · 10月10日
《美陆军最新条令出版物 2-0 情报》
《美陆军最新条令出版物 2-0 情报》
专知会员服务
8+阅读 · 10月10日
电子战测试与训练靶场：战前验证战备状态
电子战测试与训练靶场：战前验证战备状态
专知会员服务
3+阅读 · 10月10日
《自主武器系统——超越人在回路：纠正可达性与未来的封闭》34页
《自主武器系统——超越人在回路：纠正可达性与未来的封闭》34页
专知会员服务
7+阅读 · 10月10日
《美国陆军如何作战》46页最新报告
《美国陆军如何作战》46页最新报告
专知会员服务
10+阅读 · 10月10日
相关VIP内容
EMNLP 2025 | RTQA：递归思想求解复杂的时间知识图谱问答
EMNLP 2025 | RTQA：递归思想求解复杂的时间知识图谱问答
专知会员服务
12+阅读 · 2025年11月7日
AAAI2025｜TrustUQA：统一结构化数据问答的可信框架
AAAI2025｜TrustUQA：统一结构化数据问答的可信框架
专知会员服务
20+阅读 · 2024年12月20日
【博士论文】利用通用问题结构提高强化学习效率，177页pdf
【博士论文】利用通用问题结构提高强化学习效率，177页pdf
专知会员服务
31+阅读 · 2024年7月17日
[WWW2021]图结构估计神经网络
[WWW2021]图结构估计神经网络
专知会员服务
43+阅读 · 2021年3月29日
【经典书】概率论基础教程，A First Course in Probability，545页pdf
【经典书】概率论基础教程，A First Course in Probability，545页pdf
专知会员服务
124+阅读 · 2021年3月24日
【Google AI论文】无妥协的弱监督解缠，Weakly-Supervised Disentanglement Without Compromises
【Google AI论文】无妥协的弱监督解缠，Weakly-Supervised Disentanglement Without Compromises
专知会员服务
20+阅读 · 2020年2月12日
【AAAI2020】拓扑贝叶斯优化与持久性图：Topological Bayesian Optimization with Persistence Diagrams
【AAAI2020】拓扑贝叶斯优化与持久性图：Topological Bayesian Optimization with Persistence Diagrams
专知会员服务
11+阅读 · 2020年1月17日
【论文】结构GANs，Structured GANs，
【论文】结构GANs，Structured GANs，
专知会员服务
15+阅读 · 2020年1月16日
【目标检测 | 2019最新综述】目标检测中的不平衡问题，附31页PDF， Imbalance Problems in Object Detection: A Review
【目标检测 | 2019最新综述】目标检测中的不平衡问题，附31页PDF， Imbalance Problems in Object Detection: A Review
专知会员服务
46+阅读 · 2019年11月15日
【MLA 2019】机器学习中分布式鲁棒优化的一阶算法框架( Towards a First-Order Algorithmic Framework for Distributionally Robust Optimization in Machine Learning),香港中文大学 苏文藻
【MLA 2019】机器学习中分布式鲁棒优化的一阶算法框架( Towards a First-Order Algorithmic Framework for Distributionally Robust Optimization in Machine Learning),香港中文大学 苏文藻
专知会员服务
28+阅读 · 2019年11月6日
热门VIP内容
相关资讯
【经典书】概率论基础教程，A First Course in Probability，545页pdf
【经典书】概率论基础教程，A First Course in Probability，545页pdf
专知
21+阅读 · 2021年3月24日
【NIPS2019】Infidelity and Sensitivity：模型可解释性方法的定量评估
【NIPS2019】Infidelity and Sensitivity：模型可解释性方法的定量评估
AINLP
19+阅读 · 2020年6月14日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
论文浅尝 | 知识图谱问答中的层次类型约束主题实体识别
论文浅尝 | 知识图谱问答中的层次类型约束主题实体识别
开放知识图谱
10+阅读 · 2018年5月14日
Focal Loss for Dense Object Detection
Focal Loss for Dense Object Detection
统计学习与视觉计算组
12+阅读 · 2018年3月15日
春节充电系列：李宏毅2017机器学习课程学习笔记26之结构化学习-序列标注 Sequence Labeling（part 2）
春节充电系列：李宏毅2017机器学习课程学习笔记26之结构化学习-序列标注 Sequence Labeling（part 2）
专知
12+阅读 · 2018年3月13日
论文浅尝 | Improved Neural Relation Detection for KBQA
论文浅尝 | Improved Neural Relation Detection for KBQA
开放知识图谱
13+阅读 · 2018年1月21日
论文浅尝 | Question Answering over Freebase
论文浅尝 | Question Answering over Freebase
开放知识图谱
19+阅读 · 2018年1月9日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
IJCAI | Cascade Dynamics Modeling with Attention-based RNN
IJCAI | Cascade Dynamics Modeling with Attention-based RNN
KingsGarden
13+阅读 · 2017年7月16日
相关论文
Inclusion-wise extremal knapsack problems are (mostly) hard to approximate
Arxiv
0+阅读 · 10月13日
Robust Extensible Bin Packing and Revisiting a Convex Knapsack Problem
Arxiv
0+阅读 · 10月12日
Exact Second-Order Asymptotics for the Discrete Wyner--Ziv Problem
Arxiv
0+阅读 · 10月8日
Universal Local Error and Realized Amplification for the First-Order EDM Predictor
Arxiv
0+阅读 · 10月7日
Exact Second-Order Asymptotics for the Wyner--Ahlswede--Körner Problem
Arxiv
0+阅读 · 10月7日
A Fine-Grained Dichotomy for Bounded-Variable Query Evaluation: The Calculus of Relations, a Boolean Modal Logic, and One-Variable Counting Logic
Arxiv
0+阅读 · 10月3日
The observational partial order of causal structures with latent variables
Arxiv
0+阅读 · 9月9日
On Solving Problems of Substantially Super-linear Complexity in $N^{o(1)}$ Rounds in the MPC Model
Arxiv
0+阅读 · 9月8日
Imbalance Problems in Object Detection: A Review
Arxiv
25+阅读 · 2020年3月11日
Differentiable Dynamic Programming for Structured Prediction and Attention
Arxiv
56+阅读 · 2018年2月20日
相关基金
Hamilton-Jacibi方程的弱KAM理论
国家自然科学基金
2+阅读 · 2017年12月31日
新型双组份Camassa-Holm方程的等谱问题及适定性研究
国家自然科学基金
0+阅读 · 2015年12月31日
算子空间上与谱，局部谱以及零斜Lie积相关的完全保持问题研究
国家自然科学基金
1+阅读 · 2015年12月31日
面向大规模分布式一致性最优化问题的结构型一阶求解算法研究
国家自然科学基金
1+阅读 · 2015年12月31日
K连通抗毁性拓扑条件下异构群体的协同一致
国家自然科学基金
1+阅读 · 2015年12月31日
考虑材料分布不确定性的结构拓扑优化问题数学建模与求解方法
国家自然科学基金
0+阅读 · 2015年12月31日
复合材料里电磁问题的有限元方法
国家自然科学基金
1+阅读 · 2015年12月31日
不确定结构可靠寿命设计的时变高精度模型和序列优化问题研究
国家自然科学基金
0+阅读 · 2014年12月31日
复合材料结构分析中的辛有限元分形研究
国家自然科学基金
0+阅读 · 2014年12月31日
复杂非线性椭圆问题研究
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top