scholarly journals $2\times 2$ monotone grid classes are finitely based

2016 ◽  
Vol Vol. 18 no. 2, Permutation... (Permutation Patterns) ◽  
Author(s):  
Michael Albert ◽  
Robert Brignall
Keyword(s):  
Computer Science ◽  
General Result ◽  
Theoretical Computer Science ◽  
Discrete Mathematics ◽  
Finite Collection ◽  
Permutation Patterns ◽  
Finitely Based ◽  
Special Issue ◽  
Theoretical Computer

In this note, we prove that all $2 \times 2$ monotone grid classes are finitely based, i.e., defined by a finite collection of minimal forbidden permutations. This follows from a slightly more general result about certain $2 \times 2$ (generalized) grid classes having two monotone cells in the same row. Comment: 10 pages, 5 figures. To appear in Discrete Mathematics and Theoretical Computer Science, special issue for Permutation Patterns 2015

scholarly journals Foreword to the special issue dedicated to the tenth ''Journées montoises d'informatique théorique''

2007 ◽  
Vol Vol. 9 no. 2 ◽  
Author(s):  
Véronique Bruyère ◽  
Michel Rigo
Keyword(s):  
Computer Science ◽  
Coding Theory ◽  
Theoretical Computer Science ◽  
Discrete Mathematics ◽  
Combinatorics On Words ◽  
Special Issue ◽  
Theoretical Computer ◽  
Universitair Centrum ◽  
Numeration Systems ◽  
The University

Held at the Institute of Mathematics of the University of Liège, Liège, September 8―11, 2004 International audience This special issue of Discrete Mathematics & Theoretical Computer Science is dedicated to the tenth "Journées montoises d'informatique théorique" conference (Mons theoretical computer science days) which was held, for the first time, at the Institute of Mathematics of the University of Liège, Belgium, From 8th to 11th September 2004. Previous editions of this conference took place in Mons 1990, 1992, 1994, 1998, in Rouen 1991, in Bordeaux 1993, Marseille 1995, Marne-La-Vallée 2000 and Montpellier 2002.<p> This tenth edition can be considered as a widely international one. We were lucky to have almost 85 participants from fourteen different countries: Austria, Belgium, Burkina Faso, Canada, Czech republic, Finland, France, Germany, Israel, Italy, Japan, Norway, Poland and Portugal. The main proportion of researchers participating to this event was coming from France and Italy where a long tradition of combinatorics on words is well established. During four days, 42 contributed talks and 7 invited talks were given, the main topics being combinatorics on words, numeration systems, automata and formal languages theory, coding theory, verification, bio-informatics, number theory, grammars, text algorithms, symbolic dynamics and tilings. The invited speakers were: J. Cassaigne (CNRS, Luminy-Marseille), D. Caucal (IRISIA-CNRS, Rennes), C. Frougny (LIAFA, Université Paris 8), T. Helleseth (University of Bergen), S. Langerman (FNRS, Université Libre de Bruxelles), F. Neven (Limburgs Universitair Centrum, Diepenbeek), M.-F. Sagot (Inria Rhône-Alpes, Université Lyon I).<p> We would like to thanks all the participants, the invited speakers and the anonymous referees who made possible this event and special issue. Each paper has been refereed using high scientific standard by two independent referees. Readers of this special issue may wonder why it took so long to obtain it. We have encountered some problems with the formerly chosen journal and for the benefit of the contributors to this issue, we have chosen Discrete Mathematics & Theoretical Computer Science to publish their work.

scholarly journals From the Quasi-Total Strong Differential to Quasi-Total Italian Domination in Graphs

Symmetry ◽  
2021 ◽  
Vol 13 (6) ◽  
pp. 1036
Author(s):  
Abel Cabrera Martínez ◽  
Alejandro Estrada-Moreno ◽  
Juan Alberto Rodríguez-Velázquez
Keyword(s):  
Vertex Cover ◽  
Domination Number ◽  
Theoretical Computer Science ◽  
Discrete Mathematics ◽  
Special Issue ◽  
Total Domination Number ◽  
Theoretical Computer ◽  
Graph Parameters ◽  
Semitotal Domination ◽  
Domination In Graphs

