Random

Monadic second-order logic with cardinality predicates ★★

Author(s): Courcelle

The problem concerns the extension of Monadic Second Order Logic (over a binary relation representing the edge relation) with the following atomic formulas:

    \item $ \text{``}\,\mathrm{Card}(X) = \mathrm{Card}(Y)\,\text{''} $ \item $ \text{``}\,\mathrm{Card}(X) \text{ belongs to } A\,\text{''} $

where $ A $ is a fixed recursive set of integers.

Let us fix $ k $ and a closed formula $ F $ in this language.

Conjecture   Is it true that the validity of $ F $ for a graph $ G $ of tree-width at most $ k $ can be tested in polynomial time in the size of $ G $?

Keywords: bounded tree width; cardinality predicates; FMT03-Bedlewo; MSO

Cheats Candy Crush Saga Golds Lives Generator 2023-2024 (NEW-FREE!!) ★★

Author(s):

Cheats Candy Crush Saga Golds Lives Generator 2023-2024 (NEW-FREE!!)

Keywords:

Free Jurassic Park Builder Cheats Generator Pro Apk (2024) ★★

Author(s):

Free Jurassic Park Builder Cheats Generator Pro Apk (2024)

Keywords:

The circular embedding conjecture ★★★

Author(s): Haggard

Conjecture   Every 2-connected graph may be embedded in a surface so that the boundary of each face is a cycle.

Keywords: cover; cycle

eFootball 2023 Cheats Generator Unlimited IOS Android No Survey 2024 (Reedem Today) ★★

Author(s):

eFootball 2023 Cheats Generator Unlimited IOS Android No Survey 2024 (Reedem Today)

Keywords:

Quartic rationally derived polynomials ★★★

Author(s): Buchholz; MacDougall

Call a polynomial $ p \in {\mathbb Q}[x] $ rationally derived if all roots of $ p $ and the nonzero derivatives of $ p $ are rational.

Conjecture   There does not exist a quartic rationally derived polynomial $ p \in {\mathbb Q}[x] $ with four distinct roots.

Keywords: derivative; diophantine; elliptic; polynomial

Durer's Conjecture ★★★

Author(s): Durer; Shephard

Conjecture   Every convex polytope has a non-overlapping edge unfolding.

Keywords: folding; polytope

Are there only finite Fermat Primes? ★★★

Author(s):

Conjecture   A Fermat prime is a Fermat number \[ F_n  = 2^{2^n }  + 1 \] 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.

Keywords:

Is there an algorithm to determine if a triangulated 4-manifold is combinatorially equivalent to the 4-sphere? ★★★

Author(s): Novikov

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?

Keywords: 4-sphere; algorithm

The large sets conjecture ★★★

Author(s): Brown; Graham; Landman

Conjecture   If $ A $ is 2-large, then $ A $ is large.

Keywords: 2-large sets; large sets

Working Apex Legends Cheats Online Coins Generator (No Survey) ★★

Author(s):

Working Apex Legends Cheats Online Coins Generator (No Survey)

Keywords:

Rainbow Six Siege Cheats Generator Android Ios No Survey 2024 (Current Version) ★★

Author(s):

Rainbow Six Siege Cheats Generator Android Ios No Survey 2024 (Current Version)

Keywords:

Goldbach conjecture ★★★★

Author(s): Goldbach

Conjecture   Every even integer greater than 2 is the sum of two primes.

Keywords: additive basis; prime

Finding k-edge-outerplanar graph embeddings ★★

Author(s): Bentz

Conjecture   It has been shown that a $ k $-outerplanar embedding for which $ k $ is minimal can be found in polynomial time. Does a similar result hold for $ k $-edge-outerplanar graphs?

Keywords: planar graph; polynomial algorithm

Singmaster's conjecture ★★

Author(s): Singmaster

Conjecture   There is a finite upper bound on the multiplicities of entries in Pascal's triangle, other than the number $ 1 $.

