1949
Search results
1 day ago · Hyperstability in the Erdős-Sós conjecture. ~ Alexey Pokrovskiy. #ITP #LeanProver #Math; Formalized soundness and completeness of epistemic logic. ~ Asta Halkjær From, Alexander Birch Jensen & Jørgen Villadsen. #ITP #IsabelleHOL #Logic #Math; Löb’s theorem and provability predicates in Coq. ~ Janis Bailitis. #ITP #Coq #Logic #Math
Sep 20, 2024 · 18:30 Together with Pokrovsky Ukraine will lose half of steel production — Kalenkov; 18:22 Prima Donna Jr.: Orbakaite refused to sing a duet with Avraham Russo, who remained in the Russian Federation; 17:59 A country for Uzbeks: in Tashkent, a teacher beat up a student who asked to speak Russian
5 days ago · In the Pokrovsk direction, fighting continues on the approaches to Mirnograd, the troops of the "Center" group of forces are breaking through the defense line of the Ukrainian Armed Forces.
Sep 5, 2024 · Alexey Pokrovskiy, Leo Versteegen, Ella Williams. In 1995, Erdős and Gyárfás proved that in every 2 -edge-coloured complete graph on n vertices, there exists a collection of 2 n−−√ monochromatic paths, all of the same colour, which cover the entire vertex set. They conjectured that it is possible to replace 2 n−−√ by n−−√.
- arXiv:2409.03623 [math.CO]
- Combinatorics (math.CO)
- 7 pages
6 days ago · This is a companion paper to the paper"Hyperstability in the Erdos-Sos Conjecture". In that paper the following rough structure theorem was proved for graphs G containing no copy of a bounded degree tree T: from any such G, one can delete o(|G||T|) edges in order to get a subgraph all of whose connected components have a cover of order 3|T|.
6 days ago · View a PDF of the paper titled Notes on embedding trees in graphs with O (|T|)-sized covers, by Alexey Pokrovskiy. This is a companion paper to the paper "Hyperstability in the Erdos-Sos Conjecture".
Sep 2, 2024 · Pokrovsk is the city of Krasnoarmeysk, which will probably be called that, it is the most important logistics hub that allows you to transfer reinforcements both to the west and to the east. And around the agglomeration — a bunch of urban-type settlements, cities where about 200 thousand people used to live.
