会员服务
近似 · 情景 · CASE · 相互独立的 · 优化器 ·
2021 年 9 月 29 日
Verified Approximation Algorithms
翻译：经核实的相近度
Robin Eßmann,Tobias Nipkow,Simon Robillard,Ujkan Sulejmani
Robin Eßmann,Tobias Nipkow,Simon Robillard,Ujkan Sulejmani

We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. We uncover incompletenesses in existing proofs and improve the approximation ratio in one case. All proofs are uniformly invariant based.


翻译：我们首次正式核实了NP-完全优化问题的近似算法:顶点覆盖、独立设置、设置覆盖、中心选择、负载平衡和垃圾包装。 我们发现现有证据的不完善之处,并改进了一个案例中的近似比。 所有证据都以不变为基础。
0
下载
关闭预览

相关内容

深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
专知会员服务
131+阅读 · 2021年6月16日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
Python计算导论，560页pdf，Introduction to Computing Using Python
Python计算导论，560页pdf，Introduction to Computing Using Python
专知会员服务
70+阅读 · 2020年5月5日
随机特征核近似综述: 算法与理论，Random Features for Kernel Approximation: A Survey in Algorithms, Theory, and Beyond
随机特征核近似综述: 算法与理论，Random Features for Kernel Approximation: A Survey in Algorithms, Theory, and Beyond
专知会员服务
32+阅读 · 2020年4月26日
【2020新书】C++20 特性 第二版，A Problem-Solution Approach
【2020新书】C++20 特性 第二版，A Problem-Solution Approach
专知会员服务
57+阅读 · 2020年4月26日
【目标检测 | 2019最新综述】目标检测中的不平衡问题，附31页PDF， Imbalance Problems in Object Detection: A Review
【目标检测 | 2019最新综述】目标检测中的不平衡问题，附31页PDF， Imbalance Problems in Object Detection: A Review
专知会员服务
43+阅读 · 2019年11月15日
Risk Sensitive Portfolio Optimization with Regime-Switching and Default Contagion，香港理工大学应用数学系余翔助理教授，第八届全国社会媒体处理大会SMP2019
Risk Sensitive Portfolio Optimization with Regime-Switching and Default Contagion，香港理工大学应用数学系余翔助理教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
8+阅读 · 2019年10月24日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
45+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
53+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
168+阅读 · 2019年10月11日
已删除
已删除
架构文摘
3+阅读 · 2019年4月17日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
人体姿态估计资源大列表（Human Pose Estimation）
人体姿态估计资源大列表（Human Pose Estimation）
专知
9+阅读 · 2018年10月6日
lightgbm algorithm case of kaggle（上）
lightgbm algorithm case of kaggle（上）
R语言中文社区
8+阅读 · 2018年3月20日
Converting ADMM to a Proximal Gradient for Efficient Sparse Estimation
Arxiv
0+阅读 · 2021年11月22日
Deep Probability Estimation
Arxiv
0+阅读 · 2021年11月21日
Faster Deterministic Approximation Algorithms for Correlation Clustering and Cluster Deletion
Arxiv
0+阅读 · 2021年11月20日
Approximation Algorithms for LCS and LIS with Truly Improved Running Times
Arxiv
0+阅读 · 2021年11月20日
Some Error Analysis for the Quantum Phase Estimation Algorithms
Arxiv
0+阅读 · 2021年11月19日
Near-Optimal Quantum Algorithms for Multivariate Mean Estimation
Arxiv
0+阅读 · 2021年11月18日
M-FAC: Efficient Matrix-Free Approximations of Second-Order Information
Arxiv
1+阅读 · 2021年11月18日
Approximation Ratios of Graph Neural Networks for Combinatorial Problems
Arxiv
7+阅读 · 2019年5月24日
(FPT-)Approximation Algorithms for the Virtual Network Embedding Problem
Arxiv
4+阅读 · 2018年3月12日
Practical sketching algorithms for low-rank matrix approximation
Arxiv
4+阅读 · 2018年1月2日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
近似
情景
CASE
相互独立的
优化器
相关VIP内容
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
专知会员服务
131+阅读 · 2021年6月16日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
Python计算导论，560页pdf，Introduction to Computing Using Python
Python计算导论，560页pdf，Introduction to Computing Using Python
专知会员服务
70+阅读 · 2020年5月5日
随机特征核近似综述: 算法与理论，Random Features for Kernel Approximation: A Survey in Algorithms, Theory, and Beyond
随机特征核近似综述: 算法与理论，Random Features for Kernel Approximation: A Survey in Algorithms, Theory, and Beyond
专知会员服务
32+阅读 · 2020年4月26日
【2020新书】C++20 特性 第二版，A Problem-Solution Approach
【2020新书】C++20 特性 第二版，A Problem-Solution Approach
专知会员服务
57+阅读 · 2020年4月26日
【目标检测 | 2019最新综述】目标检测中的不平衡问题，附31页PDF， Imbalance Problems in Object Detection: A Review
【目标检测 | 2019最新综述】目标检测中的不平衡问题，附31页PDF， Imbalance Problems in Object Detection: A Review
专知会员服务
43+阅读 · 2019年11月15日
Risk Sensitive Portfolio Optimization with Regime-Switching and Default Contagion，香港理工大学应用数学系余翔助理教授，第八届全国社会媒体处理大会SMP2019
Risk Sensitive Portfolio Optimization with Regime-Switching and Default Contagion，香港理工大学应用数学系余翔助理教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
8+阅读 · 2019年10月24日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
45+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
53+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
168+阅读 · 2019年10月11日
热门VIP内容
相关资讯
已删除
已删除
架构文摘
3+阅读 · 2019年4月17日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
人体姿态估计资源大列表（Human Pose Estimation）
人体姿态估计资源大列表（Human Pose Estimation）
专知
9+阅读 · 2018年10月6日
lightgbm algorithm case of kaggle（上）
lightgbm algorithm case of kaggle（上）
R语言中文社区
8+阅读 · 2018年3月20日
相关论文
Converting ADMM to a Proximal Gradient for Efficient Sparse Estimation
Arxiv
0+阅读 · 2021年11月22日
Deep Probability Estimation
Arxiv
0+阅读 · 2021年11月21日
Faster Deterministic Approximation Algorithms for Correlation Clustering and Cluster Deletion
Arxiv
0+阅读 · 2021年11月20日
Approximation Algorithms for LCS and LIS with Truly Improved Running Times
Arxiv
0+阅读 · 2021年11月20日
Some Error Analysis for the Quantum Phase Estimation Algorithms
Arxiv
0+阅读 · 2021年11月19日
Near-Optimal Quantum Algorithms for Multivariate Mean Estimation
Arxiv
0+阅读 · 2021年11月18日
M-FAC: Efficient Matrix-Free Approximations of Second-Order Information
Arxiv
1+阅读 · 2021年11月18日
Approximation Ratios of Graph Neural Networks for Combinatorial Problems
Arxiv
7+阅读 · 2019年5月24日
(FPT-)Approximation Algorithms for the Virtual Network Embedding Problem
Arxiv
4+阅读 · 2018年3月12日
Practical sketching algorithms for low-rank matrix approximation
Arxiv
4+阅读 · 2018年1月2日
Top
微信扫码咨询专知VIP会员
Top