The number $ 2 $ appears once in Pascal's triangle, $ 3 $ appears twice, $ 6 $ appears three times, and $ 10 $ appears $ 4 $ times. There are infinite families of numbers known to appear $ 6 $ times. The only number known to appear $ 8 $ times is $ 3003 $. It is not known whether any number appears more than $ 8 $ times. The conjectured upper bound could be $ 8 $; Singmaster thought it might be $ 10 $ or $ 12 $. See Singmaster's conjecture.

Keywords: Pascal's triangle

Codes Free Star Stable Star Coins Jorvik Coins Cheats 2024 No Human Veryfication!!! ★★

Author(s):

Codes Free Star Stable Star Coins Jorvik Coins Cheats 2024 No Human Veryfication!!!

Keywords:

Caccetta-Häggkvist Conjecture ★★★★

Author(s): Caccetta; Häggkvist

Conjecture   Every simple digraph of order $ n $ with minimum outdegree at least $ r $ has a cycle with length at most $ \lceil n/r\rceil $

Keywords:

Graph product of multifuncoids ★★

Author(s): Porton

Conjecture   Let $ F $ is a family of multifuncoids such that each $ F_i $ is of the form $ \lambda j \in N \left( i \right) : \mathfrak{F} \left( U_j \right) $ where $ N \left( i \right) $ is an index set for every $ i $ and $ U_j $ is a set for every $ j $. Let every $ F_i = E^{\ast} f_i $ for some multifuncoid $ f_i $ of the form $ \lambda j \in N \left( i \right) : \mathfrak{P} \left( U_j \right) $ regarding the filtrator $ \left( \prod_{j \in N \left( i \right)} \mathfrak{F} \left( U_j \right) ; \prod_{j \in N \left( i \right)} \mathfrak{P} \left( U_j \right) \right) $. Let $ H $ is a graph-composition of $ F $ (regarding some partition $ G $ and external set $ Z $). Then there exist a multifuncoid $ h $ of the form $ \lambda j \in Z : \mathfrak{P} \left( U_j \right) $ such that $ H = E^{\ast} h $ regarding the filtrator $ \left( \prod_{j \in Z} \mathfrak{F} \left( U_j \right) ; \prod_{j \in Z} \mathfrak{P} \left( U_j \right) \right) $.

Keywords: graph-product; multifuncoid

Pebbling a cartesian product ★★★

Author(s): Graham

We let $ p(G) $ denote the pebbling number of a graph $ G $.

Conjecture   $ p(G_1 \Box G_2) \le p(G_1) p(G_2) $.

Keywords: pebbling; zero sum

House Of Fun Cheats Generator (iOS Android 2024) ★★

Author(s):

House Of Fun Cheats Generator (iOS Android 2024)

Keywords:

Negative association in uniform forests ★★

Author(s): Pemantle

Conjecture   Let $ G $ be a finite graph, let $ e,f \in E(G) $, and let $ F $ be the edge set of a forest chosen uniformly at random from all forests of $ G $. Then \[ {\mathbb P}(e \in F \mid f \in F}) \le {\mathbb P}(e \in F) \]

Keywords: forest; negative association

Toon Blast Cheats Generator 2024 Cheats Generator Tested On Android Ios (extra) ★★

Author(s):

Toon Blast Cheats Generator 2024 Cheats Generator Tested On Android Ios (extra)

Keywords:

Convex uniform 5-polytopes ★★

Author(s):

Problem   Enumerate all convex uniform 5-polytopes.

Keywords:

Raid Shadow Legends Generator Cheats Free 2024 in 5 minutes (New Generator Cheats Raid Shadow Legends) ★★

Author(s):

Raid Shadow Legends Generator Cheats Free 2024 in 5 minutes (New Generator Cheats Raid Shadow Legends)

Keywords:

Hungry Shark Evolution Cheats Generator 2024 Working (Generator) ★★

Author(s):

