Showing 1–27 of 27 results for author: Santiago, R

Constant-Competitiveness for Random Assignment Matroid Secretary Without Knowing the Matroid

Authors: Richard Santiago, Ivan Sergeev, Rico Zenklusen

Abstract: The Matroid Secretary Conjecture is a notorious open problem in online optimization. It claims the existence of an $O(1)$-competitive algorithm for the Matroid Secretary Problem (MSP). Here, the elements of a weighted matroid appear one-by-one, revealing their weight at appearance, and the task is to select elements online with the goal to get an independent set of largest possible weight. $O(1)$-… ▽ More The Matroid Secretary Conjecture is a notorious open problem in online optimization. It claims the existence of an $O(1)$-competitive algorithm for the Matroid Secretary Problem (MSP). Here, the elements of a weighted matroid appear one-by-one, revealing their weight at appearance, and the task is to select elements online with the goal to get an independent set of largest possible weight. $O(1)$-competitive MSP algorithms have so far only been obtained for restricted matroid classes and for MSP variations, including Random-Assignment MSP (RA-MSP), where an adversary fixes a number of weights equal to the ground set size of the matroid, which then get assigned randomly to the elements of the ground set. Unfortunately, these approaches heavily rely on knowing the full matroid upfront. This is an arguably undesirable requirement, and there are good reasons to believe that an approach towards resolving the MSP Conjecture should not rely on it. Thus, both Soto [SIAM Journal on Computing 2013] and Oveis Gharan & Vondrak [Algorithmica 2013] raised as an open question whether RA-MSP admits an $O(1)$-competitive algorithm even without knowing the matroid upfront. In this work, we answer this question affirmatively. Our result makes RA-MSP the first well-known MSP variant with an $O(1)$-competitive algorithm that does not need to know the underlying matroid upfront and without any restriction on the underlying matroid. Our approach is based on first approximately learning the rank-density curve of the matroid, which we then exploit algorithmically. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Advances on Strictly $Δ$-Modular IPs

Authors: Martin Nägele, Christian Nöbel, Richard Santiago, Rico Zenklusen

Abstract: There has been significant work recently on integer programs (IPs) $\min\{c^\top x \colon Ax\leq b,\,x\in \mathbb{Z}^n\}$ with a constraint marix $A$ with bounded subdeterminants. This is motivated by a well-known conjecture claiming that, for any constant $Δ\in \mathbb{Z}_{>0}$, $Δ$-modular IPs are efficiently solvable, which are IPs where the constraint matrix $A\in \mathbb{Z}^{m\times n}$ has f… ▽ More There has been significant work recently on integer programs (IPs) $\min\{c^\top x \colon Ax\leq b,\,x\in \mathbb{Z}^n\}$ with a constraint marix $A$ with bounded subdeterminants. This is motivated by a well-known conjecture claiming that, for any constant $Δ\in \mathbb{Z}_{>0}$, $Δ$-modular IPs are efficiently solvable, which are IPs where the constraint matrix $A\in \mathbb{Z}^{m\times n}$ has full column rank and all $n\times n$ minors of $A$ are within $\{-Δ, \dots, Δ\}$. Previous progress on this question, in particular for $Δ=2$, relies on algorithms that solve an important special case, namely strictly $Δ$-modular IPs, which further restrict the $n\times n$ minors of $A$ to be within $\{-Δ, 0, Δ\}$. Even for $Δ=2$, such problems include well-known combinatorial optimization problems like the minimum odd/even cut problem. The conjecture remains open even for strictly $Δ$-modular IPs. Prior advances were restricted to prime $Δ$, which allows for employing strong number-theoretic results. In this work, we make first progress beyond the prime case by presenting techniques not relying on such strong number-theoretic prime results. In particular, our approach implies that there is a randomized algorithm to check feasibility of strictly $Δ$-modular IPs in strongly polynomial time if $Δ\leq4$. △ Less

Submitted 14 February, 2023; originally announced February 2023.

Simple Random Order Contention Resolution for Graphic Matroids with Almost no Prior Information

Authors: Richard Santiago, Ivan Sergeev, Rico Zenklusen

Abstract: Random order online contention resolution schemes (ROCRS) are structured online rounding algorithms with numerous applications and links to other well-known online selection problems, like the matroid secretary conjecture. We are interested in ROCRS subject to a matroid constraint, which is among the most studied constraint families. Previous ROCRS required to know upfront the full fractional poin… ▽ More Random order online contention resolution schemes (ROCRS) are structured online rounding algorithms with numerous applications and links to other well-known online selection problems, like the matroid secretary conjecture. We are interested in ROCRS subject to a matroid constraint, which is among the most studied constraint families. Previous ROCRS required to know upfront the full fractional point to be rounded as well as the matroid. It is unclear to what extent this is necessary. Fu, Lu, Tang, Turkieltaub, Wu, Wu, and Zhang (SOSA 2022) shed some light on this question by proving that no strong (constant-selectable) online or even offline contention resolution scheme exists if the fractional point is unknown, not even for graphic matroids. In contrast, we show, in a setting with slightly more knowledge and where the fractional point reveals one by one, that there is hope to obtain strong ROCRS by providing a simple constant-selectable ROCRS for graphic matroids that only requires to know the size of the ground set in advance. Moreover, our procedure holds in the more general adversarial order with a sample setting, where, after sampling a random constant fraction of the elements, all remaining (non-sampled) elements may come in adversarial order. △ Less

