腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
首页
学习
活动
专区
工具
TVP
最新优惠活动
返回腾讯云官网
算法和应用
专栏成员
举报
44
文章
28510
阅读量
9
订阅数
订阅专栏
申请加入专栏
全部文章（44）
编程算法（11）
分布式（6）
线性回归（4）
二叉树（4）
cdn 边缘计算（3）
决策树（3）
嵌入式（2）
神经网络（2）
高性能计算（2）
数据分析（2）
NLP 服务（1）
机器学习（1）
深度学习（1）
批量计算（1）
日志服务（1）
时序数据库 CTSDB（1）
天御验证码（1）
腾讯云测试服务（1）
es 2（1）
量子密钥管理服务（1）
缓存（1）
监督学习（1）
数据处理（1）
数据结构（1）
云计算（1）
任务调度（1）
密钥管理服务（1）
即时通信 IM（1）
allocation（1）
analysis（1）
case（1）
free（1）
hidden（1）
matching（1）
numbers（1）
probability（1）
protocols（1）
selection（1）
table（1）
集群（1）
搜索文章
搜索
搜索
关闭
具有可证明性能保证的协同循环闭包检测的资源感知方法
分布式
作者：Yulun Tian,Kasra Khosoussi,Jonathan P. How
罗大琦
2019-07-18
680
0
ADDMC：使用代数决策图的精确加权模型计数
缓存
作者：Jeffrey M. Dudek,Vu H. N. Phan,Moshe Y. Vardi
罗大琦
2019-07-18
574
0
近似模型计数，Sparse XOR约束和最小距离
批量计算
摘要：计算给定布尔公式的模型数量的问题具有许多应用，包括计算定量信息流中的确定性程序的泄漏。模型计数是一个很难的#P完全问题。出于这个原因，在过去十年中已经开发了许多近似计数器，提供了信心和准确性的正式保证。一种流行的方法是基于使用随机XOR约束的概念，粗略地，连续地将解决方案集减半，直到没有模型为止：这通过调用SAT求解器来检查。这个过程的有效性取决于SAT求解器处理XOR约束的能力，而XOR约束反过来又取决于这些约束的长度。我们研究在多大程度上可以采用稀疏的，因此短的约束，保证正确性。我们证明了结果边界与模型集的几何形状密切相关，特别是模型之间的最小汉明距离。我们在一些具体公式上评估我们的理论结果。根据我们的研究结果，我们最终讨论了在近似模型计数中改进现有技术水平的可能方向。
罗大琦
2019-07-18
598
0
蛋糕切割图：离散和有界比例协议
allocation
free
protocols
作者：Xiaohui Bei,Xiaoming Sun,Hao Wu,Jialin Zhang,Zhijie Zhang,Wei Zi
罗大琦
2019-07-18
615
0
沃德的方法分析
analysis
集群
作者：Anna Großwendt,Heiko Röglin,Melanie Schmidt
罗大琦
2019-07-18
1.1K
0
关于无意识匹配问题
编程算法
作者：Zhihao Gavin Tang,Xiaowei Wu,Yuhao Zhang
罗大琦
2019-07-18
534
0
最先进的Sparse直接求解器
编程算法
作者：Matthias Bollhöfer, Olaf Schenk, Radim Janalík, Steve Hamm, Kiran Gullapalli
罗大琦
2019-07-18
868
0
使用样本和隐秘性问题的竞争分析
数据分析
摘要：我们扩展了标准的在线最坏情况模型，以适应过去在许多实际场景中可供在线玩家使用的体验。我们通过提前向在线玩家展示对抗性输入的随机样本来做到这一点。在线播放器与在线到达的输入部分的预期最佳值竞争。我们的模型在现有的在线随机模型（例如，从分布中i.i.d中绘制的项目）和在线最坏情况模型之间架起桥梁。我们也以类似的方式（通过揭示样本）扩展在线随机顺序模型。
罗大琦
2019-07-18
425
0
近似子模函数最小化的量子经典算法
编程算法
日志服务
作者：Yassine Hamoudi,Patrick Rebentrost,Ansis Rosmanis,Miklos Santha
罗大琦
2019-07-18
874
0
研究如何进行随机，大规模，高效地数据运行
腾讯云测试服务
作者：Jakub Łącki,Slobodan Mitrović,Krzysztof Onak,Piotr Sankowski
罗大琦
2019-07-18
446
0
计算的度量集中度：最佳界限，减少量等
编程算法
作者：Omid Etesami,Saeed Mahloujifar,Mohammad Mahmoody
罗大琦
2019-07-18
780
0
量子逻辑合成中CNOT电路的最佳空间-深度交错
量子密钥管理服务
作者：Jiaqing Jiang,Xiaoming Sun,Shang-Hua Teng,Bujiao Wu,Kewen Wu,Jialin Zhang
罗大琦
2019-07-18
784
0
距离 - 遗传图中的偏心函数
编程算法
摘要：如果G的每个诱导路径都是最短路径，则图G =（V，E）是距离遗传。 在本文中，我们证明了任何距离 - 遗传图中的偏心函数（v）= max {d（v，u）：u∈V}几乎是单峰的，即每个顶点（v）> rad（G）+ 1有一个偏心较小的邻居。 这里，rad（G）= min {e（v）：v∈V}是graphG的半径。 此外，我们使用该结果来表征距离 - 遗传图的中心，并提供线性时间算法以找到大的中心顶点子集，并且在一些情况下，所有中心顶点。 我们引入了两种新的算法技术来逼近距离 - 遗传图中的所有偏心率，包括线性时间加法1近似。
罗大琦
2019-07-18
589
0
论婚姻问题的泛化概括
case
matching
摘要：我们将Hall著名的婚姻定理的婚姻问题概括为我们称之为对称婚姻问题，这个问题可以被认为是最大加权二元匹配的一个特例。 我们证明了对称婚姻问题的解决方案，当且仅当霍尔条件的变化适用于每个二分法时。 我们证明了这个结果的有限和无限版本，并提供了应用程序。
罗大琦
2019-07-18
445
0
矩阵流中的Schatten规范：Hello Sparsity，Goodbye Dimension
编程算法
作者：Vladimir Braverman,Robert Krauthgamer,Aditya Krishnan,Roi Sinoff
罗大琦
2019-07-18
634
0
多机调度的几何
任务调度
摘要：我们考虑以下一般调度问题：在时间0处有m个相同的机器和n个作业都被释放。每个作业j具有处理时间pj，以及指定j的成本的任意非递减函数fj，对于每个可能的完成时间。目标是找到最低成本的先发制人迁移计划。这模拟了几个自然目标，例如加权完成时间范围，加权延迟等等。
罗大琦
2019-07-18
464
0
一种用于可分离的非负矩阵分解的量子启发经典算法
编程算法
作者：Zhihuai Chen,Yinan Li,Xiaoming Sun,Pei Yuan,Jialin Zhang
罗大琦
2019-07-18
858
0
对最大匹配尺寸的均匀边缘样本进行空间有效估计
线性回归
作者：Michael Kapralov,Slobodan Mitrović,Ashkan Norouzi-Fard,Jakab Tardos
罗大琦
2019-07-18
560
0
在流式模型和分布式模型中实现最优矩估计
分布式
es 2
即时通信 IM
摘要：数据流模型中最古老的问题之一是近似第p个矩∥X∥pp=Σni= 1 | Xi | pof基础向量X∈Rn，它表示为poly（n）更新的序列。坐标。特别感兴趣的是当p∈（0,2）。虽然当允许正和负更新时，已知这个问题的紧密空间界限（ε-2logn）位，但令人惊讶的是，当所有空间复杂性都存在差距时更新是正的。具体来说，上限是O（ε-2logn）位，而下限只是Ω（ε-2 + logn）位。最近，假设得到了O~（ε-2 + logn）位的上界。更新以随机顺序到达。
罗大琦
2019-07-18
613
0
子模最大化的FAST算法
编程算法
作者：Adam Breuer,Eric Balkanski,Yaron Singer
罗大琦
2019-07-18
1.1K
0
点击加载更多
社区活动
【纪录片】中国数据库前世今生
穿越半个世纪，探寻中国数据库50年的发展历程
立即查看
Python精品学习库
代码在线跑，知识轻松学
立即查看
博客搬家 | 分享价值百万资源包
自行/邀约他人一键搬运博客，速成社区影响力并领取好礼
立即体验
技术创作特训营·精选知识专栏
往期视频·千货材料·成员作品 最新动态
立即查看
领券
问题归档
专栏文章
快讯文章归档
关键词归档
开发者手册归档
开发者手册 Section 归档
