Information and Computation最新文献

Asymptotically optimal synthesis of reversible circuits 可逆电路的渐进优化合成

IF 0.8 4区计算机科学

Information and Computation Pub Date : 2024-11-08 DOI: 10.1016/j.ic.2024.105235

Xian Wu, Lvzhou Li

引用次数: 0

Non-linear communication via graded modal session types 通过分级模式会话类型进行非线性交流

IF 0.8 4区计算机科学

Information and Computation Pub Date : 2024-11-04 DOI: 10.1016/j.ic.2024.105234

Danielle Marshall , Dominic Orchard

引用次数: 0

Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms 定点方程系统：抽象、博弈、向上技术和局部算法

IF 0.8 4区计算机科学

Information and Computation Pub Date : 2024-10-24 DOI: 10.1016/j.ic.2024.105233

Paolo Baldan , Barbara König , Tommaso Padoan

引用次数: 0

Unifying lower bounds for algebraic machines, semantically 代数机器的统一下界，语义上

IF 0.8 4区计算机科学

Information and Computation Pub Date : 2024-10-21 DOI: 10.1016/j.ic.2024.105232

Thomas Seiller , Luc Pellissier , Ulysse Léchine

引用次数: 0

Introducing variables in the evolution rules of P systems 在 P 系统的进化规则中引入变量

IF 0.8 4区计算机科学

Information and Computation Pub Date : 2024-10-16 DOI: 10.1016/j.ic.2024.105231

Bogdan Aman

引用次数: 0

Perspective on complexity measures targeting read-once branching programs 以只读分支程序为目标的复杂性测量透视

IF 0.8 4区计算机科学

Information and Computation Pub Date : 2024-10-15 DOI: 10.1016/j.ic.2024.105230

Yaqiao Li , Pierre McKenzie

引用次数: 0

Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions 随机策略中的不同招数：在有限记忆假设下重温库恩定理

IF 0.8 4区计算机科学

Information and Computation Pub Date : 2024-10-10 DOI: 10.1016/j.ic.2024.105229

James C.A. Main , Mickael Randour

