在半蒸发模式中, 确定性 $( 1 ⁇ varepsilon) $( 1 ⁇ varepsilon) $( 1 ⁇ varepsilon) $( 1 ⁇ 瓦repsilon) $( 1 ⁇ 瓦列普西隆) $( ) 半蒸发模式中, 与 $\ mathsf{poly} ( 1/\\ varepsilon) $( 瓦列普西隆) 通量( $- mathssf{poly} ( 1/\ varepsilon) $( $- vreaming 模式中的 ) 通行证 (Deterministic $(1+\varepsilon)$-Approximate Maximum Matching with $\mathsf{poly}(1/\varepsilon)$ Passes in the Semi-Streaming Model)

翻译：在半蒸发模式中, 确定性 $( 1 ⁇ varepsilon) $( 1 ⁇ varepsilon) $( 1 ⁇ varepsilon) $( 1 ⁇ 瓦repsilon) $( 1 ⁇ 瓦列普西隆) $( ) 半蒸发模式中, 与 $\ mathsf{poly} ( 1/\\ varepsilon) $( 瓦列普西隆) 通量( $- mathssf{poly} ( 1/\ varepsilon) $( $- vreaming 模式中的 ) 通行证

Manuela Fischer,Slobodan Mitrović,Jara Uitto

We present a deterministic $(1+\varepsilon)$-approximate maximum matching algorithm in $\mathsf{poly}(1/\varepsilon)$ passes in the semi-streaming model, solving the long-standing open problem of breaking the exponential barrier in the dependence on $1/\varepsilon$. Our algorithm exponentially improves on the well-known randomized $(1/\varepsilon)^{O(1/\varepsilon)}$-pass algorithm from the seminal work by McGregor [APPROX05], the recent deterministic algorithm by Tirodkar with the same pass complexity [FSTTCS18], as well as the deterministic $\log n \cdot \mathsf{poly}(1/\varepsilon)$-pass algorithm by Ahn and Guha [ICALP11].

翻译：我们在半流模式中以$\mathsf{poly}(1/\\varepsilon) 提供一种确定性$(1 ⁇ varepsilon) $- 近似最大匹配算法, 解决长期存在的在依赖$/\varepsilon美元时打破指数障碍的开放问题。我们的算法在McGregor[APPROX05] 的原始工程中以美元( 1/\ varepsilon) =( 1/\ varepsilon) $( $- passal) 的随机算法上取得了指数性进步。 Tirodkar 最近的确定性算法具有同样的通过复杂性 [FSTTCS18] 以及Ahn 和 Guha [CricP11] 的确定性。

相关内容

MoDELS

关注 30

ACM/IEEE第23届模型驱动工程语言和系统国际会议，是模型驱动软件和系统工程的首要会议系列，由ACM-SIGSOFT和IEEE-TCSE支持组织。自1998年以来，模型涵盖了建模的各个方面，从语言和方法到工具和应用程序。模特的参加者来自不同的背景，包括研究人员、学者、工程师和工业专业人士。MODELS 2019是一个论坛，参与者可以围绕建模和模型驱动的软件和系统交流前沿研究成果和创新实践经验。今年的版本将为建模社区提供进一步推进建模基础的机会，并在网络物理系统、嵌入式系统、社会技术系统、云计算、大数据、机器学习、安全、开源等新兴领域提出建模的创新应用以及可持续性。官网链接：http://www.modelsconference.org/