Multiply sectioned Bayesian networks (MSBNs) provide a framework for proba-bilistic reasoning in a complex single user oriented system as well as in a cooperative multi-agent distributed interpretation system. During the construction or dynamic formation of a MSBN, automatic veriication of the acyclicity of the overall structure is desired. Well known algorithms for acyclicity test assume a cen...

We study the house allocation with existing tenants model (introduced by Abdulkadiroğlu and Sönmez, 1999) and consider rules that allocate houses based on priorities. We introduce a new acyclicity requirement for the underlying priority structure which is based on the acyclicity conditions by Ergin (2002) and Kesten (2006) for house allocation with quotas and without existing tenants. We show t...

We prove an analogue for $p$-adic coefficients of the Deligne--Laumon theorem on local acyclicity curves. That is, overconvergent $F$-isocrystal $E$ a relative curve $f:U\rightarrow S$ admitting good compactification, we show that cohomology sheaves $\mathbf{R}f_!E$ are isocrystals if and only has constant Swan conductor at infinity.

In k-Digraph Coloring we are given a digraph and asked to partition its vertices into at most k sets, so that each set induces DAG. This well-known problem is NP-hard, as it generalizes (undirected) k-Coloring, but becomes trivial if the input acyclic. poses natural parameterized complexity question of what happens when “almost” this paper study using parameters measure input’s distance acyclic...

In programming languages with a dynamic use of memory, such as Java, knowing that a reference variable x points to an acyclic data structure is valuable for the analysis of termination and resource usage (e.g., execution time or memory consumption). For instance, this information guarantees that the depth of the data structure to which x points is greater than the depth of the data structure po...

I prove that there is no systematic rule for aggregating individual preferences that satisfies the standard axioms of Independence, Pareto, and Acyclicity, that avoids making any individual a weak dictator, and that is sensitive to substantial changes in individual preferences. When there are three or more alternatives, the latter axiom requires that a preference reversal in the same direction ...