Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible

We analyze the computational complexity of the many types of pencil-and-paper-style puzzles featured in the 2016 puzzle video game The Witness. In all puzzles, the goal is to draw a simple path in a rectangular grid graph from a start vertex to a destination vertex. The different puzzle types place different constraints on the path: preventing some edges from being visited (broken edges); forcing some edges or vertices to be visited (hexagons); forcing some cells to have certain numbers of incident path edges (triangles); or forcing the regions formed by the path to be partially monochromatic (squares), have exactly two special cells (stars), or be singly covered by given shapes (polyominoes) and/or negatively counting shapes (antipolyominoes). We show that any one of these clue types (except the first) is enough to make path finding NP-complete ("witnesses exist but are hard to find"), even for rectangular boards. Furthermore, we show that a final clue type (antibody), which necessarily "cancels" the effect of another clue in the same region, makes path finding $\Sigma_2$-complete ("witnesses do not exist"), even with a single antibody (combined with many anti/polyominoes), and the problem gets no harder with many antibodies. On the positive side, we give a polynomial-time algorithm for monomino clues, by reducing to hexagon clues on the boundary of the puzzle, even in the presence of broken edges, and solving "subset Hamiltonian path" for terminals on the boundary of an embedded planar graph in polynomial time.Comment: 72 pages, 59 figures. Revised proof of Lemma 3.5. A short version of this paper appeared at the 9th International Conference on Fun with Algorithms (FUN 2018

A Threat Assessment and Security Analysis of the Three Sports Facilities of Indiana University-Purdue University, Indianapolis NCAA Softball Fields, Carroll Stadium, and the IU Natatorium

This research report provides a security assessment of the Softball Fields, Carroll Stadium, and the Natatorium Complex at Indiana University-Purdue University Indianapolis (IUPUI). The purpose of this report is to prevent and mitigate harm to visitors and these facilities which resulting from human-made or natural disasters. Research is guided by the hypothesis that these facilities- due to their respective importance, locations, and attendance patterns are in harm’s way; and that certain strategies of prevention, protection, and mitigation coupled with effective preparedness, response, and recovery can lessen risk, improve security and provide A THREAT ASSESSMENT AND SECURITY ANALYSIS 5 added resilience. Further, “harm’s way” is considered to be either a natural disaster or a human-made disaster, accident, active provocation, or act of terrorism. Methods of analysis include applied research; predominantly utilizing qualitative data with some quantitative investigation. Results of this assessment illustrate that these venues possess numerous vulnerabilities to both natural and human-made threats that if exposed, could result in serious consequences. The two most likely natural hazards identified include straight-line winds and tornadoes. Further, the most likely human threats to these facilities arise from a potential terrorist vehicle attack (TVA) and an active shooter. This project also identifies a specific need for additional planning to prevent an IED or VBIED attack on the Natatorium. Common themes from the attached three case studies reveal that given theses vulnerabilities, the following safety and security adjustments are recommended: Surveillance equipment Metal detectors Security bollards or other temporary barriers Evacuation routes and shelter in place plans Special event security procedures Weather related technology and protocols Staff training for emergency situation

Parallel Chemical Genetic and Genome-Wide RNAi Screens Identify Cytokinesis Inhibitors and Targets

Cytokinesis involves temporally and spatially coordinated action of the cell cycle and cytoskeletal and membrane systems to achieve separation of daughter cells. To dissect cytokinesis mechanisms it would be useful to have a complete catalog of the proteins involved, and small molecule tools for specifically inhibiting them with tight temporal control. Finding active small molecules by cell-based screening entails the difficult step of identifying their targets. We performed parallel chemical genetic and genome-wide RNA interference screens in Drosophila cells, identifying 50 small molecule inhibitors of cytokinesis and 214 genes important for cytokinesis, including a new protein in the Aurora B pathway (Borr). By comparing small molecule and RNAi phenotypes, we identified a small molecule that inhibits the Aurora B kinase pathway. Our protein list provides a starting point for systematic dissection of cytokinesis, a direction that will be greatly facilitated by also having diverse small molecule inhibitors, which we have identified. Dissection of the Aurora B pathway, where we found a new gene and a specific small molecule inhibitor, should benefit particularly. Our study shows that parallel RNA interference and small molecule screening is a generally useful approach to identifying active small molecules and their target pathways

Identification of 12 new susceptibility loci for different histotypes of epithelial ovarian cancer.

To identify common alleles associated with different histotypes of epithelial ovarian cancer (EOC), we pooled data from multiple genome-wide genotyping projects totaling 25,509 EOC cases and 40,941 controls. We identified nine new susceptibility loci for different EOC histotypes: six for serous EOC histotypes (3q28, 4q32.3, 8q21.11, 10q24.33, 18q11.2 and 22q12.1), two for mucinous EOC (3q22.3 and 9q31.1) and one for endometrioid EOC (5q12.3). We then performed meta-analysis on the results for high-grade serous ovarian cancer with the results from analysis of 31,448 BRCA1 and BRCA2 mutation carriers, including 3,887 mutation carriers with EOC. This identified three additional susceptibility loci at 2q13, 8q24.1 and 12q24.31. Integrated analyses of genes and regulatory biofeatures at each locus predicted candidate susceptibility genes, including OBFC1, a new candidate susceptibility gene for low-grade and borderline serous EOC

Optimasi Portofolio Resiko Menggunakan Model Markowitz MVO Dikaitkan dengan Keterbatasan Manusia dalam Memprediksi Masa Depan dalam Perspektif Al-Qur`an

Risk portfolio on modern finance has become increasingly technical, requiring the use of sophisticated mathematical tools in both research and practice. Since companies cannot insure themselves completely against risk, as human incompetence in predicting the future precisely that written in Al-Quran surah Luqman verse 34, they have to manage it to yield an optimal portfolio. The objective here is to minimize the variance among all portfolios, or alternatively, to maximize expected return among all portfolios that has at least a certain expected return. Furthermore, this study focuses on optimizing risk portfolio so called Markowitz MVO (Mean-Variance Optimization). Some theoretical frameworks for analysis are arithmetic mean, geometric mean, variance, covariance, linear programming, and quadratic programming. Moreover, finding a minimum variance portfolio produces a convex quadratic programming, that is minimizing the objective function ðð¥with constraintsð ð 𥠥 ðandð´ð¥ = ð. The outcome of this research is the solution of optimal risk portofolio in some investments that could be finished smoothly using MATLAB R2007b software together with its graphic analysis

Search for heavy resonances decaying to two Higgs bosons in final states containing four b quarks

A search is presented for narrow heavy resonances X decaying into pairs of Higgs bosons (H) in proton-proton collisions collected by the CMS experiment at the LHC at root s = 8 TeV. The data correspond to an integrated luminosity of 19.7 fb(-1). The search considers HH resonances with masses between 1 and 3 TeV, having final states of two b quark pairs. Each Higgs boson is produced with large momentum, and the hadronization products of the pair of b quarks can usually be reconstructed as single large jets. The background from multijet and t (t) over bar events is significantly reduced by applying requirements related to the flavor of the jet, its mass, and its substructure. The signal would be identified as a peak on top of the dijet invariant mass spectrum of the remaining background events. No evidence is observed for such a signal. Upper limits obtained at 95 confidence level for the product of the production cross section and branching fraction sigma(gg -> X) B(X -> HH -> b (b) over barb (b) over bar) range from 10 to 1.5 fb for the mass of X from 1.15 to 2.0 TeV, significantly extending previous searches. For a warped extra dimension theory with amass scale Lambda(R) = 1 TeV, the data exclude radion scalar masses between 1.15 and 1.55 TeV

Measurement of the top quark mass using charged particles in pp collisions at root s=8 TeV

Peer reviewe

Measurement of t(t)over-bar normalised multi-differential cross sections in pp collisions at root s=13 TeV, and simultaneous determination of the strong coupling strength, top quark pole mass, and parton distribution functions

Peer reviewe