Search results for "Computation theory"
showing 10 items of 336 documents
Minimal forbidden words and factor automata
1998
International audience; Let L(M) be the (factorial) language avoiding a given antifactorial language M. We design an automaton accepting L(M) and built from the language M. The construction is eff ective if M is finite. If M is the set of minimal forbidden words of a single word v, the automaton turns out to be the factor automaton of v (the minimal automaton accepting the set of factors of v). We also give an algorithm that builds the trie of M from the factor automaton of a single word. It yields a non-trivial upper bound on the number of minimal forbidden words of a word.
Properties and constraints of cheating-immune secret sharing schemes
2006
AbstractA secret sharing scheme is a cryptographic protocol by means of which a dealer shares a secret among a set of participants in such a way that it can be subsequently reconstructed by certain qualified subsets. The setting we consider is the following: in a first phase, the dealer gives in a secure way a piece of information, called a share, to each participant. Then, participants belonging to a qualified subset send in a secure way their shares to a trusted party, referred to as a combiner, who computes the secret and sends it back to the participants.Cheating-immune secret sharing schemes are secret sharing schemes in the above setting where dishonest participants, during the recons…
On the satisfiability problem for fragments of two-variable logic with one transitive relation
2019
Abstract We study the satisfiability problem for two-variable first-order logic over structures with one transitive relation. We show that the problem is decidable in 2-NExpTime for the fragment consisting of formulas where existential quantifiers are guarded by transitive atoms. As this fragment enjoys neither the finite model property nor the tree model property, to show decidability we introduce a novel model construction technique based on the infinite Ramsey theorem. We also point out why the technique is not sufficient to obtain decidability for the full two-variable logic with one transitive relation; hence, contrary to our previous claim, [FO$^2$ with one transitive relation is deci…
A branch-price-and-cut algorithm for the capacitated multiple vehicle traveling purchaser problem with unitary demand
2021
Abstract The multiple vehicle traveling purchaser problem (MVTPP) consists of simultaneously selecting suppliers and routing a fleet of homogeneous vehicles to purchase different products at the selected suppliers so that all product demands are fulfilled and traveling and purchasing costs are minimized. We consider variants of the MVTPP in which the capacity of the vehicles can become binding and the demand for each product is one unit. Corresponding solution algorithms from the literature are either branch-and-cut or branch-and-price algorithms, where in the latter case the route-generation subproblem is solved on an expanded graph by applying standard dynamic-programming techniques. Our …
Conocimiento acerca de las estrategias de práctica instrumental al inicio del Grado Superior de Música
2017
Cabe pensar que un estudiante de instrumento que accede al Grado Superior de Música, tras aproximadamente 10 años de formación, debería tener una práctica efectiva y, por lo tanto, un manejo adecuado de numerosas estrategias. En este sentido, el estudio se planteó con objeto de corroborar el estado de conocimientos previos de los estudiantes que ingresan al Conservatorio Superior de Música de Aragón con respecto a diversas estrategias de práctica instrumental de eficacia avalada por investigaciones previas y/o la experiencia profesional de grandes intérpretes. La investigación de carácter descriptivo presenta una metodología de carácter cualitativo en la que las técnicas de recogida de dato…
The Average State Complexity of the Star of a Finite Set of Words Is Linear
2008
We prove that, for the uniform distribution over all sets Xof m(that is a fixed integer) non-empty words whose sum of lengths is n, $\mathcal{D}_X$, one of the usual deterministic automata recognizing X*, has on average $\mathcal{O}(n)$ states and that the average state complexity of X*is i¾?(n). We also show that the average time complexity of the computation of the automaton $\mathcal{D}_X$ is $\mathcal{O}(n\log n)$, when the alphabet is of size at least three.
Dual Inequalities for Stabilized Column Generation Revisited
2014
Column generation (CG) models have several advantages over compact formulations: they provide better linear program bounds, may eliminate symmetry, and can hide nonlinearities in their subproblems. However, users also encounter drawbacks in the form of slow convergence, also known as the tailing-off effect, and the oscillation of the dual variables. Among different alternatives for stabilizing the CG process, Ben Amor et al. [Ben Amor H, Desrosiers J, Valério de Carvalho JM (2006) Dual-optimal inequalities for stabilized column generation. Oper. Res. 54(3):454–463] suggest the use of dual-optimal inequalities (DOIs) in the context of cutting stock and bin packing problems. We generalize th…
Distributed Leader Election and Computation of Local Identifiers for Programmable Matter
2019
International audience; The context of this paper is programmable matter, which consists of a set of computational elements, called particles, in an infinite graph. The considered infinite graphs are the square, triangular and king grids. Each particle occupies one vertex, can communicate with the adjacent particles, has the same clockwise direction and knows the local positions of neighborhood particles. Under these assumptions, we describe a new leader election algorithm affecting a variable to the particles, called the k-local identifier, in such a way that particles at close distance have each a different k-local identifier. For all the presented algorithms, the particles only need a O(…
Highly transitive actions of groups acting on trees
2015
We show that a group acting on a non-trivial tree with finite edge stabilizers and icc vertex stabilizers admits a faithful and highly transitive action on an infinite countable set. This result is actually true for infinite vertex stabilizers and some more general, finite of infinite, edge stabilizers that we call highly core-free. We study the notion of highly core-free subgroups and give some examples. In the case of amalgamated free products over highly core-free subgroups and HNN extensions with highly core-free base groups we obtain a genericity result for faithful and highly transitive actions. In particular, we recover the result of D. Kitroser stating that the fundamental group of …
Maux de l'économie, mots des économistes
1990
International audience; La méthodologie économique a largement séparé les discours (hypthèses, théorie, corps de pensée) de l'action (représentée essentiellement par les applications ou les descriptions monographiques). Dans cet essai, avec la plus large prudence répondant à une démarche balbutiante, nous tentons de donner des représentations synthétiques, sur longue période, de l'évolution de la littérature économique ; ceci au moyen des méthodes usuelles de l'analyse des données. Il reste, quelque soit les résultats auxquels nous parvenons, que ce type de traintement repose sur l'hypothèse d'avoir pris en compte chaque production de littérature comme un objet statistique simple. L'applica…