Generating highly balanced sudoku problems as hard problems

Sudoku problems are some of the most known and enjoyed pastimes, with a never diminishing popularity, but, for the last few years those problems have gone from an entertainment to an interesting research area, a twofold interesting area, in fact. On the one side Sudoku problems, being a variant of Gerechte Designs and Latin Squares, are being actively used for experimental design, as in [8, 44, 39, 9]. On the other hand, Sudoku problems, as simple as they seem, are really hard structured combinatorial search problems, and thanks to their characteristics and behavior, they can be used as benchmark problems for refining and testing solving algorithms and approaches. Also, thanks to their high inner structure, their study can contribute more than studies of random problems to our goal of solving real-world problems and applications and understanding problem characteristics that make them hard to solve. In this work we use two techniques for solving and modeling Sudoku problems, namely, Constraint Satisfaction Problem (CSP) and Satisfiability Problem (SAT) approaches. To this effect we define the Generalized Sudoku Problem (GSP), where regions can be of rectangular shape, problems can be of any order, and solution existence is not guaranteed. With respect to the worst-case complexity, we prove that GSP with block regions of m rows and n columns with m = n is NP-complete. For studying the empirical hardness of GSP, we define a series of instance generators, that differ in the balancing level they guarantee between the constraints of the problem, by finely controlling how the holes are distributed in the cells of the GSP. Experimentally, we show that the more balanced are the constraints, the higher the complexity of solving the GSP instances, and that GSP is harder than the Quasigroup Completion Problem (QCP), a problem generalized by GSP. Finally, we provide a study of the correlation between backbone variables – variables with the same value in all the solutions of an instance– and hardness of GSP.

Dialectalismes i diccionaris: entre la tradició i la variació

Els autors reflexionen sobre la representativitat dels dialectalismes inclosos en algunes obres lexicogràfiques catalanes, atenent als problemes que es deriven de la selecció lèxica pròpiament dita i de l'abast semàntic d'aquestes unitats. S'hi afegeixen, alhora, aspectes inherents al component lèxic, com ara la variació interna o externa a què està sotmès. Els exemples adduïts provenen en gran part de la recerca duta a terme per a l'elaboració del Diccionari de la pronúncia del català nord-occidental (lleidatà).

Agency problems with non-smooth decision profiles: the case of monopoly under product quality

A method for dealing with monotonicity constraints in optimal control problems is used to generalize some results in the context of monopoly theory, also extending the generalization to a large family of principal-agent programs. Our main conclusion is that many results on diverse economic topics, achieved under assumptions of continuity and piecewise differentiability in connection with the endogenous variables of the problem, still remain valid after replacing such assumptions by two minimal requirements.

Problems of the randomization test for AB designs

N = 1 designs imply repeated registrations of the behaviour of the same experimental unit and the measurements obtained are often few due to time limitations, while they are also likely to be sequentially dependent. The analytical techniques needed to enhance statistical and clinical decision making have to deal with these problems. Different procedures for analysing data from single-case AB designs are discussed, presenting their main features and revising the results reported by previous studies. Randomization tests represent one of the statistical methods that seemed to perform well in terms of controlling false alarm rates. In the experimental part of the study a new simulation approach is used to test the performance of randomization tests and the results suggest that the technique is not always robust against the violation of the independence assumption. Moreover, sensitivity proved to be generally unacceptably low for series lengths equal to 30 and 40. Considering the evidence available, there does not seem to be an optimal technique for single-case data analysis

Assessing positive mental health in people with chronic physical health problems: correlations with socio-demographic variables and physical health status

Background: A holistic perspective on health implies giving careful consideration to the relationship between physical and mental health. In this regard the present study sought to determine the level of Positive Mental Health (PMH) among people with chronic physical health problems, and to examine the relationship between the observed levels of PMH and both physical health status and socio-demographic variables. Methods: The study was based on the Multifactor Model of Positive Mental Health (Lluch, 1999), which comprises six factors: Personal Satisfaction (F1), Prosocial Attitude (F2), Self-control (F3), Autonomy (F4), Problem-solving and Self-actualization (F5), and Interpersonal Relationship Skills (F6). The sample comprised 259 adults with chronic physical health problems who were recruited through a primary care center in the province of Barcelona (Spain). Positive mental health was assessed by means of the Positive Mental Health Questionnaire (Lluch, 1999). Results: Levels of PMH differed, either on the global scale or on specific factors, in relation to the following variables: age: global PMH scores decreased with age (r=-0.129; p=0.038); b) gender: men scored higher on F1 (t=2.203; p=0.028) and F4 (t=3.182; p=0.002), while women scored higher on F2 (t -3.086; p=0.002) and F6 (t=-2.744; p=0.007); c) number of health conditions: the fewer the number of health problems the higher the PMH score on F5 (r=-0.146; p=0.019); d) daily medication: polymedication patients had lower PMH scores, both globally and on various factors; e) use of analgesics: occasional use of painkillers was associated with higher PMH scores on F1 (t=-2.811; p=0.006). There were no significant differences in global PMH scores according to the type of chronic health condition. The only significant difference in the analysis by factors was that patients with hypertension obtained lower PMH scores on the factor Autonomy (t=2.165; p=0.032). Conclusions: Most people with chronic physical health problems have medium or high levels of PMH. The variables that adversely affect PMH are old age, polypharmacy and frequent consumption of analgesics. The type of health problem does not influence the levels of PMH. Much more extensive studies with samples without chronic pathology are now required in order to be able to draw more robust conclusions.

