会员服务
有向 · 离散数学 ·
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
下载
关闭预览

相关内容

INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
51+阅读 · 2020年12月14日
机器学习速查手册，135页pdf
机器学习速查手册，135页pdf
专知会员服务
345+阅读 · 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
专知会员服务
36+阅读 · 2019年10月17日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
197+阅读 · 2019年10月10日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
【TED】生命中的每一年的智慧
【TED】生命中的每一年的智慧
英语演讲视频每日一推
10+阅读 · 2019年1月29日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
16+阅读 · 2019年1月18日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
Capsule Networks解析
Capsule Networks解析
机器学习研究会
11+阅读 · 2017年11月12日
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日
Privacy-Preserving Federated Learning via Normalized (instead of Clipped) Updates
Arxiv
0+阅读 · 2021年10月24日
The Crew: The Quest for Planet Nine is NP-Complete
Arxiv
0+阅读 · 2021年10月12日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
有向
离散数学
相关VIP内容
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
51+阅读 · 2020年12月14日
机器学习速查手册，135页pdf
机器学习速查手册，135页pdf
专知会员服务
345+阅读 · 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
专知会员服务
36+阅读 · 2019年10月17日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
197+阅读 · 2019年10月10日
热门VIP内容
相关资讯
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
【TED】生命中的每一年的智慧
【TED】生命中的每一年的智慧
英语演讲视频每日一推
10+阅读 · 2019年1月29日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
16+阅读 · 2019年1月18日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
Capsule Networks解析
Capsule Networks解析
机器学习研究会
11+阅读 · 2017年11月12日
相关论文
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日
Privacy-Preserving Federated Learning via Normalized (instead of Clipped) Updates
Arxiv
0+阅读 · 2021年10月24日
The Crew: The Quest for Planet Nine is NP-Complete
Arxiv
0+阅读 · 2021年10月12日
Top
微信扫码咨询专知VIP会员
Top