Submitted 28 November, 2022; originally announced November 2022.

Comments: To be published in SOSA23

On Extensions of Quasi-Overlap and Quasi-Grouping Functions Defined on Bounded Lattices

Authors: Ana Shirley Monteiro, Regivan Santiago, Benjamín Bedregal, Juscelino Araújo, Eduardo Palmeira

Abstract: In this paper, we propose a method of extending quasi-overlap and grouping functions defined on a sublattice $ M $ of a bounded lattice $ L $ to this lattice considering a more general version of sublattice definition, introduced by Palmeira and Bedregral. In this paper, we propose a method of extending quasi-overlap and grouping functions defined on a sublattice $ M $ of a bounded lattice $ L $ to this lattice considering a more general version of sublattice definition, introduced by Palmeira and Bedregral. △ Less

Submitted 27 March, 2023; v1 submitted 21 November, 2022; originally announced November 2022.

Comments: 3 pages

Abstract homogeneity of interval-valued functions

Authors: Ana Shirley Monteiro, Regivan Santiago, Radko Mesiar, Marisol Gomez, Martin Papco, Mikel Ferrero-Jaurrieta, Humberto Bustince

Abstract: In this paper we develop the idea of abstract homogeneity in the context of interval-valued (IV) functions endowed with admissible orders and investigate some of its properties. In this paper we develop the idea of abstract homogeneity in the context of interval-valued (IV) functions endowed with admissible orders and investigate some of its properties. △ Less

Submitted 27 March, 2023; v1 submitted 11 October, 2022; originally announced October 2022.

Comments: 2 pages

On Monotonicities of Interval Valued Functions

Authors: Ana Shirley Monteiro, Regivan Santiago, Martin Papco, Radko Mesiar, Humberto Bustince

Abstract: In this paper, we develop the notions of weak/directional monotonicity (developed by Sesma-Sara et al. in terms of the \emph{Kulisch-Miranker order}) and the notion of $ G $-monotonicity (introduced by Santiago et al. for $ [0,\!1]$) for intervals endowed with admissible orders. In this paper, we develop the notions of weak/directional monotonicity (developed by Sesma-Sara et al. in terms of the \emph{Kulisch-Miranker order}) and the notion of $ G $-monotonicity (introduced by Santiago et al. for $ [0,\!1]$) for intervals endowed with admissible orders. △ Less

Submitted 27 March, 2023; v1 submitted 11 October, 2022; originally announced October 2022.

Comments: 3 pages

Congruency-Constrained TU Problems Beyond the Bimodular Case

Authors: Martin Nägele, Richard Santiago, Rico Zenklusen

Abstract: A long-standing open question in Integer Programming is whether integer programs with constraint matrices with bounded subdeterminants are efficiently solvable. An important special case thereof are congruency-constrained integer programs $\min\{c^\top x\colon\ Tx\leq b,\ γ^\top x\equiv r\pmod{m},\ x\in\mathbb{Z}^n\}$ with a totally unimodular constraint matrix $T$. Such problems have been shown t… ▽ More A long-standing open question in Integer Programming is whether integer programs with constraint matrices with bounded subdeterminants are efficiently solvable. An important special case thereof are congruency-constrained integer programs $\min\{c^\top x\colon\ Tx\leq b,\ γ^\top x\equiv r\pmod{m},\ x\in\mathbb{Z}^n\}$ with a totally unimodular constraint matrix $T$. Such problems have been shown to be polynomial-time solvable for $m=2$, which led to an efficient algorithm for integer programs with bimodular constraint matrices, i.e., full-rank matrices whose $n\times n$ subdeterminants are bounded by two in absolute value. Whereas these advances heavily relied on existing results on well-known combinatorial problems with parity constraints, new approaches are needed beyond the bimodular case, i.e., for $m>2$. We make first progress in this direction through several new techniques. In particular, we show how to efficiently decide feasibility of congruency-constrained integer programs with a totally unimodular constraint matrix for $m=3$. Furthermore, for general $m$, our techniques also allow for identifying flat directions of infeasible problems, and deducing bounds on the proximity between solutions of the problem and its relaxation. △ Less

Submitted 25 April, 2023; v1 submitted 7 September, 2021; originally announced September 2021.

($S$,$N$,$T$)-Implications

Authors: Fernando Neres, Benjamín Bedregal, Regivan H. N. Santiago