Genetic origin of the relationship between parental negativity and behavior problems from early childhood to adolescence: A longitudinal genetically sensitive study.

Little is known about how genetic and environmental factors contribute to the association between parental negativity and behavior problems from early childhood to adolescence. The current study fitted a cross-lagged model in a sample consisting of 4,075 twin pairs to explore (a) the role of genetic and environmental factors in the relationship between parental negativity and behavior problems from age 4 to age 12, (b) whether parent-driven and child-driven processes independently explain the association, and (c) whether there are sex differences in this relationship. Both phenotypes showed substantial genetic influence at both ages. The concurrent overlap between them was mainly accounted for by genetic factors. Causal pathways representing stability of the phenotypes and parent-driven and child-driven effects significantly and independently account for the association. Significant but slight differences were found between males and females for parent-driven effects. These results were highly similar when general cognitive ability was added as a covariate. In summary, the longitudinal association between parental negativity and behavior problems seems to be bidirectional and mainly accounted for by genetic factors. Furthermore, child-driven effects were mainly genetically mediated, and parent-driven effects were a function of both genetic and shared-environmental factors.

Some optimization and decision problems in proportional reinsurance

Reinsurance is one of the tools that an insurer can use to mitigate the underwriting risk and then to control its solvency. In this paper, we focus on the proportional reinsurance arrangements and we examine several optimization and decision problems of the insurer with respect to the reinsurance strategy. To this end, we use as decision tools not only the probability of ruin but also the random variable deficit at ruin if ruin occurs. The discounted penalty function (Gerber & Shiu, 1998) is employed to calculate as particular cases the probability of ruin and the moments and the distribution function of the deficit at ruin if ruin occurs.

First-passage and escape problems in the Feller process

The Feller process is an one-dimensional diffusion process with linear drift and state-dependent diffusion coefficient vanishing at the origin. The process is positive definite and it is this property along with its linear character that have made Feller process a convenient candidate for the modeling of a number of phenomena ranging from single-neuron firing to volatility of financial assets. While general properties of the process have long been well known, less known are properties related to level crossing such as the first-passage and the escape problems. In this work we thoroughly address these questions.

Macroinvertebrate assemblages on reed beds, with special attention to Chironomidae (Diptera), in Mediterranean shallow lakes.

Macroinvertebrates associated to reed-beds (Phragmites australis) in six shallow natural water bodies along the 220 km of coast of the Comunidad Valenciana (Spain) were studied. These sites were selected to reflect different trophic states, but also, and due to the natural variability of mediterranean wetlands, they greatly differ in salinity and hydroperiod. To unify the sampling, reed bed was chosen to provide data from a habitat common to all wetlands, including the most eutrophic ones where submerged macrophytes have disappeared due to water turbidity. Individual submerged stems of Phragmites australis were sampled along with the surrounding water. The animal density found refers to the available stem surface area for colonization. Forty-one taxa were recorded in total, finding Chironomidae to be the most important group, quantitatively and qualitatively. In freshwater sites it was observed an increase in macroinvertebrate"s density at higher trophic states. Nevertheless each studied region had a different fauna. The PCA analysis with macroinvertebrate groups distinguished three types of environment: freshwaters (characterized by swimming insect larvae, collectors and predators, oligochaetes and Orthocladiinae), saline waters (characterized by crustaceans and Chironominae) and the spring pool, which shares both taxa. Chironomids were paid special attention for being the most abundant. A DCA analysis based on the relative abundance of Chironomids reveals salinity as the main characteristic responsible for its distribution, but trophic state and hydrological regime were also shown to be important factors.

A role of Eye Vergence in Covert Attention

