arXiv Science⌕ Search

arXiv subjects

Marcel Wild

Publications and source records attributed to Marcel Wild.

At least 19 recordsLinked to original sources
arXiv2026

Polynomial-time satisfiability for a special case of Positive$\wedge$Negative

A Boolean function in CNF format is of type Positive$\wedge$Negative} if each clause C is either positive (i.e. all literals of C are positive) or negative (i.e. all literals of C are negative). As is well known, deciding the satisfiability of such CNFs is NP-complete. We say that a CNF is of type DisjointPositive if its clauses are positive and mutually disjoint. Dually define DisjointNegative. It is shown that the satisfiability of CNFs of type DisjointPositive$\wedge$DisjointNegative can be decided in quadratic time. Moreover, the modelset can be output in polynomial total time. This is relevant since it affects not only the modelsets of CNFs of type Positive$\wedge$Negative, but more generally of type Horn$\wedge$AntiHorn. As to the latter CNFs, they e.g. occur in connection with the fixpoints of a Monotone Boolean Network. In another vein, the unsatisfiability of a Horn$\wedge$AntiHorn CNF can be demonstrated by means wholly different to the often used method of clausal proofs.

cs.CC↗
arXiv2024

Compression with wildcards: Enumerating specific induced subgraphs, and packing them as well

Various algorithms have been proposed to enumerate all connected induced subgraphs of a graph $G=(V,E)$. As a variation we enumerate all "packings of connected sets", i.e. partitions $\Pi$ of $V$ with the property that each part of $\Pi$ induces a connected subgraph. More generally, for various types $T$ of graphs we do (one or both of) the following: (i) enumerate all type $T$ (induced) subgraphs of a given graph $G$, or (ii) enumerate all packings of type $T$ subgraphs of $G$

math.CO↗
arXiv2024

Enumerating all geodesics

By "geodesic" we mean any sequence of vertices $(v_1,v_2,...,v_k)$ of a graph $G$ that constitute a shortest path from $v_1$ to $v_k$. We propose a novel, natural algorithm to enumerate all geodesics of $G$, and pit it (using Mathematica) against the standard procedure for the task. The distance matrix $D(G)$ plays a crucial role in this. In fact, part of our article is devoted to survey its many uses in related tasks.

math.CO↗
arXiv2024

Compression with wildcards: All induced metric subgraphs

Driven by applications in the natural, social and computer sciences several algorithms have been proposed to enumerate all sets $X\s V$ of vertices of a graph $G=(V,E)$ that induce a {\it connected} subgraph. We offer two algorithms for enumerating all $X$'s that induce (more exquisite) {\it metric} subgraphs. Specifically, the first algorithm, called {\tt AllMetricSets}, generates these $X$'s in a compressed format. The second algorithm generates all (accessible) metric sets one-by-one but is provably output-polynomial. Mutatis mutandis the same holds for the geodesically-convex sets $X\s V$, this being a natural strengthening of "metric". The Mathematica command {\tt BooleanConvert} features prominently.

math.CO↗
arXiv2024

Advertising finite commutative semigroups

Every mathematician is familiar with the beautiful structure of finite commutative groups. What is less well known is that finite commutative semigroups also have a neat and well-described structure. We prove this in an efficient fashion. We unravel the structural details of many concrete finite commutative semigroups. Here "concrete" comes in two types. First, we examine the structure of the MULTIPLICATIVE semigroups Z/nZ (more interesting than their bland additive siblings) and show that it depends on the prime factors of $n$ in interesting ways. Second, we thoroughly treat finite commutative semigroups defined by generators and relations. Our aim is to provide a comprehensive introduction to the area, including some novel results and some enticing directions for the expert to follow.

math.GR↗
arXiv2022

Modular lattices of finite length (Part B)

Part B (of a project involving four Parts) is about "bases of lines", a concept introduced by C. Herrmann and the author in the late 80's. Bases of lines attempt to describe a given modular lattice in a geometric way akin to how projective geometries describe complemented modular lattices. This e.g. yields the result that each modular lattice L of finite length d(L), and having s(L) many maximal congruences, has at least 2d(L)-s(L) many join-irreducible elements. Furthermore, an algorithm is proposed that calculates, in a compressed way, the (full) submodule lattice Sub(W) of any (sufficiently known) finite R-module W.

math.CO↗
arXiv2022

Modular lattices of finite length (Part A)

This is Part A of four Parts dedicated to modular lattices of finite length. It builds on 1992 notes of the author (available on ResearchGate), and in so doing heeds a wish of the late Gian-Carlo Rota. Part A is in fairly final form and mainly features known material, exceptions being a short proof of the distributivity of congruence lattices of lattices, as well as the concept of a point-splitting (which applies to arbitrary partial linear spaces). The planned content of Parts B,C,D is given in the introduction of Part A. Suffice it to say that deep results from C.Herrmann and R.Wille will be treated in English for the first time. All of this (even Part A) is work in process and comments/contributions are welcome.

math.CO↗
arXiv2020

Compression with wildcards: All exact, or all minimal hitting sets