Abstract: In this paper we introduce a new class of fuzzy implications called ($S$,$N$,$T$)-implications inspired in the logical equivalence $p\rightarrow q \equiv \neg(p\wedge\neg q)\vee\neg p$ and present a brief study of some of the main properties that characterize this class. We present methods of obtaining $t$-norms and $t$-conorms from an ($S$,$N$,$T$)-implication and a fuzzy negation. In this paper we introduce a new class of fuzzy implications called ($S$,$N$,$T$)-implications inspired in the logical equivalence $p\rightarrow q \equiv \neg(p\wedge\neg q)\vee\neg p$ and present a brief study of some of the main properties that characterize this class. We present methods of obtaining $t$-norms and $t$-conorms from an ($S$,$N$,$T$)-implication and a fuzzy negation. △ Less

Submitted 29 June, 2021; originally announced June 2021.

A Simple Optimal Contention Resolution Scheme for Uniform Matroids

Authors: Danish Kashaev, Richard Santiago

Abstract: Contention resolution schemes (or CR schemes), introduced by Chekuri, Vondrak and Zenklusen, are a class of randomized rounding algorithms for converting a fractional solution to a relaxation for a down-closed constraint family into an integer solution. A CR scheme takes a fractional point $x$ in a relaxation polytope, rounds each coordinate $x_i$ independently to get a possibly non-feasible set,… ▽ More Contention resolution schemes (or CR schemes), introduced by Chekuri, Vondrak and Zenklusen, are a class of randomized rounding algorithms for converting a fractional solution to a relaxation for a down-closed constraint family into an integer solution. A CR scheme takes a fractional point $x$ in a relaxation polytope, rounds each coordinate $x_i$ independently to get a possibly non-feasible set, and then drops some elements in order to satisfy the constraints. Intuitively, a contention resolution scheme is $c$-balanced if every element $i$ is selected with probability at least $c \cdot x_i$. It is known that general matroids admit a $(1-1/e)$-balanced CR scheme, and that this is (asymptotically) optimal. This is in particular true for the special case of uniform matroids of rank one. In this work, we provide a simple and explicit monotone CR scheme for uniform matroids of rank $k$ on $n$ elements with a balancedness of $1 - \binom{n}{k}\:\left(1-\frac{k}{n}\right)^{n+1-k}\:\left(\frac{k}{n}\right)^k$, and show that this is optimal. As $n$ grows, this expression converges from above to $1 - e^{-k}k^k/k!$. While this asymptotic bound can be obtained by combining previously known results, these require defining an exponential-sized linear program, as well as using random sampling and the ellipsoid algorithm. Our procedure, on the other hand, has the advantage of being simple and explicit. This scheme extends naturally into an optimal CR scheme for partition matroids. △ Less

Submitted 30 January, 2023; v1 submitted 25 May, 2021; originally announced May 2021.

Journal ref: Theoretical Computer Science 940 (2023), 81-96

Quantum circuit synthesis of Bell and GHZ states using projective simulation in the NISQ era

Authors: O. M. Pires, E. I. Duzzioni, J. Marchi, R. Santiago

Abstract: Quantum Computing has been evolving in the last years. Although nowadays quantum algorithms performance has shown superior to their classical counterparts, quantum decoherence and additional auxiliary qubits needed for error tolerance routines have been huge barriers for quantum algorithms efficient use. These restrictions lead us to search for ways to minimize algorithms costs, i.e the number of… ▽ More Quantum Computing has been evolving in the last years. Although nowadays quantum algorithms performance has shown superior to their classical counterparts, quantum decoherence and additional auxiliary qubits needed for error tolerance routines have been huge barriers for quantum algorithms efficient use. These restrictions lead us to search for ways to minimize algorithms costs, i.e the number of quantum logical gates and the depth of the circuit. For this, quantum circuit synthesis and quantum circuit optimization techniques are explored. We studied the viability of using Projective Simulation, a reinforcement learning technique, to tackle the problem of quantum circuit synthesis for noise quantum computers with limited number of qubits. The agent had the task of creating quantum circuits up to 5 qubits to generate GHZ states in the IBM Tenerife (IBM QX4) quantum processor. Our simulations demonstrated that the agent had a good performance but its capacity for learning new circuits decreased as the number of qubits increased. △ Less

Submitted 27 April, 2021; originally announced April 2021.

Journal ref: Inteligencia Artificial, 24(67) (2021), 90-101

On Typical Hesitant Fuzzy Languages and Automata

Authors: Valdigleis S. Costa, Benjamín C. Bedregal, Regivan H. N. Santiago

Abstract: The idea of nondeterministic typical hesitant fuzzy automata is a generalization of the fuzzy automata presented by Costa and Bedregal. This paper, presents the sufficient and necessary conditions for a typical hesitant fuzzy language to be computed by nondeterministic typical hesitant fuzzy automata. Besides, the paper introduces a new class of Typical Hesitant Fuzzy Automata with crisp transitio… ▽ More The idea of nondeterministic typical hesitant fuzzy automata is a generalization of the fuzzy automata presented by Costa and Bedregal. This paper, presents the sufficient and necessary conditions for a typical hesitant fuzzy language to be computed by nondeterministic typical hesitant fuzzy automata. Besides, the paper introduces a new class of Typical Hesitant Fuzzy Automata with crisp transitions, and we will show that this new class is equivalent to the original class introduced by Costa and Bedregal △ Less

