Skip to main content
Share Your Experience: Take the 2024 Developer Survey

Questions tagged [generalizations]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
1 answer
99 views

Is there a generalized SAT problem for higher-order logics?

The SAT problem is based upon Boolean expressions, but is there a generalized SAT problem based upon higher order logics?
Geremia's user avatar
  • 111
1 vote
0 answers
94 views

Known generalizations of Gauss pivot method?

The well-known Gauss pivot method can be used to solve a system of linear equations over a field. I'm aware of two extensions of this method: (i) the Büchberger algorithm for computation of Gröbner ...
NisaiVloot's user avatar
  • 1,292
14 votes
4 answers
1k views

Which properties of planar graphs generalize to higher dimension / hypergraphs?

A planar graph is a graph which can be embedded in the plane, without having crossing edges. Let $G=(X,E)$ be a $k$-uniform-hypergraph, i.e. an hypergraph such that all its hyperedges have size k. ...
R B's user avatar
  • 9,458