当前期刊: Information and Computation Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
  • Learning families of algebraic structures from informant
    Inf. Comput. (IF 0.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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.83) 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

  • SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
    Inf. Comput. (IF 0.83) Pub Date : 2019-12-10
    Alessandro Cimatti; Alberto Griggio; Enrico Magnago; Marco Roveri; Stefano Tonetta

    In this paper, we propose to extend First-Order Linear-time Temporal Logic with Past adding two operators “at next” and “at last”, which take in input a term and a formula and return the value of the term at the next state in the future or last state in the past in which the formula holds. The new logic, named LTL-EF, can be interpreted with different models of time (including discrete, dense, and

  • Emptiness problems for distributed automata
    Inf. Comput. (IF 0.83) Pub Date : 2019-12-10
    Antti Kuusisto; Fabian Reiter

    We investigate the decidability of the emptiness problem for three classes of distributed automata. These devices operate on finite directed graphs, acting as networks of identical finite-state machines that communicate in an infinite sequence of synchronous rounds. The problem is shown to be decidable in LogSpace for a class of forgetful automata, where the nodes see the messages received from their

  • Uniform van Lambalgen's theorem fails for computable randomness
    Inf. Comput. (IF 0.83) Pub Date : 2019-11-18
    Bruno Bauwens

    We show that there exists a bitsequence that is not computably random for which the odd bits are computably random and the even bits are computably random relative to the odd bits.

  • Logical vs. behavioural specifications
    Inf. Comput. (IF 0.83) Pub Date : 2019-11-18
    Nikola Beneš; Uli Fahrenberg; Jan Křetínský; Axel Legay; Louis-Marie Traonouez

    There are two fundamentally different approaches for specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and relies on efficient model checking algorithms; the behavioural approach exploits various equivalence or refinement checking methods, provided the specifications are given in the same formalism as implementations

  • Existence of constants in regular splicing languages.
    Inf. Comput. Pub Date : 2016-05-18
    Paola Bonizzoni,Nataša Jonoska

    In spite of wide investigations of finite splicing systems in formal language theory, basic questions, such as their characterization, remain unsolved. It has been conjectured that a necessary condition for a regular language L to be a splicing language is that L must have a constant in the Schutzenberger sense. We prove this longstanding conjecture to be true. The result is based on properties of

  • HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems
    Inf. Comput. (IF 0.83) Pub Date : 2019-10-25
    Susana Nieva; Fernando Sáenz-Pérez; Jaime Sánchez-Hernández

    In this work we present a formalization, backed with a contrasted implementation, of a relational database language (called HR-SQL) that extends SQL in two aspects. On the one hand, including non-linear and mutual recursion. On the other hand, including hypothetical relations and queries. Regarding expressiveness, HR-SQL allows a novel form of hypothetical reasoning, completely integrated with recursive

  • Event-based functional decomposition
    Inf. Comput. (IF 0.83) Pub Date : 2019-10-23
    Jian-Min Jiang; Huibiao Zhu; Qin Li; Yongxin Zhao; Shi Zhang; Ping Gong; Zhong Hong

    Functional decomposition is the process of resolving a functional relationship into its constituent parts in such a way that the original function can be recomposed from those parts by functional composition. Perfect decomposition requires the obtained constituent parts to be non-interacting components and easier to conceive, understand, program, and maintain. However, how to decompose a complex system

  • An algebraic geometric approach to Nivat's conjecture
    Inf. Comput. (IF 0.83) Pub Date : 2019-10-17
    Jarkko Kari; Michal Szabados

    We study multidimensional configurations (infinite words) and subshifts of low pattern complexity using tools of algebraic geometry. We express the configuration as a multivariate formal power series over integers and investigate the setup when there is a non-trivial annihilating polynomial: a non-zero polynomial whose formal product with the power series is zero. Such annihilator exists, for example

  • Presynthesis of bounded choice-free or fork-attribution nets
    Inf. Comput. (IF 0.83) Pub Date : 2019-10-17
    Harro Wimmel

    A Petri net is called fork-attribution if it is choice-free (a unique output transition for each place) and join-free (a unique input place for each transition). Synthesis tries, for a given (finite) labelled transition system (LTS), to find an (unlabelled) Petri net with an isomorphic reachability graph. Synthesis often requires a large set of inequality systems to be solved, making it quite costly

  • Monotonous betting strategies in warped casinos
    Inf. Comput. (IF 0.83) Pub Date : 2019-10-16
    George Barmpalias; Nan Fang; Andrew Lewis-Pye

    Suppose that the outcomes of a roulette table are not entirely random, in the sense that there exists a successful betting strategy. Is there a successful ‘separable’ strategy, in the sense that it does not use the winnings from betting on red in order to bet on black, and vice-versa? We study this question from an algorithmic point of view and observe that every strategy M can be replaced by a separable

  • Polylog depth, highness and lowness for E
    Inf. Comput. (IF 0.83) Pub Date : 2019-10-16
    Philippe Moser

    We study the relations between the notions of highness, lowness and logical depth in the setting of complexity theory. We introduce a new notion of polylog depth based on time bounded Kolmogorov complexity. We show polylog depth satisfies all basic logical depth properties, namely sets in P are not polylog deep, sets with (time bounded)-Kolmogorov complexity greater than polylog are not polylog deep

  • Symmetric submodular system: Contractions and Gomory-Hu tree
    Inf. Comput. (IF 0.83) Pub Date : 2019-09-24
    Saeid Hanifehnezhad; Ardeshir Dolati

    Let S=(V,f), be a symmetric submodular system. For two distinct elements s and l of V, let Γ(s,l) denote the set of all subsets of V which separate s from l. By using any Gomory-Hu tree of S we can obtain an element of Γ(s,l) which has minimum value among all the elements of Γ(s,l). This tree can be constructed iteratively by solving |V|−1 minimum sl−separator problem. Pendant pairs of a symmetric

  • Fault-induced dynamics of oblivious robots on a line
    Inf. Comput. (IF 0.83) Pub Date : 2019-09-18
    Jean-Lou De Carufel; Paola Flocchini

    The study of computing in presence of faulty robots in the Look-Compute-Move model has been the object of extensive investigation, typically to design fault-tolerant algorithms. In this paper, we initiate a new line of investigation on the presence of faults, focusing on a different issue: we study, for the first time, the unintended dynamics of the robots when they execute an algorithm designed for

  • A new foundation for finitary corecursion and iterative algebras
    Inf. Comput. (IF 0.83) Pub Date : 2019-08-27
    Stefan Milius; Dirk Pattinson; Thorsten Wißmann

    This paper contributes to a generic theory of behaviour of “finite-state” systems. Systems are coalgebras with a finitely generated carrier for an endofunctor on a locally finitely presentable category. Their behaviour gives rise to the locally finite fixpoint (LFF), a new fixpoint of the endofunctor. The LFF exists provided that the endofunctor is finitary and preserves monomorphisms, is a subcoalgebra

Contents have been reproduced by permission of the publishers.