This paper is devoted to the study of the quasi-total strong differential of a graph, and it is a contribution to the Special Issue “Theoretical computer science and discrete mathematics” of Symmetry. Given a vertex x∈V(G) of a graph G, the neighbourhood of x is denoted by N(x). The neighbourhood of a set X⊆V(G) is defined to be N(X)=⋃x∈XN(x), while the external neighbourhood of X is defined to be Ne(X)=N(X)∖X. Now, for every set X⊆V(G) and every vertex x∈X, the external private neighbourhood of x with respect to X is defined as the set Pe(x,X)={y∈V(G)∖X:N(y)∩X={x}}. Let Xw={x∈X:Pe(x,X)≠⌀}. The strong differential of X is defined to be ∂s(X)=|Ne(X)|−|Xw|, while the quasi-total strong differential of G is defined to be ∂s*(G)=max{∂s(X):X⊆V(G)andXw⊆N(X)}. We show that the quasi-total strong differential is closely related to several graph parameters, including the domination number, the total domination number, the 2-domination number, the vertex cover number, the semitotal domination number, the strong differential, and the quasi-total Italian domination number. As a consequence of the study, we show that the problem of finding the quasi-total strong differential of a graph is NP-hard.

scholarly journals Introduction

2018 ◽  
Vol 27 (4) ◽  
pp. 441-441
Author(s):  
PAUL BALISTER ◽  
BÉLA BOLLOBÁS ◽  
IMRE LEADER ◽  
ROB MORRIS ◽  
OLIVER RIORDAN
Keyword(s):  
Computer Science ◽  
Theoretical Computer Science ◽  
Special Issue ◽  
Open Problems ◽  
Theoretical Computer ◽  
Discrete Probability ◽  
The Common

This special issue is devoted to papers from the meeting on Combinatorics and Probability, held at the Mathematisches Forschungsinstitut in Oberwolfach from the 17th to the 23rd April 2016. The lectures at this meeting focused on the common themes of Combinatorics and Discrete Probability, with many of the problems studied originating in Theoretical Computer Science. The lectures, many of which were given by young participants, stimulated fruitful discussions. The fact that the participants work in different and yet related topics, and the open problems session held during the meeting, encouraged interesting discussions and collaborations.

scholarly journals SPECIAL ISSUE ON MEMBRANE COMPUTING, Seventh Brainstorming Week on Membrane Computing

2009 ◽  
Vol 4 (3) ◽  
pp. 204
Author(s):  
Giancarlo Mauri ◽  
Gheorghe Păun ◽  
Agustín Riscos-Núñez
Keyword(s):  
Computer Science ◽  
Membrane Computing ◽  
Science Volume ◽  
Theoretical Computer Science ◽  
Natural Computing ◽  
Special Issue ◽  
Theoretical Computer ◽  
Generation Computing ◽  
New Generation ◽  
Selection Of

<p>The present volume contains a selection of papers resulting from the Seventh Brainstorming Week on Membrane Computing (BWMC7), held in Sevilla, from February 2 to February 6, 2009. The meeting was organized by the Research Group on Natural Computing (RGNC) from Department of Computer Science and Artificial Intelligence of Sevilla University. The previous editions of this series of meetings were organized in Tarragona (2003), and Sevilla (2004 – 2008). After the first BWMC, a special issue of Natural Computing – volume 2, number 3, 2003, and a special issue of New Generation Computing – volume 22, number 4, 2004, were published; papers from the second BWMC have appeared in a special issue of Journal of Universal Computer Science – volume 10, number 5, 2004, as well as in a special issue of Soft Computing – volume 9, number 5, 2005; a selection of papers written during the third BWMC has appeared in a special issue of International Journal of Foundations of Computer Science – volume 17, number 1, 2006); after the fourth BWMC a special issue of Theoretical Computer Science was edited – volume 372, numbers 2-3, 2007; after the fifth edition, a special issue of International Journal of Unconventional Computing was edited – volume 5, number 5, 2009; finally, a selection of papers elaborated during the sixth BWMC has appeared in a special issue of Fundamenta Informaticae</p>