Our main objective is the COMPRESSED enumeration (based on wildcards) of all minimal hitting sets of general hypergraphs. To the author's best knowledge the only previous attempt towards compression, due to Toda, is based on BDD's and much different from our techniques. Numerical experiments show that traditional one-by-one enumeration schemes cannot compete against compressed enumeration when the degree of compression is high. Our method works particularly well in these two cases: Either compressing all e x a c t hitting sets, or all m i n i m u m - cardinality hitting sets. In many aspects this version is better structured than its predecessor, and also contains some new material (such as an application of Rado's Theorem).

math.CO↗
arXiv2020

Compression with wildcards: All spanning trees with prescribed vertex-degrees

By processing all minimal cutsets of a graph G, and by using novel wildcards, all spanning trees of G can be compactly encoded. Surprisingly, a 1986 algorithm of Winter seems to achieve (Conjecture 2) exactly the same compression, although in totally unrelated ways! Although Winter's algorithm is faster, our method adapts to relevant variations of the task, e.g. to the enumeration of only those spanning trees that obey prescribed degree conditions

cs.DS↗
arXiv2019

ALLSAT compressed with wildcards: Frequent Set Mining

Like any simplicial complex the simplicial complex of all frequent sets can be compressed with wildcards once the maximal frequent sets (=facets) are known. Namely, the task (a particular kind of ALLSAT problem) is achieved by the author's recent algorithm Facets-To-Faces. But how to get the facets in the first place? The novel algorithm Find-All-Facets determines all facets of any (decidable) finite simplicial complex by replacing costly hypergraph dualization (Dualize+Advance and its variants) with the cheaper calculation of the minimal members of certain set families. The latter task is sped up by Vertical Layout. While all of this concerns arbitrary simplicial complexes, the impact to Frequent Set Mining (FSM) seems particularly high.

cs.DS↗
arXiv2018

Compression with wildcards: Abstract simplicial complexes

Despite the more handy terminology of abstract simplicial complexes SC, in its core this article is about antitone Boolean functions. Given the maximal faces (=facets) of SC, our main algorithm, called Facets-To-Faces, outputs SC in a compressed format. The degree of compression of Facets-To-Faces, which is programmed in high-level Mathematica code, compares favorably to both the Mathematica command BooleanConvert, and to the BDD's provided by Python. A novel way to calculate the face-numbers from the facets is also presented. Both algorithms can be parallelized and are applicable (e.g.) to reliability analysis, combinatorial topology, and frequent set mining.

cs.DS↗
arXiv2018

Finding or counting all shellings of a simplicial complex

The shellability status of previously investigated simplicial complexes with up to 24 facets is settled. In case of shellability the exact number of shellings is determined. Our algorithm merely relies on the facets, and not on additional information such as the face-numbers.

math.CO↗
arXiv2017

ALLSAT compressed with wildcards: An invitation for C-programmers

The model set of a general Boolean function in CNF is calculated in a compressed format, using novel wildcards. This method can be explained in very visual ways. Preliminary comparison with existing methods (BDD's and Mathematica's ESOP command) looks promising but our algorithm begs for a C encoding which would render it comparable in more systematic ways.

cs.DS↗
arXiv2017

An efficient data structure for counting all linear extensions of a poset, calculating its jump number, and the likes

Achieving the goals in the title (and others) relies on a cardinality-wise scanning of the ideals of the poset. Specifically, the relevant numbers attached to the k+1 element ideals are inferred from the corresponding numbers of the k-element (order) ideals. Crucial in all of this is a compressed representation (using wildcards) of the ideal lattice. The whole scheme invites distributed computation.

cs.DS↗
arXiv2017

Tight embedding of modular lattices into partition lattices: progress and program

Representing lattices L by equivalence relations amounts to embed them into the lattice Part(V) of all partitions of a set V, and has a long history. Here we are concerned with MODULAR lattices L and aim for sets V as small as possible, i.e. |V| = d(L)+1 where d(L) is the length of L. In other words, we strive for a tight (=cover-preserving) lattice homomorphism from L into Part(V). After a 24 year break the author offers progress, and outlines a program to finally fully characterize the lattices L that admit a tight embedding. Not just 'modular latticians' but also combinatorists are encouraged to contribute. Specifically, eight open questions are posed, four of which purely graph- and matroid-theoretic in nature.

math.CO↗
arXiv2017

Compression with wildcards: All k-models of a binary decision diagram

Given a Binary Decision Diagram $B$ of a Boolean function $\varphi$ in $n$ variables, it is well known that all $\varphi$-models can be enumerated in output polynomial time, and in a compressed way (using don't-care symbols). We show that all $N$ many $\varphi$-models of fixed Hamming-weight $k$ can be enumerated as well in time polynomial in $n$ and $|B|$ and $N$. Furthermore, using novel wildcards, again enables a compressed enumeration of these models.

cs.DS↗
arXiv2016

ALLSAT compressed with wildcards: From CNF's to orthogonal DNF's by imposing the clauses one by one

We present a novel technique for converting a Boolean CNF into an orthogonal DNF, aka exclusive sum of products. Our method (which will be pitted against a hardwired command from Mathematica) zooms in on the models of the CNF by imposing its clauses one by one. Clausal Imposition invites parallelization, and wildcards beyond the common don't-care symbol compress the output. The method is most efficient for few but large clauses. Generalizing clauses one can in fact impose superclauses. By definition, superclauses are obtained from clauses by substituting each positive litereal by an arbitrary conjunction of positive literals.

cs.AI↗