会员服务
本专题讨论会主要讨论离散问题之有效演算法与资料结构。除了这些方法和结构的设计，还包括它们的使用、性能分析以及与它们的发展或局限性相关的数学问题。性能分析可以是分析性的，也可以是实验性的，可以是针对最坏情况或预期情况的性能。研究可以是理论性的，也可以是基于实践中出现的数据集，可以解决绩效分析中涉及的方法学问题。官网链接：https://www.siam.org/conferences/cm/conference/soda20
Buffered Partially-Persistent External-Memory Search Trees
Arxiv
0+阅读 · 3月11日
Optimal mass estimation in the conditional sampling model
Arxiv
0+阅读 · 3月16日
Can Proof Assistants Verify Multi-Agent Systems?
Arxiv
0+阅读 · 3月10日
Online Stochastic Matching with Unknown Arrival Order: Beating $0.5$ against the Online Optimum
Arxiv
0+阅读 · 3月25日
Encoding Co-Lex Orders of Finite-State Automata in Linear Space
Arxiv
0+阅读 · 3月10日
Approximating $q \rightarrow p$ Norms of Non-Negative Matrices in Nearly-Linear Time
Arxiv
0+阅读 · 3月25日
Polynomial Time Learning-Augmented Algorithms for NP-hard Permutation Problems
Arxiv
0+阅读 · 2月2日
Distributed Non-Interactive Zero-Knowledge Proofs
Arxiv
0+阅读 · 2月11日
Forward-backward Contention Resolution Schemes for Fair Rationing
Arxiv
0+阅读 · 2月13日
An efficient uniqueness theorem for overcomplete tensor decomposition
Arxiv
0+阅读 · 2月11日
Expander Decomposition with Fewer Inter-Cluster Edges Using a Spectral Cut Player
Arxiv
0+阅读 · 2月3日
Induced Disjoint Paths Without an Induced Minor
Arxiv
0+阅读 · 2月7日
A Note on Quantum Divide and Conquer for Minimal String Rotation
Arxiv
0+阅读 · 2月20日
An exposition of recent list-size bounds of FRS Codes
Arxiv
0+阅读 · 2月20日
A parameterized linear formulation of the integer hull
Arxiv
0+阅读 · 1月4日
参考链接
父主题
计算机科学理论
微信扫码咨询专知VIP会员
Top