{"title":"Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions","authors":"James C.A. Main , Mickael Randour","doi":"10.1016/j.ic.2024.105229","DOIUrl":"10.1016/j.ic.2024.105229","url":null,"abstract":"<div><div>Two-player (antagonistic) games on (possibly stochastic) graphs are a prevalent model in theoretical computer science, notably as a framework for reactive synthesis.</div><div>Optimal strategies may require randomisation when dealing with inherently probabilistic goals, balancing multiple objectives, or in contexts of partial information. There is no unique way to define randomised strategies. For instance, one can use so-called <em>mixed</em> strategies or <em>behavioural</em> ones. In the most general setting, these two classes do not share the same expressiveness. A seminal result in game theory — <em>Kuhn's theorem</em> — asserts their equivalence in games of perfect recall.</div><div>This result crucially relies on the possibility for strategies to use <em>infinite memory</em>, i.e., unlimited knowledge of all past observations. However, computer systems are finite in practice. Hence it is pertinent to restrict our attention to <em>finite-memory</em> strategies, defined as automata with outputs. Randomisation can be implemented in these in different ways: the <em>initialisation</em>, <em>outputs</em> or <em>transitions</em> can be randomised or deterministic respectively. Depending on which aspects are randomised, the expressiveness of the corresponding class of finite-memory strategies differs.</div><div>In this work, we study two-player concurrent stochastic games and provide a complete taxonomy of the classes of finite-memory strategies obtained by varying which of the three aforementioned components are randomised. Our taxonomy holds in games of perfect and imperfect information with perfect recall, and in games with more than two players. We also provide an adapted taxonomy for games with imperfect recall.</div></div>","PeriodicalId":54985,"journal":{"name":"Information and Computation","volume":"301 ","pages":"Article 105229"},"PeriodicalIF":0.8,"publicationDate":"2024-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142441057","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Predictive mining of multi-temporal relations 多时空关系的预测性挖掘

IF 0.8 4区计算机科学

Information and Computation Pub Date : 2024-10-03 DOI: 10.1016/j.ic.2024.105228

Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala

引用次数: 0

Blazing a trail via matrix multiplications: A faster algorithm for non-shortest induced paths 通过矩阵乘法开辟道路：非最短诱导路径的更快算法

IF 0.8 4区计算机科学

Information and Computation Pub Date : 2024-09-27 DOI: 10.1016/j.ic.2024.105227

Yung-Chung Chiu, Hsueh-I Lu

{"title":"Blazing a trail via matrix multiplications: A faster algorithm for non-shortest induced paths","authors":"Yung-Chung Chiu, Hsueh-I Lu","doi":"10.1016/j.ic.2024.105227","DOIUrl":"10.1016/j.ic.2024.105227","url":null,"abstract":"<div><div>For vertices <em>u</em> and <em>v</em> of an <em>n</em>-vertex graph <em>G</em>, a <em>uv-trail</em> of <em>G</em> is an induced <em>uv</em>-path of <em>G</em> that is not a shortest <em>uv</em>-path of <em>G</em>. Berger, Seymour, and Spirkl [<em>Discrete Mathematics</em> 2021] gave the previously only known polynomial-time algorithm, running in <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>18</mn></mrow></msup><mo>)</mo></math></span> time, to either output a <em>uv</em>-trail of <em>G</em> or ensure that <em>G</em> admits no <em>uv</em>-trail. We reduce the complexity to the time required to perform a poly-logarithmic number of multiplications of <span><math><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>×</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> Boolean matrices, leading to a largely improved <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>4.75</mn></mrow></msup><mo>)</mo></math></span>-time algorithm. Our result improves the previous <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>21</mn></mrow></msup><mo>)</mo></math></span>-time algorithm by Cook, Horsfield, Preissmann, Robin, Seymour, Sintiari, Trotignon, and Vušković [<em>Journal of Combinatorial Theory, Series B</em>, 2024] for recognizing graphs with all holes the same length, and reduces the running time to <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>7.75</mn></mrow></msup><mo>)</mo></math></span>.</div></div>","PeriodicalId":54985,"journal":{"name":"Information and Computation","volume":"301 ","pages":"Article 105227"},"PeriodicalIF":0.8,"publicationDate":"2024-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142359381","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Truthful and privacy-preserving generalized linear models 真实和保护隐私的广义线性模型

IF 0.8 4区计算机科学

Information and Computation Pub Date : 2024-09-12 DOI: 10.1016/j.ic.2024.105225

Yuan Qiu , Jinyan Liu , Di Wang

{"title":"Truthful and privacy-preserving generalized linear models","authors":"Yuan Qiu , Jinyan Liu , Di Wang","doi":"10.1016/j.ic.2024.105225","DOIUrl":"10.1016/j.ic.2024.105225","url":null,"abstract":"<div><p>This paper explores estimating Generalized Linear Models (GLMs) when agents are strategic and privacy-conscious. We aim to design mechanisms that encourage truthful reporting, protect privacy, and ensure outputs are close to the true parameters. Initially, we address models with sub-Gaussian covariates and heavy-tailed responses with finite fourth moments, proposing a novel private, closed-form estimator. Our mechanism features: (1) <span><math><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span>-joint differential privacy with high probability; (2) <span><math><mi>o</mi><mo>(</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mi>n</mi></mrow></mfrac><mo>)</mo></math></span>-approximate Bayes Nash equilibrium for <span><math><mo>(</mo><mn>1</mn><mo>−</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo></math></span>-fraction of agents; (3) <span><math><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span> error in parameter estimation; (4) individual rationality for <span><math><mo>(</mo><mn>1</mn><mo>−</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo></math></span> of agents; (5) <span><math><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo></math></span> payment budget. We then extend our approach to linear regression with heavy-tailed data, using an <span><math><msub><mrow><mi>ℓ</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>-norm shrinkage operator to propose a similar estimator and payment scheme.</p></div>","PeriodicalId":54985,"journal":{"name":"Information and Computation","volume":"301 ","pages":"Article 105225"},"PeriodicalIF":0.8,"publicationDate":"2024-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142171721","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0