Submitted 18 February, 2021; originally announced February 2021.

New Approximations and Hardness Results for Submodular Partitioning Problems

Authors: Richard Santiago

Abstract: We consider the following class of submodular k-multiway partitioning problems: (Sub-$k$-MP) $\min \sum_{i=1}^k f(S_i): S_1 \uplus S_2 \uplus \cdots \uplus S_k = V \mbox{ and } S_i \neq \emptyset \mbox{ for all }i\in [k]$. Here $f$ is a non-negative submodular function, and $\uplus$ denotes the union of disjoint sets. Hence the goal is to partition $V$ into $k$ non-empty sets $S_1,S_2,\ldots,S_k$… ▽ More We consider the following class of submodular k-multiway partitioning problems: (Sub-$k$-MP) $\min \sum_{i=1}^k f(S_i): S_1 \uplus S_2 \uplus \cdots \uplus S_k = V \mbox{ and } S_i \neq \emptyset \mbox{ for all }i\in [k]$. Here $f$ is a non-negative submodular function, and $\uplus$ denotes the union of disjoint sets. Hence the goal is to partition $V$ into $k$ non-empty sets $S_1,S_2,\ldots,S_k$ such that $\sum_{i=1}^k f(S_i)$ is minimized. These problems were introduced by Zhao et al. partly motivated by applications to network reliability analysis, VLSI design, hypergraph cut, and other partitioning problems. In this work we revisit this class of problems and shed some light onto their hardness of approximation in the value oracle model. We provide new unconditional hardness results for Sub-$k$-MP in the special settings where the function $f$ is either monotone or symmetric. For symmetric functions we show that given any $ε> 0$, any algorithm achieving a $(2 - ε)$-approximation requires exponentially many queries in the value oracle model. For monotone objectives we show that given any $ε> 0$, any algorithm achieving a $(4/3 - ε)$-approximation requires exponentially many queries in the value oracle model. We then extend Sub-$k$-MP to a larger class of partitioning problems, where the functions $f_i(S_i)$ can be different, and there is a more general partitioning constraint $ S_1 \uplus S_2 \uplus \cdots \uplus S_k \in \mathcal{F}$ for some family $\mathcal{F} \subseteq 2^V$ of feasible sets. We provide a black box reduction that allows us to leverage several existing results from the literature; leading to new approximations for this class of problems. △ Less

Submitted 10 May, 2021; v1 submitted 25 June, 2020; originally announced June 2020.

A Parameterized Family of Meta-Submodular Functions

Authors: Mehrdad Ghadiri, Richard Santiago, Bruce Shepherd

Abstract: Submodular function maximization has found a wealth of new applications in machine learning models during the past years. The related supermodular maximization models (submodular minimization) also offer an abundance of applications, but they appeared to be highly intractable even under simple cardinality constraints. Hence, while there are well-developed tools for maximizing a submodular function… ▽ More Submodular function maximization has found a wealth of new applications in machine learning models during the past years. The related supermodular maximization models (submodular minimization) also offer an abundance of applications, but they appeared to be highly intractable even under simple cardinality constraints. Hence, while there are well-developed tools for maximizing a submodular function subject to a matroid constraint, there is much less work on the corresponding supermodular maximization problems. We give a broad parameterized family of monotone functions which includes submodular functions and a class of supermodular functions containing diversity functions. Functions in this parameterized family are called \emph{$γ$-meta-submodular}. We develop local search algorithms with approximation factors that depend only on the parameter $γ$. We show that the $γ$-meta-submodular families include well-known classes of functions such as meta-submodular functions ($γ=0$), metric diversity functions and proportionally submodular functions (both with $γ=1$), diversity functions based on negative-type distances or Jensen-Shannon divergence (both with $γ=2$), and $σ$-semi metric diversity functions ($γ= σ$). △ Less

Submitted 23 June, 2020; originally announced June 2020.

Comments: arXiv admin note: text overlap with arXiv:1904.09216

Classical and Quantum Data Interaction in Programming Languages: A Runtime Architecture

Authors: Evandro Chagas Ribeiro da Rosa, Rafael de Santiago

Abstract: We propose a runtime architecture that can be used in the development of a quantum programming language and its programming environment. The proposed runtime architecture enables dynamic interaction between classical and quantum data following the restriction that a quantum computer is available in the cloud as a batch computer, with no interaction with the classical computer during its execution.… ▽ More We propose a runtime architecture that can be used in the development of a quantum programming language and its programming environment. The proposed runtime architecture enables dynamic interaction between classical and quantum data following the restriction that a quantum computer is available in the cloud as a batch computer, with no interaction with the classical computer during its execution. It is done by leaving the quantum code generation for the runtime and introducing the concept of futures for quantum measurements. When implemented in a quantum programming language, those strategies aim to facilitate the development of quantum applications, especially for beginning programmers and students. Being suitable for the current Noisy Intermediate-Scale Quantum (NISQ) Computers, the runtime architecture is also appropriate for simulation and future Fault-Tolerance Quantum Computers. △ Less