scholarly journals Open k-monopolies in graphs: complexity and related concepts

2016 ◽  
Vol Vol. 18 no. 3 (Graph Theory) ◽  
Author(s):  
Dorota Kuziak ◽  
Iztok Peterin ◽  
Ismael G. Yero
Keyword(s):  
Positive Integer ◽  
Computer Science ◽  
Long Range ◽  
Theoretical Computer Science ◽  
Chordal Graphs ◽  
Discrete Mathematics ◽  
Voting Systems ◽  
Minimum Cardinality ◽  
Theoretical Computer ◽  
Np Complete

Closed monopolies in graphs have a quite long range of applications in several problems related to overcoming failures, since they frequently have some common approaches around the notion of majorities, for instance to consensus problems, diagnosis problems or voting systems. We introduce here open $k$-monopolies in graphs which are closely related to different parameters in graphs. Given a graph $G=(V,E)$ and $X\subseteq V$, if $\delta_X(v)$ is the number of neighbors $v$ has in $X$, $k$ is an integer and $t$ is a positive integer, then we establish in this article a connection between the following three concepts: - Given a nonempty set $M\subseteq V$ a vertex $v$ of $G$ is said to be $k$-controlled by $M$ if $\delta_M(v)\ge \frac{\delta_V(v)}{2}+k$. The set $M$ is called an open $k$-monopoly for $G$ if it $k$-controls every vertex $v$ of $G$. - A function $f: V\rightarrow \{-1,1\}$ is called a signed total $t$-dominating function for $G$ if $f(N(v))=\sum_{v\in N(v)}f(v)\geq t$ for all $v\in V$. - A nonempty set $S\subseteq V$ is a global (defensive and offensive) $k$-alliance in $G$ if $\delta_S(v)\ge \delta_{V-S}(v)+k$ holds for every $v\in V$. In this article we prove that the problem of computing the minimum cardinality of an open $0$-monopoly in a graph is NP-complete even restricted to bipartite or chordal graphs. In addition we present some general bounds for the minimum cardinality of open $k$-monopolies and we derive some exact values. Comment: 18 pages, Discrete Mathematics & Theoretical Computer Science (2016)

Preface to Special Issue devoted to the memory of Sauro Tulipani

2008 ◽  
Vol 18 (1) ◽  
pp. 1-4 ◽  
Author(s):  
FLAVIO CORRADINI ◽  
CARLO TOFFALORI
Keyword(s):  
Mathematical Logic ◽  
Computer Science ◽  
Crucial Role ◽  
Recursion Theory ◽  
Theoretical Computer Science ◽  
Special Issue ◽  
Nineteen Thirties ◽  
Theoretical Computer ◽  
The Subject ◽  
The Church

2006 was a special year for both mathematical logic and computer science, as it celebrated Gödel's centenary. Although Gödel's work was mainly concerned with mathematics and metamathematics, the crucial role it had in the foundation of modern theoretical computer science is undeniable: for instance, one only has to remember Gödel's contributions to the birth of recursion theory as well as his part in the debate in the nineteen thirties on the subject of the Church Thesis.

scholarly journals Introduction: special issue ICICTA 2012

2014 ◽  
Vol 24 (5) ◽  
Author(s):  
ZHIXIANG HOU
Keyword(s):  
Computer Science ◽  
Software Design ◽  
Category Theory ◽  
Theoretical Computer Science ◽  
Special Issue ◽  
Theoretical Computer ◽  
Mathematical Structures ◽  
And Mathematics

Mathematical Structures in Computer Science bridges the gap between theoretical computer science and software design. By publishing original perspectives from all areas of computing, the journal stresses applications from logic, algebra, geometry, category theory and other areas of logic and mathematics. Through issues such as this special issue, the journal also plans to play an occasional, but important role in the fields of intelligent computation and automation.

Sign in / Sign up

Export Citation Format

Share Document