会员服务
IEEE计算机科学基础研讨会（FOCS）是由IEEE计算机学会计算数学基础技术委员会（TCMF）主办的旗舰会议，涵盖了广泛的理论计算机科学。它每年秋季举行，并与每年春季举行的由ACM SIGACT赞助的姊妹会议——计算理论年度研讨会（STOC）配对。官网链接：http://ieee-focs.org/
Ultra Efficient Contracts: Pushing the Boundaries of Tractable Contract Design
Arxiv
0+阅读 · 3月15日
The Bidirected Cut Relaxation for Steiner Tree: Better Integrality Gap Bounds and the Limits of Moat Growing
Arxiv
0+阅读 · 2月23日
Quantum speedups for linear programming via interior point methods
Arxiv
0+阅读 · 1月30日
NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability
Arxiv
0+阅读 · 1月26日
A Truly Subcubic Combinatorial Algorithm for Induced 4-Cycle Detection
Arxiv
0+阅读 · 1月9日
Faster Algorithms for Global Minimum Vertex-Cut in Directed Graphs
Arxiv
0+阅读 · 2025年12月30日
Computing the Polytope Diameter is Even Harder than NP-hard (Already for Perfect Matchings)
Arxiv
0+阅读 · 2025年11月3日
New Hardness Results for the LOCAL Model via a Simple Self-Reduction
Arxiv
0+阅读 · 2025年11月20日
Condensing and Extracting Against Online Adversaries
Arxiv
0+阅读 · 2025年11月12日
Hardness of Dynamic Tree Edit Distance and Friends
Arxiv
0+阅读 · 2025年11月13日
Towards Lazy B-Trees
Arxiv
0+阅读 · 2025年12月16日
How to Securely Shuffle? A survey about Secure Shufflers for privacy-preserving computations
Arxiv
0+阅读 · 2025年12月1日
When Contracts Get Complex: Information-Theoretic Barriers
Arxiv
0+阅读 · 2025年11月25日
Counting large patterns in degenerate graphs
Arxiv
0+阅读 · 2025年11月25日
Quantum Automating $\mathbf{TC}^0$-Frege Is LWE-Hard
Arxiv
0+阅读 · 2025年10月31日
参考链接
微信扫码咨询专知VIP会员
Top