Covert spatial attention produces biases in perceptual and neural responses in the absence of overt orienting movements. The neural mechanism that gives rise to these effects is poorly understood. Here we report the relation between fixational eye movements, namely eye vergence, and covert attention. Visual stimuli modulate the angle of eye vergence as a function of their ability to capture attention. This illustrates the relation between eye vergence and bottom-up attention. In visual and auditory cue/no-cue paradigms, the angle of vergence is greater in the cue condition than in the no-cue condition. This shows a top-down attention component. In conclusion, observations reveal a close link between covert attention and modulation in eye vergence during eye fixation. Our study suggests a basis for the use of eye vergence as a tool for measuring attention and may provide new insights into attention and perceptual disorders.

Com afronten els infants amb factors de risc de TDAH l'adquisició de la lectura: la consciència fonològica com a eina per millorar l'aprenentatge dels components bàsics de la lectura a educació infantil

L’adquisició de la lectura és un dels moments més importants i reconeguts socialment en la vida de l’infant, per això, amb aquesta recerca es pretén investigar les dificultats i mancances que tenen els infants davant d’aquest gran repte. Es centrarà l’atenció en aquells infants que mostren factors de risc de TDAH per tal de justificar i comprovar que aquests mostren més dificultats en l’adquisició de la lectura que els infants que no mostren aquest factor de risc. Per una altra banda, amb aquesta recerca també es pretén demostrar la importància del treball sistemàtic de la consciència fonològica en l’etapa d’educació infantil, per afavorir i garantir l’adquisició de la lectura de manera integra i significativa.

Rationing problems with payoff thresholds

An extension of the standard rationing model is introduced. Agents are not only identi fied by their respective claims over some amount of a scarce resource, but also by some payoff thresholds. These thresholds introduce exogenous differences among agents (full or partial priority, past allocations, past debts, ...) that may influence the final distribution. Within this framework we provide generalizations of the constrained equal awards rule and the constrained equal losses rule. We show that these generalized rules are dual from each other. We characterize the generalization of the equal awards rule by using the properties of consistency, path-independence and compensated exemption. Finally, we use the duality between rules to characterize the generalization of the equal losses solution.

Approximation to the theory of affinities to manage the problems of the groupping process

New economic and enterprise needs have increased the interest and utility of the methods of the grouping process based on the theory of uncertainty. A fuzzy grouping (clustering) process is a key phase of knowledge acquisition and reduction complexity regarding different groups of objects. Here, we considered some elements of the theory of affinities and uncertain pretopology that form a significant support tool for a fuzzy clustering process. A Galois lattice is introduced in order to provide a clearer vision of the results. We made an homogeneous grouping process of the economic regions of Russian Federation and Ukraine. The obtained results gave us a large panorama of a regional economic situation of two countries as well as the key guidelines for the decision-making. The mathematical method is very sensible to any changes the regional economy can have. We gave an alternative method of the grouping process under uncertainty.

Identifying strategies for mitigating the global warming impact of the EU-25 economy using a multi-objective input-output approach

Global warming mitigation has recently become a priority worldwide. A large body of literature dealing with energy related problems has focused on reducing greenhouse gases emissions at an engineering scale. In contrast, the minimization of climate change at a wider macroeconomic level has so far received much less attention. We investigate here the issue of how to mitigate global warming by performing changes in an economy. To this end, we make use of a systematic tool that combines three methods: linear programming, environmentally extended input output models, and life cycle assessment principles. The problem of identifying key economic sectors that contribute significantly to global warming is posed in mathematical terms as a bi criteria linear program that seeks to optimize simultaneously the total economic output and the total life cycle CO2 emissions. We have applied this approach to the European Union economy, finding that significant reductions in global warming potential can be attained by regulating specific economic sectors. Our tool is intended to aid policymakers in the design of more effective public policies for achieving the environmental and economic targets sought.

Similar problems, different solutions: Comparing refuse collection in the Netherlands and Spain

Local public service provision can vary greatly because of differences in institutional arrangements, public service markets, and national traditions regarding government intervention. In this paper we compare the procedures adopted by the local governments of the Netherlands and Spain in arranging for the provision of solid waste collection. We find that Spain faces a consolidation problem, opting more frequently to implement policies of privatization and cooperation, at the expense of competition. By contrast, the Netherlands has, on average, larger municipalities, resorting somewhat less to privatization and cooperation, and more to competition. The two options - cooperation and competition - have their merits when striving to strike a balance between transaction costs and scale economies. The choices made in organizational reform seem to be related to several factors, among which the nature of the political system and the size of municipalities appear to be relevant.