Hungry Shark Evolution Cheats Generator 2024 Working (Generator)

Keywords:

Monochromatic reachability in arc-colored digraphs ★★★

Author(s): Sands; Sauer; Woodrow

Conjecture   For every $ k $, there exists an integer $ f(k) $ such that if $ D $ is a digraph whose arcs are colored with $ k $ colors, then $ D $ has a $ S $ set which is the union of $ f(k) $ stables sets so that every vertex has a monochromatic path to some vertex in $ S $.

Keywords:

Are all Fermat Numbers square-free? ★★★

Author(s):

Conjecture   Are all Fermat Numbers \[ F_n  = 2^{2^{n } }  + 1 \] Square-Free?

Keywords:

Question about 'solving' something ★★

Author(s):

Conjecture  

Keywords:

Are almost all graphs determined by their spectrum? ★★★

Author(s):

Problem   Are almost all graphs uniquely determined by the spectrum of their adjacency matrix?

Keywords: cospectral; graph invariant; spectrum

Decomposing an eulerian graph into cycles. ★★

Author(s): Hajós

Conjecture   Every simple eulerian graph on $ n $ vertices can be decomposed into at most $ \frac{1}{2}(n-1) $ cycles.

Keywords:

The Berge-Fulkerson conjecture ★★★★

Author(s): Berge; Fulkerson

Conjecture   If $ G $ is a bridgeless cubic graph, then there exist 6 perfect matchings $ M_1,\ldots,M_6 $ of $ G $ with the property that every edge of $ G $ is contained in exactly two of $ M_1,\ldots,M_6 $.

Keywords: cubic; perfect matching

Sub-atomic product of funcoids is a categorical product ★★

Author(s):

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.

Keywords:

Consecutive non-orientable embedding obstructions ★★★

Author(s):

Conjecture   Is there a graph $ G $ that is a minor-minimal obstruction for two non-orientable surfaces?

Keywords: minor; surface

Geodesic cycles and Tutte's Theorem ★★

Author(s): Georgakopoulos; Sprüssel

Problem   If $ G $ is a $ 3 $-connected finite graph, is there an assignment of lengths $ \ell: E(G) \to \mathb R^+ $ to the edges of $ G $, such that every $ \ell $-geodesic cycle is peripheral?

Keywords: cycle space; geodesic cycles; peripheral cycles

List Colourings of Complete Multipartite Graphs with 2 Big Parts ★★

Author(s): Allagan

Question   Given $ a,b\geq2 $, what is the smallest integer $ t\geq0 $ such that $ \chi_\ell(K_{a,b}+K_t)= \chi(K_{a,b}+K_t) $?

Keywords: complete bipartite graph; complete multipartite graph; list coloring

Bingo Blitz Cheats Generator Free Unlimited Cheats Generator (LATEST VERSION) ★★

Author(s):

Bingo Blitz Cheats Generator Free Unlimited Cheats Generator (LATEST VERSION)

Keywords:

Subset-sums equality (pigeonhole version) ★★★

Author(s):

Problem   Let $ a_1,a_2,\ldots,a_n $ be natural numbers with $ \sum_{i=1}^n a_i < 2^n - 1 $. It follows from the pigeon-hole principle that there exist distinct subsets $ I,J \subseteq \{1,\ldots,n\} $ with $ \sum_{i \in I} a_i = \sum_{j \in J} a_j $. Is it possible to find such a pair $ I,J $ in polynomial time?

Keywords: polynomial algorithm; search problem

Linear Hypergraphs with Dimension 3 ★★

Author(s): de Fraysseix; Ossona de Mendez; Rosenstiehl

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.

Keywords: Hypergraphs

Perfect 2-error-correcting codes over arbitrary finite alphabets. ★★

Author(s):

Conjecture   Does there exist a nontrivial perfect 2-error-correcting code over any finite alphabet, other than the ternary Golay code?

Keywords: 2-error-correcting; code; existence; perfect; perfect code