Submitted 29 May, 2020; originally announced June 2020.

Weakly Submodular Function Maximization Using Local Submodularity Ratio

Authors: Richard Santiago, Yuichi Yoshida

Abstract: Weak submodularity is a natural relaxation of the diminishing return property, which is equivalent to submodularity. Weak submodularity has been used to show that many (monotone) functions that arise in practice can be efficiently maximized with provable guarantees. In this work we introduce two natural generalizations of weak submodularity for non-monotone functions. We show that an efficient ran… ▽ More Weak submodularity is a natural relaxation of the diminishing return property, which is equivalent to submodularity. Weak submodularity has been used to show that many (monotone) functions that arise in practice can be efficiently maximized with provable guarantees. In this work we introduce two natural generalizations of weak submodularity for non-monotone functions. We show that an efficient randomized greedy algorithm has provable approximation guarantees for maximizing these functions subject to a cardinality constraint. We then provide a more refined analysis that takes into account that the weak submodularity parameter may change (sometimes improving) throughout the execution of the algorithm. This leads to improved approximation guarantees in some settings. We provide applications of our results for monotone and non-monotone maximization problems. △ Less

Submitted 23 September, 2020; v1 submitted 30 April, 2020; originally announced April 2020.

Residuated implications derived from quasi-overlap functions on lattices

Authors: Rui Paiva, Benjamín Bedregal, Regivan Santiago

Abstract: In this paper, we introduce the concept of residuated implications derived from quasi-overlap functions on lattices and prove some related properties. In addition, we formalized the residuation principle for the case of quasi-overlap functions on lattices and their respective induced implications, as well as revealing that the class of quasi-overlap functions that fulfill the residuation principle… ▽ More In this paper, we introduce the concept of residuated implications derived from quasi-overlap functions on lattices and prove some related properties. In addition, we formalized the residuation principle for the case of quasi-overlap functions on lattices and their respective induced implications, as well as revealing that the class of quasi-overlap functions that fulfill the residuation principle is the same class of continuous functions according to topology of Scott. Also, Scott's continuity and the notion of densely ordered posets are used to generalize a classification theorem for residuated quasi-overlap functions. Finally, the concept of automorphisms are extended to the context of quasi-overlap functions over lattices, taking these lattices into account as topological spaces, with a view to obtaining quasi-overlap functions conjugated by the action of automorphisms. △ Less

Submitted 27 February, 2020; originally announced February 2020.

Comments: 27 pages, paper submitted to a journal

MSC Class: Order; lattices; ordered algebraic structures

Beyond Submodular Maximization via One-Sided Smoothness

Authors: Mehrdad Ghadiri, Richard Santiago, Bruce Shepherd

Abstract: The multilinear framework has achieved the breakthrough $1-1/e$ approximation for maximizing a monotone submodular function subject to a matroid constraint. This framework has a continuous optimization part and a rounding part. We extend both parts to a wider array of problems. In particular, we make a conceptual contribution by identifying a family of parameterized functions. As a running example… ▽ More The multilinear framework has achieved the breakthrough $1-1/e$ approximation for maximizing a monotone submodular function subject to a matroid constraint. This framework has a continuous optimization part and a rounding part. We extend both parts to a wider array of problems. In particular, we make a conceptual contribution by identifying a family of parameterized functions. As a running example we focus on solving diversity problems $\max f(S)=\frac{1}{2}\sum_{i,j\in A}A_{ij}:S\in\mathcal{M}$, where $\mathcal{M}$ is a matroid. These diversity functions have $A_{ij}\geq 0$ as a measure of dissimilarity of $i,j$, and $A$ has $0$-diagonal. The multilinear framework cannot be directly applied to the multilinear extension of such functions. We introduce a new parameter for functions $F\in{\bf C}^2$ which measures the approximability of the associated problem $\max\{F(x):x\in P\}$, for solvable downwards-closed polytopes $P$. A function $F$ is called one-sided $σ$-smooth if $\frac{1}{2}u^T\nabla^2 F(x) u\leqσ\cdot\frac{||u||_1}{||x||_1}u^T\nabla F(x)$ for all $u,x\geq 0$, $x\neq 0$. We give an $Ω(1/σ)$-approximation for the maximization problem of monotone, normalized one-sided $σ$-smooth $F$ with an additional property: non-positive third order partial derivatives. Using the multilinear framework and new matroid rounding techniques for quadratic objectives, we give an $Ω(1/σ^{3/2})$-approximation for maximizing a $σ$-semi-metric diversity function subject to matroid constraint. This improves upon the previous best bound of $Ω(1/σ^2)$ and we give evidence that it may be tight. For general one-sided smooth functions, we show the continuous process gives an $Ω(1/3^{2σ})$-approximation, independent of $n$. In this setting, by discretizing, we present a poly-time algorithm for multilinear one-sided $σ$-smooth functions. △ Less

