Combinatorial Geometry of Erdős--Szekeres Type Problems: SAT/ASP Modeling and Linear Subreduction
Fuente:
arXiv
Salvato in:
| Autori principali: | Koshelev, Vitalii, Koshka, Alexey |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Erdős-Szekeres Maker-Breaker Games
di: Džuklevski, Aleksa, et al.
Pubblicazione: (2025)
di: Džuklevski, Aleksa, et al.
Pubblicazione: (2025)
On an Erdős-Szekeres Game
di: Pudwell, Lara
Pubblicazione: (2024)
di: Pudwell, Lara
Pubblicazione: (2024)
Saturation results around the Erdős--Szekeres problem
di: Damásdi, Gábor, et al.
Pubblicazione: (2023)
di: Damásdi, Gábor, et al.
Pubblicazione: (2023)
An Erdős--Szekeres type result for words with repeats
di: Celano, Kyle, et al.
Pubblicazione: (2025)
di: Celano, Kyle, et al.
Pubblicazione: (2025)
Erdős-Szekeres type Theorems for ordered uniform matchings
di: Dudek, Andrzej, et al.
Pubblicazione: (2023)
di: Dudek, Andrzej, et al.
Pubblicazione: (2023)
Three Generalizations of Erdős Szekeres: $k$-Modal Subsequences
di: Gong, Charles
Pubblicazione: (2025)
di: Gong, Charles
Pubblicazione: (2025)
Notes on the 33-point Erdős--Szekeres problem
di: Dumitru, Bogdan
Pubblicazione: (2025)
di: Dumitru, Bogdan
Pubblicazione: (2025)
A positive fraction Erdos-Szekeres theorem and its applications
di: Suk, Andrew, et al.
Pubblicazione: (2021)
di: Suk, Andrew, et al.
Pubblicazione: (2021)
An improved lower bound for Erdős--Szekeres products
di: Tang, Quanyu
Pubblicazione: (2025)
di: Tang, Quanyu
Pubblicazione: (2025)
Property O and Erdős--Szekeres properties in linear hypergraphs
di: Jiang, Suyun, et al.
Pubblicazione: (2025)
di: Jiang, Suyun, et al.
Pubblicazione: (2025)
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
di: Jha, Piyush, et al.
Pubblicazione: (2024)
di: Jha, Piyush, et al.
Pubblicazione: (2024)
Stability of the independence number of $G(n, r, 1)$ graphs
di: Koshelev, M.
Pubblicazione: (2025)
di: Koshelev, M.
Pubblicazione: (2025)
Towards the Erdős--Kleitman Problem: from Erdős matching conjecture perspective
di: Chi, Cheng, et al.
Pubblicazione: (2026)
di: Chi, Cheng, et al.
Pubblicazione: (2026)
A proof of a conjecture of Erdős and Gyárfás on monochromatic path covers
di: Pokrovskiy, Alexey, et al.
Pubblicazione: (2024)
di: Pokrovskiy, Alexey, et al.
Pubblicazione: (2024)
The Erdős-Faudree Problems and the Isolate-Free Core
di: Mao, Yaping
Pubblicazione: (2026)
di: Mao, Yaping
Pubblicazione: (2026)
A Note on Generalized Erdős-Rogers Problems
di: Du, Longma, et al.
Pubblicazione: (2026)
di: Du, Longma, et al.
Pubblicazione: (2026)
The Erdős-Rado Sunflower Problem for Vector Spaces
di: Ihringer, Ferdinand, et al.
Pubblicazione: (2025)
di: Ihringer, Ferdinand, et al.
Pubblicazione: (2025)
On the Elementary Proof of the Inverse Erdős-Heilbronn Problem
di: Zhang, Shengning
Pubblicazione: (2024)
di: Zhang, Shengning
Pubblicazione: (2024)
Solution to a Problem of Erdős Concerning Distances and Points
di: Grayzel, Benjamin
Pubblicazione: (2026)
di: Grayzel, Benjamin
Pubblicazione: (2026)
Group Action Approaches in Erdos Quotient Set Problem
di: Burstein, Will
Pubblicazione: (2024)
di: Burstein, Will
Pubblicazione: (2024)
Spectral gap of $G(n, αn, α^2 n)$ graphs and the giant component theorem
di: Koshelev, M., et al.
Pubblicazione: (2025)
di: Koshelev, M., et al.
Pubblicazione: (2025)
Effective Khovanskii, Ehrhart Polytopes, and the Erdős Multiplication Table Problem
di: Limbach, Anna Margarethe, et al.
Pubblicazione: (2025)
di: Limbach, Anna Margarethe, et al.
Pubblicazione: (2025)
Combinatorial Methods in Bootstrap Percolation Problems
di: Nagy, Gábor V., et al.
Pubblicazione: (2025)
di: Nagy, Gábor V., et al.
Pubblicazione: (2025)
A Generalisation on Erdős Distinct Subset Sums Problem
di: Gu, Zijie
Pubblicazione: (2025)
di: Gu, Zijie
Pubblicazione: (2025)
An Improved Lower Bound for the de Bruijn--Erdős Consecutive Gap Problem
di: Korsky, Samuel
Pubblicazione: (2026)
di: Korsky, Samuel
Pubblicazione: (2026)
Improving SAT Solvers on Orthogonal Latin Square Problems
di: Barnoff, Aaron, et al.
Pubblicazione: (2026)
di: Barnoff, Aaron, et al.
Pubblicazione: (2026)
Combinatorial Insight of Riemann Boundary Value Problem in Lattice Walk Problems
di: Xu, Ruijie
Pubblicazione: (2023)
di: Xu, Ruijie
Pubblicazione: (2023)
Convex Geometries via Hopf Monoids: Combinatorial Invariants, Reciprocity, and Supersolvability
di: Ma, Yichen
Pubblicazione: (2025)
di: Ma, Yichen
Pubblicazione: (2025)
Hyperstability in the Erdős-Sós Conjecture
di: Pokrovskiy, Alexey
Pubblicazione: (2024)
di: Pokrovskiy, Alexey
Pubblicazione: (2024)
On supersaturation in the Erdős--Sós problem
di: Kupavskii, Andrey, et al.
Pubblicazione: (2026)
di: Kupavskii, Andrey, et al.
Pubblicazione: (2026)
On the order of Erdős-Rogers functions
di: Mubayi, Dhruv, et al.
Pubblicazione: (2024)
di: Mubayi, Dhruv, et al.
Pubblicazione: (2024)
Combinatorial Curve Neighborhood of the Affine Flag Manifold of Type $A_{n-1}^1$
di: Aslan, Songul
Pubblicazione: (2024)
di: Aslan, Songul
Pubblicazione: (2024)
Inhomogeneous random 2-SAT
di: Hladký, Jan, et al.
Pubblicazione: (2025)
di: Hladký, Jan, et al.
Pubblicazione: (2025)
Remarks on a theorem of Erdős and Szemerédi
di: Liu, Dingyuan
Pubblicazione: (2026)
di: Liu, Dingyuan
Pubblicazione: (2026)
Nearly Erdős-Ko-Rado theorems
di: Katona, Gyula O. H., et al.
Pubblicazione: (2026)
di: Katona, Gyula O. H., et al.
Pubblicazione: (2026)
A generalization of the Chvátal-Erdős theorem
di: Cheng, Kun
Pubblicazione: (2025)
di: Cheng, Kun
Pubblicazione: (2025)
Pivot-minors and the Erdős-Hajnal conjecture
di: Davies, James
Pubblicazione: (2023)
di: Davies, James
Pubblicazione: (2023)
On the edge-Erdős-Pósa property of Ladders
di: Steck, Raphael, et al.
Pubblicazione: (2020)
di: Steck, Raphael, et al.
Pubblicazione: (2020)
Phase transitions of the Erdős-Gyárfás function
di: Hu, Xinyu, et al.
Pubblicazione: (2025)
di: Hu, Xinyu, et al.
Pubblicazione: (2025)
On a problem of Brown, Erdős and Sós
di: Letzter, Shoham, et al.
Pubblicazione: (2023)
di: Letzter, Shoham, et al.
Pubblicazione: (2023)
Documenti analoghi
-
Erdős-Szekeres Maker-Breaker Games
di: Džuklevski, Aleksa, et al.
Pubblicazione: (2025) -
On an Erdős-Szekeres Game
di: Pudwell, Lara
Pubblicazione: (2024) -
Saturation results around the Erdős--Szekeres problem
di: Damásdi, Gábor, et al.
Pubblicazione: (2023) -
An Erdős--Szekeres type result for words with repeats
di: Celano, Kyle, et al.
Pubblicazione: (2025) -
Erdős-Szekeres type Theorems for ordered uniform matchings
di: Dudek, Andrzej, et al.
Pubblicazione: (2023)