Partition of Complete Geometric Graph into Plane Trees ★★

Author(s):

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.

Keywords: complete geometric graph, edge colouring

Every prism over a 3-connected planar graph is hamiltonian. ★★

Author(s): Kaiser; Král; Rosenfeld; Ryjácek; Voss

Conjecture   If $ G $ is a $ 3 $-connected planar graph, then $ G\square K_2 $ has a Hamilton cycle.

Keywords:

Coloring random subgraphs ★★

Author(s): Bukh

If $ G $ is a graph and $ p \in [0,1] $, we let $ G_p $ denote a subgraph of $ G $ where each edge of $ G $ appears in $ G_p $ with independently with probability $ p $.

Problem   Does there exist a constant $ c $ so that $ {\mathbb E}(\chi(G_{1/2})) > c \frac{\chi(G)}{\log \chi(G)} $?

Keywords: coloring; random graph

Direct proof of a theorem about compact funcoids ★★

Author(s): Porton

Conjecture   Let $ f $ is a $ T_1 $-separable (the same as $ T_2 $ for symmetric transitive) compact funcoid and $ g $ is a uniform space (reflexive, symmetric, and transitive endoreloid) such that $ ( \mathsf{\tmop{FCD}}) g = f $. Then $ g = \langle f \times f \rangle^{\ast} \Delta $.

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 $ f $ be a $ T_1 $-separable compact reflexive symmetric funcoid and $ g $ be a reloid such that
    \item $ ( \mathsf{\tmop{FCD}}) g = f $; \item $ g \circ g^{- 1} \sqsubseteq g $.

Then $ g = \langle f \times f \rangle^{\ast} \Delta $.

Keywords: compact space; compact topology; funcoid; reloid; uniform space; uniformity

Extension complexity of (convex) polygons ★★

Author(s):

The extension complexity of a polytope $ P $ is the minimum number $ q $ for which there exists a polytope $ Q $ with $ q $ facets and an affine mapping $ \pi $ with $ \pi(Q) = P $.

Question   Does there exists, for infinitely many integers $ n $, a convex polygon on $ n $ vertices whose extension complexity is $ \Omega(n) $?

Keywords: polytope, projection, extension complexity, convex polygon

Are vertex minor closed classes chi-bounded? ★★

Author(s): Geelen

Question   Is every proper vertex-minor closed class of graphs chi-bounded?

Keywords: chi-bounded; circle graph; coloring; vertex minor

World of Warships Cheats Generator Free Strategy 2024 (The Legit Method) ★★

Author(s):

World of Warships Cheats Generator Free Strategy 2024 (The Legit Method)

Keywords:

Easy! Unlimited Candy Crush Saga Golds Lives Go New Cheats Codes ★★

Author(s):

Easy! Unlimited Candy Crush Saga Golds Lives Go New Cheats Codes

Keywords:

Alexa's Conjecture on Primality ★★

Author(s): Alexa

Definition   Let $ r_i $ be the unique integer (with respect to a fixed $ p\in\mathbb{N} $) such that

$$(2i+1)^{p-1} \equiv r_i \pmod p ~~\text{ and } ~ 0 \le r_i < p. $$

Conjecture   A natural number $ p \ge 8 $ 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 $$

Keywords: primality

The Crossing Number of the Complete Graph ★★★

Author(s):

The crossing number $ cr(G) $ of $ G $ is the minimum number of crossings in all drawings of $ G $ in the plane.

Conjecture   $ \displaystyle cr(K_n) =   \frac 14 \floor{\frac n2} \floor{\frac{n-1}2} \floor{\frac{n-2}2} \floor{\frac{n-3}2} $

Keywords: complete graph; crossing number

Fasted Way! For Free Star Stable Star Coins Jorvik Coins Cheats Working 2024 Android Ios ★★

Author(s):

Fasted Way! For Free Star Stable Star Coins Jorvik Coins Cheats Working 2024 Android Ios

Keywords: