The star chromatic index of a graph is the minimum number of colors needed to properly color the edges of the graph so that no path or cycle of length four is bi-colored.
Question Is it true that for every (sub)cubic graph , we have ?
A covering design, or covering, is a family of -subsets, called blocks, chosen from a -set, such that each -subset is contained in at least one of the blocks. The number of blocks is the covering’s size, and the minimum size of such a covering is denoted by .
Problem Find a closed form, recurrence, or better bounds for . Find a procedure for constructing minimal coverings.
Question What is the least integer such that every set of at least points in the plane contains collinear points or a subset of points in general position (no three collinear)?
Let be a non-empty finite set. Given a partition of , the stabilizer of , denoted , is the group formed by all permutations of preserving each block of .
Problem () Find a sufficient condition for a sequence of partitions of to be complete, i.e. such that the product of their stabilizers is equal to the whole symmetric group on . In particular, what about completeness of the sequence , given a partition of and a permutation of ?
Conjecture (Beneš) Let be a uniform partition of and be a permutation of such that . Suppose that the set is transitive, for some integer . Then
Conjecture Denote by the number of non-Hamiltonian 3-regular graphs of size , and similarly denote by the number of non-Hamiltonian 3-regular 1-connected graphs of size .
Conjecture Is the approximation ratio for the Maximum Edge Disjoint Paths (MaxEDP) or the Maximum Integer Multiflow problem (MaxIMF) bounded by a constant in -outerplanar graphs or tree-width graphs?
Conjecture Let be a graph and be a positive integer. The power of , denoted by , is defined on the vertex set , by connecting any two distinct vertices and with distance at most . In other words, . Also subdivision of , denoted by , is constructed by replacing each edge of with a path of length . Note that for , we have . Now we can define the fractional power of a graph as follows: Let be a graph and . The graph is defined by the power of the subdivision of . In other words . Conjecture. Let be a connected graph with and be a positive integer greater than 1. Then for any positive integer , we have . In [1], it was shown that this conjecture is true in some special cases.
Conjecture Let be a simple graph with vertices and list chromatic number . Suppose that and each vertex of is assigned a list of colors. Then at least vertices of can be colored from these lists.
If is a finite set of points which is 2-colored, an empty triangle is a set with so that the convex hull of is disjoint from . We say that is monochromatic if all points in are the same color.
Conjecture There exists a fixed constant with the following property. If is a set of points in general position which is 2-colored, then it has monochromatic empty triangles.
Conjecture For which values of and are there bi-colored graphs on vertices and different colors with the property that all the monochromatic colorings have unit weight, and every other coloring cancels out?
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 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 .
Let be a set of points in the plane. Two points and in are visible with respect to if the line segment between and contains no other point in .
Conjecture For all integers there is an integer such that every set of at least points in the plane contains at least collinear points or pairwise visible points.
login/create account
of a graph 
is the minimum number of colors needed to properly color the edges of the graph so that no path or cycle of length four is bi-colored.
? 
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)
covering design, or covering, is a family of 
-subsets, called blocks, chosen from a 
-set, such that each 
-subset is contained in at least one of the blocks. The number of blocks is the covering’s size, and the minimum size of such a covering is denoted by 
.
. Find a procedure for constructing minimal coverings. 
such that every set of at least 
collinear points or a subset of 
is an invertible 
matrix, then there is an 
of ![$ [A A] $](/files/tex/d1e9d82c656535b507686183e640178057fae455.png)
so that 
is nonzero. 
be a non-empty finite set. Given a partition 
of 
, is the group formed by all permutations of 
.
) Find a sufficient condition for a sequence of partitions 
of 
is equal to the whole symmetric group 
on 
, given a partition 
of 
be a uniform partition of 
be a permutation of 
. Suppose that the set 
is transitive, for some integer 
. Then 
the number of non-Hamiltonian 3-regular graphs of size 
, and similarly denote by 
the number of non-Hamiltonian 3-regular 1-connected graphs of size 
? 
with 
so that 
has a 
. 
. 
be an elliptic curve over a number field 
. Then the order of the zeros of its 
-function, 
, at 
is the Mordell-Weil rank of 
. 
such that 
meets 
in at most one vertex, 
. 
(probably 
suffices) so that every embedded (loopless) graph with edge-width 
has a 5-local-tension. 
power of 
, is defined on the vertex set 
, by connecting any two distinct vertices 
and 
with distance at most 
. Also 
, is constructed by replacing each edge 
of 
, we have 
.
. The graph 
is defined by the 
power of the 
subdivision of 
.
and 
be a positive integer greater than 1. Then for any positive integer 
, we have 
.
be an indexed family of sets.
for 
.
on the lattice 
of all finite unions of products.
a bijection from hyperfuncoids 
defining the inverse bijection? If not, characterize the image of the function 
of complements of elements of the set 
. Suppose that 
and each vertex of 
vertices of 
is a finite set of points which is 2-colored, an empty triangle is a set 
with 
so that the convex hull of 
is disjoint from 
. We say that 
monochromatic empty triangles. 
. Does the fragment 
have the finite model property? 
are there bi-colored graphs on 
\item 
in this language.
denote the 
? 
. 
in 
such that the fundamental group of the complement has an unsolvable word problem? 
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 
. 
be a set of points in the plane. Two points 
in 
there is an integer 
collinear points or 
Drupal
CSI of Charles University