会员服务
有向 · 离散数学 ·
2021 年 9 月 3 日
Four proofs of the directed Brooks' Theorem
翻译：布鲁克斯的命中理论的四条证据
Pierre Aboulker,Guillaume Aubian
Pierre Aboulker,Guillaume Aubian
from arxiv, 15 pages

We give four new proofs of the directed version of Brook's Theorem and an NP-completeness result.


翻译：我们提供四个新证据 证明布鲁克理论的指令版本 和NP的完整结果
0
下载
关闭预览

相关内容

【硬核书】量子信息理论，598页pdf
专知会员服务
128+阅读 · 2021年8月4日
【经典书】应用离散结构，568页pdf
专知会员服务
84+阅读 · 2021年5月4日
【经典书】线性代数，436页pdf
专知会员服务
79+阅读 · 2021年3月16日
【经典书】线性代数元素，197页pdf
【经典书】线性代数元素，197页pdf
专知会员服务
57+阅读 · 2021年3月4日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
52+阅读 · 2020年12月14日
机器学习速查手册，135页pdf
机器学习速查手册，135页pdf
专知会员服务
347+阅读 · 2020年3月15日
【斯坦福大学CS229】面向机器学习的线性代数和微积分要点速览(中文版)《CS 229 - Linear Algebra and Calculus refresher》by Afshine Amidi, Shervine Amidi
【斯坦福大学CS229】面向机器学习的线性代数和微积分要点速览(中文版)《CS 229 - Linear Algebra and Calculus refresher》by Afshine Amidi, Shervine Amidi
专知会员服务
198+阅读 · 2019年12月19日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
37+阅读 · 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
专知会员服务
60+阅读 · 2019年10月17日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
199+阅读 · 2019年10月10日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
【TED】生命中的每一年的智慧
【TED】生命中的每一年的智慧
英语演讲视频每日一推
10+阅读 · 2019年1月29日
动物脑的好奇心和强化学习的好奇心
动物脑的好奇心和强化学习的好奇心
CreateAMind
10+阅读 · 2019年1月26日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
16+阅读 · 2019年1月18日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
Disentangled的假设的探讨
Disentangled的假设的探讨
CreateAMind
9+阅读 · 2018年12月10日
Hierarchical Disentangled Representations
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
Capsule Networks解析
Capsule Networks解析
机器学习研究会
11+阅读 · 2017年11月12日
Auto-Encoding GAN
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
On some combinatorial sequences associated to invariant theory
Arxiv
0+阅读 · 2021年10月26日
Encoding of Predicate Subtyping with Proof Irrelevance in the $λ$$Π$-Calculus Modulo Theory
Arxiv
0+阅读 · 2021年10月26日
A Constructive Proof of the Glivenko-Cantelli Theorem
Arxiv
0+阅读 · 2021年10月25日
Information-Theoretic Limits of Integrated Sensing and Communication with Correlated Sensing and Channel States
Arxiv
0+阅读 · 2021年10月25日
Duals of linearized Reed-Solomon codes
Arxiv
0+阅读 · 2021年10月25日
Privacy-Preserving Federated Learning via Normalized (instead of Clipped) Updates
Arxiv
0+阅读 · 2021年10月24日
Self-Improving Voronoi Construction for a Hidden Mixture of Product Distributions
Arxiv
0+阅读 · 2021年10月24日
A strong version of Cobham's theorem
Arxiv
0+阅读 · 2021年10月22日
The Crew: The Quest for Planet Nine is NP-Complete
Arxiv
0+阅读 · 2021年10月12日
Attributed Network Embedding via Subspace Discovery
Arxiv
4+阅读 · 2019年1月14日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
有向
离散数学
最新内容
世界模型入门：从序贯决策到通用智能体
世界模型入门：从序贯决策到通用智能体
专知会员服务
8+阅读 · 10月24日
综述｜时间序列异常检测：从方法分类到可信评估与统一模型
综述｜时间序列异常检测：从方法分类到可信评估与统一模型
专知会员服务
6+阅读 · 10月24日
综述｜长文档视觉问答：从读懂页面到获取充分证据
综述｜长文档视觉问答：从读懂页面到获取充分证据
专知会员服务
7+阅读 · 10月23日
综述｜通过视频理解、生成与交互世界：迈向统一视频世界模型
综述｜通过视频理解、生成与交互世界：迈向统一视频世界模型
专知会员服务
5+阅读 · 10月23日
《信息速度战争：数据传输、决策优势与军事太空通信的未来》智库报告
《信息速度战争：数据传输、决策优势与军事太空通信的未来》智库报告
专知会员服务
14+阅读 · 10月22日
《用于实时健康与位置跟踪的物联网赋能智能士兵监测系统》
《用于实时健康与位置跟踪的物联网赋能智能士兵监测系统》
专知会员服务
8+阅读 · 10月22日
《强化学习与老虎机策略选择在即时战略游戏中的应用》
《强化学习与老虎机策略选择在即时战略游戏中的应用》
专知会员服务
7+阅读 · 10月22日
军事域更好使用人工智能的实用指南
军事域更好使用人工智能的实用指南
专知会员服务
10+阅读 · 10月22日
《衡量语言模型中的作战规划能力》
《衡量语言模型中的作战规划能力》
专知会员服务
14+阅读 · 10月20日
Maven智能系统：帕兰提尔军事人工智能平台详解
Maven智能系统：帕兰提尔军事人工智能平台详解
专知会员服务
17+阅读 · 10月20日
《加速情报分发：利用MAVEN AIP智能体工作室优化人力情报报告》
《加速情报分发：利用MAVEN AIP智能体工作室优化人力情报报告》
专知会员服务
17+阅读 · 10月20日
《测试自动化框架在敏捷软件开发中的角色》
《测试自动化框架在敏捷软件开发中的角色》
专知会员服务
9+阅读 · 10月20日
俄罗斯如何拦截乌克兰无人机与巡航导弹
俄罗斯如何拦截乌克兰无人机与巡航导弹
专知会员服务
13+阅读 · 10月15日
《封锁、捕获与打击：“史诗怒火”行动中经济战法的复兴》
《封锁、捕获与打击：“史诗怒火”行动中经济战法的复兴》
专知会员服务
14+阅读 · 10月15日
《武器-目标分配问题：精确与近似求解算法》
《武器-目标分配问题：精确与近似求解算法》
专知会员服务
19+阅读 · 10月15日
相关VIP内容
【硬核书】量子信息理论，598页pdf
专知会员服务
128+阅读 · 2021年8月4日
【经典书】应用离散结构，568页pdf
专知会员服务
84+阅读 · 2021年5月4日
【经典书】线性代数，436页pdf
专知会员服务
79+阅读 · 2021年3月16日
【经典书】线性代数元素，197页pdf
【经典书】线性代数元素，197页pdf
专知会员服务
57+阅读 · 2021年3月4日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
52+阅读 · 2020年12月14日
机器学习速查手册，135页pdf
机器学习速查手册，135页pdf
专知会员服务
347+阅读 · 2020年3月15日
【斯坦福大学CS229】面向机器学习的线性代数和微积分要点速览(中文版)《CS 229 - Linear Algebra and Calculus refresher》by Afshine Amidi, Shervine Amidi
【斯坦福大学CS229】面向机器学习的线性代数和微积分要点速览(中文版)《CS 229 - Linear Algebra and Calculus refresher》by Afshine Amidi, Shervine Amidi
专知会员服务
198+阅读 · 2019年12月19日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
37+阅读 · 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
专知会员服务
60+阅读 · 2019年10月17日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
199+阅读 · 2019年10月10日
热门VIP内容
相关资讯
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
【TED】生命中的每一年的智慧
【TED】生命中的每一年的智慧
英语演讲视频每日一推
10+阅读 · 2019年1月29日
动物脑的好奇心和强化学习的好奇心
动物脑的好奇心和强化学习的好奇心
CreateAMind
10+阅读 · 2019年1月26日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
16+阅读 · 2019年1月18日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
Disentangled的假设的探讨
Disentangled的假设的探讨
CreateAMind
9+阅读 · 2018年12月10日
Hierarchical Disentangled Representations
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
Capsule Networks解析
Capsule Networks解析
机器学习研究会
11+阅读 · 2017年11月12日
Auto-Encoding GAN
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
相关论文
On some combinatorial sequences associated to invariant theory
Arxiv
0+阅读 · 2021年10月26日
Encoding of Predicate Subtyping with Proof Irrelevance in the $λ$$Π$-Calculus Modulo Theory
Arxiv
0+阅读 · 2021年10月26日
A Constructive Proof of the Glivenko-Cantelli Theorem
Arxiv
0+阅读 · 2021年10月25日
Information-Theoretic Limits of Integrated Sensing and Communication with Correlated Sensing and Channel States
Arxiv
0+阅读 · 2021年10月25日
Duals of linearized Reed-Solomon codes
Arxiv
0+阅读 · 2021年10月25日
Privacy-Preserving Federated Learning via Normalized (instead of Clipped) Updates
Arxiv
0+阅读 · 2021年10月24日
Self-Improving Voronoi Construction for a Hidden Mixture of Product Distributions
Arxiv
0+阅读 · 2021年10月24日
A strong version of Cobham's theorem
Arxiv
0+阅读 · 2021年10月22日
The Crew: The Quest for Planet Nine is NP-Complete
Arxiv
0+阅读 · 2021年10月12日
Attributed Network Embedding via Subspace Discovery
Arxiv
4+阅读 · 2019年1月14日
Top
微信扫码咨询专知VIP会员
Top