宾文努（Bienvenue） L’IRIF是研究的混合单位（UMR 8243）中国科学院等巴黎城市大学，和héberge uneéquipe项目Inria公司. 《国际自然基金会报告》（Les recherches menées a l’IRIF reposent sur l’étude et la comprehension des fundements de toute l’informatique，afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques）。 L'IRIF重组了普通员工。9月1日欧洲研究委员会（ERC），trois sont membres de l’法国大学研究所（IUF），deux sont membres de l’欧洲学院a等我回来科学院. 每日观念 雷索社会 Suivez nous sur Mastodon，推特/X et LinkedIn: 现状 30.5.2024未发布d'Ingénieur de recherche en développement logiciel公司这是一个水库。N'hésitez pasápartager cette offre de post autour de vous！ 27.5.2024 艾哈迈德·布阿贾尼IIRIF教授，aétérés补偿了对信息领域研究的贡献。《猫戈里岛》（Il aéténominédans la cat gorie）科学研究倾泻六天世界墨西哥热带.投掷不合格品！ 30.5.2024取消发布管理层-ve et金融家-ère太棒了！Vous souhaitez intégrer une equipe considerque et Vous aimez le chocolat？祝你开心！ 30.5.2024洛杉矶14ème journée e francilienne de编程塞德鲁莱拉隆迪10 juin 2024巴黎城市大学，UFR d'informatique。Cette journée e est l'ocasion d'une杂志对峙鲁迪克与阿西马利entreéquipes d’信息许可证巴黎大学赛克利校区、巴黎索邦大学城校区。Cette journée est organiseée e联合标准皮埃尔·勒图泽（IRIF），Jean-Baptiste Yunès女士（UPC），伊曼纽尔·查洛（Emmanuel Chailloux）（UPMC）等让-克里斯托弗·菲利（巴黎-萨克利）。 10.4.2024L'IRIF a le plaisir d’annorcer son deuxie me杰出演讲！圣罗伦西亚邀请赛奥马尔·莱因戈尔德斯坦福大学信息学教授和西蒙斯协作研究所所长（西蒙斯基金会）。Il parlera de l’équité算法.邀请您加入我们的个人活动！ 12.4.2024洛杉矶再扩散（redifusion de la conférence）（英语）deVéronique Cortier公司，qui’est tenue en février，est désormais disponible sur la chaâne YouTube de l IIRIF。Son sujetétait：“电子投票：概念与验证形式”. 10.4.2024 Trois项目圣母玛利亚圣母院科学基金会（de médiation scientifique de chercheursál’IRIF ontétésélectiononés pour l’）2024年诺贝尔科学奖法国-巴黎。《原则》：法国科学研究院，丹麦联合律师协会（Deécouvrir une thématique oun sujet scientifique，dans un bar）。Nos chercheurs客厅保护donnees，grapes et informatique quantique. 编辑 吹捧古人的真实性 （《实际行动宣言》发送了塞隆的非分类优先权等。） 议程 组合数和分析Mardi 4 juin 2024，11 heures，Salle 1007年 Séminaire大街（6月6日，Séminaire Flajolet Le Jeudi大街！） 塞米纳教堂 算法与复合2024年7月4日，11公顷，Salle 3052 Kuo-Chin Chen先生（富士康研究）单纯形复形上的量子行走与调和同调：在超多项式加速拓扑数据分析中的应用 在信息处理中纳入高阶交互使我们能够构建更准确的模型，深入了解复杂系统，并更有效地应对现实世界的挑战。然而，捕获这些交互作用的现有方法，如定向单形上的随机游动和同源性，尚不清楚其有效性。这项工作研究了单形络合物上的量子行走是否表现出量子优势。我们引入了一种新的量子行走，它对组合拉普拉斯算子进行编码，这是一个关键的数学对象，其光谱特性反映了潜在的简单复数的拓扑结构。此外，我们构造了投射到拉普拉斯核上的酉编码，表示复数同源性中的调和循环空间。结合我们提出的团复合体量子行走单位的有效构造，这为利用量子行走探索拓扑结构中的高阶相互作用铺平了道路。我们的结果通过量子行走实现了超多项式量子加速，而不依赖于大数据集的量子预言。至关重要的是，行走在一个包含正向和负向简单的状态空间中运行，与无向方法相比，它的大小实际上增加了一倍。通过这些配对单形的相干干涉，我们能够成功地编码组合拉普拉斯算子，否则这是不可能的。这一观察结果构成了我们的主要技术贡献。我们还通过构造变量量子游动来扩展该框架。这些变量使我们能够：（1）估计归一化持久Betti数，捕获整个变形过程中的拓扑信息，（2）验证特定的QMA1-hard问题，展示了计算复杂性理论的潜在应用。 算法与复合Mercredi 5 juin 2024年，11 heures，Salle 4052（PCQC） 马林·科斯特斯（巴黎萨克利大学）时空确定性图重写 我们研究了非终结图重写模型，这些模型的局部规则被非确定性地应用，但却具有强烈的决定论形式，即时空决定论。当然，在终止计算的情况下，众所周知，异步规则应用程序引入的混乱可能与最终结果无关，因为合流会产生一种独特的范式。然而，在非终止计算的情况下，合流是一种非常弱的性质，并且（几乎）同步规则应用程序总是首选的，例如在模拟动态系统时。在这里，我们提供了充分的条件，以便异步局部规则应用程序在图的时空展开中合力生成确定的事件，而不管它们的应用程序顺序如何。我们的第一个例子是动态系统的异步模拟。我们的第二个例子以广义相对论的精神来描述时间膨胀。 非永久性成员名单Jeudi 6 juin 2024年，16 heures，Salle 3052 阿伦·伊比亚皮纳 时间图上的k-联系 给定一个图（G）和一组（k）对顶点，“（k）-链接问题”询问是否存在一组（k）路径，使得每条路径连接一对给定的顶点，并且图中的每个顶点最多由其中一条路径使用。当我们考虑时间图时，图的结构可以随着时间的推移而变化，\（k\）-链接问题会出现新的变化。本研讨会重点讨论一个特定的版本，在该版本中，我们寻求连接给定顶点对的有时间限制的路径，确保在任何给定时间，每个顶点最多被一条路径占用。当\（k\）作为参数给出时，我将给出这个问题的参数化复杂性的结果。 语法计划Jeudi 6 juin 2024，14 heures，Salle萨尔3071 阿德里安·兰斯洛特（LIX Polytechnique和IRIF UPC）反映Call-by Need或愚蠢的价值观 lambda-calculus的按需计算可以看作是将按需计算的名称和按值计算的最佳值结合在一起，即前者的明智擦除行为和后者的明智复制行为。为了更好地理解复制和擦除是如何结合的，我们设计了一个退化的演算，称为call-by-silly，它与call-by-deed对称，因为它合并了call-by-name和call-by-value中最糟糕的部分，即按名称的愚蠢重复和按值的愚蠢擦除。我们通过重写属性和多类型验证了call-byly演算的设计。特别是，我们反映了关于按需调用的主要定理，即其与按名调用的操作等价性，表明按需调用和按值调用诱导了相同的上下文等价性。这一事实表明，在按调用值上下文等价的效率方面存在盲目性。我们还定义了一个按需调用策略，并通过紧多类型测量其长度。最后，我们证明了call-byly策略计算微积分中最大长度的评估序列。 自动化Vendredi 7 juin 2024年，14 heures，Salle 3052 莱瑟·恩·杜恩（Tito）Nguyễn 宏树传感器尺寸-高度增长多项式的计算 在ICALP’24[*]上发表的一篇论文中，Gallot、Maneth、Nakano和Peyrat表示，给定一个由宏树传感器计算的树对树函数f（一个基于寄存器的自然机器模型，将在演讲中回顾），以下问题是可以判定的：（1） 高度（f（t））=O（高度（t）？（2） 高度（f（t））=O（尺寸（t）？我们用不同且可以说更简单的方法对（2）的推广给出了一个初步的证明。更准确地说，我们显示了inf{k|height（f（t））=O（size（t）^k）}∈是可以通过减少（普通）树自动机的模糊性来计算的。（与Paul Gallot和Nathan Lhote共同准备。）[*]https://arxiv.org/abs/2307.16500 算法与复合Mardi 11 juin 2024年，11 heures，Salle 3052 迪瓦尔提·莫汉（Tel-Avi大学）具有相互依赖值的最优停车 考虑一下向n个依次到达的买家中的一个出售单个商品的问题，在每个买家到达后，我们需要决定是接受这个价格并停止这个过程（在看到未来投标人的价格之前），还是不可撤销地、不可逆转地拒绝这个投标人，然后继续进行下一个。目标是最大化可接受的值，这提出了一个基本问题：与离线最优解相比，在线算法的执行效率如何？此外，在许多情况下，投标人对项目的价值可能取决于其他投标人的私人信息，这增加了挑战。例如，在艺术品拍卖中，买家对物品的价值可能会受到其他买家迄今为止对该物品的喜爱程度的影响，事实上，甚至可能取决于未来买家如何对该物品进行估价，因为这将影响其转售价值。当到达代理具有相互依赖的价值观时，我们研究先知和秘书环境中的在线选择问题。在Milgrom和Weber[1982]的开创性工作中引入的相互依存的价值模型中，每个代理都有一个私人信号，而代理的价值是所有代理所持有信号的函数。在线选择的结果在很大程度上依赖于价值观的某种独立性，这在概念上与相互依赖的价值观模型不一致。对于标准独立值假设下的先知和秘书模型，先前的工作提供了福利的常数因子近似值。另一方面，当代理人具有相互依赖的价值时，经济学和计算机科学的先前工作提供了真实的机制，可以在对估值函数的某些假设下获得最优和近似最优的福利。我们将这两条重要的工作线结合在一起，为具有相互依赖价值观的先知和秘书问题提供了第一个常数因子近似值。我们考虑了算法设置，其中代理是非战略的（但具有相互依赖的价值），以及策略代理的机制设计设置。我们的所有结果都是有建设性的，并且使用简单的停止规则。 与Simon Mauras和Rebecca Reifenhäuser联合工作。 非永久性成员名单朱迪13 juin 2024，16 heures，Salle 3052 Arjan Cornelissen公司 非重复注释。 自动化Vendredi 14 juin 2024年，14 heures，Salle 3052 西尔万·施密茨 非重复注释。 算法与结构差异Vendredi 14 juin 2024年，15 heures 30，Salle 3052 文卡特桑·古鲁斯瓦米（西蒙斯研究所）何时以及为什么存在有效的算法（用于满足约束和超越约束）？ 计算问题在解决速度和效率方面表现出各种各样的行为。在计算问题中，什么样的潜在数学结构（或缺乏数学结构）导致了有效的算法来解决它（或决定了它的难处理性）？考虑到问题和算法方法的广阔前景，希望有一个通用的理论来解释易用性/难用性的基础是过于简单的。然而，在约束满足问题（CSP）领域，代数二分法定理给出了一个明确的答案：当存在称为多态的非平凡局部操作时，存在多项式时间算法，在该操作下解空间是封闭的；否则，该问题为NP完全问题。受此启发和鼓舞，人们可能会在更一般的环境中推测出多态原理，解决方案空间中的对称性控制着高效算法。从CSP的一些背景和理解其复杂性的多态方法开始，演讲将讨论CSP之外的一些扩展，其中多态原理似乎很有前途（但还远未被理解）。特别是，我们将讨论“承诺CSP”（PCSP），其中允许满足宽松版本的约束（包括近似图着色等重要问题的框架）。我们将提供新兴多态理论的一瞥，该理论描述了有趣的PCSP类的易处理性以及自然类算法求解这些类的能力。