A $2$-Approximation for Directed Feedback Vertex Set in Locally Semicomplete and Quasi-Transitive Digraphs
本文针对局部半完全有向图和拟传递有向图中的定向反馈顶点集问题，提出了一种随机化多项式时间2-近似算法。
0 citationsRead paper
Selected work
Representative Papers
Tight Lower Bounds for Algebraic Communication and Applications
本文研究了代数通信复杂性问题，通过提出一种新的下界框架来解决多项式评估和集合识别问题，并应用于证明某些算法的通信复杂性下界。
0 citationsRead paper
On the Hardness of Maximin Share Allocations
研究解决了判断精确最大最小份额分配存在的计算复杂性问题，对加性和2-加性估值分别证明了DP-hard和Δ2P完全性。
0 citationsRead paper
Counting Paths and Trees via Exterior Algebra
本文通过结合外代数与随机矩阵估计器，提供了计算给定图中k-路径和k-森林数量的近似算法，解决了相关领域的开放问题。
0 citationsRead paper
Rational Dolev--Yao Attackers: Decidable Incentive-Aware Verification of Security Protocols in Strategic Logic
该研究通过引入理性Dolev-Yao攻击者模型，使用加权ATL逻辑验证协议的安全性，解决传统模型无法考虑攻击成本和收益的问题。
0 citationsRead paper
Recent publications
Latest Papers
A $2$-Approximation for Directed Feedback Vertex Set in Locally Semicomplete and Quasi-Transitive Digraphs
本文针对局部半完全有向图和拟传递有向图中的定向反馈顶点集问题，提出了一种随机化多项式时间2-近似算法。
0 citationsRead paper
Tight Lower Bounds for Algebraic Communication and Applications
本文研究了代数通信复杂性问题，通过提出一种新的下界框架来解决多项式评估和集合识别问题，并应用于证明某些算法的通信复杂性下界。
0 citationsRead paper
On the Hardness of Maximin Share Allocations
研究解决了判断精确最大最小份额分配存在的计算复杂性问题，对加性和2-加性估值分别证明了DP-hard和Δ2P完全性。
0 citationsRead paper
Counting Paths and Trees via Exterior Algebra
本文通过结合外代数与随机矩阵估计器，提供了计算给定图中k-路径和k-森林数量的近似算法，解决了相关领域的开放问题。
0 citationsRead paper
Rational Dolev--Yao Attackers: Decidable Incentive-Aware Verification of Security Protocols in Strategic Logic
该研究通过引入理性Dolev-Yao攻击者模型，使用加权ATL逻辑验证协议的安全性，解决传统模型无法考虑攻击成本和收益的问题。
0 citationsRead paper