Submitted 2 June, 2020; v1 submitted 19 April, 2019; originally announced April 2019.

Lattice-valued Overlap and Quasi-Overlap Functions

Authors: Rui Paiva, Eduardo Palmeira, Regivan Santiago, Benjamin Bedregal

Abstract: Overlap functions were introduced as class of bivariate aggregation functions on [0, 1] to be applied in image processing. This paper has as main objective to present appropriates definitions of overlap functions considering the scope of lattices and introduced a more general definition, called of quasi-overlaps, which arise of abolishes the continuity condition. In addition, are investigated the… ▽ More Overlap functions were introduced as class of bivariate aggregation functions on [0, 1] to be applied in image processing. This paper has as main objective to present appropriates definitions of overlap functions considering the scope of lattices and introduced a more general definition, called of quasi-overlaps, which arise of abolishes the continuity condition. In addition, are investigated the main properties of (quasi-)overlaps on bounded lattices, namely, convex sum, migrativity, homogeneity, idempotency and cancellation law. Moreover, we make a characterization of Archimedian overlaps. △ Less

Submitted 31 January, 2019; originally announced February 2019.

Comments: 35 pages, paper submitted to a journal

Dynamic Ordered Weighted Averaging Functions for Complete Lattices

Authors: Antonio Diego S. Farias, Regivan H. N. Santiago, Benjamín Bedregal

Abstract: In this paper we introduce a class of operators on complete lattices called Dynamic Ordered Weighted Averaging (DYOWA) functions. These functions provide a generalized form of an important class of aggregation functions: The Ordered Weighted Averaging (OWA) functions, whose applications can be found in several areas like: Image Processing and Decision Making. The wide range of applications of OWAs… ▽ More In this paper we introduce a class of operators on complete lattices called Dynamic Ordered Weighted Averaging (DYOWA) functions. These functions provide a generalized form of an important class of aggregation functions: The Ordered Weighted Averaging (OWA) functions, whose applications can be found in several areas like: Image Processing and Decision Making. The wide range of applications of OWAs motivated many researchers to study their variations. One of them was proposed by Lizassoaim and Moreno in 2013, which extends those functions to complete lattices. Here, we propose a new generalization of OWAs that also generalizes the operators proposed by Lizassoaim and Moreno. △ Less

Submitted 5 June, 2018; originally announced June 2018.

Combining Multiple Algorithms in Classifier Ensembles using Generalized Mixture Functions

Authors: Valdigleis S. Costaa, Antonio Diego S. Farias, Benjamín Bedregal, Regivan H. N. Santiago, Anne Magaly de P. Canuto

Abstract: Classifier ensembles are pattern recognition structures composed of a set of classification algorithms (members), organized in a parallel way, and a combination method with the aim of increasing the classification accuracy of a classification system. In this study, we investigate the application of a generalized mixture (GM) functions as a new approach for providing an efficient combination proced… ▽ More Classifier ensembles are pattern recognition structures composed of a set of classification algorithms (members), organized in a parallel way, and a combination method with the aim of increasing the classification accuracy of a classification system. In this study, we investigate the application of a generalized mixture (GM) functions as a new approach for providing an efficient combination procedure for these systems through the use of dynamic weights in the combination process. Therefore, we present three GM functions to be applied as a combination method. The main advantage of these functions is that they can define dynamic weights at the member outputs, making the combination process more efficient. In order to evaluate the feasibility of the proposed approach, an empirical analysis is conducted, applying classifier ensembles to 25 different classification data sets. In this analysis, we compare the use of the proposed approaches to ensembles using traditional combination methods as well as the state-of-the-art ensemble methods. Our findings indicated gains in terms of performance when comparing the proposed approaches to the traditional ones as well as comparable results with the state-of-the-art methods. △ Less

Submitted 5 June, 2018; originally announced June 2018.

Semi-BCI Algebras

Authors: Regivan H. N. Santiago, Benjamin Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro

Abstract: The notion of semi-BCI algebras is introduced and some of its properties are investigated. This algebra is another generalization for BCI-algebras. It arises from the "intervalization" of BCI algebras. Semi-BCI have a similar structure to Pseudo-BCI algebras however they are not the same. In this paper we also provide an investigation on the similarity between these classes of algebras by showing… ▽ More The notion of semi-BCI algebras is introduced and some of its properties are investigated. This algebra is another generalization for BCI-algebras. It arises from the "intervalization" of BCI algebras. Semi-BCI have a similar structure to Pseudo-BCI algebras however they are not the same. In this paper we also provide an investigation on the similarity between these classes of algebras by showing how they relate to the process of intervalization. △ Less

Submitted 13 March, 2018; originally announced March 2018.

Comments: 30 pages, 1 figure

Multi-Agent Submodular Optimization

Authors: Richard Santiago, F. Bruce Shepherd

