« first day (4122 days earlier)      last day (409 days later) » 

4:19 AM
0
Q: The values of $m,n$ that makes $U_{m,n}$ graphic.

EmptymindI am trying to find the values of $m,n$ that makes $U_{m,n}$ graphic. I am guessing that it is only graphic if $n = m + 1,$ I tried $U_{2,4},U_{2,5},U_{3,6}, U_{2,3},U_{4,5}$ and I think I am correct. Am I correct or I am missing something? EDIT: Here is the definition of regular: A regular matro...

0
Q: Is $K_{3,3}$ with vertices on a circle locally rigid in the plane?

pritamConsider the complete bipartite graph $K_{3,3}$ in plane such that all its vertices lie on a circle. Is this framework locally rigid in plane (which I believe is the case) and if so, how to prove this? I know that the above framework is not infinitesimally rigid. Moreover, it is known (due to Bol...

0
Q: Frameworks in general position that are locally rigid but not infinitesimally rigid

Pritam MajumderThe classical theorem of Asimow and Roth says that for a generic framework (i.e., coordinates of the nodes are algebraically independent), local rigidity and infinitesimal rigidity are equivalent. I was wondering how this theorem fails if we replace "generic'' by "(affine) general position". So m...

Wikipedia article Rigidity theory is a disambiguation page.
Rigidity theory may refer to Study of the concept of rigidity (mathematics) Mathematical theory of structural rigidity Rigidity theory (physics), or topological constraints theory, describes or predicts the mechanical properties of glass
In mathematics, a rigid collection C of mathematical objects (for instance sets or functions) is one in which every c ∈ C is uniquely determined by less information about c than one would expect. The above statement does not define a mathematical property; instead, it describes in what sense the adjective "rigid" is typically used in mathematics, by mathematicians. == Examples == Some examples include: Harmonic functions on the unit disk are rigid in the sense that they are uniquely determined by their boundary values. Holomorphic functions are determined by the set of all derivatives at a single...
In discrete geometry and mechanics, structural rigidity is a combinatorial theory for predicting the flexibility of ensembles formed by rigid bodies connected by flexible linkages or hinges. == Definitions == Rigidity is the property of a structure that it does not bend or flex under an applied force. The opposite of rigidity is flexibility. In structural rigidity theory, structures are formed by collections of objects that are themselves rigid bodies, often assumed to take simple geometric forms such as straight rods (line segments), with pairs of objects connected by flexible hinges. A structure...
Rigidity theory, or topological constraint theory, is a tool for predicting properties of complex networks (such as glasses) based on their composition. It was introduced by James Charles Phillips in 1979 and 1981, and refined by Michael Thorpe in 1983. Inspired by the study of the stability of mechanical trusses as pioneered by James Clerk Maxwell, and by the seminal work on glass structure done by William Houlder Zachariasen, this theory reduces complex molecular networks to nodes (atoms, molecules, proteins, etc.) constrained by rods (chemical constraints), thus filtering out microscopic details...
In combinatorics, a branch of mathematics, a matroid is a structure that abstracts and generalizes the notion of linear independence in vector spaces. There are many equivalent ways to define a matroid axiomatically, the most significant being in terms of: independent sets; bases or circuits; rank functions; closure operators; and closed sets or flats. In the language of partially ordered sets, a finite simple matroid is equivalent to a geometric lattice. Matroid theory borrows extensively from the terminology of both linear algebra and graph theory, largely because it is the abstraction of various...
In the mathematical theory of matroids, a graphic matroid (also called a cycle matroid or polygon matroid) is a matroid whose independent sets are the forests in a given finite undirected graph. The dual matroids of graphic matroids are called co-graphic matroids or bond matroids. A matroid that is both graphic and co-graphic is sometimes called a planar matroid (but this should not be confused with matroids of rank 3, which generalize planar point configurations); these are exactly the graphic matroids formed from planar graphs. == Definition == A matroid may be defined as a family of finite sets...
In mathematics, a uniform matroid is a matroid in which the independent sets are exactly the sets containing at most r elements, for some fixed integer r. An alternative definition is that every permutation of the elements is a symmetry. == Definition == The uniform matroid U n r {\displaystyle U{}_{n}^{r}} is defined over a set of n {\displaystyle n} elements. A subset of the elements is independent if...
 
11 hours later…
3:14 PM
A new tag - I assume it was created by mistake, so I'll remove the tag from that question: math.stackexchange.com/posts/4775283/revisions
0
Q: How to draw Caley complex for any group

NopeI am reading Algebraic Topology by Allen Hatcher. I come to know for any group $G$ ,we can make an universal cover $X$ of $X/G$ by properly discontinuous action . There is a paragraph mentioned in Hatcher's book about Caley Complex. Though it is mentioned ,but I couldn't figure out when I want to...

A new tag - it has now four questions, and it has a tag-excerpt: "For questions regarding functionally complete sets of Boolean functions, that is, logical connectives."
0
Q: How does functional completeness relate to expressiveness in higher-order logics?

Pole_StarIn first-order logic, the notion of functional completeness is well-defined. But in higher-order logics, where we can quantify over predicates and not just individuals, the notion of functional completeness may be more complex.

3
Q: Showing Functional Completeness

CantorI am reading about Functional Completeness in Wikipedia. In the "Formal Definition: "Since every Boolean function of at least one variable can be expressed in terms of binary Boolean functions, F is functionally complete if and only if every binary Boolean function can be expressed in terms of t...

3
Q: proof of functional completeness of logical operators

user141834If I know that the set of operators {∨, & , ¬} is functionally complete, how do I go about proving/disproving the functional completeness of the following set of operators? a) $\{\vee,\neg\}$ b) $\{\to,\neg\}$ c) $\{\to\}$ I have looked at the answer here for (b) : Prove that the set {→, ¬} ...

2
Q: Functional completeness of $\{\text{or},\text{ xor}, \text{ xnor}\}$

FreddyI need to prove the functional completeness of $\{\text{or},\text{ xor},\text{ xnor}\}$ with the help of $\{\text{not},\text{ or},\text{ and}\}$ (which have been already proven to be functional complete). My attempt is that I only have to show that $\{\text{or},\text{ xor}\}$ is functional comple...

In logic, a functionally complete set of logical connectives or Boolean operators is one which can be used to express all possible truth tables by combining members of the set into a Boolean expression. A well-known complete set of connectives is { AND, NOT }. Each of the singleton sets { NAND } and { NOR } is functionally complete. However, the set { AND, OR } is incomplete, due to its inability to express NOT. A gate or set of gates which is functionally complete can also be called a universal gate / gates. A functionally complete set of gates may utilise or generate 'garbage bits' as part of...

« first day (4122 days earlier)      last day (409 days later) »