当前期刊: Information and Computation Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
  • Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-03
    Zhengbing Bian; Fabian Chudak; William Macready; Aidan Roy; Roberto Sebastiani; Stefano Varotti

    Quantum annealers (QAs) are specialized quantum computers that minimize objective functions over discrete variables by physically exploiting quantum effects. Current QA platforms allow for the optimization of quadratic objectives defined over binary variables (qubits), also known as Ising problems. In the last decade, QA systems as implemented by D-Wave have scaled with Moore-like growth. Current architectures

  • Distributability of mobile ambients
    Inf. Comput. (IF 0.872) Pub Date : 2020-07-29
    Kirstin Peters; Uwe Nestmann

    Modern society is dependent on distributed software systems and to verify them different modelling languages such as mobile ambients were developed. They focus on mobility by allowing both a dynamic network topology as well as the movement of code within the network. To analyse the quality of mobile ambients as a good foundational model for distributed computation, we analyse the level of synchronisation

  • Unique solutions of contractions, CCS, and their HOL formalisation
    Inf. Comput. (IF 0.872) Pub Date : 2020-07-27
    Chun Tian; Davide Sangiorgi

    The unique solution of contractions is a proof technique for (weak) bisimilarity that overcomes certain syntactic limitations of Milner's “unique solution of equations” theorem. This paper presents an overview of a comprehensive formalisation of Milner's Calculus of Communicating Systems (CCS) in the HOL theorem prover (HOL4), with a focus towards the theory of unique solutions of equations and contractions

  • A Language Hierarchy of Binary Relations
    Inf. Comput. (IF 0.872) Pub Date : 2020-07-24
    Tara Brough; Alan Cain

    Motivated by the study of word problems of monoids, we explore two ways of viewing binary relations on X⁎ as languages. We exhibit a hierarchy of classes of binary relations on X⁎, according to the class of languages the relation belongs to and the chosen viewpoint. We give examples of word problems of monoids distinguishing the various classes. Aside from the algebraic interest, these examples demonstrate

  • Perfect failure detection with very few bits
    Inf. Comput. (IF 0.872) Pub Date : 2020-07-22
    Pierre Fraigniaud; Sergio Rajsbaum; Corentin Travers; Petr Kuznetsov; Thibault Rieutord

    A failure detector is a distributed oracle that provides each process with a module that continuously outputs an estimate of which processes in the system have failed. The perfect failure detector provides accurate and eventually complete information about process failures. We show that, in asynchronous failure-prone message-passing systems, perfect failure detection can be achieved using an oracle

  • Team equivalences for finite-state machines with silent moves
    Inf. Comput. (IF 0.872) Pub Date : 2020-07-15
    Roberto Gorrieri

    Finite-state machines, a simple class of finite Petri nets, were equipped in [16] with an efficiently decidable, truly concurrent, bisimulation-based, behavioral equivalence, called team equivalence, which conservatively extends classic bisimulation equivalence on labeled transition systems and which is checked in a distributed manner, without necessarily building a global model of the overall behavior

  • Computational Fuzzy Extractors
    Inf. Comput. (IF 0.872) Pub Date : 2020-07-01
    Benjamin Fuller; Xianrui Meng; Leonid Reyzin

    Fuzzy extractors derive strong keys from noisy sources. Their security is usually defined information-theoretically, with gaps between known negative results, existential constructions, and polynomial-time constructions. We ask whether using computational security can close these gaps. We show the following: • Negative Result: Noise tolerance in fuzzy extractors is usually achieved using an information

  • Granularity of wagers in games and the possibility of saving
    Inf. Comput. (IF 0.872) Pub Date : 2020-06-30
    George Barmpalias; Nan Fang

    In a casino where arbitrarily small bets are admissible, any betting strategy M can be modified into a saving strategy that, not only is successful on each casino sequence where M is (thus accumulating unbounded wealth inside the casino) but also saves an unbounded capital, by permanently and gradually withdrawing it from the game. Teutsch showed that this is no longer the case when a fixed minimum

  • Bounding the Dimension of Points on a Line
    Inf. Comput. (IF 0.872) Pub Date : 2020-06-22
    Neil Lutz; D.M. Stull

    We use Kolmogorov complexity methods to give a lower bound on the effective Hausdorff dimension of the point (x,ax+b), given real numbers a, b, and x. We apply our main theorem to a problem in fractal geometry, giving an improved lower bound on the (classical) Hausdorff dimension of generalized sets of Furstenberg type.

  • Quantitative reductions and vertex-ranked infinite games
    Inf. Comput. (IF 0.872) Pub Date : 2020-06-12
    Alexander Weinert

    We introduce quantitative reductions, a novel technique for structuring the space of quantitative games and solving them that does not rely on a reduction to qualitative games. We show that such reductions exhibit the same desirable properties as their qualitative counterparts and that they additionally retain the optimality of solutions. Moreover, we introduce vertex-ranked games as a general-purpose

  • One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past
    Inf. Comput. (IF 0.872) Pub Date : 2020-06-12
    Luca Geatti; Nicola Gigante; Angelo Montanari; Mark Reynolds

    Linear Temporal Logic ( ) is one of the most commonly used formalisms for representing and reasoning about temporal properties of computations. Its application domains range from formal verification to artificial intelligence. Many real-time extensions of have been proposed over the years, including Timed Propositional Temporal Logic ( ), that makes it possible to constrain the temporal ordering of

  • Regular ω-languages with an informative right congruence
    Inf. Comput. (IF 0.872) Pub Date : 2020-06-11
    Dana Angluin; Dana Fisman

    A regular language is almost fully characterized by its right congruence relation. Indeed, a regular language can always be recognized by a dfa isomorphic to the automaton corresponding to its right congruence, henceforth the rightcon automaton. The same does not hold for regular ω-languages. The right congruence of a regular ω-language may not be informative enough; many regular ω-languages have a

  • Parameterized Verification of Coverability in Infinite State Broadcast Networks
    Inf. Comput. (IF 0.872) Pub Date : 2020-06-11
    A.R. Balasubramanian

    Parameterized verification of coverability in broadcast networks with finite state processes has been studied for different types of models and topologies. In this paper, we attempt to develop a theory of broadcast networks in which the processes can be well-structured transition systems. The resulting formalism is called well-structured broadcast networks. For various types of communication topologies

  • Constrained existence problem for weak subgame perfect equilibria with ω-regular Boolean objectives
    Inf. Comput. (IF 0.872) Pub Date : 2020-06-11
    Thomas Brihaye; Véronique Bruyère; Aline Goeminne; Jean-François Raskin

    We study multiplayer turn-based games played on a finite directed graph such that each player aims at satisfying an ω-regular Boolean objective. Instead of the well-known notions of Nash equilibrium (NE) and subgame perfect equilibrium (SPE), we focus on the recent notion of weak subgame perfect equilibrium (weak SPE), a refinement of SPE. In this setting, players who deviate can only use the subclass

  • A simplicial complex model for dynamic epistemic logic to study distributed task computability
    Inf. Comput. (IF 0.872) Pub Date : 2020-06-11
    Éric Goubault; Jérémy Ledent; Sergio Rajsbaum

    The usual S5n epistemic model for a multi-agent system is based on a Kripke frame, which is a graph whose edges are labeled with agents that do not distinguish between two states. We propose to uncover the higher dimensional information implicit in this structure, by considering a dual, simplicial complex model. We use dynamic epistemic logic (DEL) to study how an epistemic simplicial complex model

  • Safe dependency atoms and possibility operators in team semantics
    Inf. Comput. (IF 0.872) Pub Date : 2020-06-11
    Pietro Galliani

    I consider the question of which dependencies are safe for a Team Semantics-based logic FO(D), in the sense that they do not increase its expressive power over sentences when added to it. I show that some dependencies, like totality, non-constancy and non-emptiness, are safe for all logics FO(D), and that other dependencies, like constancy, are not safe for FO(D) for some choices of D despite being

  • The uniform measure of simple regular sets of infinite trees
    Inf. Comput. (IF 0.872) Pub Date : 2020-06-11
    Michał Skrzypczak; Marcin Przybyłko

    We consider the problem of computing the measure of a regular set of infinite binary trees. While the general case remains unsolved, we show that the measure of a language can be computed when the set is given in one of the following three formalisms: a first-order formula with no descendant relation; a Boolean combination of conjunctive queries (with descendant relation); or by a non-deterministic

  • Learning families of algebraic structures from informant
    Inf. Comput. (IF 0.872) Pub Date : 2020-06-04
    Nikolay Bazhenov; Ekaterina Fokina; Luca San Mauro

    We combine computable structure theory and algorithmic learning theory to study learning of families of algebraic structures. Our main result is a model-theoretic characterization of the learning type InfEx≅, consisting of the structures whose isomorphism types can be learned in the limit. We show that a family of structures is InfEx≅-learnable if and only if the structures can be distinguished in

  • Beyond #CSP: A Dichotomy for Counting Weighted Eulerian Orientations with ARS
    Inf. Comput. (IF 0.872) Pub Date : 2020-05-30
    Jin-Yi Cai; Zhiguo Fu; Shuai Shao

    We define and explore a notion of unique prime factorization for constraint functions, and use this as a new tool to prove a complexity classification for counting weighted Eulerian orientation problems with arrow reversal symmetry (ars). We prove that all such problems are either polynomial-time computable or #P-hard. We show that the class of weighted Eulerian orientation problems subsumes all weighted

  • Reachability of Scope-Bounded Multistack Pushdown Systems
    Inf. Comput. (IF 0.872) Pub Date : 2020-05-13
    Salvatore La Torre; Margherita Napoli; Gennaro Parlato

    A multi-stack pushdown system is a natural model of concurrent programs. The basic verification problems are in general undecidable (two stacks suffice to encode a Turing machine), and in the last years, there have been some successful approaches based on under-approximating the system behaviors. In this paper, we propose a restriction of the semantics of the general model such that a symbol that is

  • The link-calculus for Open Multiparty Interactions
    Inf. Comput. (IF 0.872) Pub Date : 2020-05-08
    Chiara Bodei; Linda Brodo; Roberto Bruni

    We present the link-calculus, an extension of π-calculus, that models interactions that are multiparty, i.e. that may involve more than two processes, mutually exchanging data. Communications are seen as chains of suitably combined links (which record the source and the target ends of each hop of interactions), each contributed by one party. Values are exchanged by means of message tuples, still provided

  • Breakpoint distance and PQ-trees
    Inf. Comput. (IF 0.872) Pub Date : 2020-04-03
    Haitao Jiang; Hong Liu; Cedric Chauve; Binhai Zhu

    The PQ-tree is a fundamental data structure that has also been used in comparative genomics to model ancestral genomes with some uncertainty. To quantify the evolution between genomes represented by PQ-trees, in this paper we study two fundamental problems of PQ-tree comparison motivated by this application. First, we show that the problem of comparing two PQ-trees by computing the minimum breakpoint

  • The ideal view on Rackoff's coverability technique
    Inf. Comput. (IF 0.872) Pub Date : 2020-04-01
    Ranko Lazić; Sylvain Schmitz

    Well-structured transition systems form a large class of infinite-state systems, for which safety verification is decidable thanks to a generic backward coverability algorithm. However, for several classes of systems, the generic upper bounds one can extract from the algorithm are far from optimal. In particular, in the case of vector addition systems (VAS) and several of their extensions, the known

  • Polynomial interrupt timed automata: Verification and expressiveness
    Inf. Comput. (IF 0.872) Pub Date : 2020-04-01
    B. Bérard; S. Haddad; C. Picaronny; M. Safey El Din; M. Sassolas

    Interrupt Timed Automata (ITA ) form a subclass of stopwatch automata where reachability and some variants of timed model checking are decidable even in presence of parameters. They are well suited to model and analyze real-time operating systems. Here we extend ITA with polynomial guards and updates, leading to the class of polynomial ITA (PolITA ). We prove that reachability is decidable in 2EXPTIME

  • The emptiness problem for valence automata over graph monoids
    Inf. Comput. (IF 0.872) Pub Date : 2020-04-01
    Georg Zetzsche

    This work studies which storage mechanisms in automata permit decidability of the emptiness problem. The question is formalized using valence automata, an abstract model of automata in which the storage mechanism is given by a monoid. For each of a variety of storage mechanisms, one can choose a (typically infinite) monoid M such that valence automata over M are equivalent to (one-way) automata with

  • A topological method for finding invariant sets of continuous systems
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-31
    L. Fribourg; E. Goubault; S. Mohamed; M. Mrozek; S. Putot

    A usual way to find positive invariant sets of ordinary differential equations is to restrict the search to predefined finitely generated shapes, such as linear templates, or ellipsoids as in classical quadratic Lyapunov function based approaches. One then looks for generators or parameters for which the corresponding shape has the property that the flow of the ODE goes inwards on its border. But for

  • Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-30
    Francesco Belardinelli; Rodica Condurache; Cătălin Dima; Wojciech Jamroga; Michal Knapik

    We propose a notion of alternating bisimulation for strategic abilities under imperfect information. The bisimulation preserves formulas of ATL⁎ for both the objective and subjective variants of the state-based semantics with imperfect information, which are commonly used in the modeling and verification of multi-agent systems. Furthermore, we apply the theoretical result to the verification of coercion-resistance

  • On the existence of weak subgame perfect equilibria
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-26
    Véronique Bruyère; Stéphane Le Roux; Arno Pauly; Jean-François Raskin

    We study multi-player turn-based games played on (potentially infinite) directed graphs. An outcome is assigned to every play of the game. Each player has a preference relation on the set of outcomes which allows him to compare plays. We focus on the recently introduced notion of weak subgame perfect equilibrium (weak SPE). This is a variant of the classical notion of SPE, where players who deviate

  • Game-theoretic semantics for ATL+ with applications to model checking
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-26
    Valentin Goranko; Antti Kuusisto; Raine Rönnholm

    We develop a game-theoretic semantics (GTS) for the fragment ATL+ of the alternating-time temporal logic ATL⁎, thereby extending the recently introduced GTS for ATL. We show that the game-theoretic semantics is equivalent to the standard compositional semantics of ATL+ with perfect-recall strategies. Based on the new semantics, we provide an analysis of the memory and time resources needed for model

  • Multi-player games with LDL goals over finite traces
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-26
    Julian Gutierrez; Giuseppe Perelli; Michael Wooldridge

    Linear Dynamic Logic on finite traces (LDLF) is a powerful logic for reasoning about the behaviour of concurrent and multi-agent systems. In this paper, we investigate techniques for both the characterisation and verification of equilibria in multi-player games with goals/objectives expressed using logics based on LDLF. This study builds upon a generalisation of Boolean games, a logic-based game model

  • Behavioural strategies in weighted Boolean games
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-26
    Dongge Han; Paul Harrenstein; Steven Nugent; Jonathan Philpott; Michael Wooldridge

    This paper studies the computation of mixed Nash equilibria in weighted Boolean games. In weighted Boolean games, players aim to maximise the total expected weight of a set of formulas by selecting behavioural strategies, that is, randomisations over the truth assignments for each propositional variable under their unique control. Behavioural strategies thus present a compact representation of mixed

  • Equilibria in multi-player multi-outcome infinite sequential games
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-26
    Stéphane Le Roux; Arno Pauly

    We investigate the existence of various types of equilibria (Nash, subgame perfect, Pareto-optimal, secure) in multi-player multi-outcome infinite sequential games. Our results are transfer theorems: Assuming determinacy for a class of simple two-player win/lose games, we obtain existence results about equilibria in the associated multi-player multi-outcome games.

  • The generic combinatorial algorithm for image matching with classes of projective transformations
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-25
    Christian Rosenke; Maciej Liśkiewicz

    Image matching is an important task arising in video compression, optical character recognition, medical imaging, watermarking and in many others fields. Given two digital images A and B, image matching determines a transformation f for A such that it most closely resembles B. In this paper, we introduce the first general discretization technique that works for the class of projective transformations

  • Arrow update synthesis
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-13
    Hans van Ditmarsch; Wiebe van der Hoek; Barteld Kooi; Louwe B. Kuijer

    In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpreted on a given relational model whereas dynamic/update modalities induce transformations (updates) of relational models. In AAUML the update modalities formalize the execution of arrow update models, and there is also a

  • Minimum Label s-t Cut has large integrality gaps
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-09
    Peng Zhang; Linqing Tang

    The Min Label s-t Cut problem is a fundamental problem in combinatorial optimization. This problem comes from many applications in real world, for example, information security and computer networks. We study two linear programs for Min Label s-t Cut, proving that both of them have large integrality gaps, namely, Ω(m) and Ω(m1/3−ϵ) for the respective linear programs, where m is the number of edges

  • WQO dichotomy for 3-graphs
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-07
    Sławomir Lasota; Radosław Piórkowski

    We investigate data-enriched models, like Petri nets with data, where executability of a transition is conditioned by a relation between data values involved. Decidability status of various decision problems in such models may depend on the structure of data domain. According to the WQO Dichotomy Conjecture, if a data domain is homogeneous then it either exhibits a well quasi-order (in which case decidability

  • Cell-like P systems with evolutional symport/antiport rules and membrane creation
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-06
    Bosheng Song; Kenli Li; David Orellana-Martín; Luis Valencia-Cabrera; Mario J. Pérez-Jiménez

    Cell-like P systems with symport/antiport rules are computing models inspired by the conservation law, in the sense that they compute by changing the places of objects with respect to the membranes, and not by changing the objects themselves. In this work, a variant of these kinds of membrane systems, called cell-like P systems with evolutional symport/antiport rules, where objects can evolve in the

  • Efficient enumeration of three-state two-dimensional number-conserving cellular automata
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-03
    Adam Dzedzej; Barbara Wolnik; Anna Nenca; Jan M. Baetens; Bernard De Baets

    We present a simple approach for finding all number-conserving two-dimensional cellular automata with the von Neumann neighborhood. We demonstrate the efficiency of this approach by enumerating and describing four special cases: totalistic, outer-totalistic, binary and three-state cellular automata. The last result was not published before. We then proceed to find all reversible two-dimensional number-conserving

  • Turing-completeness of asynchronous non-camouflage cellular automata
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-03
    Tatsuya Yamashita; Teijiro Isokawa; Ferdinand Peper; Ibuki Kawamata; Masami Hagiya

    Asynchronous Boolean totalistic cellular automata have recently attracted attention as promising models for implementation by reaction-diffusion systems. It is unknown, however, to what extent they are able to conduct computation. In this paper, we introduce the so-called non-camouflage property, which means that a cell's update is insensitive to neighboring states that equal its own state. This property

  • Maximum sensitivity to update schedules of elementary cellular automata over infinite configurations
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-03
    Eurico L.P. Ruivo; Pedro Paulo Balbi; Marco Montalva-Medel; Kévin Perrot

    Cellular automata are discrete dynamical systems with locally defined behaviour, well known as simple models of complex systems. Classically, their dynamics derive from synchronously iterated rules over finite or infinite configurations; however, since for many natural systems to be modelled, asynchrony seems more plausible, asynchronous iteration of the rules has gained a considerable attention in

  • Characterization and measure of infinite two-dimensional strong prefix codes
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-03
    Marcella Anselmo; Dora Giammarresi; Maria Madonia

    A set X⊆Σ++ of rectangular pictures over an alphabet Σ is a two-dimensional code if any picture over Σ is tilable in at most one way with pictures in X. Finite strong prefix codes were introduced as a family of decidable two-dimensional codes. We consider infinite strong prefix codes and give a characterization for the maximal ones based on the iterated extensions. Moreover, we study some properties

  • The complexity of the asynchronous prediction of the majority automata
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-03
    Eric Goles; Pedro Montealegre

    We consider the asynchronous prediction problem for some automaton as the one consisting in determining, given an initial configuration, if there exists a non-zero probability that some selected site changes its state, when the network is updated picking one site at a time uniformly at random. We show that for the majority automaton, the asynchronous prediction problem is in NC in the two-dimensional

  • Fixing monotone Boolean networks asynchronously
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-03
    Julio Aracena; Maximilien Gadouleau; Adrien Richard; Lilian Salinas

    The asynchronous automaton associated with a Boolean network f:{0,1}n→{0,1}n is considered in many applications. It is the finite deterministic automaton with set of states {0,1}n, alphabet {1,…,n}, where the action of letter i on a state x consists in switching the ith component if fi(x)≠xi or doing nothing otherwise. This action is extended to words in the natural way. We then say that a word w fixes

  • On the complexity of the stability problem of binary freezing totalistic cellular automata
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-03
    Eric Goles; Diego Maldonado; Pedro Montealegre; Nicolas Ollinger

    In this paper we study the family of two-state Totalistic Freezing Cellular Automata (TFCA) defined over the triangular and square grids with von Neumann neighborhoods. We say that a Cellular Automaton is Freezing and Totalistic if the active cells remain unchanged, and the new value of an inactive cell depends only on the sum of its active neighbors. We classify all the Cellular Automata in the class

  • Elementary, finite and linear vN-regular cellular automata
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-02
    Alonso Castillo-Ramirez; Maximilien Gadouleau

    Let G be a group and A a set. A cellular automaton (CA) τ over AG is von Neumann regular (vN-regular) if there exists a CA σ over AG such that τστ=τ, and in such case, σ is called a weak generalised inverse of τ. In this paper, we investigate the vN-regularity of various kinds of CA. First, we establish that, except for trivial cases, there are always CA that are not vN-regular. Second, we obtain a

  • Topological dynamics of Nondeterministic Cellular Automata
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-02
    Pietro Di Lena

    Cellular Automata (CA) are discrete dynamical systems and an abstract model of parallel computation. Nondeterministic Cellular Automata (NCA) are the class of multi-valued functions obtained by allowing nondeterminism in CA. In this study we extend to multi-valued functions the definition of some important topological properties and investigate the differences between the dynamical behaviour of one-dimensional

  • On the conjugacy problem of cellular automata
    Inf. Comput. (IF 0.872) Pub Date : 2020-03-02
    Joonatan Jalonen; Jarkko Kari

    Cellular automata are topological dynamical systems. We consider the problem of deciding whether two cellular automata are conjugate or not. We also consider deciding strong conjugacy, that is, conjugacy by a map that commutes with the shift maps. We show that the following two sets of pairs of one-dimensional one-sided cellular automata are recursively inseparable: (i) pairs where the first cellular

  • Minimum fill-in: Inapproximability and almost tight lower bounds
    Inf. Comput. (IF 0.872) Pub Date : 2020-01-15
    Yixin Cao; R.B. Sandeep

    Given an n×n sparse symmetric matrix with m nonzero entries, performing Gaussian elimination may turn some zeroes into nonzero values, so called fill-ins. The minimum fill-in problem asks whether it is possible to perform the elimination with at most k fill-ins. We exclude the existence of polynomial time approximation schemes for this problem, assuming P≠NP, and the existence of 2O(n1−δ)-time approximation

  • Compact and succinct data structures for multidimensional orthogonal range searching
    Inf. Comput. (IF 0.872) Pub Date : 2020-01-15
    Kazuki Ishiyama; Kunihiko Sadakane

    We introduce compact and succinct representations of a d-dimensional point set for any constant d≥3 supporting orthogonal range searching. Our first data structure uses dnlg⁡n+o(nlg⁡n) bits, where n denotes the number of points in P, and supporting reporting queries in O((n(d−2)/d+occ)lg⁡n/lg⁡lg⁡n) time, and counting queries in O(n(d−2)/dlg⁡n/lg⁡lg⁡n) time, where occ denotes the number of point to

  • Constant delay traversal of grammar-compressed graphs with bounded rank
    Inf. Comput. (IF 0.872) Pub Date : 2020-01-15
    Sebastian Maneth; Fabian Peternek

    We present a pointer-based data structure for constant time traversal of the edges of an edge-labeled (alphabet Σ) directed hypergraph (a graph where edges can be incident to more than two vertices, and the incident vertices are ordered) given as hyperedge-replacement grammar G. It is assumed that the grammar has a fixed rank κ (maximal number of vertices connected to a nonterminal hyperedge) and that

  • A compressed dynamic self-index for highly repetitive text collections
    Inf. Comput. (IF 0.872) Pub Date : 2020-01-15
    Takaaki Nishimoto; Yoshimasa Takabatake; Yasuo Tabei

    We present a novel compressed dynamic self-index for highly repetitive text collections. ESP-index is a static self-index of this type and has a large disadvantage of slow pattern search for short patterns. We obtain faster pattern search by leveraging the idea behind a truncated suffix tree (TST) to develop the first compressed dynamic self-index, called TST-index, that supports not only fast pattern

  • Fast scalable construction of ([compressed] static | minimal perfect hash) functions
    Inf. Comput. (IF 0.872) Pub Date : 2020-01-15
    Marco Genuzio; Giuseppe Ottaviano; Sebastiano Vigna

    Recent advances in the analysis of random linear systems on finite fields have paved the way for the construction of constant-time data structures representing static functions and minimal perfect hash functions using less space with respect to existing techniques. The main obstacle for any practical application of these results is the time required to solve such linear systems: despite they can be

  • Improved parallel construction of wavelet trees and rank/select structures
    Inf. Comput. (IF 0.872) Pub Date : 2020-01-15
    Julian Shun

    Existing parallel algorithms for wavelet tree construction have a work complexity of O(nlog⁡σ). This paper presents parallel algorithms for the problem with improved work complexity. Our first algorithm is based on parallel integer sorting and has either O(nlog⁡log⁡n⌈log⁡σ/log⁡nlog⁡log⁡n⌉) work and polylogarithmic depth, or O(n⌈log⁡σ/log⁡n⌉) work and sub-linear depth. We also describe another algorithm

  • Streaming k-mismatch with error correcting and applications
    Inf. Comput. (IF 0.872) Pub Date : 2020-01-03
    Jakub Radoszewski; Tatiana Starikovskaya

    We present a new streaming algorithm for the k-Mismatch problem, one of the most basic problems in pattern matching. Given a pattern and a text, the task is to find all substrings of the text that are at the Hamming distance at most k from the pattern. Our algorithm is enhanced with an important new feature called Error Correcting, and its complexities for k=1 and for a general k are comparable to

  • Finite-state strategies in delay games
    Inf. Comput. (IF 0.872) Pub Date : 2019-12-16
    Sarah Winter; Martin Zimmermann

    What is a finite-state strategy in a delay game? We answer this surprisingly non-trivial question by presenting a very general framework that allows to remove delay: finite-state strategies exist for all winning conditions where the resulting delay-free game admits a finite-state strategy. The framework is applicable to games whose winning condition is recognized by an automaton with an acceptance

  • Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
    Inf. Comput. (IF 0.872) Pub Date : 2019-12-16
    Christel Baier; Christian Hensel; Lisa Hutschenreiter; Sebastian Junges; Joost-Pieter Katoen; Joachim Klein

    Parametric Markov chains have been introduced as a model for families of stochastic systems that rely on the same graph structure, but differ in the concrete transition probabilities. The latter are specified by polynomial constraints over a finite set of parameters. Important tasks in the analysis of parametric Markov chains are (1) computing closed-form solutions for reachability probabilities and

  • McCarthy-Kleene fuzzy automata and MSO logics
    Inf. Comput. (IF 0.872) Pub Date : 2019-12-16
    Manfred Droste; Temur Kutsia; George Rahonis; Wolfgang Schreiner

    We introduce McCarthy-Kleene fuzzy automata (MK-fuzzy automata) over a bimonoid K which is related to the fuzzification of the McCarthy-Kleene logic. Our automata are inspired by, and intend to contribute to, practical applications being in development in a project on runtime network monitoring based on predicate logic. We investigate closure properties of the class of recognizable MK-fuzzy languages

  • On the termination of dynamics in sequential games
    Inf. Comput. (IF 0.872) Pub Date : 2019-12-16
    Thomas Brihaye; Gilles Geeraerts; Marion Hallet; Stéphane Le Roux

    We consider n-player non-zero sum games played on finite trees (i.e., sequential games), in which the players have the right to repeatedly update their respective strategies. This generates a dynamics in the game which may eventually stabilise to a Nash Equilibrium, and we study the conditions that guarantee such a dynamics to terminate. We build on the works of Le Roux and Pauly who have studied the

  • Robust worst cases for parity games algorithms
    Inf. Comput. (IF 0.872) Pub Date : 2019-12-12
    Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero

    The McNaughton-Zielonka divide et impera algorithm is the simplest and most flexible approach available in the literature for determining the winner in a parity game. Despite its theoretical exponential worst-case complexity and the negative reputation as a poorly effective algorithm in practice, it has been shown to rank among the best techniques for solving such games. Also, it proved to be resistant

  • Model checking interval temporal logics with regular expressions
    Inf. Comput. (IF 0.872) Pub Date : 2019-12-11
    Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron

    In this paper, we investigate the model checking (MC) problem for Halpern and Shoham's modal logic of time intervals (HS) and its fragments, where labeling of intervals is defined by regular expressions. The MC problem for HS has recently emerged as a viable alternative to the traditional (point-based) temporal logic MC. Most expressiveness and complexity results have been obtained by imposing suitable

Contents have been reproduced by permission of the publishers.