XiaoMi-AI文件搜索系统
World File Search SystemICALP
弗罗茨瓦夫大学计算机科学研究所的大多数职位
该研究所始终被评为研究波兰计算机科学的最佳场所之一，并主持了从事算法，组合优化，逻辑和数据库理论的紧凑型群体。我们的学生在ICPC编程竞赛中取得了很高的成绩，其中一些人参与了我们的研究活动。PI及其合作者（也将在该项目上工作）定期发布顶级算法会议（Soda，ICALP Track A）。
紧密（双重）指数范围用于识别问题：定位主体设置和测试盖
foucaud等。[ICALP 2024]证明，当通过treewidth或顶点覆盖号参数化时，NP中的某些问题可以接受（紧密）双向指数下限。他们通过证明某些图形问题的条件下限，尤其是基于度量的识别问题（强）度量方面，展示了这些第一届的结果。我们继续进行这一研究，并强调了这种类型的问题的有用性，以证明（紧密）下限相对较少的类型。我们研究了图表中经典（基于非中线的）识别问题的细粒算法方面，即定位键合集合和集合系统，即测试盖。在第一个问题中，输入是n顶点上的图形g和整数k，目的是确定是否存在K顶点的子集S子集S子集S，以便S s中的任何两个不同的顶点在s中的任何两个不同的顶点都由s的不同子集主导。在第二个问题中，输入是一组u，u的子集f的集合和整数k，目标是在大多数k测试中选择一个集合s，以便在s的不同测试中包含任何两个不同的项目。对于我们的第一个结果，我们适应了Foucaud等人引入的技术。[ICALP 2024]证明这两个问题相似（紧密）的下限。
CV Dorian Rudolph
- CCC 2023（计算复杂性会议） - CIMP 2024，2025（数学物理学的通信） - ICALP 2025（国际自动机，语言和语言和编程座谈会） - 信息理论的IEEE TRACTITS 2023 -2023 - ITCS 2025 - ITCS 2025（ITCS 2025）（理论计算机科学的创新）（jacm 202222222）（JACM 2025（MODC）（MODC）（MODC（MONF）（MONGINACTINCTINCTINCE）计算机科学基础） - QCTIP 2025（实践中的量子计算理论） - QIP 2023，2024，2025（量子信息处理） - Sicomp 2025（Siam on Computing on Computing） - TQC 2023（量子计算理论，通信和密码理论）
简历
会议审稿人 ⋄ QIP 2024、Crypto 2023、STOC 2023、QIP 2023、TCC 2022、TQC 2022、Crypto 2022、SODA 2022、Eurocrypt 2022、QIP 2022、QCrypt 2021、PKC 2021、ISIT 2021、Eurocrypt 2021、TCC 2020、Provesec 2020、Asiacrypt 2020、ICALP 2020、Eurocrypt 2020、QIP 2020、FOCS 2019、Crypto 2019、ISIT 2019、STOC 2019、Eurocrypt 2019、FOCS 2018、QCrypt 2018、PKC 2018、QIP 2018、Eurocrypt 2018、QCrypt 2017、Eurocrypt 2017、Crypto 2017、PQCrypto 2016、ISAAC 2015、QIP 2015、Asiacrypt 2014、QCrypt 2014、TQC 2014、TCC 2014、Crypto 2013、PQCrypto 2013、FOCS 2012、Crypto 2011。
Shai Vardi
信息系统与技术委员会会议（CIST）2022，2023，2024; ACM经济与计算会议（EC）2017，2018，2020，2021;讨论者决策科学研究所（DSI）会议，2020年；信息系统经济学理论（TEIS），2024年。审查员（J）管理科学，信息系统研究（ISR），运营研究数学，运营研究，经济理论杂志，信息通知杂志有关计算，网络科学和工程交易（TNSE），算法，算法，计算机和系统科学杂志，杂志理论计算机科学（ITCS）。评论者（c）ICIS，CIST，WINE，Stoc，Focs，Soda，ICADA，ICAD，ITC，SPAA，ESA，DISC，DISC，PODC，StACS，SAGT。
cv.pdf div>
Conference reviewing AAAI Conference on Artificial Intelligence 2021 Conference on Artificial Intelligence, Ethics, and Society (AIES) 2019 Conference on Economics and Computation (EC) 2020 Conference on Learning Theory (COLT) 2018 Conference on Neural Information Processing Systems (NeurIPS) 2017, 2018, 2019, 2020, 2021 European Symposium on Algorithms (ESA) 2020 Innovations in Theoretical Computer Science (ITCS) 2021，2022国际自动机，语言和节目（ICALP）2022国际人工智能与统计会议（AISTATS）2019年国际学习代表国际会议（ICLR）2022，2022，2024国际机器学习国际机器学习会议（ICML）2017，2019，2019，2019年，2019年，2018年国际智能国际会议（2020年），2018年国际会议（IMAI）2018年国际会议（I），2018年（I）离散算法研讨会（SODA）2018，2020，2021，2023关于计算机科学基础（FOCS）2019年分布式计算原理（PODC）2016 2016年计算理论的研讨会（STOC）2017，2021，2021，2021，2024 on Web and Internet经济学（葡萄酒）的
可验证的秘密共享来自对称密钥密码学，具有改善的乐观复杂性
摘要。在本文中，我们提出了可验证的秘密共享（VSS）方案，以确保同步模型中的任何诚实多数，并且仅使用对称键的加密工具，因此具有明显的后量词安全性。Compared to the state-of-the-art scheme with these features (Atapoor et al., Asiacrypt ‘23), our main improve- ment lies on the complexity of the “optimistic” scenario where the dealer and all but a small number of receivers behave honestly in the sharing phase: in this case, the running time and download complexity (amount of information read) of each honest verifier is polylogarithmic and the total amount of broadcast information by the经销商是对数；在Atapoor等人的上述工作中，所有这些复杂性都是线性的。同时，我们就“悲观”案件的先前工作保留了这些复杂性，在这种情况下，经销商或O（n）接收者会积极作弊。新的VSS协议在多方计算中引起了人们的关注，在多方计算中，各方以经销商的身份运行一个VSS，例如分布式关键生成协议。在Boneh等人的模型中，我们的主要技术手柄是多项式低度的分布式零知识证明。（加密’19），如果说明（在这种情况下为证人多项式评估）分布在几个验证者之间，则每个验证者都知道一个评估。使用类似于星期五的折叠技术（Ben-Sasson等，ICALP '18），我们构建了这样的证明，每个验证者都会接收到聚类信息并在Polylogarithmictim中运行。
图形稀疏的量子加速，切割... -CWI
摘要 - 绘制的Sparsifation是大量算法的基础，范围从剪切问题的近似算法到图形Laplacian中线性系统的求解器。以最强的形式“光谱尖峰”将边缘的数量减少到节点数量的接近线性，同时近似保留了图形的切割和光谱结构。Benczúr和Karger（Stoc'96）的突破性工作以及Spielman和Teng（Stoc'04）表明，在原始图的边缘数量中，Sparsifitation可以在接近线性的时间内最佳地完成Sparsifation。在这项工作中，我们证明了用于光谱尖峰及其许多应用的多项式量子加速。特别是，我们给出了一种量子算法，在给定带有n个节点和m边缘的加权图中，在sublinear时间e O（√mn/ϵ）中输出了对spectral sparsifier的经典描述。我们证明这对小数因素很紧张。The algorithm builds on a string of existing results, most notably sparsification algorithms by Spielman and Srivastava (STOC'08) and Koutis and Xu (TOPC'16), a spanner construction by Thorup and Zwick (STOC'01), a single-source shortest paths quantum algorithm by Dürr et al.（ICALP'04）和Christiani，Pagh和Thorup（Stoc'15）的有效的K-K-wise独立哈希结构。我们的算法意味着用于求解拉普拉斯系统的量子加速，并近似于一系列切割问题，例如切割和最稀少的切割。索引项 - Quantum Computing;量子算法；图理论
LIPIcs.ITCS.2023.53.pdf - DROPS
经典复杂性理论中的一个著名成果是 Savitch 定理，该定理指出非确定性多项式空间计算 (NPSPACE) 可以通过确定性多空间计算 (PSPACE) 来模拟。在这项工作中，我们开始研究 NPSPACE 的量子类似物，记为 Streaming-QCMASPACE (SQCMASPACE)，其中指数长的经典证明被流式传输到多空间量子验证器。我们首先证明 Savitch 定理的量子类似物不太可能成立，因为 SQCMASPACE = NEXP 。为了完整起见，我们还引入了具有指数长流式量子证明的伴随类 Streaming-QMASPACE (SQMASPACE)，并证明 SQMASPACE = QMA EXP（NEXP 的量子类似物）。然而，我们的主要重点是研究指数长的流式经典证明，接下来我们将展示以下两个主要结果。第一个结果表明，与经典设置形成鲜明对比的是，当允许指数长度的证明时，量子约束满足问题（即局部哈密顿量）的解空间始终是连通的。为此，我们展示了如何通过一系列局部幺正门模拟单位超球面上的任何 Lipschitz 连续路径，代价是增加电路尺寸。这表明，如果演化速度足够慢，量子纠错码无法检测到一个码字错误地演化为另一个码字，并回答了 [Gharibian, Sikora, ICALP 2015] 关于基态连通性问题的未决问题。我们的第二个主要结果是，任何 SQCMASPACE 计算都可以嵌入到“非纠缠”中，即嵌入到具有非纠缠证明器的量子约束满足问题中。正式地，我们展示了如何将 SQCMASPACE 嵌入到 [Chailloux, Sattath, CCC 2012] 的稀疏可分离汉密尔顿问题（1 / 多承诺差距的 QMA(2) 完全问题）中，代价是随着流式证明大小的扩大而扩大承诺差距。作为推论，我们获得了第一个系统构造，用于在任意多证明者交互式证明系统上获得 QMA (2) 型上限，其中 QMA (2) 承诺差距随着交互式证明中的通信位数呈指数增长。我们的构造使用了一种新技术来利用解缠结来模拟二次布尔函数，这在某种意义上允许历史状态对未来进行编码。
量子回路设计における最适化问题
（1）（Kokuken）日本科学技术局研究与发展战略中心，“战略建议：每个人的量子计算机”，2018年。 https：// wwwjst.go.jp/crds/pdf/2018/sp/crds-fy2018-sp-04.pdf（2）p.w.Shor，“用于量子计算的算法：离散日志和保理”，Proc第35届IEEE计算机科学序言研讨会，第124-134页，1994年。（3）L.K.Grover，“用于数据库搜索的快速量子机械算法”，第28 ACM计算理论座谈会论文集，第212-219页，1996年。（4）N。Kunihiro，“代理量计算机的计算时间的精确分析”，IEice Trans基础，第88-A卷，第105–111页，2005年。（5）M.A。nielsen和I.L.chuang，量子计算和量子信息，剑桥大学出版社，2000年。（6）A。Peruzzo，J。McClean，P。Shadbolt，M.-H周，P.J。Love，A。Aspuru-Guzik和J.L.O'Brien，“光子量子处理器上的变异特征值求解器”，《自然通信》，第5卷，第1期，2014年7月，第4213页（7）to奥利T.可逆计算，在：de bakker J.，van leeuwen J.（eds）自动机，语言和程序 - iCalp 1980，计算机Sci-Ence中的讲义，第85卷，Springer，柏林（8）Arxiv e-Prints，Quant-PH/9902 062，1999年2月。（9）K。Iwama，S。Yamashita和Y. Kambayashi，“设计基于CNOT的量子CUITS的跨形成规则”，设计自动化会议，第419-429-2002页，2002年。（10）Z. Sasanian和D.M.（12）M。Soeken，M。Roetteler，N。Wiebe和G.D. Micheli，“基于LUT的层次可逆逻辑Synthe-Sis”，IEEE TransMiller，“可逆和Quan-Tum电路优化：一种功能性方法”，《可使用的计算》第4个国际研讨会（RC 2012），第112-124页，2013年。（（11）A。Mishchenko和M. Perkowski，“快速的启发式启发式最小化 - 独家及产品或产品”，第五届国际式Reed-Muller Workshop，pp.242–250，2001。计算。集成。电路系统，第38卷，第9期，第1675–1688页，2019年。（（13）E。Souma和S. Yamashita，“同时分解许多MPMCT大门时，减少T计数”，第50届国际多重逻辑国际研讨会（IS- MVL 2020），第22-22-27页，11月2020年，（（14）X. Zhou，D.W。 Leung和I.L.Chuang，“量子逻辑门结构的方法论”，物理。 修订版 A，第62卷，052316，2000年10月。 （（15）A。Barenco，C.H。 Bennett，R。Cleve，D.P。 Divincenzo，Chuang，“量子逻辑门结构的方法论”，物理。修订版A，第62卷，052316，2000年10月。（（15）A。Barenco，C.H。Bennett，R。Cleve，D.P。 Divincenzo，Bennett，R。Cleve，D.P。Divincenzo，