暂无搜索历史
腾讯云TDP | KOL (已认证)
作者:Yulun Tian,Kasra Khosoussi,Jonathan P. How
作者:Jeffrey M. Dudek,Vu H. N. Phan,Moshe Y. Vardi
摘要:计算给定布尔公式的模型数量的问题具有许多应用,包括计算定量信息流中的确定性程序的泄漏。模型计数是一个很难的#P完全问题。出于这个原因,在过去十年中已经开发...
作者:Xiaohui Bei,Xiaoming Sun,Hao Wu,Jialin Zhang,Zhijie Zhang,Wei Zi
作者:Anna Großwendt,Heiko Röglin,Melanie Schmidt
作者:Zhihao Gavin Tang,Xiaowei Wu,Yuhao Zhang
作者:Matthias Bollhöfer, Olaf Schenk, Radim Janalík, Steve Hamm, Kiran Gullapalli
摘要:我们扩展了标准的在线最坏情况模型,以适应过去在许多实际场景中可供在线玩家使用的体验。我们通过提前向在线玩家展示对抗性输入的随机样本来做到这一点。在线播放器...
作者:Yassine Hamoudi,Patrick Rebentrost,Ansis Rosmanis,Miklos Santha
作者:Jakub Łącki,Slobodan Mitrović,Krzysztof Onak,Piotr Sankowski
作者:Omid Etesami,Saeed Mahloujifar,Mohammad Mahmoody
作者:Jiaqing Jiang,Xiaoming Sun,Shang-Hua Teng,Bujiao Wu,Kewen Wu,Jialin Zhang
摘要:如果G的每个诱导路径都是最短路径,则图G =(V,E)是距离遗传。 在本文中,我们证明了任何距离 - 遗传图中的偏心函数(v)= max {d(v,u):...
摘要:我们将Hall著名的婚姻定理的婚姻问题概括为我们称之为对称婚姻问题,这个问题可以被认为是最大加权二元匹配的一个特例。 我们证明了对称婚姻问题的解决方案,当...
作者:Vladimir Braverman,Robert Krauthgamer,Aditya Krishnan,Roi Sinoff
摘要:我们考虑以下一般调度问题:在时间0处有m个相同的机器和n个作业都被释放。每个作业j具有处理时间pj,以及指定j的成本的任意非递减函数fj,对于每个可能的完...
作者:Zhihuai Chen,Yinan Li,Xiaoming Sun,Pei Yuan,Jialin Zhang
作者:Michael Kapralov,Slobodan Mitrović,Ashkan Norouzi-Fard,Jakab Tardos
摘要:数据流模型中最古老的问题之一是近似第p个矩∥X∥pp=Σni= 1 | Xi | pof基础向量X∈Rn,它表示为poly(n)更新的序列。坐标。特别感兴...
暂未填写公司和职称
暂未填写个人简介
暂未填写技能专长
暂未填写学校和专业
暂未填写个人网址
暂未填写所在城市