| Vol-3072 urn:nbn:de:0074-3072-7 Copyright © 2021 for the individual papers by the papers' authors. Copyright © 2021 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# ICTCS 2021
22nd Italian Conference on Theoretical Computer Science 2021

### Proceedings of the 22nd Italian Conference on Theoretical Computer Science

### Bologna, Italy, September 13-15, 2021.

Edited by

### Claudio Sacerdoti Coen *
Ivano Salvo **

* Università di Bologna, Italy
** Sapienza Università di Roma, Italy

## Table of Contents

- Preface

### Invited Talks

- Lock freedom of binary sessions under strong fairness assumptions (text not included)
  Luca Padovani
- On-line Pattern Matching on Degenerate Texts (text not included)
  Nadia Pisanti

### IC-EATCS Best Young Researcher

- Emerging Research Topics in Graph Drawing (text not included)
  Fabrizio Montecchiani

### IC-EATCS Best PhD thesis

- Combinatorial Methods for the Analysis of Related Genomic Sequences (text not included)
  Giulia Bernardini

- Flexible Coinduction (text not included)
  Francesco Dagnino

### IC-EATCS Best master thesis

- Some Intensional Versions of Rice's Theorem (text not included)
  Linpeng Zhang

### Session 1: Algorithms

- Enhancing Characters Distance Text Sampling by Condensed Alphabets 1-15
  Simone Faro, Francesco Pio Marino, Arianna Pavone
- Proving a Conjecture on 8-Distance Coloring of the Infinite Hexagonal Grid 16-26
  Sasthi C. Ghosh, Subhasis Koley
- A Simple Optimal Contention Resolution Scheme for Uniform Matroids 27-39
  Richard Santiago, Danish Kashaev
- Cooperative Truck-Drone Scheduling Approach for Last-Mile Deliveries (short paper) 40-45
  Francesco Betti Sorbelli, Federico Corò, Sajal K. Das, Lorenzo Palazzetti, Cristina M. Pinotti

### Session 2: Formal Languages

- Ordering Regular Languages: a Danger Zone 46-69
  Davide Martincigh, Giovanna D'Agostino, Alberto Policriti
- Extended ω-Regular Languages and Interval Temporal Logic 70-86
  Dario Della Monica, Angelo Montanari, Pietro Sala
- Iterated Transduction on Unary Languages (short paper) 87-92
  Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano

### Session 3: Logic

- A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision 93-106
  Stefano Bistarelli, Carlo Taticchi
- On Counting Propositional Logic and Wagner's Hierarchy 107-121
  Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
- Recent Results on Strategy Logic with Imperfect Information (short paper) 122-128
  Bastien Maubert
- Inference From Non-Horn Clauses With Partial Predicates (short paper) 129-134
  Alexander Sakharov

### Session 4: Concurrency and Decidability

- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11) 135-149
  Arnaldo Cesco, Roberto Gorrieri
- A Decidable Theory Treating Addition of Differentiable Real Functions 150-163
  Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio Omodeo, Gaetano Spartà
- Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages 164-178
  Domenico Cantone, Pietro Maugeri, Eugenio Omodeo

### Session 5: Combinatorics

- L(2,1)-Edge Labeling of Infinite Triangular Grid 179-192
  Susobhan Bandopadhyay, Sasthi C. Ghosh, Subhasis Koley
- On Counting L-Convex Polyominoes (short paper) 193-198
  Valentina Dorigatti, Paolo Masazza
- Reducing the Local Alphabet Size in Tiling Systems for Picture Languages (short paper) 199-204
  Stefano Crespi Reghizzi, Antonio Restivo, Pierluigi San Pietro

### Session 6: Games

- Fractional Hedonic Games With a Limited Number of Coalitions 205-218
  Fu Li
- The Obnoxious Facility Location Game with Dichotomous Preferences 219-233
  Fu Li, Gregor Plaxton, Vaibhav Sinha

### Session 7: Complexity

- Stability of Special Graph Classes 234-248
  Robin Weishaupt, Jörge Rothe
- Nondeterministically Selecting Positive Instances of Context-Free Languages 249-265
  Tomoyuki Yamakami

### Session 8: Computation and Deduction

- Enhanced Regular Corecursion for Data Streams 266-280
  Davide Ancona, Pietro Barbieri, Elena Zucca
- A Filter Model for the State Monad (short paper) 281-286
  Ugo de'Liguoro, Riccardo Treglia

### Session 9: Quantum Computation and Model Checking

- Fast Classical and Quantum Algorithms for Online k-server Problem on Trees 287-301
  Ruslan Kapralov, Kamil Khadiev, Joshua Mokut, Yixin Shen, Maxim Yagafarov
- Combine Model Checking and Runtime Verification in Multi-Agent Systems (short paper) 302-310
  Angelo Ferrando, Vadim Malvone
- Towards a Model Checking Tool for Strategy Logic with Simple Goals (short paper) 311-316
  Vadim Malvone, Silvia Stranieri

### Session 10: Strings and Alignments

- Hardness of MSA with Selective Column Scoring 317-327
  Andrea Caucchiolo, Ferdinando Cicalese
- Pruned BNDM: Extending the Bit-Parallel Suffix Automata to Large Strings 328-340
  Simone Faro, Stefano Scafiti

2021-12-05: submitted by Ivano Salvo, metadata incl. bibliographic data published under Creative Commons CC0
2022-01-15: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|