当前期刊: Information and Computation Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • On the universal steganography of optimal rate
    Inf. Comput. (IF 0.872) Pub Date : 2020-10-14
    Sebastian Berndt; Maciej Liśkiewicz

    In this work, we present the first secure steganographic protocol in the common computational model which, for any communication channel (of sufficiently large min-entropy), is provably secure, reliable, and has nearly optimal bandwidth, but needs super-polynomial time. This solves several open problems in the secret-key steganography in the common computational model. In particular, our result answers

    更新日期:2020-10-15
  • Reversibility of computations in graph-walking automata
    Inf. Comput. (IF 0.872) Pub Date : 2020-10-09
    Michal Kunc; Alexander Okhotin

    Graph-walking automata (GWA) are abstract finite-state devices that traverse graphs given as an input by following their edges; they have been studied both as a theoretical notion and as a model of pathfinding in robotics. If a graph is regarded as the set of memory configurations of a certain abstract machine, then various families of devices can be described as GWA: such are the two-way finite automata

    更新日期:2020-10-11
  • An Efficient eCK secure Identity Based Two Party Authenticated Key Agreement Scheme with Security Against Active Adversaries
    Inf. Comput. (IF 0.872) Pub Date : 2020-09-22
    Renu Mary Daniel; Elijah Blessing Rajsingh; Salaja Silas

    A Two-Party Authenticated Key Agreement (2-PAKA) protocol facilitates two communicating entities to equally contribute and participate in the establishment of a shared session key. IDentity-based 2-PAKA (ID-2-PAKA) protocols are widely researched, since it eliminates the need for explicit public-key verification using digital certificates. Over the years, identity based 2-PAKA protocols with perfect

    更新日期:2020-09-22
  • A structured view on weighted counting with relations to counting, quantum computation and applications
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-24
    Cassio P. de Campos; Georgios Stamoulis; Dennis Weyland

    Weighted counting problems are a natural generalization of counting problems where a weight is associated with every computational path of polynomial-time non-deterministic Turing machines and the goal is to compute the sum of the weights of all paths (instead of just computing the number of accepting paths). Useful closure properties and plenty of applications make weighted counting problems interesting

    更新日期:2020-08-24
  • Efficient pattern matching in elastic-degenerate strings
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-11
    Costas S. Iliopoulos; Ritu Kundu; Solon P. Pissis

    Motivated by applications in bioinformatics and image searching, in what follows, we study the classic pattern matching problem in the context of elastic-degenerate strings: the generalised notion of gapped strings. An elastic-degenerate string can been seen as an ordered collection of k strings interleaved by k−1 elastic-degenerate symbols, where each such elastic-degenerate symbol corresponds to

    更新日期:2020-08-11
  • Integrated encryption in dynamic arithmetic compression
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-10
    Shmuel T. Klein; Dana Shapira

    A variant of adaptive arithmetic coding is proposed, adding cryptographic features to this classical compression method. The idea is to perform the updates of the frequency tables for characters of the underlying alphabet selectively, according to some randomly chosen secret key K. We give empirical evidence that with reasonably chosen parameters, the compression performance is not hurt, and discuss

    更新日期:2020-08-10
  • A derivational model of discontinuous parsing
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-10
    Mark-Jan Nederhof; Anssi Yli-Jyrä

    The notion of latent-variable probabilistic context-free derivation of syntactic structures is enhanced to allow heads and unrestricted discontinuities. The chosen formalization covers both constituency parsing and dependency parsing. By the new framework, one obtains a probability distribution over the space of all discontinuous parses. This lends itself to intrinsic evaluation in terms of cross-entropy

    更新日期:2020-08-10
  • On finite-index indexed grammars and their restrictions
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-07
    Flavio D'Alessandro; Oscar H. Ibarra; Ian McQuillan

    The family, L(INDLIN), of languages generated by linear indexed grammars has been studied in the literature. It is known that the Parikh image of every language in L(INDLIN) is semi-linear. However, there are bounded semi-linear languages that are not in L(INDLIN). Here, we look at larger families of (restricted) indexed languages and study their combinatorial and decidability properties, and their

    更新日期:2020-08-08
  • A probabilistic calculus of cyber-physical systems
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-07
    Ruggero Lanotte; Massimo Merro; Simone Tini

    Cyber-Physical Systems (CPSs) are integrations of networking and distributed computing systems with physical processes, where feedback loops allow physical processes to affect computations and vice versa. Although CPSs can be found in several real-world domains (automotive, avionics, energy supply, etc), their verification often relies on simulation test systems rather then formal methodologies. This

    更新日期:2020-08-08
  • PPLite: Zero-overhead encoding of NNC polyhedra
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-07
    Anna Becchi; Enea Zaffanella

    We present an alternative Double Description representation for the domain of NNC (not necessarily closed) polyhedra, together with the corresponding Chernikova-like conversion procedure. The representation uses no slack variable at all and provides a solution to a few technical issues caused by the encoding of an NNC polyhedron as a closed polyhedron in a higher dimension space. We then reconstruct

    更新日期:2020-08-08
  • Detecting Useless Transitions in Pushdown Automata
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-07
    Evangelos Chatzikalymnios; Wan Fokkink; Dick Grune; Brinio Hond; Peter Rutgers

    Pushdown automata may contain transitions that are never used in any accepting run of the automaton. We present an algorithm for detecting such useless transitions. A finite automaton that captures the possible stack content during runs of the pushdown automaton, is first constructed in a forward procedure to determine which transitions are reachable, and then employed in a backward procedure to determine

    更新日期:2020-08-08
  • Consensus string problem for multiple regular languages
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-07
    Yo-Sub Han; Sang-Ki Ko; Timothy Ng; Kai Salomaa

    The consensus string (or center string, closest string) of a set S of strings is defined as a string which is within a radius r from all strings in S. It is well-known that the consensus string problem for a finite set of equal-length strings is NP-complete. We study the consensus string problem for multiple languages recognized by finite automata (FAs). We define the consensus string of languages

    更新日期:2020-08-08
  • Revisiting Deutsch-Jozsa algorithm
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-06
    Daowen Qiu; Shenggen Zheng

    The Deutsch-Jozsa algorithm is essentially faster than any possible deterministic classical algorithm for solving a promise problem that is in fact a symmetric partial Boolean function, named as the Deutsch-Jozsa problem. The Deutsch-Jozsa problem can be equivalently described as a partial function DJn0:{0,1}n→{0,1} defined as: DJn0(x)=1 for |x|=n/2, DJn0(x)=0 for |x|=0,n, and it is undefined for the

    更新日期:2020-08-06
  • Static and dynamic property-preserving updates
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-06
    Davide Bresolin; Ivan Lanes

    Systems need to be updated to last for a long time in a dynamic environment, and to cope with changing requirements. The update can be performed both statically, by restarting the system, or dynamically. In both the cases, it is important for updates to preserve the desirable properties of the system under update, while possibly enforcing new ones. Here we consider a simple yet general update mechanism

    更新日期:2020-08-06
  • Slowly synchronizing automata with fixed alphabet size
    Inf. Comput. (IF 0.872) Pub Date : 2020-08-06
    Henk Don; Hans Zantema; Michiel de Bondt

    It was conjectured by Černý in 1964 that a synchronizing DFA on n states always has a shortest synchronizing word of length at most (n−1)2, and he gave a sequence of DFAs for which this bound is reached. In this paper, we investigate the role of the alphabet size. For each possible alphabet size, we count DFAs on n≤6 states which synchronize in (n−1)2−e steps, for all e<2⌈n/2⌉. Furthermore, we give

    更新日期:2020-08-06
  • 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

    更新日期:2020-08-03
  • 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

    更新日期:2020-07-29
  • 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

    更新日期:2020-07-27
  • 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

    更新日期:2020-07-24
  • 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

    更新日期:2020-07-22
  • 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

    更新日期:2020-07-15
  • 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

    更新日期:2020-07-01
  • 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

    更新日期:2020-06-30
  • 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.

    更新日期:2020-06-23
  • 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

    更新日期:2020-06-12
  • 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

    更新日期:2020-06-12
  • 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

    更新日期:2020-06-11
  • 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

    更新日期:2020-06-11
  • 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

    更新日期:2020-06-11
  • 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

    更新日期:2020-06-11
  • 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

    更新日期:2020-06-11
  • 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

    更新日期:2020-06-11
  • 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

    更新日期:2020-06-04
  • 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

    更新日期:2020-05-30
  • 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

    更新日期:2020-05-13
  • 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

    更新日期:2020-05-08
  • 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

    更新日期:2020-04-03
  • 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

    更新日期:2020-04-01
  • 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

    更新日期:2020-04-01
  • 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

    更新日期:2020-04-01
  • 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

    更新日期:2020-03-31
  • 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

    更新日期:2020-03-30
  • 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

    更新日期:2020-03-26
  • 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

    更新日期:2020-03-26
  • 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

    更新日期:2020-03-26
  • 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

    更新日期:2020-03-26
  • 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.

    更新日期:2020-03-26
  • 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

    更新日期:2020-03-25
  • 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

    更新日期:2020-03-13
  • 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

    更新日期:2020-03-09
  • 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

    更新日期:2020-03-07
  • 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

    更新日期:2020-03-06
  • 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

    更新日期:2020-03-03
  • 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

    更新日期:2020-03-03
  • 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

    更新日期:2020-03-03
  • 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

    更新日期:2020-03-03
  • 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

    更新日期:2020-03-03
  • 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

    更新日期:2020-03-03
  • 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

    更新日期:2020-03-03
  • 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

    更新日期:2020-03-02
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
Springer 纳米技术权威期刊征稿
全球视野覆盖
施普林格·自然新
chemistry
3分钟学术视频演讲大赛
物理学研究前沿热点精选期刊推荐
自然职位线上招聘会
欢迎报名注册2020量子在线大会
化学领域亟待解决的问题
材料学研究精选新
GIANT
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
ACS Publications填问卷
阿拉丁试剂right
西北大学
大连理工大学
湖南大学
麻生明
王要兵
浙江大学
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
天合科研
x-mol收录
陆军军医大学
李霄鹏
廖矿标
试剂库存
down
wechat
bug