The problem concerns the extension of Monadic Second Order Logic (over a binary relation representing the edge relation) with the following atomic formulas:
\item \item
where is a fixed recursive set of integers.
Let us fix and a closed formula in this language.
Conjecture Is it true that the validity of for a graph of tree-width at most can be tested in polynomial time in the size of ?
Conjecture A Fermat prime is a Fermat number that is prime. The only known Fermat primes are F_0 =3,F_1=5,F_2=17,F_3 =257 ,F_4=65537 It is unknown if other fermat primes exist.
Problem Is there an algorithm which takes as input a triangulated 4-manifold, and determines whether or not this manifold is combinatorially equivalent to the 4-sphere?
Conjecture It has been shown that a -outerplanar embedding for which is minimal can be found in polynomial time. Does a similar result hold for -edge-outerplanar graphs?
Conjecture There is a finite upper bound on the multiplicities of entries in Pascal's triangle, other than the number .
The number appears once in Pascal's triangle, appears twice, appears three times, and appears times. There are infinite families of numbers known to appear times. The only number known to appear times is . It is not known whether any number appears more than times. The conjectured upper bound could be ; Singmaster thought it might be or . See Singmaster's conjecture.
Conjecture Let is a family of multifuncoids such that each is of the form where is an index set for every and is a set for every . Let every for some multifuncoid of the form regarding the filtrator . Let is a graph-composition of (regarding some partition and external set ). Then there exist a multifuncoid of the form such that regarding the filtrator .
Conjecture For every , there exists an integer such that if is a digraph whose arcs are colored with colors, then has a set which is the union of stables sets so that every vertex has a monochromatic path to some vertex in .
Conjecture If is a bridgelesscubic graph, then there exist 6 perfect matchings of with the property that every edge of is contained in exactly two of .
Conjecture In the category of continuous funcoids (defined similarly to the category of topological spaces) the following is a direct categorical product:
\item Product morphism is defined similarly to the category of topological spaces. \item Product object is the sub-atomic product. \item Projections are sub-atomic projections.
See details, exact definitions, and attempted proofs here.
Problem Let be natural numbers with . It follows from the pigeon-hole principle that there exist distinct subsets with . Is it possible to find such a pair in polynomial time?
Conjecture Any linear hypergraph with incidence poset of dimension at most 3 is the intersection hypergraph of a family of triangles and segments in the plane.
Conjecture Every complete geometric graph with an even number of vertices has a partition of its edge set into plane (i.e. non-crossing) spanning trees.
Conjecture Let is a -separable (the same as for symmetric transitive) compact funcoid and is a uniform space (reflexive, symmetric, and transitive endoreloid) such that . Then .
The main purpose here is to find a direct proof of this conjecture. It seems that this conjecture can be derived from the well known theorem about existence of exactly one uniformity on a compact set. But that would be what I call an indirect proof, we need a direct proof instead.
The direct proof may be constructed by correcting all errors an omissions in this draft article.
Direct proof could be better because with it we would get a little more general statement like this:
Conjecture Let be a -separable compact reflexive symmetric funcoid and be a reloid such that \item ; \item .
login/create account
\item 
is a fixed recursive set of integers.
and a closed formula 
in this language.
of tree-width at most ![$ p \in {\mathbb Q}[x] $](/files/tex/a72fcb0a006c3c2afb3ba69722ccdb2599b83e90.png)
rationally derived if all roots of 
and the nonzero derivatives of ![\[ F_n = 2^{2^n } + 1 \]](/files/tex/0da5a50010e4e5df91c0d58080245ece34ec9ca6.png)
that is prime. The only known Fermat primes are F_0 =3,F_1=5,F_2=17,F_3 =257 ,F_4=65537 It is unknown if other fermat primes exist.
. 
appears once in Pascal's triangle, 
appears twice, 
appears three times, and 
appears 
times. There are infinite families of numbers known to appear 
times is 
. It is not known whether any number appears more than 
. See 
with minimum outdegree at least 
has a cycle with length at most 
is of the form 
where 
is an index set for every 
and 
is a set for every 
. Let every 
for some multifuncoid 
of the form 
regarding the filtrator 
. Let 
is a graph-composition of 
). Then there exist a multifuncoid 
of the form 
such that 
regarding the filtrator 
. 
denote the pebbling number of a graph 
. 
, and let ![\[ {\mathbb P}(e \in F \mid f \in F}) \le {\mathbb P}(e \in F) \]](/files/tex/1fe7ac9c579238670e3aa16ae401e8194e1c3da3.png)
such that if 
is a digraph whose arcs are colored with 
set which is the union of ![\[ F_n = 2^{2^{n } } + 1 \]](/files/tex/70ca73d7e82af2fee084a8417e172c58cf78b376.png)
Square-Free?
cycles. 
of 
to the edges of 
-geodesic cycle is 
, what is the smallest integer 
such that 
? 
be natural numbers with 
. It follows from the pigeon-hole principle that there exist distinct subsets 
with 
. Is it possible to find such a pair 
in polynomial time? 
has a Hamilton cycle. ![$ p \in [0,1] $](/files/tex/1d076f7332523eb59bd7deae19667f83f0a3b6e0.png)
, we let 
denote a subgraph of 
so that 
? 
is a 
-separable (the same as 
for symmetric transitive) compact funcoid and 
is a uniform space (reflexive, symmetric, and transitive endoreloid) such that 
. Then 
. 
. 
. 
is the minimum number 
for which there exists a polytope 
with 
with 
.
? 
be the unique integer (with respect to a fixed 
) such that
is a prime iff ![$$ \displaystyle \sum_{i=1}^{\left \lfloor \frac{\sqrt[3]p}{2} \right \rfloor} r_i = \left \lfloor \frac{\sqrt[3]p}{2} \right \rfloor $$](/files/tex/99af565f4cc4d3bab11eb3fbf54f78626678d484.png)
of 
Drupal
CSI of Charles University