Abstract: Recent years have seen many algorithmic advances in the area of submodular optimization: (SO) $\min/\max~f(S): S \in \mathcal{F}$, where $\mathcal{F}$ is a given family of feasible sets over a ground set $V$ and $f:2^V \rightarrow \mathbb{R}$ is submodular. This progress has been coupled with a wealth of new applications for these models. Our focus is on a more general class of \emph{multi-agent s… ▽ More Recent years have seen many algorithmic advances in the area of submodular optimization: (SO) $\min/\max~f(S): S \in \mathcal{F}$, where $\mathcal{F}$ is a given family of feasible sets over a ground set $V$ and $f:2^V \rightarrow \mathbb{R}$ is submodular. This progress has been coupled with a wealth of new applications for these models. Our focus is on a more general class of \emph{multi-agent submodular optimization} (MASO) which was introduced by Goel et al. in the minimization setting: $\min \sum_i f_i(S_i): S_1 \uplus S_2 \uplus \cdots \uplus S_k \in \mathcal{F}$. Here we use $\uplus$ to denote disjoint union and hence this model is attractive where resources are being allocated across $k$ agents, each with its own submodular cost function $f_i()$. In this paper we explore the extent to which the approximability of the multi-agent problems are linked to their single-agent {\em primitives}, referred to informally as the {\em multi-agent gap}. We present different reductions that transform a multi-agent problem into a single-agent one. For maximization we show that (MASO) admits an $O(α)$-approximation whenever (SO) admits an $α$-approximation over the multilinear formulation, and thus substantially expanding the family of tractable models. We also discuss several family classes (such as spanning trees, matroids, and $p$-systems) that have a provable multi-agent gap of 1. In the minimization setting we show that (MASO) has an $O(α\cdot \min \{k, \log^2 (n)\})$-approximation whenever (SO) admits an $α$-approximation over the convex formulation. In addition, we discuss the class of "bounded blocker" families where there is a provably tight O$(\log n)$ gap between (MASO) and (SO). △ Less

Submitted 3 November, 2018; v1 submitted 10 March, 2018; originally announced March 2018.

Comments: arXiv admin note: text overlap with arXiv:1612.05222

Journal ref: Proceedings of the 21st International Conference on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 116:23:1-23:20, 2018

Genetic Algorithm for Epidemic Mitigation by Removing Relationships

Authors: Fernando Concatto, Wellington Zunino, Luigi A. Giancoli, Rafael Santiago, Luís C. Lamb

Abstract: Min-SEIS-Cluster is an optimization problem which aims at minimizing the infection spreading in networks. In this problem, nodes can be susceptible to an infection, exposed to an infection, or infectious. One of the main features of this problem is the fact that nodes have different dynamics when interacting with other nodes from the same community. Thus, the problem is characterized by distinct p… ▽ More Min-SEIS-Cluster is an optimization problem which aims at minimizing the infection spreading in networks. In this problem, nodes can be susceptible to an infection, exposed to an infection, or infectious. One of the main features of this problem is the fact that nodes have different dynamics when interacting with other nodes from the same community. Thus, the problem is characterized by distinct probabilities of infecting nodes from both the same and from different communities. This paper presents a new genetic algorithm that solves the Min-SEIS-Cluster problem. This genetic algorithm surpassed the current heuristic of this problem significantly, reducing the number of infected nodes during the simulation of the epidemics. The results therefore suggest that our new genetic algorithm is the state-of-the-art heuristic to solve this problem. △ Less

Submitted 17 July, 2017; originally announced July 2017.

Comments: GECCO '17 - Proceedings of the Genetic and Evolutionary Computation Conference

Multivariate Submodular Optimization

Authors: Richard Santiago, F. Bruce Shepherd

Abstract: Submodular functions have found a wealth of new applications in data science and machine learning models in recent years. This has been coupled with many algorithmic advances in the area of submodular optimization: (SO) $\min/\max~f(S): S \in \mathcal{F}$, where $\mathcal{F}$ is a given family of feasible sets over a ground set $V$ and $f:2^V \rightarrow \mathbb{R}$ is submodular. In this work we… ▽ More Submodular functions have found a wealth of new applications in data science and machine learning models in recent years. This has been coupled with many algorithmic advances in the area of submodular optimization: (SO) $\min/\max~f(S): S \in \mathcal{F}$, where $\mathcal{F}$ is a given family of feasible sets over a ground set $V$ and $f:2^V \rightarrow \mathbb{R}$ is submodular. In this work we focus on a more general class of \emph{multivariate submodular optimization} (MVSO) problems: $\min/\max~f (S_1,S_2,\ldots,S_k): S_1 \uplus S_2 \uplus \cdots \uplus S_k \in \mathcal{F}$. Here we use $\uplus$ to denote disjoint union and hence this model is attractive where resources are being allocated across $k$ agents, who share a `joint' multivariate nonnegative objective $f(S_1,S_2,\ldots,S_k)$ that captures some type of submodularity (i.e. diminishing returns) property. We provide some explicit examples and potential applications for this new framework. For maximization, we show that practical algorithms such as accelerated greedy variants and distributed algorithms achieve good approximation guarantees for very general families (such as matroids and $p$-systems). For arbitrary families, we show that monotone (resp. nonmonotone) MVSO admits an $α(1-1/e)$ (resp. $α\cdot 0.385$) approximation whenever monotone (resp. nonmonotone) SO admits an $α$-approximation over the multilinear formulation. This substantially expands the family of tractable models for submodular maximization. For minimization, we show that if SO admits a $β$-approximation over \emph{modular} functions, then MVSO admits a $\frac{β\cdot n}{1+(n-1)(1-c)}$-approximation where $c\in [0,1]$ denotes the curvature of $f$, and this is essentially tight. Finally, we prove that MVSO has an $αk$-approximation whenever SO admits an $α$-approximation over the convex formulation. △ Less

Submitted 28 January, 2019; v1 submitted 15 December, 2016; originally announced December 2016.

Comments: arXiv admin note: text overlap with arXiv:1803.03767

Journal ref: Proceedings of the 36th International Conference on Machine Learning (ICML), PMLR 97:5599-5609, 2019

Multi-Output Artificial Neural Network for Storm Surge Prediction in North Carolina

Authors: Anton Bezuglov, Brian Blanton, Reinaldo Santiago

Abstract: During hurricane seasons, emergency managers and other decision makers need accurate and `on-time' information on potential storm surge impacts. Fully dynamical computer models, such as the ADCIRC tide, storm surge, and wind-wave model take several hours to complete a forecast when configured at high spatial resolution. Additionally, statically meaningful ensembles of high-resolution models (neede… ▽ More During hurricane seasons, emergency managers and other decision makers need accurate and `on-time' information on potential storm surge impacts. Fully dynamical computer models, such as the ADCIRC tide, storm surge, and wind-wave model take several hours to complete a forecast when configured at high spatial resolution. Additionally, statically meaningful ensembles of high-resolution models (needed for uncertainty estimation) cannot easily be computed in near real-time. This paper discusses an artificial neural network model for storm surge prediction in North Carolina. The network model provides fast, real-time storm surge estimates at coastal locations in North Carolina. The paper studies the performance of the neural network model vs. other models on synthetic and real hurricane data. △ Less

Submitted 23 September, 2016; originally announced September 2016.

A Method for Image Reduction Based on a Generalization of Ordered Weighted Averaging Functions

Authors: A. Diego S. Farias, Valdigleis S. Costa, Luiz Ranyer A. Lopes, Benjamín Bedregal, Regivan Santiago

Abstract: In this paper we propose a special type of aggregation function which generalizes the notion of Ordered Weighted Averaging Function - OWA. The resulting functions are called Dynamic Ordered Weighted Averaging Functions --- DYOWAs. This generalization will be developed in such way that the weight vectors are variables depending on the input vector. Particularly, this operators generalize the aggreg… ▽ More In this paper we propose a special type of aggregation function which generalizes the notion of Ordered Weighted Averaging Function - OWA. The resulting functions are called Dynamic Ordered Weighted Averaging Functions --- DYOWAs. This generalization will be developed in such way that the weight vectors are variables depending on the input vector. Particularly, this operators generalize the aggregation functions: Minimum, Maximum, Arithmetic Mean, Median, etc, which are extensively used in image processing. In this field of research two problems are considered: The determination of methods to reduce images and the construction of techniques which provide noise reduction. The operators described here are able to be used in both cases. In terms of image reduction we apply the methodology provided by Patermain et al. We use the noise reduction operators obtained here to treat the images obtained in the first part of the paper, thus obtaining images with better quality. △ Less

Submitted 14 January, 2016; originally announced January 2016.

Comments: 32 pages, 19 figures

Key Performance Indicators for QOS Assessment in TETRA Networks

Authors: Jose Dario Luis Delgado, Jesus Maximo Ramirez Santiago

Abstract: Key Performance Indicators (KPIs) are widely used by GSM and UMTS carriers with the aim of evaluating the network performance and the Quality of Service (QoS) delivered to users. TETRA networks are basically designed to provide telecommunication services to Public Safety & Security (PSS) organizations, thus the compliance of the QoS levels required by these clients is usually critical. Despite tha… ▽ More Key Performance Indicators (KPIs) are widely used by GSM and UMTS carriers with the aim of evaluating the network performance and the Quality of Service (QoS) delivered to users. TETRA networks are basically designed to provide telecommunication services to Public Safety & Security (PSS) organizations, thus the compliance of the QoS levels required by these clients is usually critical. Despite that, the use of KPIs to assess the network performance and the QoS achieved in TETRA systems is not very common. This paper not only states the need of monitoring and evaluating these parameters, but also introduces a set of KPIs which is considered necessary and sufficient in order to allow TETRA operators to be aware of whether provided services meet the QoS requirements established by end users. △ Less

Submitted 9 January, 2014; originally announced January 2014.

Comments: 18 pages, International Journal of Mobile Network Communications & Telematics (IJMNCT) Vol.3, No.6, December 2013